
Sumin_Chislovye_i_funktsionalnye_ryady_2021
.pdf
|
|
x |
|
un (x) (x 3) tg |
|||
n |
|||
n 1 |
n 1 |
2 |
и исследуем его на абсолютную сходимость.
Отметим, что при x {0, 3} все члены исходного ряда равны нулю. Кроме того, при фиксированном x E \ {0, 3} найдется номер n0 , такой, что un (x) 0 при всех n n0 . Впрочем, отдельно проверяется, что для любого фиксированного x E \ {0, 3} все чле-
ны ряда не равны нулю в точке x.
Применим теорему 2.5 (признак Даламбера) в точках x E \ {0, 3} . Имеем
|
|
|
un (x) (x 3)n tg |
|
|
x |
, |
|
|
|
un 1(x) (x 3)n 1 tg |
|
|
x |
|
, |
|
|
|||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
2n 1 |
|
|||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
un 1 (x) |
|
|
|
|
(x 3)n 1 tg |
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
tg |
|
|
|
x |
|
|
|
|
|
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||
|
|
|
|
|
|
|
2n 1 |
|
|
|
|
(x 3) |
|
2n 1 |
|
|
, |
|
|
|
|
||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||
|
|
|
|
|
|
un (x) |
|
|
(x 3) |
n |
|
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
|
|
|
||||||||||||||||||||||
откуда |
|
|
|
|
|
|
|
|
tg |
2n |
|
|
|
|
|
|
|
|
|
|
|
tg 2n |
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
un 1 (x) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
tg |
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
lim |
|
lim |
|
x 3 |
|
|
|
2n 1 |
|
|
|
x |
3 |
|
|
lim |
2n 1 |
|
|||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
|||||||||||||||||||||||||||||||||||||||||||
|
|
n |
un (x) |
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
x |
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
tg |
2n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2n |
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x 3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
q(x) , |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
|
|
x |
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
где |
tg |
|
|
при n . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
2n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
2n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
Ряд сходится абсолютно, если |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
q(x) |
|
x 3 |
|
|
|
1, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
т.е. |
x (1, 5). Напомним, что при x 3 все члены ряда равны нулю, |
ряд сходится, и его сумма равна нулю. Учитывая область опреде-
61
ления, исключаем x (1, 5). Таким образом, ряд сходится абсолютно при x (1, ) ( , 5) и расходится при x E \ [1, 5].
В точках x1 1, |
|
x2 5, |
определяемых |
уравнением q(x) 1, |
|||||||
проведем дополнительное исследование. |
|
|
|||||||||
При x 1 получаем знакочередующийся ряд |
|||||||||||
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
cn ( 2)n tg |
. |
|
|||||
|
|
|
n |
||||||||
|
|
|
|
n 1 |
n 1 |
2 |
|
|
|
||
Так как |
|
|
|
|
|
1 |
|
|
|
1 |
|
lim |
|
c |
|
lim 2n tg |
lim 2n |
1 0, |
|||||
|
|
||||||||||
|
|
|
|
||||||||
n |
|
n |
|
n |
|
2n |
n |
2n |
|||
|
|
то по следствию 1.1 из теоремы 1.3 ряд расходится. При x 5 получаем ряд с положительными членами
|
|
|
|
|
|
|
|
5 |
|
|
|
||
|
|
|
|
|
cn |
2n tg |
|
|
|
||||
|
|
|
|
|
n |
|
|
||||||
|
|
|
|
|
n 1 |
n 1 |
2 |
|
|
|
|||
(отметим, что tg |
5 |
|
|
0 |
при n 2 ). Так как |
|
|
||||||
2n |
|
|
|||||||||||
|
|
|
5 |
|
|
|
|
5 |
|
||||
lim c |
n |
lim 2n tg |
|
lim 2n |
5 0, |
||||||||
2n |
2n |
||||||||||||
n |
n |
n |
|
то этот ряд расходится. Следовательно, исходный функциональный ряд сходится абсолютно при x (1, ) ( , 5) и расходится при
x E \ (1, 5), т.е. множество сходимости X (1, ) ( , 5).
Задча 4.6. Найти множество сходимости функционального ряда
|
|
|
n |
|
x |
|
|
n |
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
. |
|
|
2 |
|
|
|
|
||||
n |
3 |
|
x |
|
|
|
|||
n 1 |
|
|
|
|
|
Решение. Запишем общий член ряда
u |
|
(x) |
|
|
n |
|
x |
|
n |
|
n |
|
|
|
|
|
|
|
. |
||
|
2 |
|
|
|
|
|||||
|
|
n |
3 |
|
x |
|
|
|||
|
|
|
|
|
|
|
||||
|
|
|
|
|
62
Отметим, что E \ {0} и
|
x |
|
1, |
x 0; |
|
|
|
|
|
|
x |
|
x 0. |
|
|
|
1, |
Рассмотрим два случая.
1-й случай. При фиксированном x 0 запишем
un (x) |
|
|
n |
|
x |
|
n |
|
|
|
n |
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
2 |
|
|
|
|
|
2 |
|
|
|||||
|
|
|
|
|
|
|||||||||
|
n |
3 |
|
x |
|
|
|
n |
3 |
|
n |
|||
|
|
|
|
|
|
|
|
при n . Числовой ряд
1
n 1 n
является гармоническим и, как мы знаем, расходится (см. задачу 1.5). По теореме 2.3 (2-й признак сравнения) ряд
un (x)
n 1
при фиксированном x 0 расходится.
Таким образом, исходный функциональный ряд расходится при
x 0 . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2-й случай. Зафиксируем |
x 0. |
Тогда получаем знакочередую- |
|||||||||||||||||
щийся числовой ряд |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
n |
|
|
x |
|
|
n |
|
|
|
n |
|
||
|
|
|
|
|
|
|
|
|
|
||||||||||
|
u |
n |
(x) |
|
2 |
|
|
|
|
|
|
|
|
( 1)n |
2 |
|
. |
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
n 1 n 3 |
|
x |
|
|
n 3 |
||||||||||||
n 1 |
|
|
|
|
|
|
|
|
n 1 |
|
|
Ряд из модулей расходится (см. 1-й случай). Покажем, что числовой ряд
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
( 1)n bn ( 1)n |
|
|
|
|
|
||||
|
|
|
|
n |
2 |
3 |
|
|
|
||||
|
|
|
|
n 1 |
n 1 |
|
|
|
|
|
|||
удовлетворяет |
признаку |
Лейбница. |
В |
самом деле, во-первых, |
|||||||||
bn |
n |
|
0 |
n ; |
во-вторых, |
последовательность |
n |
|
|||||
|
|
|
|
|
|||||||||
n2 |
3 |
|
|||||||||||
|
|
|
|
|
|
|
|
|
n2 3 |
|
|||
убывает. |
Для доказательства этого свойства рассмотрим при t 1 |
||||||||||||
функцию |
|
|
|
|
|
|
|
|
|
|
|
|
63

