Теория рядов. Учебное пособие
.pdfмажорируется на множестве D сходящимся числовым рядом, то функциональный ряд (2.1) равномерно сходится на множестве D.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Доказательство. Числовой |
ряд an |
сходится, |
следовательно, |
для любого |
|||||||||||||||
|
|
|
|
|
|
|
|
|
n 1 |
|
|
|
|
|
n N ε |
|
|||
ε 0 существует номер |
|
N ε такой, что |
при |
выполняется |
|||||||||||||||
неравенство: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
ak |
|
ε |
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
k n 1 |
|
|
|
|
|
|
|
|
|
или, в силу неотрицательности an , |
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ak |
|
ε. |
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
k n 1 |
|
|
|
|
|
|
|
|
||
Оценим остаток ряда (2.1): |
|
|
|
из сходимости |
|
|
|||||||||||||
|
|
|
|
|
условие |
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
uk x |
|
|
uk x |
|
|
|
|
|
ak |
|
|
|
ε. |
|||||
|
|
|
|
|
|
|
|
|
|||||||||||
|
k n 1 |
|
k n 1 |
|
|
|
|
|
теоремы |
|
k n 1 |
|
ряда |
an |
|
|
|||
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Получили, |
что из сходимости числового ряда an следует равномерная |
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n 1 |
|
|
|
сходимость функционального ряда un (x).
n 1
Что и требовалось доказать.
Рассмотрим пример применения признака Вейерштрасса для исследования равномерной сходимости функциональных рядов.
Пример 12. Исследовать на равномерную сходимость ряд |
|
arctgnx |
на |
|
n 1 (n x2 )3 |
||||
|
|
|||
множестве D ( ; ).
► Решение. Исследуем равномерную сходимость по признаку Вейерштрасса. Найдем числовой ряд, мажорирующий исходный ряд.
При любых n и x имеет место оценка:
|
|
|
|
|
arctgnx |
|
|
|
π |
|
|
|
π |
|
|
|
|
|
|
|
|
||||
|
un (x) |
|
|
|
|
|
2 |
|
|
|
2 |
|
, |
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
(n x2)3 |
(n x2)3 |
n3 |
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
π |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
значит, ряд |
|
|
мажорирует исходный ряд. |
|
|
|
|||||||||||||||||||
|
|
|
|
||||||||||||||||||||||
|
|
|
|
n 12n3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Числовой ряд |
|
|
|
|
|
|
|
|
|
|
|
|
|
π |
|
|
π |
|
1 |
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
an |
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
n 1 |
|
|
n 12n3 |
|
|
2n 1n3 |
||||||||
сходится по интегральному признаку Коши.
61
Таким образом, по признаку Вейерштрасса ряд |
|
arctgnx |
сходится |
|
n 1 (n x2 )3 |
||||
равномерно на множестве D ( ; ). ◄ |
|
|||
|
|
|
||
Рассмотрим ещё один признак равномерной сходимости функциональных рядов.
|
|
Теорема 4. Если функциональный ряд |
un (x) равномерно сходится на |
|
n 1 |
|
|
множестве D и v(x) - ограниченная на |
D функция, то ряд v(x) un (x) |
равномерно сходится на множестве D. |
n 1 |
|
Доказательство. Функция v(x) ограничена на D, следовательно, v(x) M ,
где M – некоторое положительное число. Ряд un (x) равномерно сходится,
n 1
значит, для любого ε 0 существует номер N ε не зависящий от x такой, что при n N ε справедливо неравенство:
n x ε
uk x ε.
kn 1
Всилу произвольности ε данное неравенство справедливо, если в роли ε
взять ε :
M
|
|
uk x |
|
ε . |
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
k n 1 |
|
|
|
M |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Оценим остаток ряда v(x) un (x): |
|
|
|
|
||||||||||
|
|
n 1 |
|
|
|
|
|
|
|
|
|
M ε |
|
|
|
v(x) uk |
(x) |
v(x) |
uk (x) |
ε. |
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
k n 1 |
|
|
|
|
|
|
|
|
k n 1 |
|
M |
|
|
|
|
|
|
|
|
|
|
|
|
|||||
То есть для любого ε 0 |
существует номер N ε , что |
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
v(x) uk (x) |
ε. |
|
|
|
||||||||
|
|
k n 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Таким образом, имеет место равномерная сходимость ряда v(x) un (x).
n 1
Что и требовалось доказать.
xn
Пример 13. Доказать, что ряд n 1 2 x равномерно сходится на интервале
62
|
0, |
1 |
|
|
|
|
. |
||
2 |
||||
|
|
|
|
x |
n |
|
|
|
1 |
|
|
|
|
|
|
|
|
|||
► Решение. Имеем |
|
|
|
|
xn . |
|
|
|
|
|
|
||||||
2 x |
2 x |
|
|
|
|
|
|
||||||||||
n 1 |
|
|
n 1 |
|
|
|
|
|
|
|
|||||||
|
|
1 |
|
|
|
|
1 |
|
|
|
|
n |
|||||
Так как на интервале 0, |
|
|
функция v(x) |
|
ограничена, а ряд |
x |
|
||||||||||
|
|
|
|||||||||||||||
|
|
2 |
|
|
|
|
2 x |
n 1 |
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
n |
|
|
сходится равномерно |
(см. пример |
6), |
значит, |
по теореме 4 ряд |
|
|
|||||||||||
2 x |
|||||||||||||||||
|
|
|
|
|
|
|
|
1 |
|
|
n 1 |
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
равномерно сходится на интервале |
0, |
|
. ◄ |
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
||
Задачи для самостоятельного решения.
171.-184. С помощью признака Вейерштрасса доказать равномерную сходимость функциональных рядов на заданном интервале:
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
||
171. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
на |
(0, ). |
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
n 1 |
|
(x n)(x n 1) |
|
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
173. |
n 1 |
|
|
|
|
|
|
|
на [1, ). |
|
|||||||||||||||
|
en2x nx2 |
|
|
|
|
||||||||||||||||||||
|
|
|
|
|
n2x |
|
|
|
|
|
|
|
|
|
|
|
x |
|
|||||||
175. |
|
|
|
|
|
|
|
|
|
|
|
|
arctg |
|
|
|
на |
[0,1]. |
|||||||
|
x |
3 |
n |
2 |
|
|
n |
2 |
|||||||||||||||||
|
n 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
sin nx 2 |
|
|
|
|
|
|
|
|||||||||||||||
177. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
на |
|
( , ). |
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
n |
5 |
x |
2 |
|
|
|
|
|||||||||||||||
|
n 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
x |
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
179. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
на |
( , ). |
|||||||
1 x |
2 |
n |
6 |
|
|
|
|
|
|
||||||||||||||||
|
n 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
181. |
x2e nx |
|
|
|
на |
[0, ). |
|
||||||||||||||||||
|
n 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
( 1)n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
183. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
на |
|
10,10 . |
||||||||
3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
e |
x |
n |
2 |
|
|
|
|
|||||||||||||||||
|
n 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
172. |
|
cosπnx |
|
|
|
на |
( , ). |
|||||||||||
|
n |
|
||||||||||||||||
|
n 1 |
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
174. |
ln 1 |
|
|
|
|
|
|
|
|
|
|
|
|
на [0,4]. |
||||
|
|
|
2 |
|
|
|
|
|
|
|
||||||||
n |
|
|
|
n |
|
|||||||||||||
|
n 1 |
|
|
|
|
|
|
|
|
2 |
||||||||
|
|
|
|
cosnx |
|
|
|
|
|
|||||||||
176. |
|
|
|
|
|
на [1, ). |
||||||||||||
n(1 ln |
2 |
nx) |
||||||||||||||||
|
n 1 |
|
|
|
|
|
|
|||||||||||
|
|
arctgnx |
|
|
|
|
|
|
|
|
||||||||
178. |
|
|
|
|
|
|
|
|
|
|
|
|
на ( , ). |
|||||
|
4 |
|
3 |
|
|
|
|
|
|
|
||||||||
x |
n |
|
|
n |
|
|||||||||||||
|
n 1 |
|
|
|
|
|
|
|
|
|
|
|||||||
180.
n 1
182.
n 1
n2(xn x n ) |
|
|
1 |
|
||||
|
|
|
|
|
на |
|
|
,2 . |
|
|
|
|
|
||||
|
|
n! |
|
|
2 |
|
||
arctg |
2x |
|
на |
( , ). |
||||
x2 n2 |
|
|||||||
|
|
|
|
|
|
|||
|
(n 1)2(3x)2n |
|
|
1 1 |
|
||||
184. |
|
|
|
на |
|
|
, |
|
. |
4x |
2 |
5n 2 |
|
|
|||||
n 1 |
|
|
|
9 9 |
|
||||
§2.4 Почленное интегрирование и дифференцирование функциональных рядов
Рассмотрим некоторые свойства равномерно сходящихся рядов.
63
Теорема 5. (о |
|
|
|
|
|
|
непрерывности |
|
суммы |
|
равномерно |
сходящихся |
||||||||||||||||||||||||||||||||||||||||||||||||||||||
функциональных рядов). Пусть |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||
1) |
Функциональный ряд (2.1) равномерно сходится на множестве D; |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
2) |
Все функции un (x), n 1,2, , непрерывны в точке х0 |
D, |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
тогда S(x) un (x) непрерывна в точке х0. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
n 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
Доказательство. При любом х D имеем |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
S(x) Sn(x) n(x). |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||
В частности, при x х0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
S(x0) Sn(x0) n(x0). |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||
Так как функциональный ряд (2.1) |
равномерно сходится на D, то для |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
любого ε 0 |
существует номер N ε такой, что |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
n (x) |
|
|
|
|
ε |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
при всех х D и n N ε . Очевидно, что также справедливо |
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
(x |
0 |
) |
|
|
|
ε |
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
Если n фиксировано, |
|
то Sn(x) является суммой конечного числа функций, |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
непрерывных в точке |
|
|
х0, поэтому |
Sn(x) также |
|
непрерывна в точке х0, а |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
значит, для любого ε 0 |
|
|
|
|
найдется δ 0, |
что при |
|
x x0 |
|
δ выполняется |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
S |
n |
(x) S |
n |
(x |
0 |
) |
|
|
ε |
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
Таким образом, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
S(x) S(x0) |
|
|
|
|
Sn (x) n(x) Sn(x0) n (x0) |
|
|
|
Sn (x) Sn (x0 ) |
|
|
|
|
n (x) |
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
n |
(x ) |
|
|
ε |
|
ε |
|
ε |
ε, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||
|
|
x x0 |
|
|
|
|
|
0 |
|
|
|
|
|
|
3 |
|
|
3 |
|
|
|
3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
если |
δ. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
непрерывна в точке х0. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||
Следовательно, S(x) |
|
|
|
|
|
Что и требовалось доказать. |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
Пример 14. Исследовать |
|
|
|
|
|
|
|
|
|
на |
|
непрерывность |
|
|
|
|
функцию |
|||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
f (x) arcsin |
|
|
|
|
|
|
|
|
|
|
|
|
|
на множестве ( ; ). |
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||
|
n |
2 |
|
|
x |
4 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
n 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
► Решение. 1) Докажем, что данный ряд равномерно сходится. |
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Очевидно, что 0 arcsin |
|
|
|
|
|
1 |
|
|
|
arcsin |
1 |
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||
n |
|
|
|
x4 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
2 |
|
|
n2 |
|
|
|
|
|
1 |
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
Пусть an |
|
arcsin |
|
|
. Рассмотрим числовой ряд bn |
|
, который |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
2 |
|
|
|
2 |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n 1 |
n 1 |
n |
||||||||||
64
сходится по интегральному признаку Коши. При этом
|
|
|
|
1 |
|
|
||
|
an |
lim |
arcsin |
|
|
|
||
lim |
n2 |
|
1. |
|||||
|
|
|
|
|||||
n bn |
n |
1 |
|
|
|
|
||
|
|
|
|
n2 |
|
|
||
Таким образом, по предельному признаку сравнения числовых рядов ряд
|
|
1 |
|
|
|
|
|
|
аn |
arcsin |
также сходится. |
|
|
|
|
|
|
2 |
|
|
|
|
|
|||
n 1 |
n 1 |
n |
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
Значит, по |
признаку Вейерштрасса ряд arcsin |
|
|
|
сходится |
|||
n |
2 |
x |
4 |
|||||
|
|
|
n 1 |
|
|
|
||
равномерно на множестве ( ; ).
2) Функции un (x) arcsin |
1 |
|
непрерывны на множестве ( ; ) |
||||||||
|
|
||||||||||
для любых n 1,2, . |
n2 x4 |
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
1 |
|
|
|
|
|
3) По теореме 5 функция f (x) arcsin |
|
|
|
непрерывна. ◄ |
|
||||||
n |
2 |
|
4 |
|
|||||||
|
|
n 1 |
|
x |
|
|
|
||||
Условие равномерной сходимости функционального ряда (2.1) в теореме 5 |
|||||||||||
существенно. В доказательство этого приведём следующий пример. |
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
Пример 15. Исследовать на непрерывность сумму ряда (xn xn 1) |
на |
||||||||||
множестве D 0,1 . |
|
|
|
|
|
|
|
|
n 1 |
|
|
|
|
|
|
|
|
|
|
|
|
||
► Решение. Все члены ряда |
un (x) xn xn 1, |
n 1,2, , непрерывны |
на |
||||||||
отрезке D 0,1 , то есть выполняется второе условие теоремы 5. |
|
||||||||||
Найдем сумму ряда S(x) по определению. |
Частичные суммы ряда имеют |
||||||||||
вид: |
|
|
|
|
|
|
|
|
|
|
|
Sn (x) x x2 x2 x3 xn xn 1 x xn 1. |
|
||||||||||
Найдём предел частичных сумм при n : |
|
|
|
|
|||||||
S(x) limSn |
(x) lim(x xn 1) |
x, |
если 0 x 1 . |
|
|||||||
n |
n |
|
0, |
если x 1 |
|
||||||
Предельная функция S(x) |
разрывна в точке x0 1. Это связано с тем, |
что |
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
нарушается первое условие теоремы 5, то есть ряд (xn xn 1) не является
n 1
равномерно сходящимся на D 0,1 . Действительно, оценим остаток ряда
65
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
сумма бесконечной |
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
n x |
|
|
|
S x Sn x |
|
|
|
|
|
|
(xk |
xk 1) |
|
|
|||||||||||||||||
|
|
|
|
|
||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
геометрической прогрессии |
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
k n 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
xn 1 |
|
|
xn 2 |
|
|
|
|
|
xn 1(1 x) |
|
|
|
|
xn 1 |
|
. |
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||
|
|
1 x |
1 x |
|
|
|
|
|
|
|
|
1 x |
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
Так как |
|
остаток |
ряда n (x) xn 1 при |
x 1 |
стремится |
к нулю |
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
неравномерно (пример 5 главы 2), то ряд (xn |
xn 1) |
не имеет равномерной |
||||||||||||||||||||||||||||||
сходимости на D 0,1 . ◄ |
|
|
|
|
|
|
|
|
|
n 1 |
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
Заметим также, что условие равномерной сходимости в теореме 5 является достаточным, но не является необходимым для непрерывности суммы ряда. Например, ряд из примера 15 на множестве D 0,1 будет иметь непрерывную сумму S(x) x, хотя сходится неравномерно.
Выясним, когда функциональные ряды можно почленно интегрировать и дифференцировать.
Теорема 6. (о почленном интегрировании функциональных рядов). Пусть
1)Функциональный ряд (2.1) равномерно сходится на a, b ;
2)Все функции un (x), n 1,2, , непрерывны на a, b ,
тогда функциональный ряд можно почленно интегрировать на a, b :
b |
|
|
b |
|
un |
(x) dx un (x)dx. |
|
a n 1 |
|
n 1 a |
|
Доказательство. Пусть S(x) un (x). Из условий теоремы следует, что S(x)
n1
–непрерывная функция на a, b (согласно теореме 5), а значит, S(x) –
интегрируема на a, b . Возьмем произвольное ε 0 и по значению |
ε |
0 |
|
||
|
b a |
|
найдем номер N ε |
такой, что для любого n N ε выполняется неравенство: |
|||||
|
Sn |
(x) S(x) |
|
|
ε |
(для любого x a;b ). |
|
|
|||||
|
|
b a |
||||
|
|
|
|
|
|
|
Это сделать возможно, так как из условия равномерной сходимости
следует, что Sn (x) |
равномерно сходится к S(x) |
на a, b . |
|
|
|
||||||||||
Рассмотрим оценку: |
|
|
|
|
|
|
|
|
|||||||
|
b |
n b |
|
|
|
|
b |
b |
|
n |
|
|
b |
|
|
|
|
|
|
|
|||||||||||
|
S(x)dx uk (x)dx |
|
|
|
S(x)dx |
uk |
(x) dx |
|
(S(x) Sn (x))dx |
|
|
||||
|
a |
k 1 a |
|
|
|
|
a |
a |
k 1 |
|
|
a |
|
|
|
66
|
b |
|
ε |
b |
|||
|
|
S(x) Sn (x) |
dx |
|
dx |
||
|
|||||||
|
a |
|
b a a |
||||
Получили, что для любого ε 0 n N ε справедливо неравенство:
ε (b a) ε. b a
существует номер N ε такой, что при
|
|
|
|
b |
|
|
|
n b |
|
|
|
|
|
|
|
S(x)dx uk (x)dx |
ε. |
||||||
Значит, |
|
|
|
a |
|
|
|
k 1 a |
|
|
|
|
|
|
n b |
|
|
|
|
b |
|
|
|
|
|
|
|
u |
|
(x)dx |
S(x)dx |
||||
|
|
|
|
lim |
k |
|
|||||
|
|
|
|
n |
|
|
|
|
|
||
|
|
|
|
k 1 a |
|
|
|
|
a |
|
|
|
|
|
|
b |
|
|
|
b |
|
|
|
|
|
|
|
un (x)dx S(x)dx. |
|||||||
|
|
|
|
k 1 a |
|
|
|
a |
|
|
|
b |
|
|
|
|
|
|
b |
|
|
|
|
Таким образом, |
|
un |
(x) dx un (x)dx. |
||||||||
a |
n 1 |
|
|
n 1 a |
|
|
Что и требовалось доказать. |
||||
|
|
|
|
|
|
|
|
|
|
|
|
Замечание. Пусть |
выполнены |
условия теоремы 6. Рассмотрим |
|||||||||
|
|
|
x |
|
|
|
|
x a;b . Из доказательства теоремы 6 |
|||
функциональный ряд |
|
|
un (t)dt при |
|
|||||||
n 1 a
x
следует, что этот функциональный ряд сходится равномерно на a, b к S(t)dt
a
и, в частности, имеет место равенство:
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
x |
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
un (t)dt S(t)dt. |
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
n 1 a |
|
|
|
|
a |
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Пример 16. Доказать, |
что |
|
функция |
S(x) ne nx непрерывна при |
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n 1 |
||
x ln2;ln3 и вычислить |
ln3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
S(x)dx. |
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
ln2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
► Решение. 1) Оценим un (x) при x ln2;ln3 : |
|
|
|
|||||||||||||||||||||||
|
un (x) |
|
|
|
ne nx |
|
|
n |
|
n |
|
n |
. |
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
enx |
enln2 |
|
|
2n |
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
2) Ряд |
n |
сходится по признаку Даламбера, так как |
||||||||||||||||||||||||
n |
||||||||||||||||||||||||||
|
|
|
n 1 2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
n 1 |
|
n |
|
1 |
|
|
n 1 1 |
||||||||
|
|
|
|
|
|
|
|
|
|
lim |
|
|
: |
|
|
|
|
lim |
|
|
|
|
|
1. |
||
|
|
|
|
|
|
|
|
|
|
|
|
2n |
|
|
2 |
|||||||||||
|
|
|
|
|
|
|
|
|
|
n 2n 1 |
|
|
2n n |
|
||||||||||||
67
3) По признаку Вейерштрасса ряд ne nx равномерно сходится на
n 1
ln2;ln3 .
4) Функции un (x) ne nx |
непрерывны при любом n 1,2, . |
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
5) По |
теореме 5 |
функция |
|
S(x) ne nx |
|
|
непрерывна |
|
и по |
|
теореме 6 |
|||||||||||||||||||||||||||||||||||||||
получаем: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
ln3 |
|
|
ln3 |
|
nx |
|
|
|
|
|
|
ln3 |
|
|
nx |
|
|
|
|
|
|
|
|
|
n ln3 |
nx |
|
|
|
|
|
|
||||||||||||||||||
S(x)dx |
ne |
|
|
|
|
|
|
|
|
|
|
|
|
ne |
|
|
|
|
|
|
|
|
|
|
|
|
|
e |
|
|
|
d( nx) |
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||
|
|
dx |
|
dx |
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||
ln2 |
|
|
ln2 |
n 1 |
|
|
|
|
|
|
|
|
|
|
n 1 ln2 |
|
|
|
|
|
|
|
|
n 1 |
|
|
|
nln2 |
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
nx |
|
ln3 |
|
|
|
|
nln3 |
|
|
|
|
nln2 |
|
|
|
|
|
1 |
|
|
|
1 |
|
|
1 |
|
1 |
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||
e |
|
|
|
e |
|
|
|
|
e |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
ln2 |
|
|
|
|
|
|
|
|
|
n |
|
|
n |
|
|
n |
|
n |
|
|||||||||||||||||||||||||||||
|
n 1 |
|
|
|
|
n 1 |
|
|
1 |
|
|
|
|
|
1 |
|
|
|
|
n 1 |
3 |
|
2 |
|
|
|
|
n 1 |
2 |
|
|
n 1 3 |
|
|
|
|
||||||||||||||
|
сумма бесконечной |
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
2 |
|
|
|
|
3 |
|
|
1 |
|
. ◄ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
геом.прогрессии |
|
|
|
|
|
|
1 |
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||
|
|
|
|
1 |
|
1 |
|
|
1 |
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
2 |
|
|
3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
Теорема 7. (о почленном дифференцировании функциональных рядов).
Пусть
1)Функциональный ряд (2.1) сходится на a, b ;
2)Все функции un (x) дифференцируемы на a, b и un (x) непрерывны на
a, b , n 1,2, ;
3) Функциональный ряд un (x) сходится равномерно на a, b ,
n 1
тогда
S (x)
n 1
|
|
|
|
|
|
|
|
||
un (x) |
|
|
|
(x), |
|
|
un |
||
|
|
|
n 1 |
|
то есть функциональный ряд можно почленно дифференцировать на a, b .
Доказательство. |
|
По |
теореме 5 функция T(x) |
||
Пусть T(x) un (x). |
|||||
|
n 1 |
|
|
|
|
|
a, b , так как по условию |
|
|
|
|
непрерывна на |
|
|
(x) |
||
un (x) |
- непрерывны и un |
||||
сходится равномерно на a, b . |
|
|
n 1 |
|
|
|
|
|
|
||
Функция T(x) непрерывна, следовательно, |
интегрируема, при этом ряд |
||||
|
|
|
|
|
|
|
|
до x: |
|
|
|
un (x) можно интегрировать почленно от a |
|
|
|||
n 1
68
x |
x |
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
(t)dt |
|
(un (x) un (a)) |
|
T(t)dt un |
(t) dt |
un |
|
|
|||||
a |
a n 1 |
|
|
n 1 a |
|
|
n 1 |
|
|
|
|
|
рядысходятся |
|
|
|
|
||
|
|
|
|
|
|||||
un (x) un (a) |
|
|
S(x) S(a). |
|
|||||
n 1 |
n 1 |
|
по условию теоремы |
|
|
||||
Получили, что |
|
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
S(x) S(a) T(t)dt. |
|
||||
|
|
|
|
|
|
|
|
a |
x |
|
|
|
|
|
|
|
|
|
|
Данная |
функция |
непрерывна |
и |
|
|
T(t)dt |
|||
|
S (x) T(x), так как |
||||||||
a
дифференцируем по теореме Ньютона-Лейбница как функция верхнего предела
[10, стр.115], то есть
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
un |
|
|
|
|
|
|
|
|
|
|
(x) |
|
|
|
|
|
|
|
|
|
|
||||||
|
|
(x) un |
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
при x a;b . |
|
n 1 |
|
|
|
|
|
n 1 |
|
|
Что и требовалось доказать. |
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
cosnx |
|
|
|
|
|
|
||||
Пример 17. Доказать, что |
функция |
|
f (x) |
|
|
дифференцируема |
|||||||||||||||||||||||
5 2 |
|||||||||||||||||||||||||||||
при x R. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n 1 |
n |
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
► Решение. 1) При x R и n 1,2, имеем |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
cosnx |
|
|
|
|
|
1 |
|
. |
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
n5 2 |
|
|
n5 2 |
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
При этом числовой |
ряд |
|
|
1 |
сходится |
по |
интегральному |
признаку |
|||||||||||||||||||||
|
|
|
|
|
|||||||||||||||||||||||||
n 1 n5 2 |
|||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
cosnx |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
Коши. По признаку Вейерштрасса ряд |
n 1 |
|
|
|
|
|
|
|
сходится равномерно. |
||||||||||||||||||||
|
n5 2 |
|
|
||||||||||||||||||||||||||
|
cosnx |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
2) Функции un (x) |
|
дифференцируемы |
для любых n 1,2, и |
||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||||
|
n5 2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
5 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n2 sinnx |
cosnx |
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
||
|
|
|
|
|
(x) |
|
|
|
|
|
|
|
|
|
. |
|
|
||||||||||||
имеют непрерывные производные un |
|
|
n7 2 |
|
|
|
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
5 |
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n2 sinnx |
cosnx |
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
3) Функциональный |
ряд |
|
|
|
|
|
(x) |
|
|
|
|
|
|
|
2 |
|
|
|
сходится |
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
un |
|
|
|
|
n |
7 2 |
|
|
|
|
|||||||||||||||||
|
|
|
|
n 1 |
|
|
|
|
|
|
|
|
n 1 |
|
|
|
|
|
|
|
|
|
|
|
|||||
равномерно по признаку Вейерштрасса, так как
69
n2 sinnx |
5 |
cosnx |
|
4 |
|
|
|
||||
2 |
|
|
|||
|
|
|
|
||
n7 2 |
n3 2 |
||||
1
иряд 4 n3 2 сходится по интегральному признаку Коши.
|
n 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
4) Условия |
теоремы |
7 |
выполняются, |
|
|
|
следовательно, |
функция |
|||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f (x) |
cosnx |
дифференцируема при x R и |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
5 2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
|
n 1 n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
5 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n2 sinnx |
cosnx |
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|||||||||||||||||||||||||||
|
|
f |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
. ◄ |
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
7 2 |
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
(x) un (x) |
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
n 1 |
|
|
|
|
|
n 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
x |
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
Пример 18. Найти сумму ряда |
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
► Решение. 1) Так как |
|
|
|
|
n 1 |
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
(n 1) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
un 1 |
|
lim |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
lim |
|
|
|
|
|
|
|
x |
|
, |
|
|
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
|
|
|
|
n |
un |
|
|
n |
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
то по признаку Даламбера ряд сходится, если |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
x |
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
1 |
x 1. |
|
( 1) |
n |
|
|
|
|
|
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
При |
x 1 |
получаем |
числовой |
ряд |
|
|
, |
|
который |
сходится |
|
по |
|||||||||||||||||||||||||||
|
|
n |
|
|
|
||||||||||||||||||||||||||||||||||
признаку Лейбница. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
При |
x 1 получаем |
числовой |
ряд |
|
|
, |
|
|
который |
расходится |
как |
||||||||||||||||||||||||||||
|
|
|
|
||||||||||||||||||||||||||||||||||||
гармонический ряд. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n 1 |
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
Область сходимости ряда: 1 x 1. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
|
|
|
|
xn |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1;1 |
|
|
|
|
n 1 |
|
2) Функции |
un (x) |
|
дифференцируемы |
на |
|
и |
(x) x |
|
|||||||||||||||||||||||||||||||
|
|
un |
|
||||||||||||||||||||||||||||||||||||
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
непрерывны на 1;1 , n 1,2, .
3)Функциональный ряд un (x) xn 1 сходится равномерно на δ;δ
n 1 |
n 1 |
при любом 0 δ 1 (но имеет |
неравномерную сходимость на 1;1 , см. |
пример 6 этой главы). Действительно,
70
