S(x) S(x |
0 |
) (S(x) S |
n |
(x)) (S(x |
0 |
) S |
n |
(x |
0 |
) (S |
n |
(x) S |
n |
(x |
0 |
)) |
|
|
|
|
|
|
|
|
|
S(x) S |
n |
(x) S(x |
0 |
) S |
n |
(x |
0 |
) S |
n |
(x) S |
n |
(x |
0 |
) |
. |
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
Выберем произвольное число |
0 |
. В силу равномерной сходимости |
||||||||||||||||||||||||||||||||||||
ряда можно фиксировать номер |
n |
|
|
такой, |
|
что неравенство |
|
S (x) Sn |
(x) |
|
||||||||||||||||||||||||||||
|
|
|
|
3 |
||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
будет выполнено |
для |
всех |
|
x a, b |
, в том числе и |
для |
x |
0 |
. При |
|||||||||||||||||||||||||||||
|
|
|||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||
фиксированном |
|
n |
частичная сумма |
|
ряда Sn (x) является непрерывной на |
|||||||||||||||||||||||||||||||||
отрезке a, b как сумма конечного числа непрерывных функций. Поэтому |
||||||||||||||||||||||||||||||||||||||
для выбранного |
|
0 |
найдется |
такое |
|
число |
|
0, |
|
что |
для |
любого x, |
||||||||||||||||||||||||||
удовлетворяющего неравенству |
|
x x |
0 |
|
|
|
, будет выполнено неравенство: |
|
||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||
Sn (x) Sn (x0 ) . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Тогда разность: |
|
S (x) S (x |
|
|
) |
|
|
|
|
|
|
|
|
, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
0 |
3 |
3 |
|
3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
что доказывает непрерывность суммы ряда в точке |
|
x |
0 |
, а т.к. |
x |
0 выбрано |
||||||||||||||||||||||||||||||||
|
|
|
||||||||||||||||||||||||||||||||||||
произвольно на отрезке |
a, b |
, то |
S(x) |
непрерывна на |
a, b |
. |
|
|
|
|
|
|
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
Другие свойства равномерно сходящихся рядов сформулируем без доказательства.
2. Почленное интегрирование.
Теорема. Если функции
u |
n |
(x) |
|
|
(n 1,2,3,...)
непрерывны на отрезке
a,
b
, а
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ряд |
|
u |
n |
(x) |
сходится равномерно на этом отрезке, то интеграл от суммы |
||||||||||||||
|
|
|
|||||||||||||||||
|
n 1 |
|
|
|
|
|
a, b |
|
|
|
|
|
|
|
|
|
|
|
|
ряда |
S(x) |
на отрезке |
представляется в виде |
суммы интегралов от |
|||||||||||||||
|
|
|
|
|
|
||||||||||||||
членов этого ряда: |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
b |
|
|
|
|
b |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
S (x)dx un (x)dx . |
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
a |
|
|
|
|
n 1 a |
|
|
|
|
|
|
|
|
|
|
|
|
|
Замечание. |
|
Интегрирование |
|
можно выполнить |
на |
любом отрезке, |
|||||||||||||
принадлежащем отрезку |
a, b |
. |
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
Пример 5. Вычислить сумму числового ряда |
. |
|
|
|
|
|
|
||||||||||||
n |
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
n 1 |
3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
n |
||
Пусть S - искомая сумма, представим S в виде: |
S |
|
|
|
|
|
. |
||||||||||||
|
|
|
n 1 |
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3 n 1 3 |
|
|
|||
Рассмотрим функциональный ряд
|
|
n x |
n 1 |
|
|
n 1 |
|
.
На любом отрезке,
принадлежащем интервалу ( 1,1) , этот ряд сходится равномерно, т.к.
мажорируется сходящимся числовым рядом. Пусть |
(x) |
– сумма этого ряда, |
|
тогда:
S
1 |
|
|
3 |
||
|
( |
1 |
) |
|
3 |
|||
|
|
.
Применим к построенному функциональному ряду теорему о |
|||
почленном интегрировании. Интегрирование выполним на отрезке |
0, x , |
||
полагая, что |
x ( 1,1) |
. |
|
|
|
||
|
x |
x |
|
|
|
|
|
|
x |
|
|
|
(x)dx n x n 1dx x n |
|
|
. |
|||||||
|
|
|
|
||||||||
|
1 |
x |
|||||||||
|
0 |
n 1 0 |
|
|
|
n 1 |
|
||||
|
|
|
|
|
|
|
|
||||
|
|
x |
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
Тогда |
(x) |
|
|
|
2 |
. Искомая сумма |
|||||
1 |
x |
|
|
(1 x) |
|||||||
|
|
|
|
|
|
|
|
|
|||
3. Почленное дифференцирование.
S |
1 |
|
1 |
|
|
|
3 |
|
|
|
2 |
||
|
|
|
1 |
|
||
|
|
|
||||
|
|
1 |
|
|
|
|
|
|
|
|
3 |
|
|
3 4
.
Теорема. Пусть функции un (x) |
(n |
отрезке |
a, b и имеют на этом отрезке |
1,2,3,...) |
определены и непрерывны на |
|
непрерывные производные |
u |
(x) |
. Ряд |
n |
|
un (x) n 1
сходится, а ряд
|
n |
|
|
|
u (x) |
n 1 |
|
сходится равномерно на отрезке
a,
b
.
|
|
|
|
|
|
|
Тогда сумма S(x) ряда |
|
u |
n |
(x) |
дифференцируема на отрезке |
|
|
|
|||||
|
n 1 |
|
|
|
|
|
производная суммы равна сумме ряда из производных: |
S (x) |
|||||
|
||||||
a, b |
|
|
|
|
n |
|
u ( |
n 1 |
|
, причем
x)
1
Пример 6. Вычислить сумму числового ряда 2n n .
n 1
|
x |
n |
|
Рассмотрим функциональный ряд |
|
||
n |
|||
n 1 |
|||
( 1,1) . Обозначим исходную сумму
функционального ряда |
S (x) |
. Тогда |
|
|
, который сходится на интервале
числового |
ряда S, а |
сумму |
||
|
1 |
|
|
|
S S |
|
|
|
|
|
|
|
||
|
2 |
. |
Рассмотрим |
ряд из |
производных x n 1 . Этот ряд сходится равномерно на любом отрезке,
n 1
принадлежащем интервалу ( 1,1) , т.к. мажорируется сходящимся числовым рядом, Применим к данному ряду теорему о почленном дифференцировании:
S (x)
Учитывая,
|
1 |
|
|
S S |
|
|
|
|
|||
|
2 |
|
|
|
|
|
|
|
|
|
|
1 |
|
|
x n 1 x n |
|
|
. |
|||||||
|
|
|
||||||||
1 |
x |
|||||||||
n 1 |
|
|
|
n 0 |
|
|
||||
|
|
|
|
|
|
|
|
|||
что |
|
S (0) 0 |
, |
|
|
получим |
||||
|
|
|
|
|
|
|||||
|
|
1 |
|
|
|
|
|
|
||
ln 1 |
|
|
|
ln 2 . |
|
|
|
|
||
|
|
|
|
|
||||||
|
|
2 |
|
|
|
|
|
|
||
S
ln(1
x)
.
Искомая сумма