|
|
|
|
|
|
|
f (t) |
|
t |
|
, |
|
|
||||
|
|
|
|
|
|
|
t2 3 |
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
где f (n) |
n |
|
, |
n . Так как |
|
|
|
|
|
|
|
||||||
n2 3 |
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
3 t2 |
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
f (t) |
|
|
0 |
|
|
||||||
|
|
|
|
|
|
|
(t2 3)2 |
|
|
||||||||
при t |
3, |
то |
f (t) |
убывает при t |
3, . Отсюда следует, что |
||||||||||||
n 2, |
n , |
последовательность |
|
|
|
n |
|
|
|||||||||
|
|
|
|
|
монотонно убывает. |
||||||||||||
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
n2 |
3 |
||||
В-третьих, |
lim |
b |
lim |
n |
|
|
0. |
|
Следовательно, исходный |
||||||||
|
3 |
|
|||||||||||||||
|
|
n |
n |
n n2 |
|
|
|
|
|
|
|
|
функциональный ряд сходится условно при x ( , 0) и расходится при x (0, ), т.е. множество сходимости X ( , 0).
Задача 4.7. Найти множество сходимости функционального ря-
да
|
1 |
|
|
1 |
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
, |
a . |
|||||
n |
n! 1 a |
2n |
x |
2 |
||||||||||
n 1 |
|
|
|
|
|
|
||||||||
Решение. Отметим, что при любом значении параметра a |
||||||||||||||
члены ряда |
|
|
|
1 |
|
|
|
1 |
|
|
||||
un |
(x) |
|
|
|
|
|
||||||||
n n! 1 a2n x2 |
||||||||||||||
|
|
|
|
|
||||||||||
определены при всех x , т.е. |
E . |
Применим признак Далам- |
бера (см. формулу (4.2)) для нахождения множества абсолютной сходимости функционального ряда.
Если |
|
a |
|
1, |
то |
ряд |
сходится |
абсолютно |
при |
|
|
x ( , 0) (0, ). В самом деле,
un (x) |
1 |
|
1 |
, un 1(x) |
1 |
|
1 |
, |
|
n n! 1 a2n x2 |
n 1 (n 1)! 1 a2n 2 x2 |
||||||||
|
|
|
64

