![](/user_photo/1334_ivfwg.png)
Математический анализтеория рядов
.pdf![](/html/1334/253/html_OPgKQl9ow9.feJT/htmlconvd-jWc7_J51x1.jpg)
|
|
|
|
|
n |
+p |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
же |
|
|
∑uk vk |
|
< ε |
|
|
при |
|
любом |
|
|
|
|
p N . |
И |
|
|
здесь |
отмечаем, |
|
|
что |
||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
k =n+1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
n+p |
|
|
|
|
|
|
|
|
p |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∑uk vk |
|
= ∑un+ivn+i . |
|
По условию ряд (8) |
сходится. |
|
Значит, взятому |
ε >0 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||
k =n+1 |
|
|
|
|
|
i=1 |
|
|
N |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n > N |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
отвечает |
номер |
|
такой, |
что |
|
при |
будет |
выполняться |
неравенство |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
u |
|
+u |
|
|
|
+...+u |
|
|
|
< |
|
|
|
ε |
при любом p N (см. критерий Коши сходимости |
|||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||
|
n+1 |
|
|
n+2 |
|
|
|
|
n+p |
|
|
|
3M |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Bi |
|
|
< |
|
|
ε |
|
||||||
числовых |
|
|
|
рядов). |
|
|
(В |
|
обозначениях, |
принятых |
в |
лемме: |
|
|
|
|
|
, |
|||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||
i =1, 2,K, p ; |
|
|
ε |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
L >0 ). |
|
|
|
|
|
|
3M |
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
|
выступает |
|
|
в |
|
|
роли |
числа |
|
|
|
По |
лемме |
|||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
3M |
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
n |
+p |
|
|
|
|
|
|
|
|
p |
|
|
|
|
|
|
|
|
|
|
|
|
ε |
|
( |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
), |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
∑uk vk |
|
= |
|
∑un |
+ivn+i |
< |
|
|
|
vn+1 |
|
+2 |
|
vn+p |
|
если |
n > N , |
а |
p |
- |
|
|
любое |
|||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
3M |
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
k =n+1 |
|
|
|
|
|
i=1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n+p |
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
натуральное. |
Но |
|
|
vn+1 |
|
|
≤M ; |
|
vn+p |
|
≤M . |
Следовательно, |
∑uk vk |
|
< ε, |
если |
|||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
n > N , а p N - любое |
ряд (4) сходится. |
|
|
|
|
|
|
|
|
k =n+1 |
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||
|
|
Замечание. Признак Лейбница является частным случаем признака |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Дирихле. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
∞ |
Действительно, |
|
|
в |
|
признаке |
|
|
Лейбница |
рассматривается |
ряд |
|
вида |
|||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
−1ak , |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
∑(−1)k |
|
в |
котором |
|
a1 ≥a2 |
|
≥K≥an ≥K |
и |
|
|
|
lim ak = 0. |
|
Положим |
|||||||||||||||||||||||||||||||||||||||||||||||||||
|
k =1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
k →∞ |
|
|
|
|
|
|
|
|
|
|
|
||
|
|
(−1)k −1, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1−1+1−...+(−1)k −1 |
|
|
|
||||||||||||||||||
u |
= |
|
v |
= a . |
|
Имеем: |
|
|
s |
k |
|
|
= |
|
u +u +...+u |
|
|
= |
|
|
≤1, |
||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
k |
|
|
|
|
|
|
|
|
|
|
|
k |
|
|
|
k |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
2 |
k |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
k N ; |
{v } |
|
|
={a } |
N |
- |
монотонно убывающая и такая, что v →0 . |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
k k N |
|
|
|
k k |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
k |
k →∞ |
||||||||||||||||||
Видим, |
|
что |
условия |
признака |
|
|
Дирихле |
выполнены. |
Следовательно, |
|
|
ряд |
∞
∑(−1)k −1ak сходится.
k =1
Пример. Исследовать сходимость ряда
∞ |
|
, x [0, 2π]. |
|
∑cos kx |
(9) |
||
k =1 |
k |
|
|
51
![](/html/1334/253/html_OPgKQl9ow9.feJT/htmlconvd-jWc7_J52x1.jpg)
∞ |
1 |
|
|
При x = 0 и x = 2π ряд (9) принимает вид ∑ |
. Это гармонический ряд. |
||
|
|||
k =1 k |
|
Мы знаем, что он расходится. Значит, ряд (9) расходится в точках x = 0 и x = 2π. Выберем теперь и закрепим любое x (0, 2π) . Положим uk = cos kx ,
k =1, 2,K ; vk = |
1 |
|
k =1, 2,K . Последовательность {vk } |
|
|
1 |
|
|
|
, |
|
= |
|
|
- |
||
k |
|
|
||||||
|
|
|
k N |
k |
k N |
|
монотонно убывающая и такая, |
что v |
→0 . |
У нас u ( x ) = cos kx . Значит |
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
k |
|
|
k →∞ |
|
|
|
|
|
k |
|
|
|
|
||
sk = cos x +cos2x +cos3x +...+cos kx . |
|
|
Умножим обе |
части |
|
последнего |
|||||||||||||||||||||||
равенства на 2 sin x |
. Получим |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 sin x sk = 2 sin x |
cos x +2 sin x cos2x +2 sin x |
cos3x +...+2 sin x cos kx . |
|||||||||||||||||||||||||||
2 |
|
|
2 |
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
2 |
|
Так как 2 sin αcosβ = sin(β+α)−sin(β−α), то будем иметь |
|
|
|
||||||||||||||||||||||||||
|
2 sin |
x |
s |
|
|
|
|
3x |
−sin |
x |
|
|
|
5x |
−sin |
3x |
|
|
|
||||||||||
|
2 |
k |
= sin |
|
2 |
2 |
+ |
sin |
|
2 |
2 |
+...+ |
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
(2k +1)x |
−sin |
(2k −1)x |
= sin |
(2k +1)x |
−sin |
x |
. |
|||||||||||||||||||
+ sin |
|
|
2 |
|
2 |
|
|
|
|
|
|
2 |
|
2 |
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
У нас x (0, 2π) . Значит, sin x ≠ 0. А тогда |
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
2k +1 |
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
sin |
x |
−sin |
x |
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|||||
sk = |
|
2 |
|
2 |
|
|
|
sk |
|
|
≤ |
|
|
|
|
, |
для любого |
|
k N |
||||||||||
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
2 sin x |
|
|
|
|
|
|
|
sin x |
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
{sk }k N - ограниченная, для любого закрепленного x из (0, 2π) .
52
![](/html/1334/253/html_OPgKQl9ow9.feJT/htmlconvd-jWc7_J53x1.jpg)
Таким образом, при любом закрепленном x из (0, 2π) ряд (6) удовлетворяет условиям признака Дирихле. Значит ряд (6) сходится при любом x из (0, 2π) .
Глава 2. Функциональные последовательности и ряды
§1. Последовательности функций
1°. Пусть имеется последовательность функций, заданных на множестве
X ={x}
{ |
n |
}n N |
, x X . |
(1) |
|
f |
( x ) |
Пусть E X . Пусть при каждом закрепленном x из E последовательность (1) имеет конечный предел. Ясно, что этот предел будет представлять собой функцию от x , определенную на множестве E.
Будем обозначать этот предел через F( x ) и называть предельной функцией последовательности (1) на множестве E. Запись:
F( x ) = lim fn ( x ) , |
x E . |
(2) |
||||||
F( x ) |
|
|
n→∞ |
|
|
|
|
|
|
n |
Пример 1. Для последовательности |
|
|||||
{ |
f |
}n N |
= |
{ |
x n |
}n N |
|
|
|
|
( x ) |
|
|
|
|
|
X = (−∞, +∞); E = (−1,1]; |
|
|
x |
F(x )= 0, x (−1,1). |
|
−1 |
1 |
1, |
x =1 |
{ |
|
n |
Пример |
2. Пусть |
последовательность |
f |
}n N |
задана на |
промежутке [0,1] |
||
|
|
( x ) |
следующим образом:
53
![](/html/1334/253/html_OPgKQl9ow9.feJT/htmlconvd-jWc7_J54x1.jpg)
y |
|
|
|
y |
|
1 |
|
|
|
1 |
|
|
y = fn (x ) |
|
x |
y = f1(xx ); |
|
1 |
1 |
1 |
|
1 |
1 |
2n n |
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
(n =1) |
|
y |
|
|
|
|
1 |
y = f2(x ) |
|
|
|
|
x |
; |
||
1 |
1 |
1 |
|
|
4 |
2 |
|
|
|
(n =2) |
|
|
|
y |
|
|
|
1 |
y = f3 (x ) |
|
|
|
|
; |
|
|
|
x |
|
1 |
1 |
1 |
|
6 |
3 |
|
|
|
(n = 3) |
|
|
и т. д. |
|
|
|
|
|
|
|
|
|
В этом примере F( x ) ≡ 0 , x [0,1]. В самом деле, в точке x = 0 |
имеем |
||||||||
fn (0) = 0, для любого n N |
lim fn (0) = 0 . Выберем и закрепим теперь |
||||||||
|
|
n→∞ |
|
|
|
1 |
|
||
любую точку x0 |
(0,1]. Всегда можно указать n0 N такое, что будет |
< x0 |
|||||||
|
|||||||||
|
|
|
|
|
|
n0 |
|||
и, следовательно, будет: |
fn ( x 0 ) = 0, для любого |
n ≥ n0 |
( n N ) |
|
|
||||
lim fn ( x0 ) = 0 . Так как точка x0 - любая, |
принадлежащая (0,1], то получаем |
||||||||
n→∞ |
|
|
|
|
|
|
|
|
|
F( x ) = 0, для |
любого x (0,1]. Было |
отмечено |
выше, |
что F(0) = 0 . |
|||||
Следовательно, |
F( x ) ≡ 0 , x [0,1]. |
|
|
|
|
|
|
Пусть последовательность (1) сходится на множестве E. Пусть F( x ) -
предельная функция последовательности |
(1) на E, т.е. F( x ) = lim fn ( x ) , |
x E . Введем понятие “равномерно |
n→∞ |
сходящейся” последовательности |
функций. Мы подойдем к этому сложному понятию, проведя некоторые предварительные рассуждения.
Возьмем ε >0 - любое, произвольно малое, и закрепим его. Возьмем какоенибудь значение x = x1 из множества E. Последовательность {fn ( x1 )}n N -
числовая, сходящаяся к F( x1 ). Следовательно, взятому ε >0 отвечает номер |
||||||
(обозначим |
его N x 1 ) такой, что |
при всех n > N x 1 |
будет выполняться |
|||
неравенство |
|
F( x1 ) − fn ( x1 ) |
|
< ε |
(номер N x 1 берем |
наименьший из |
|
|
возможных). Возьмем затем другое значение |
x = x2 |
|
из |
E |
( x2 ≠ x1 ). |
||||||||||
Последовательность |
{ |
f |
n |
( x |
) |
- числовая, |
сходящаяся |
к |
F( x |
2 |
) . |
||||
|
|
|
2 }n N |
|
|
|
|
|
|
|
|
||||
Следовательно, взятому ε >0 (тому же самому) |
отвечает номер N x 2 такой, |
||||||||||||||
что при всех n > N x 2 |
|
будет |
выполняться неравенство |
|
F( x 2 ) − fn ( x 2 ) |
|
< ε |
||||||||
|
|
|
54
![](/html/1334/253/html_OPgKQl9ow9.feJT/htmlconvd-jWc7_J55x1.jpg)
(номер N x 2 |
берем наименьший из возможных). Отметим, что, вообще говоря, |
N x 2 ≠ N x 1 , так как при x = x2 наша последовательность может сходиться |
|
“медленнее” |
или “быстрее”, чем при x = x1 . Представим себе, что мы |
проделали такое для каждого x из E; мы получим в результате бесконечное множество номеров {N x }. Логически мыслимы два случая: 1-й случай -
множество номеров {N x } ограничено сверху, т.е. существует такой номер N , что все номера N x ≤ N ; 2-й случай - множество номеров {N x } не ограничено сверху, т.е. среди номеров N x имеются как угодно большие номера. Оказывается, что именно от этого различия в строении множества номеров {N x }, т.е. от различия в характере сходимости последовательности (1) и
зависят многие свойства этой последовательности (см. дальше теоремы 1-3). В первом случае последовательность (1) называется равномерно
сходящейся к F( x ) относительно x на E, а во втором - неравномерно
сходящейся на E.
Дадим теперь более сжатое определение.
Определение. Последовательность {fn ( x )}n N , сходящаяся на множестве E к F( x ) , называется равномерно сходящейся к F( x ) относительно x на E, если любому ε >0 отвечает номер N , зависящий только от ε (не зависящий от x) такой, что как только n > N , так сейчас же F( x ) − fn ( x ) < ε одновременно
для всех x из E. Если |
же |
такого |
номера |
N не |
существует, то |
||||
последовательность называется неравномерно сходящейся на множестве E. |
|||||||||
Если последовательность |
{ |
f |
n |
|
}n N |
сходится к |
F( x ) |
на E равномерно |
|
|
|
( x ) |
|||||||
относительно x , то пишут |
|
→ |
|
|
|
|
|||
|
|
|
|
|
|
||||
fn ( x ) →F( x ), x E . |
|
|
|||||||
Замечание. Пусть |
|
|
n→∞ |
|
|
|
|
||
→ |
|
x [a, b]. |
(3) |
||||||
|
|
||||||||
fn ( x ) →F( x ), |
|||||||||
|
|
n→∞ |
|
|
|
|
|
55
![](/html/1334/253/html_OPgKQl9ow9.feJT/htmlconvd-jWc7_J56x1.jpg)
y |
|
|
|
y=F(x )+ε |
|
|
|
|
|
|
|
|
|
Геометрически |
соотношение |
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
(3) означает: график любой |
|||||||||||||||||||
y = f |
|
(x ) |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
функции |
|
|
|
y = fn ( x ), |
|
x [a, b], |
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
при n > N на всем протяжении от |
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
y=F(x )−ε |
x = a |
|
|
|
до |
|
|
x = b |
|
целиком |
|||||||||||
|
|
|
|
|
|
|
|
|
|
содержится в 2ε-полосе графика |
|||||||||||||||||||||
|
|
|
y=F(x ) |
|
|
|
|
|
|
|
|
x |
|
|
|
функции y = F( x ), |
x [a, b]. |
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
В |
нашем |
|
примере |
2 |
нельзя |
||||||||||
a |
|
|
|
|
|
|
b |
|
|
|
|
|
|
|
|
указать |
|
номера |
N , |
начиная с |
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
которого |
|
|
|
графики |
|
функций |
|||||||||||
|
|
|
|
x = 0 |
|
|
x =1 |
|
|
|
|
|
y = fn ( x ), |
|
x [0,1], |
|
на |
всем |
|||||||||||||
протяжении |
от |
до |
|
|
лежали |
бы целиком |
в |
|
2ε-полосе графика |
||||||||||||||||||||||
функции |
y ≡ 0, |
x [0,1]. |
(В этом примере предельная функция |
F( x ) ≡ 0 , |
|||||||||||||||||||||||||||
x [0,1]). |
|
Вывод: в |
примере |
|
2 |
последовательность |
{ |
f |
n |
( x ) |
|
, |
x [0,1], |
||||||||||||||||||
сходится к F( x ) на промежутке [0,1] неравномерно. |
|
|
|
|
|
|
}n N |
|
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
Теперь мы приступим к рассмотрению вопросов, из которых станет ясной |
|||||||||||||||||||||||||||||||
полезность введенного понятия равномерной сходимости последовательности |
|||||||||||||||||||||||||||||||
функций. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2°. О непрерывности предельной функции. |
{ |
f |
|
( x ) |
|
|
|
x E . |
|
||||||||||||||||||||||
Пусть |
имеется последовательность |
функций |
n |
|
|
, |
Пусть |
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
}n N |
|
|
|
|
|
||||
члены последовательности |
fn ( x ) |
( n =1, 2,K ) непрерывны на E. Пусть F( x ) |
|||||||||||||||||||||||||||||
- предельная функция для |
{ |
f |
n |
( x ) |
|
на E. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
}n N |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
Вопрос: будет ли при этом непрерывной на E функция F( x ) ? |
|
|
|
|
|||||||||||||||||||||||||||
Ответ: не всегда. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
Действительно, рассмотрим снова пример 1. В этом примере члены |
|||||||||||||||||||||||||||||||
последовательности: |
fn ( x ) = x n |
|
( n =1, 2,K ) непрерывны |
на промежутке |
|||||||||||||||||||||||||||
(−1,1]. Предельная же функция F( x ) = |
0, |
åñëè x (−1,1) |
терпит разрыв в |
||||||||||||||||||||||||||||
|
|
åñëè x |
|
=1 |
|
|
|
||||||||||||||||||||||||
точке x =1. |
|
|
|
|
|
|
|
|
|
|
|
|
1, |
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
Теорема 1 (о непрерывности предельной функции). |
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
Пусть дана последовательность функций |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
{ |
f |
n |
( x ) |
|
, |
x E |
|
|
|
|
|
|
|
|
|
|
|
|
|
(1) |
||
|
|
|
|
|
|
|
|
|
|
|
}n N |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
Пусть fn ( x ) C(E ). |
|
Пусть F( x ) - предельная функция для |
|||||||||||||||||||||||||||||
последовательности (1) на E, т.е. F( x ) = lim fn ( x ), |
|
x E . |
|
|
|
|
|
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n→∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
56 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
![](/html/1334/253/html_OPgKQl9ow9.feJT/htmlconvd-jWc7_J57x1.jpg)
Тогда: если |
f |
( x ) →F(x ), x E |
|
|
|
||||
n |
→ |
, то F( x ) |
C(E ). |
||||||
|
|
n→∞ |
|
|
|
|
|
||
Возьмем ε >0 - любое. Выберем и закрепим на E любую точку x0 . По |
|||||||||
|
→ |
Взятому |
ε >0 отвечает номер N , |
||||||
условию fn ( x ) →F(x ), x E |
|||||||||
|
n→∞ |
|
|
|
ε |
|
|||
зависящий только от ε, такой, что |
|
F( x ) − fn ( x ) |
|
< |
одновременно для всех x |
||||
|
|
||||||||
|
|
||||||||
|
|
|
|
|
|
|
3 |
|
|
|
|
|
|
|
|
|
из E, если n > N . Возьмем номер m - любой, но такой, что m > N , и закрепим
его. По условию функция |
fm ( x ) C(E ) |
в частности, |
|
fm ( x ) непрерывна в |
|||||||||||||||||||||||||||||||||||||||||
точке x0 . Следовательно, |
взятому ε >0 отвечает δ >0 такое, |
что как только |
|||||||||||||||||||||||||||||||||||||||||||
x E и |
|
x − x0 |
|
< δ, так сейчас же |
|
|
fm (x ) − fm ( x0 ) |
|
< ε. Имеем |
|
|
|
|
|
|||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
F( x ) −F( x 0 ) = (F( x ) − fm ( x ))+(fm ( x ) − fm ( x 0 ))+(fm ( x 0 ) −F( x 0 )) |
|
||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
F( x ) −F(x 0 ) |
|
≤ |
|
F( x ) − fm ( x ) |
|
+ |
|
fm ( x ) − fm ( x 0 ) |
|
+ |
|
fm ( x 0 ) −F( x 0 ) |
|
. |
|
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||
Но |
|
F( x ) − fm ( x ) |
|
< |
ε |
|
для |
всех |
|
x E , |
|
ибо |
|
m > N |
|
|
|
|
в |
частности, |
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
< ε , |
3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
< ε, если x E |
|
|||||||
|
fm |
( x 0 ) −F( x 0 ) |
|
так как точка x0 E . |
|
fm (x ) − fm ( x 0 ) |
|
и |
|||||||||||||||||||||||||||||||||||||
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3 |
|
|
|
|
||||||||
|
x − x0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
F( x ) −F( x 0 ) |
|
|
x E |
|
||||||||||||||||||||||
|
|
|
< δ. Таким |
образом, |
получаем |
|
< ε, |
если |
и |
||||||||||||||||||||||||||||||||||||
|
|
||||||||||||||||||||||||||||||||||||||||||||
|
x − x0 |
|
|
< δ. Последнее означает, что функция F( x ) непрерывна в точке x0 . У |
|||||||||||||||||||||||||||||||||||||||||
|
|
||||||||||||||||||||||||||||||||||||||||||||
нас точка x0 - любая, принадлежащая E. Значит, F( x ) C(E ). |
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||
|
|
Замечание 1. Условие |
|
|
|
|
→ |
|
|
|
x E является достаточным для |
||||||||||||||||||||||||||||||||||
|
|
fn ( x ) →F(x ), |
|
||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n→∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
непрерывности функции F( x ) на E, но оно не необходимо. |
|
|
|
|
|
Действительно, рассмотрим снова пример 2. В этом примере предельная |
||||||||||
функция |
F( x ) ≡ 0, |
|
x [0,1]. |
Значит |
F( x ) C([0,1]), |
хотя |
||||
последовательность: |
{ |
f |
n |
( x ) |
|
, x [0,1], рассматриваемая в этом примере, |
||||
|
|
|
}n N |
|
|
|
|
|||
не является равномерно сходящейся на промежутке [0,1]. |
|
|||||||||
Замечание 2. Если члены последовательности (1) непрерывны на E, а |
||||||||||
предельная |
функция |
|
F( x ), |
x E |
этой последовательности оказывается |
разрывной на E, то последовательность (1) сходится на E неравномерно.
57
![](/html/1334/253/html_OPgKQl9ow9.feJT/htmlconvd-jWc7_J58x1.jpg)
В самом деле, если бы последовательность (1) была равномерно сходящейся на E, то предельная функция F( x ), x E была бы непрерывной
на E, а это не так.
Вернемся еще раз к примеру 1. В этом примере члены последовательности
{x n}n N , x (−1,1], непрерывны на |
промежутке (−1,1], предельная же |
|
функция F( x ) , |
x (−1,1], оказалась |
разрывной на промежутке (−1,1]. |
Следовательно, |
последовательность |
{x n}n N , x (−1,1], сходится на |
промежутке (−1,1] неравномерно.
3°. О предельном переходе под знаком интеграла.
Пусть имеется последовательность функций
{ |
f |
n |
}n N |
, x [a, b] |
(1) |
|
|
( x ) |
Пусть F( x ) предельная функция для (1) на [a, b], т.е. F( x ) = lim fn ( x ) . Пусть |
||||||||
|
|
( |
) |
|
( |
) |
n→∞ |
|
f |
n |
|
|
|
||||
|
( x ) R [a, b] для любого n N и F( x ) R [a, b] . |
|
|
|||||
|
|
Возникает вопрос: справедливо или нет соотношение |
|
|
||||
|
|
|
b |
b |
|
b |
|
|
|
|
|
limn→∞ ∫ fn ( x )dx = ∫(limn→∞ fn ( x ))dx |
|
= ∫F( x )dx ? |
(4) |
||
|
|
|
a |
a |
|
a |
|
|
Короче: допустим или нет предельный переход под знаком интеграла? Оказывается, что соотношение (4) справедливо не всегда. Убедимся в этом
на примере.
Пример 3. |
Пусть последовательность |
{ |
f |
n |
}n N |
задана на промежутке |
|
|
|
( x ) |
|||||
[0,1] следующим образом: |
|
|
|
|
|
|
|
|
y |
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
y = fn ( x ) |
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
1 |
1 |
|
1 |
|
|
|
|
2n n |
|
|
|
|
|
|
58 |
|
|
|
|
|
|
|
![](/html/1334/253/html_OPgKQl9ow9.feJT/htmlconvd-jWc7_J59x1.jpg)
Совершенно так же, как и в примере 2, убеждаемся, что предельной
функцией |
для |
|
|
|
этой |
|
последовательности |
|
будет |
F( x ) ≡ 0, |
|
x [0,1]. |
|||||||||||||||||||||
|
|
1 |
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
1 |
n = 1 , |
|||
Следовательно, |
|
∫F( x )dx = ∫0dx = 0 . |
Имеем |
далее ∫ |
fn ( x )dx = |
|
|||||||||||||||||||||||||||
|
|
||||||||||||||||||||||||||||||||
|
|
0 |
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
2n |
2 |
|||
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
1 . |
|
|
|
|
|
|
|
|
|
|
|
|
|||
для любого n N limn→∞ ∫ fn ( x )dx = |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
Видим, таким образом, что limn→∞ |
∫ fn (x )dx ≠ ∫(limn→∞ fn (x )dx ). |
|
|
|
|
||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
1442443 |
|
1442443 |
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
=1 |
|
|
|
|
|
|
|
|
|
|
=0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Теорема 2. Пусть имеется последовательность функций |
|
|
|
|
|||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
{ |
f |
n |
|
}n N |
, x [a, b]. |
|
|
|
|
|
|
(1) |
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
( x ) |
|
|
|
|
|
|
|
|
|
|
||||||||||||
Пусть F( x ) |
- предельная функция для (1) на [a, b] (т.е. F( x ) = lim fn ( x ) , |
||||||||||||||||||||||||||||||||
|
|
|
|
|
|
n |
|
( |
|
|
|
|
) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n→∞ |
) |
||||
x [a, b]). |
Пусть |
|
f |
|
|
|
|
|
для любого |
n N |
|
|
( |
||||||||||||||||||||
|
|
( x ) R [a, b] |
, |
и F( x ) R [a, b] . |
|||||||||||||||||||||||||||||
Тогда: если |
fn ( x ) |
→ |
|
|
|
|
x [a, b], то |
|
|
|
|
|
|
|
|
|
|||||||||||||||||
→F(x ), |
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
n→∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
b |
|
|
|
|
|
|
b |
(limn→∞ |
fn ( x ))dx |
|
b |
|
|
|
|
|
|
||||||||||
|
|
|
limn→∞ ∫ fn (x )dx = ∫ |
|
= ∫F( x )dx . |
|
|
|
|
||||||||||||||||||||||||
|
|
|
|
|
|
a |
|
|
|
|
|
|
a |
|
|
|
|
|
|
|
|
|
|
|
|
|
a |
|
|
|
|
|
|
Для определенности считаем a < b . Возьмем ε >0 - любое. По условию |
|||||||||||||||||||||||||||||||||
→ |
|
|
|
|
x [a, b] Взятому ε >0 отвечает номер N , |
зависящий |
|||||||||||||||||||||||||||
fn ( x ) →F(x ), |
|
||||||||||||||||||||||||||||||||
n→∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ε |
|
|
|
|
|
|
|
|
|
|
||
только от ε, такой, что |
|
fn ( x ) −F( x ) |
|
< |
|
сразу для всех x [a, b], |
если |
||||||||||||||||||||||||||
|
|
||||||||||||||||||||||||||||||||
|
|
b −a |
|||||||||||||||||||||||||||||||
n > N . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Имеем: |
b |
|
|
|
|
|
|
|
b |
|
|
|
|
|
|
|
|
|
b |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
∫ fn ( x )dx − ∫F( x )dx = ∫(fn ( x ) −F( x ))dx |
|
|
|
|
||||||||||||||||||||||||||||
|
a |
|
|
|
|
|
|
|
a |
|
|
|
|
|
|
|
|
|
a |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
b |
|
|
|
|
|
|
b |
|
|
|
|
|
|
|
|
|
b |
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
∫ fn ( x )dx − ∫F( x )dx |
= |
|
∫(fn ( x ) −F( x ))dx |
≤ |
|
|
|
|
|||||||||||||||||||||||
|
|
|
|
|
a |
|
|
|
|
|
|
a |
|
|
|
|
|
|
|
|
|
a |
|
|
|
|
|
|
|
|
|
||
|
b |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ε |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
≤ ∫ |
|
fn ( x ) −F( x ) |
|
dx < |
|
|
(b −a) = ε, если n > N . |
|
|
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||
|
|
|
b |
−a |
|
|
|
|
|||||||||||||||||||||||||
|
a |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
59
![](/html/1334/253/html_OPgKQl9ow9.feJT/htmlconvd-jWc7_J60x1.jpg)
|
|
|
|
|
|
|
|
|
|
b |
|
|
|
|
|
|
b |
|
|
|
|
|
|
|
|
|
|
|
|
Последнее означает, что ∫F( x )dx = limn→∞ ∫ fn ( x )dx . |
|
|
|
|
|
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
a |
|
|
|
|
→ |
a |
|
|
|
|
|
|
|
|
|
|
|
||
Замечание 1. |
Условие: |
|
|
|
|
|
|
|
|
x [a, b] является достаточным |
|||||||||||||||||||
|
fn ( x ) →F(x ), |
|
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n→∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
для допустимости предельного перехода под знаком интеграла, но оно не |
|||||||||||||||||||||||||||||
необходимо. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
y |
|
|
|
|
|
|
|
|
|
|
В |
самом |
деле |
вернемся к примеру 2. В этом |
|||||||||||||||
1 |
|
|
|
|
|
|
|
|
примере |
|
F( x ) ≡ 0, |
x [0,1]. |
|
|
Следовательно, |
||||||||||||||
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
1 |
(limn→∞ fn ( x ))dx = 0 . Имеем далее, |
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
y = fn ( x ) |
|
|
|
|
∫F( x )dx = 0, т.е. |
∫ |
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
1 |
|
|
|
|
1 , для любого n N |
|
|||||
|
|
|
|
|
x |
|
|
|
|
|
|
|
∫ fn |
( x )dx = |
|
1 |
= |
|
|||||||||||
1 |
1 |
|
|
|
1 |
|
|
|
|
|
|
|
0 |
|
|
|
2n |
|
|
|
|
2n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
lim |
1 |
f |
|
(x )dx = lim |
|
1 |
|
= 0. |
|
|
||||||
2n |
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∫ |
n |
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n→∞ |
|
|
|
n→∞ |
2n |
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
1 |
(limn→∞ fn (x ))dx |
|
(= 0), |
|
|
||||
Видим, |
|
|
что |
|
|
|
|
|
limn→∞ ∫ fn ( x )dx = ∫ |
|
|
хотя |
|||||||||||||||||
|
|
|
|
|
|
{ |
|
|
|
|
|
|
|
0 |
|
|
|
|
0 |
|
|
|
|
|
|
|
|
||
последовательность |
f |
n |
( x ) |
|
, x [0,1] не является равномерно сходящейся |
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
}n N |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
к своей предельной функции на промежутке [0,1]. |
|
|
|
|
|
|
|||||||||||||||||||||||
Замечание 2. |
Пусть f |
n |
( x ) R [a, b] , F( x ) R [a, b] . Если оказывается, |
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
( |
|
) |
|
|
|
|
|
( |
) |
|
|
|
|
||
|
b |
|
|
|
|
|
b |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
{ |
|
|
|
|
|
что lim |
f |
n |
( x )dx ≠ |
|
∫ |
F( x )dx , |
|
то последовательность |
f |
n |
( x ) |
, |
x [a, b] |
||||||||||||||||
n→∞ ∫ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
}n N |
|
|
|||||
|
a |
|
|
|
|
|
a |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
сходится на [a, b] неравномерно. В нашем примере |
|
|
|
|
|
|
60