Математический анализ II Курс Лекций
.pdf§3. Равномерная сходимость ряда |
131 |
Так как последнее неравенство выполняется для всех n > n0 и для всех x 2 [a; b], то сходимость последовательности интегралов к интегралу от предельной функции равномерная. J
Теорема 10.2.4. Если последовательность ffn (x)g1n=1 непрерывно дифференцируемых на [a; b] функций
1)сходится хотя бы в одной точке промежутка [a; b];
2)последовательность ffn0 (x)g1n=1 сходится равномерно на промежутке [a; b],
то последовательность ffn (x)g1n=1 тоже сходится равномерно на [a; b]
к некоторой функции f (x) и nlim fn0 (x) = f0 (x), x 2 [a; b]. |
|
|
|
|
|
|
|
|
||||||||||||
I |
|
|
|
|
|
|
!1 |
|
|
|
|
|
|
|
|
|
|
|
1 |
|
Обозначим точку, в которой сходится последовательность |
f |
|
x |
|
че- |
|||||||||||||||
|
|
|
n!1 n |
|
|
x |
|
|
|
|
|
fx n ( |
|
)gn=1 |
|
|||||
|
0 |
|
|
|
|
n!1 Z |
n |
|
|
|
|
Z |
|
|
|
|
|
|
||
рез x |
, а |
lim f0 (x) через g (x). Тогда |
lim |
f0 (x) dx |
= |
|
|
g (x) dx или |
||||||||||||
|
|
|
|
|
|
|
x |
x0 |
|
|
|
|
|
x0 |
|
|
|
|
|
|
n!1 |
|
|
|
|
|
|
|
f |
|
|
|
|
|
gn=1 |
|
|
||||
n |
(x) |
n 0 |
)) = |
Z |
|
|
f |
n |
|
0 |
) |
сходит- |
||||||||
lim (f |
|
f |
(x |
g (x) dx. Последовательность |
|
|
(x |
1 |
|
x0
ся по условию, поэтому, обозначая ее предел через C, получим, что по-
следовательность |
1 |
сходится в произвольной точке к функции |
x |
ffn (x)gn=1 |
|
Z |
|
|
f (x) = C + g (x) dx, причем, по теореме 10.2.3 эта сходимость равномер-
x0
ная.
Осталось доказать, что f0 (x) = g (x). Это равенство следует из правила дифференцирования интеграла по переменному верхнему пределу. J
§3 Равномерная сходимость ряда
3.1 Определение
Так как сходимость функционального ряда означает сходимость последовательности его частичных сумм, то все, изложенное в предыдущем пункте, применимо к функциональным рядам.
|
1 |
Определение 10.3.1. Будем говорить, что ряд |
Xk |
uk (x) сходится рав- |
|
|
=1 |
номерно к функции S (x) на области D, если последовательность его частичных сумм сходится равномерно на D, т.е. если по любому " > 0 можно найти номер n0, начиная с которого для всех x 2 D выполняется неравенство jSn (x) S (x)j < ".
132 |
|
|
Глава 10. ФУНКЦИОНАЛЬНЫЕ РЯДЫ |
||
Если |
ввести |
понятие |
остатка |
функционального |
ряда: |
Rn (x) = S (x) Sn (x), то можно сказать, что ряд сходится равномерно тогда и только тогда, когда его остаток равномерно стремится к нулю.
|
X |
|
|
|
|
|
Пример 1. Исследовать ряд |
1 |
( 1)n 1 |
на равномерную сходимость на про- |
|||
|
p3 n + x |
|||||
межутке [0; +1). |
n=1 |
|
|
|
|
|
|
|
|
|
1 |
|
|
, В каждой точке данного промежутка дробь |
p |
убывает и стремится |
3 n + x
к нулю. Поэтому ряд сходится по признаку Лейбница. Для ряда Лейбница справедлива оценка остаточного члена
1 |
1 |
|
||||
jRn (x)j 6 jun+1 (x)j = |
p3 |
|
6 |
p3 |
|
: |
n + x |
n |
Отсюда следует, что, начиная с некоторого n0, остаточный член будет меньше произвольного " > 0 для всех значений x из указанного промежутка. Следовательно, ряд сходится равномерно. -
Перефразируем некоторые утверждения, сформулированные в предыду- |
||
щем пункте, для рядов. |
|
|
1. Ряд сходится равномерно на D тогда и только тогда, когда |
||
sup Rn (x) n! 0. |
|
|
x D |
!1 |
|
2 |
|
1 |
2. |
Критерий Коши. Для того чтобы ряд |
Xk |
uk (x) сходился равно- |
||
|
|
=1 |
мерно на D, необходимо и достаточно, чтобы для любого " > 0 можно |
было найти номер n0, начиная с которого для всех ` 2 N и всех x 2 D
выполняется неравенство n+` uk (x) |
< ". |
|
||||||||
|
|
|
|
X |
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n+1 |
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
n+` |
|
Последнее следует из того, что Sn+` (x) Sn (x) = |
X |
||||||||
|
uk (x). |
|||||||||
|
|
|
|
|
1 |
|
|
|
|
n+1 |
|
|
|
|
|
|
x |
|
|
|
|
Пример 2. Доказать, что ряд |
Xk |
|
|
сходится неравномерно на проме- |
||||||
=1 |
1 + k2x2 |
|||||||||
жутке [0; 1]. |
|
|
|
|
|
|
||||
|
|
|
|
0. При x 6= |
|
|||||
, При |
x = |
0 выполнено |
uk (0) |
= |
0 общий член ряда |
|||||
|
x |
1 |
, поэтому на данном промежутке ряд сходится. |
|||||||
|
|
|
|
|||||||
|
1 + k2x2 |
xk2 |
Для доказательства того, что он сходится неравномерно, воспользуемся отрицанием критерия Коши, т.е. докажем, что можно указать такое "0 > 0, что при любом n0 найдутся n > n0, ` 2 N и xn 2 D, для которых выполняется
§3. Равномерная сходимость ряда |
|
|
|
|
|
|
|
|
|
133 |
||||||||||||||
|
n+` |
|
|
|
xn |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
X |
|
|
|
|
> "0. |
|
|
|
|
|
|
|
|
|
|
|
|||||||
неравенство |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
1 + k2xn |
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
n+1 |
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Возьмем ` = n, xn |
= |
|
. Тогда |
|
|
|
|
|
|
|
|
|||||||||||||
n |
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
xn |
|
|
|
|
1 |
|
|
|
|
1 |
|
|
n+l |
xn |
1 |
1 |
|||||||
|
|
|
|
|
|
|
|
|
|
|
X |
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
> |
|
|
|
|
|
n |
|
|
= 5n |
и |
1 + k2xn > |
5n n = 5: |
|||||||||
|
1 + k2xn2 |
|
|
n |
1 + |
|
|
|
|
|
n+1 |
|||||||||||||
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
Таким образом, в качестве "0 можно взять число 1=5 и отрицание критерия Коши выполнено. Ряд сходится, но не равномерно. -
3.2 Признаки равномерной сходимости функциональных рядов
|
1 |
Теорема 10.3.1 (признак Вейерштрасса). Пусть дан ряд |
Xk |
uk (x), при- |
|
|
=1 |
чем для любого k 2 N и для любого x 2 D выполняется неравенство
ся. |
|
|
|
1 |
(x)j 6 ak, где последовательность fakg такова, что ряд |
Xk |
|||
juk |
ak сходит- |
|||
|
|
|
|
=1 |
|
|
1 |
|
|
|
Xk |
|
|
|
|
Тогда ряд |
uk (x) сходится абсолютно и равномерно на D. |
||
|
|
=1 |
|
|
|
|
1 |
|
|
I Так как ряд |
Xk |
сходится, то по критерию Коши для любого " > 0 |
||
ak |
=1
можно найти номер n0, начиная с которого для всех ` 2 N будет выполняться
n+` |
n+` |
n+` |
|
X |
|||
неравенство |
ak < ". Следовательно, для тех же значений n |
и для всех |
|
n+1 |
X |
X |
|
значений x 2 |
|
||
D будет выполняться неравенство |
juk (x)j 6 |
ak < ", |
|
|
|
n+1 |
n+1 |
что означает (по достаточности критерия Коши) абсолютную и равномерную
1
сходимость ряда |
uk. J |
|
|
|
|
|
|
|
|
|
|
||
|
=1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
Xk |
1 |
arctg nx |
|
|
|
|
|
|
|
|
||
|
|
|
на равномерную сходимость на R. |
|
|||||||||
Пример 3. Исследовать ряд |
|
|
|||||||||||
n2 + x2 |
|
||||||||||||
|
|
|
n=1 |
|
|
|
|
|
|
|
|
|
|
, Так как jarctg nxj 6 |
|
X |
|
|
|
arctg nx |
|
6 |
|
|
|||
, то выполняется неравенство |
, |
||||||||||||
|
|
|
|
||||||||||
2 |
n2 + x2 |
2n2 |
|||||||||||
откуда следует, что данный ряд сходится абсолютно и равномерно |
на всей |
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
вещественной оси. - |
|
|
|
|
|
|
|
|
|
|
134 |
|
Глава 10. ФУНКЦИОНАЛЬНЫЕ РЯДЫ |
|
|
|
|
1 |
Теорема 10.3.2 (признак Дирихле). Пусть дан ряд |
uk (x) vk (x) и на |
||
|
|
|
=1 |
области D выполняются условия: |
Xk |
||
|
|||
|
|
n |
|
1) |
суммы |
Xuk (x) ограничены в совокупности на D, т.е. |
|
n |
|
k=1 |
|
X
uk (x) 6 M, где постоянная M не зависит от n и x;
k=1
2) при каждом фиксированном значении x последовательность функ-
ций fvk (x)g монотонна (нестрого) и vk (x) 0.
k!1
1
Тогда ряд |
Xk |
(x) vk (x) сходится равномерно на D. |
||
uk |
||||
|
=1 |
|
|
|
|
|
n+` |
|
|
|
|
Xk |
uk (x) vk (x) преобразование Абеля (гл. 6, п. 7.2): |
|
I Применим к сумме |
||||
|
|
=n |
|
|
n+` |
|
` 1 |
|
|
Xk |
|
X |
|
|
uk (x) vk (x) = |
Sn+i (x) (vn+i (x) vn+i+1 (x)) + Sn+` (x) vn+` (x) ; |
|||
=n |
|
i=0 |
|
|
|
n+i |
|
|
|
где Sn+i (x) = |
Xk |
(x). |
|
|
uk |
|
|
||
|
=n |
|
|
|
Тогда выполнено неравенство |
|
|||
n+` uk (x) vk |
(x) 6 |
` 1 Sn+i (x) (vn+i (x) vn+i+1 |
(x)) + jSn+` (x) vn+` (x)j 6 |
|
k=n |
|
i=0 |
|
|
X |
|
X |
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
` 1
X
6jSn+i (x)j j(vn+i (x) vn+i+1 (x))j + jSn+` (x)j jvn+` (x)j 6
i=0
|
|
|
|
6 M |
` 1 jvn+i (x) vn+i+1 (x)j + jvn+` (x)j!: |
||||||
|
|
|
|
|
|
Xi |
|
|
|
|
|
|
|
|
|
|
|
=0 |
|
|
|
|
|
Так |
|
как |
|
последовательность |
fvk (x)g |
|
монотонна, |
||||
то разности vn+i (x) vn+i+1 (x) имеют одинаковый знак и поэтому |
|||||||||||
` 1 jvn+i (x) vn+i+1 |
(x)j = ` 1 vn+i (x) vn+i+1 |
(x) = jvn (x) vn+` (x)j : |
|||||||||
i=0 |
|
|
|
i=0 |
|
|
|
|
|
||
X |
|
|
|
X |
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
||
Так как v |
k |
(x) |
|
|
|
|
|
0 |
, начиная с кото- |
||
|
|
0, то по |
" > 0 можно найти номер |
n |
|||||||
|
|
|
k!1 |
|
|
|
|
|
" |
|
|
рого для всех x 2 D справедливо неравенство vk (x) < |
|
. Следовательно, |
|||||||||
3M |
136 Глава 10. ФУНКЦИОНАЛЬНЫЕ РЯДЫ
Тогда
n+` |
|
|
|
|
|
|
|
|
|
|
|
" |
|
|
|
|
|
` 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
uk (x) vk |
(x) |
< |
|
|
|
|
|
|
|
|
|
|
|
jvn+i (x) vn+i+1 (x)j + jvn+` (x)j! = |
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||
3C |
|
|
|
|
i=0 |
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||
k=n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
X |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
X |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
" |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
" |
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
= |
|
|
|
|
|
( v |
(x) |
|
|
|
|
v |
|
|
(x) + |
v |
|
|
|
(x) ) |
6 |
|
|
|
|
|
3C = ": |
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3C |
|||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3C |
j n |
|
|
|
|
|
|
n+` |
|
j |
|
|
j |
n+` |
|
|
|
j |
|
|
|
|
|
||||||||||||||||||||
По критерию Коши ряд сходится равномерно на D. J |
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||
Пример 4. Исследовать ряды на равномерную сходимость: |
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||
a) |
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
, |
x 2 [1=2; 3]; |
|
|
b) |
|
|
1 |
|
|
|
1)n 1 |
|
|
|
x |
|||||||||||||||||||||||||||||
k=1 sin kx ln 1 + k |
|
|
|
n=1 (p3 n + x ln 2 + n , |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
X |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
X |
|
|
|
|
|
|
|
|
|
|
|
|||||||
x 2 [0; 5]. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
, a) Применим признак Дирихле. С одной стороны |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||
n |
|
|
|
|
1 |
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
sin kx = |
|
|
|
|
|
|
|
|
|
|
|
|
2 sin |
|
sin kx! = |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
2 sin x2 |
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||
=1 |
|
|
|
|
|
|
|
|
|
|
|
|
k=1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
Xk |
|
|
|
|
|
|
|
|
|
|
|
|
X |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
! |
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
1 |
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
= |
|
|
|
|
|
|
|
|
|
|
|
|
|
cos |
k |
|
|
|
|
x cos |
|
|
k + |
|
|
|
x |
= |
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
|
|
|
2 sin x2 |
|
k=1 |
|
2 |
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
X |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
1 |
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= |
|
cos |
|
|
cos n + |
|
|
x ; |
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 sin x2 |
2 |
|
2 |
||||||||||||||||||||||||
|
n |
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|||||
откуда |
sin kx |
6 |
|
|
|
|
|
|
cos |
|
|
+ |
|
cos |
n + |
|
x |
|
6 |
|
|
. |
|
|
|
|
|
||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||
2 sin x |
2 |
|
2 |
sin x |
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||
|
k=1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|||||||||||||||||
С |
X |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
неравенство |
||||||||||||||
другой |
стороны |
|
|
для |
|
|
|
|
|
|
|
[1=2; 3] |
выполняется |
|
|||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
x |
|
|
x |
|
3 |
|
|
откуда следует, что |
|
|
|
|
|
x |
|
|
|
|
|
. Кроме того, по- |
|||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||
0 6 ln 1 + k 6 k 6 k, |
ln 1 + k |
0 |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||
следовательность ln 1 + |
|
монотонно убывает при каждом фиксированном |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
k |
неотрицательном значении x. Следовательно, данный ряд сходится равномерно на [1=2; 3].
b) Для исследования этого ряда воспользуемся признаком Абеля.
Ряд |
1 |
( 1)n 1 |
сходится равномерно на данном промежутке (см. при- |
|||||||||||||
|
|
|
|
|||||||||||||
|
p3 n + x |
|||||||||||||||
|
n=1 |
|
|
|
|
|
|
|
|
|
|
|
|
|||
мер 1). |
X |
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
x |
убывает при любом неотрицательном зна- |
||||||||
Последовательность |
|
|
||||||||||||||
|
|
|
|
|
|
ln 2 + |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
x |
|
6 ln 5. Следовательно, условия при- |
||||||
чении x и ограничена: 0 < ln |
|
2 + |
|
|
|
|||||||||||
|
n |
|
||||||||||||||
знака Абеля выполнены и ряд сходится равномерно на промежутке |
[0; 5] |
. |
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
-
§4. Степенные ряды |
137 |
Свойства суммы равномерно сходящегося ряда
Для суммы равномерно сходящегося ряда выполнены свойства, которыми обладает предел равномерно сходящейся последовательности функций.
1
X
Теорема 10.3.4. 1) Если члены ряда uk (x) непрерывны на D и ряд
k=1
сходится равномерно на D, то сумма ряда будет функцией, непрерывной
на D.
1
X
2) Если члены ряда uk (x) непрерывны на промежутке [a; b] и ряд
k=1
сходится равномерно на этом промежутке к некоторой сумме S (x), то ряд можно интегрировать почленно на любом промежутке [c; d] [a; b], т.е.
1 |
d |
d |
|||
Z |
uk (x) dx = Z |
S (x) dx: |
|||
k=1 |
|||||
X c |
|
c |
|
||
1 |
|
|
|
||
3) Если члены ряда |
|
uk (x) непрерывно дифференцируемые на про- |
|||
=1 |
|
|
|
||
Xk |
|
сходится |
хотя бы в одной точке это- |
||
межутке [a; b] функции, |
ряд |
||||
1 |
uk0 |
|
|
||
го промежутка, а ряд |
|
(x) сходится равномерно на [a; b], то ряд |
|||
=1 |
|
|
|
||
Xk |
|
|
|
||
1 |
|
|
|
|
X
uk (x) также сходится равномерно на [a; b] к некоторой сумме S (x) и
k=1
1
Xu0k (x) = S0 (x).
k=1
§4 Степенные ряды
Определение 10.4.1. Степенным рядом будем называть |
ряд вида |
|
1 |
|
|
Xk |
fakg — числовая последовательность, x0 |
— фикси- |
ak (x x0)k, где |
||
=0 |
|
|
рованное вещественное число и x 2 R — переменная.
Отметим, что область сходимости степенного ряда всегда непустое множество, так как ряд сходится в точке x = x0.
Заменой t = x x0 переместим начала координат в точку x = x0. Тогда
1
X
ряд примет более простой вид aktk. Очевидно, что эта замена не влияет
k=0
§4. Степенные ряды |
|
|
|
139 |
||||
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
Xk |
|
Теорема 10.4.2 (Адамара). Радиус R сходимости степенного ряда |
akxk |
|||||||
1 |
|
|
|
|
=0 |
|||
|
|
|
|
|
||||
равен R = |
|
|
|
|
|
|
. |
|
|
|
|
|
|
|
|
||
|
n!1 pj |
a |
nj |
|
||||
|
|
lim n |
|
|
|
|||
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
Xk |
akxk на |
I Возьмем произвольное значение переменной x и исследуем ряд |
||||||||
|
|
|
|
|
|
=0 |
|
сходимость в этой точке с помощью радикального признака Коши (теорема 9.1.2).
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Для этого вычислим |
|
|
qj n |
xn |
j = j |
|
|
|
qj |
nj |
. Если этот предел |
|||
n!1 |
x |
j n!1 |
||||||||||||
lim n a |
|
|
|
lim n a |
|
меньше единицы, т.е. если jxj < R, то ряд сходится, причем абсолютно; если этот предел больше единицы, то ряд расходится, так как в этом случае общий член ряда стремится к бесконечности и не выполняется необходимое условие сходимости. J
Замечание 1. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|||||
|
|
|
|
|
|
|
lim |
|
n |
a |
R = |
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
Если существует n!1 qj |
nj, то |
|
|
nlim |
n janj. |
|
|
|
||||||||||||||
Замечание |
2. |
|
|
|
|
можно |
доказать, |
!1 |
|
|
|
|
|
|||||||||||||||
n!1 |
an |
|
, то |
Аналогично, |
|
|
|
|
|
|
|
|
|
|
|
что |
p |
|
|
|
||||||||
|
n!1 an+1 . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
an+1 |
|
|
|
|
|
an |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
lim |
|
|
|
|
|
|
R = lim |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
n |
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
Пример |
1. |
Найти радиус сходимости |
|
|
|
|
|
|
|
|
|
|
X |
p |
|
|
||||||||||||
|
и область сходимости ряда |
n! |
x . |
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
= n!1 |
an+1 |
|
|
|
|
|
|
|
|
|
|
|
n=1 |
|
|
|
||||
, Применяя формулу R |
|
lim |
|
|
an |
|
, получим |
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
pr
|
|
|
|
|
R = lim |
|
|
|
|
n! |
|
|
|
|
= lim |
|
1 |
|
|
= 0: |
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
n |
!1 p( |
n |
+ |
- |
|
|
|
|
|
|
n |
!1 |
n + 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
1)! |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
Ряд сходится в одной точке x = 0. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
n!xn |
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
X |
|
|
|
|
|
Пример 2. Найти радиус сходимости и область сходимости ряда |
|
|
n2 |
. |
||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n=1 |
2 |
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n 2n2 |
|
|
2n |
||||||||||
, Применим формулу R = |
|
|
|
|
|
|
|
|
|
|
|
|
: R = |
nlim s |
|
|
|
|
= |
nlim |
pn |
|
|
. Так |
||||||||||||||||||
|
|
|
|
n |
|
|
|
|
|
|
|
n! |
|
|||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
n |
|
|
p p |
j |
|
|
p |
|
|
n |
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
j |
an |
|
|
!1 |
|
|
|
|
|
|
|
|
!1 |
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
lim |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n! |
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
!1 nn |
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
как по формуле Стирлинга n! |
|
|
|
|
|
|
2 n, то |
|
|
n! |
|
|
|
и, следовательно, |
||||||||||||||||||||||||||||
|
en |
|
|
|
e |
|||||||||||||||||||||||||||||||||||||
|
2n |
|
e2n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
nlim |
pn |
|
|
= nlim |
|
= 1. Областью сходимости данного ряда является мно- |
||||||||||||||||||||||||||||||||||||
|
|
n |
||||||||||||||||||||||||||||||||||||||||
!1 |
|
n! |
!1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
жество всех вещественных чисел. -