|
|
|
|
|
|
|
|
|
|
un 1 (x) |
|
|
|
|
|
n n! (1 a2n x2 ) |
|
|
, |
|
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
un (x) |
|
|
n 1 (n 1)! (1 a2n 2 x2 ) |
|
|
|
|
|
|
||||||||||||||||||||||||||
откуда для x 0, |
|
a |
|
|
|
1, |
|
имеем |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||
lim |
|
un 1 (x) |
|
|
lim |
|
|
|
|
|
|
|
|
n n! a2n x2 |
|
|
|
lim |
|
|
|
ne |
|
|
1 |
q(x) |
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||
|
un (x) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1)a2 |
a2 |
||||||||||||||||||||||
n |
|
|
|
n n 1 (n 1)! a2n 2 x2 |
|
n e (n |
|
|
|
|
|||||||||||||||||||||||||||||||||||||
(согласно формуле (2.4) |
n n! n при n ). |
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
e |
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|||||
Ряд сходится абсолютно, если |
q(x) |
|
1, |
|
т.е. |
|
a |
|
|
1. Отме- |
|||||||||||||||||||||||||||||||||||||
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||
a2 |
|
||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
тим, что при x 0 |
получается числовой ряд |
, |
который рас- |
||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||
ходится. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n 1 n n! |
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
Если |
|
a |
|
1, то при фиксированном x |
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
1 |
1 |
|
|
|
|
e |
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
un (x) |
|
|
|
|
|
|
|
|
|
|
|
при |
. |
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
n n! |
1 a2n x2 |
n |
|
|
|
|
|
|||||||||||||||||||||||||||||||||
Так как 1, |
то согласно теореме 2.4 (частный признак сравне- |
||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
ния) ряд un (x) |
расходится. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||
|
|
|
|
n 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
Аналогично, при |
|
a |
|
1 получаем функциональный ряд |
|
||||||||||||||||||||||||||||||||||||||||||
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
n! 1 x |
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
который расходится.
Таким образом, множество сходимости определяется следую-
щим образом: |
|
|
|
||||||||
если |
|
a |
|
1, |
то исходный функциональный ряд расходится при |
||||||
|
|
||||||||||
любом x (т.е. |
X ); |
|
|||||||||
если |
|
a |
|
1, |
то ряд сходится абсолютно при любом |
x 0 и рас- |
|||||
|
|
||||||||||
ходится при x 0 |
(т.е. X ( , 0) (0, ) ). |
|
65

Задача 4.8. Найти множество сходимости функционального ря-
да
|
ln (1 xn ) |
, x 0, |
|
a . |
|
||
|
n |
a |
|
|
|||
n 1 |
|
|
|
|
|
|
|
Решение. Данный функциональный |
ряд с параметром |
a |
|||||
рассматривается на множестве E { x : x 0}. |
|
||||||
Рассмотрим три случая. |
|
|
|
|
|
|
|
1-й случай. Пусть |
0 x 1. |
Тогда |
ln (1 xn ) xn при |
n . |
|||
При фиксированных x и a получаем числовой ряд |
|
||||||
|
|
|
n |
|
|||
|
vn (x) |
x |
. |
|
|||
|
a |
|
|||||
|
n 1 |
n 1 n |
|
Исследуем его на абсолютную сходимость. Применим теорему 2.6 (признак Коши):
lim n |
|
v |
n |
(x) |
|
lim |
n |
xn |
|
lim |
|
x |
|
x q(x) |
|
|
|
||||||||||||||
|
|
na |
|
|
|
||||||||||
n |
|
|
|
|
n |
|
n n na |
|
|||||||
|
|
|
|
|
|
|
|||||||||
(здесь lim n n 1 ). Так как q(x) x 1, |
|
то ряд vn (x) сходится |
|||||||||||||
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n 1 |
абсолютно ( a ). |
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|||||||
По теореме 2.3 (2-й признак сравнения) ряд |
|
||||||||||||||
|
|
|
|
|
|
|
ln (1 xn ) |
|
|||||||
|
|
|
|
un (x) |
n |
a |
|
||||||||
|
|
|
|
n 1 |
|
n 1 |
|
|
|
|
|
сходится абсолютно при 0 x 1 |
для любого a . Отметим, что |
||
|
|
|
|
при x 0 все члены ряда |
un (x) |
равны нулю, ряд сходится, и |
|
его сумма равна нулю. |
n 1 |
|
|
|
|
|
|
Таким образом, исходный ряд сходится абсолютно при 0 x 1, |
|||
a . |
|
|
|
2-й случай. Пусть x 1. Тогда получаем ряд |
|||
|
|
|
|
|
lna2 |
, |
|
|
n 1 |
n |
|
66
который при фиксированном |
|
|
a является обобщенным гармо- |
||||||||||||||||||||||||||||||||||||||||||||
ническим рядом (см. задачу 2.13) и сходится только при a 1. |
|
||||||||||||||||||||||||||||||||||||||||||||||
Таким образом, ряд сходится абсолютно при |
x 1, |
a 1. |
При |
||||||||||||||||||||||||||||||||||||||||||||
x 1, a 1 ряд расходится. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
3-й случай. Пусть x 1. |
Фиксируя x и a, получаем |
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
n |
|
|
|
|
1 |
|
|
|
|
|
n |
|
|
|
|
|
1 |
|
|
||||||||||
|
|
|
|
ln (1 x |
|
|
) |
ln x |
|
1 |
|
|
|
|
|
|
ln x |
|
|
ln 1 |
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
x |
n |
|
|
|
x |
n |
|
||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n ln x |
|
|
|
|
o |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
n |
|
n |
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
при n . Запишем тогда |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
ln (1 xn ) |
|
|
|
|
|
ln x |
|
|
1 |
|
|
|
|
1 |
|
|
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
a |
|
|
|
|
|
|
|
|
|
|
|
o |
|
|
|
|
|
. |
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
a 1 |
x |
n |
n |
a |
|
n |
n |
a |
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
n 1 |
|
|
|
|
|
|
|
|
|
|
n 1 |
|
n |
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
|
|
|||||||||||
|
|
ln x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
Ряд |
|
сходится абсолютно при |
|
x 1, |
если |
|
a 2, и расхо- |
||||||||||||||||||||||||||||||||||||||||
a 1 |
|
|
|||||||||||||||||||||||||||||||||||||||||||||
|
n 1 |
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
дится при x 1, если a 2. |
На рассматриваемом множестве ряд |
||||||||||||||||||||||||||||||||||||||||||||||
|
|
1 |
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
o |
|
|
|
|
|
|
|
сходится при любом a . Поэтому (см. |
||||||||||||||||||||||||||||||||
|
n |
|
a |
|
|
n |
|
|
a |
||||||||||||||||||||||||||||||||||||||
|
n |
|
x |
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
n 1 |
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ln (1 xn ) |
|
|
сходится абсолютно при x 1, |
если |
|||||||||||||||||||||||||||||
теорему 1.5) ряд |
|
|
n |
a |
|
|
|
|
|||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
n 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
a 2, и расходится при x 1, |
|
если a 2. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Таким образом, множество сходимости определяется следующим образом:
если a 1, то исходный ряд сходится абсолютно при 0 x 1
(т.е. X [0, 1) ) и расходится при 1 x ; |
|
|
если 1 a 2, |
то ряд сходится абсолютно при 0 x 1 |
(т.е. |
X [0,1] ) и расходится при 1 x ; |
|
|
если a 2, то |
ряд сходится абсолютно при 0 x |
(т.е. |
X [0, ) ). |
|
|
67

5. Равномерная сходимость функциональных последовательностей
ифункциональных рядов
5.1.Функциональные последовательности
Определение 5.1. Пусть функции |
fn (x) , n , определены на |
|||||||
множестве E. Говорят, что функциональная последовательность |
||||||||
fn (x) |
сходится к функции |
f (x) |
на множестве X E, если |
|||||
0 |
x X |
n0 ( , x) : |
n n0 ( , x) |
|
fn (x) f (x) |
|
. |
|
|
|
|||||||
В этом случае |
f (x) , заданную на |
X E, называют предельной |
функцией последовательности fn (x) на множестве X и пишут:
|
|
|
X |
|
|
|
X |
|
|
|
|
|
lim fn (x) f (x) |
или |
fn (x) f (x). |
|
|||
|
|
|
n |
|
|
|
|
|
|
Определение 5.2. Пусть функции |
fn (x) , |
n , определены на |
|||||||
множестве E. Говорят, что функциональная последовательность |
|||||||||
fn (x) |
равномерно сходится |
к функции |
f (x) на |
множестве |
|||||
X E, |
если |
0 |
n0 ( ) : |
n n0 ( ) |
x X |
||||
|
|
|
|
|
|
|
|
X |
|
|
fn (x) f (x) |
. В этом случае пишут: |
fn (x) f (x). |
|
|||||
Определение 5.3. Если |
|
X |
|
|
|
|
|||
fn (x) f (x), |
но нарушено условие из |
||||||||
предыдущего определения, |
то |
говорят, |
что |
fn (x) |
сходится к |
f (x) на множестве X неравномерно. Другими словами, тот факт, что последовательность fn (x) сходится к своей предельной функции f (x) неравномерно на множестве X, выражается усло-
68

вием 0 0 |
n mn n xn ( xn X |
fmn (xn ) f (xn ) |
0 ). |
X
В таком случае будем использовать запись fn (x) f (x).
Теорема 5.1 (достаточное условие равномерной сходимости
последовательности функций). Пусть функции |
fn (x) , n , |
||||||
определены на множестве E. Функциональная последовательность |
|||||||
fn (x) |
равномерно сходится к функции f (x) |
на |
множестве |
||||
X E, |
если существует числовая последовательность |
an , удо- |
|||||
влетворяющая следующим условиям: |
|
|
|||||
1) найдется n0 , такое, что n n0 и x X |
выполнено не- |
||||||
равенство |
|
fn (x) f (x) |
|
an ; |
|
|
|
|
|
|
|
2) nlim an 0.
Теорема 5.2 (критерий равномерной сходимости последова-
тельности функций). Для того чтобы функциональная последовательность fn (x) равномерно сходилась к функции f (x) на множестве X, необходимо и достаточно, чтобы выполнялось условие
lim sup fn (x) f (x) 0.
n x X
Задача 5.1. Исследовать на сходимость функциональную после-
довательность fn (x) xn , n . |
|
|
|||||||||||
Решение. Функции fn (x) xn |
определены на всей числовой оси, |
||||||||||||
т.е. x E . |
|
|
|
||||||||||
Справедливы утверждения: |
|
|
|||||||||||
а) если |
|
|
x |
|
|
|
1, |
то lim xn 0; |
|
|
|||
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
б) если |
|
x 1, |
то lim xn 1; |
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
в) если |
|
|
|
x |
|
1 |
или x 1, то |
lim xn |
не существует ( x 1 ) или |
||||
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
равен ( |
|
|
x |
|
1). |
|
|
||||||
|
|
|
|
|
|
||||||||
|
|
|
|
|
Таким образом, функциональная последовательность fn (x) xn , n , сходится на множестве X ( 1,1]. Предельная функция разрывна и имеет вид
69

0, если 1 x 1; f (x)
1, если x 1.
Задача 5.2. Исследовать функциональную последовательность на равномерную сходимость в указанном промежутке
fn (x) |
x2 |
1 |
, |
X . |
|
n2 |
|||||
|
|
|
|
Решение. Найдем предельную функцию данной последовательности. Для любого x имеем
|
|
|
|
f |
(x) lim |
|
|
|
x2 |
|
1 |
|
|
x |
|
. |
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
n2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
При всех x и n запишем |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
fn (x) f (x) |
|
|
|
x2 |
1 |
|
|
|
x |
|
|
|
|
x2 |
1 |
|
|
x |
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||
|
|
|
|
|
n2 |
|
|
n2 |
|
||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
2 |
|
1 |
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
x |
|
|
|
|
|
|
|
x |
|
|
|
|
|
1 / n |
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
n2 |
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 / n |
|
n . |
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
x2 |
1 |
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
1 |
|
|
|
n2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x , |
|||||||||||
Обозначим |
, |
|
|
|
|
|
|
Тогда |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
an n |
|
n . |
|
|
|
|
|
|
|
fn (x) f (x) |
|
an , |
|||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
n , причем |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
lim an lim 1 0. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
n n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
Согласно теореме 5.1 получаем, что |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
1 |
|
X |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
fn (x) |
|
x |
|
|
|
|
|
|
|
|
f (x) |
|
x |
. |
|
|
|
|
|
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
n2 |
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Задача 5.3. Исследовать функциональную последовательность на равномерную сходимость в указанном промежутке
fn (x) x arctg nx, |
X (0, ). |
70