Sumin_Chislovye_i_funktsionalnye_ryady_2021
.pdf2-й способ. Запишем
sin n sin n2 |
sin n sin n |
2 |
(n sin n) |
1 |
|
sin n sin n2 |
|
|||||||
n sin n |
|
|
n |
1 |
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
sin n sin n2 |
|
|
sin n |
1 |
|
|
sin n sin n2 |
|
|
||||
n |
|
1 |
n |
|
o |
|
|
n |
1 O |
|||||
|
|
|
|
|
n |
|
|
|
|
|
||||
sin n 1 |
||
n |
|
|
|
|
|
1 |
|
|
|
|
|
n |
|
|
|
|
sin n sin n2 |
|
|
1 |
|
n . |
|
|
||||||
|
|
|
O |
|
|
|
при |
|
|
||||||
|
n |
|
2 |
|
|
||||||||||
Ряды |
|
|
|
n |
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
sin n sin n2 |
|
|
sin n sin n2 |
|
1 |
|
|||||||||
|
|
|
и |
|
|
|
|
|
O |
|
|
|
|
||
|
n |
|
|
n |
|
|
2 |
||||||||
n 1 |
|
|
n 1 |
|
|
|
|
n |
|
|
|||||
либо оба сходятся, либо оба расходятся. Так как ряд |
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
sin n sin n |
|
|
|
|
|
|
|
|||||
|
|
|
n 1 |
|
n |
|
|
|
|
|
|
|
|
||
сходится (см. пункт а)), то исходный ряд |
|
|
|
|
|
|
|||||||||
|
sin n sin n2 |
|
|
sin n sin n2 |
|
1 |
|
|
|||||||
|
|
|
|
|
|
|
|
|
O |
|
|
|
|
||
|
n sin n |
|
|
n |
|
2 |
|
||||||||
n 1 |
|
|
n 1 |
|
|
|
|
n |
|
|
|
||||
также сходится.
Задача 3.15. Исследовать на абсолютную и условную сходимость ряды:
а) sin4 n;
n 1 n
б) sin3 n.
n 1 n
Решение.
а) Так как |
sin4 n |
1 |
(cos 4n 4cos 2n 3), |
||
имеет вид |
|
8 |
|
|
|
|
|
|
|
|
|
|
sin4 n |
|
1 |
(cos 4n 4cos 2n |
|
|
n |
|
8n |
||
|
|
|
|
||
то общий член ряда
3).
51
Тогда
|
sin4 n |
|
|
1 cos 4n |
|
1 cos 2n |
|
3 1 |
|
|||
|
n |
|
|
|
n |
|
2 n |
8 n |
. |
|||
n 1 |
|
|
n 1 |
8 |
|
|
|
|
||||
Ряды |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
и |
|
|
|
|
|
|
|
|
|
cos 4n |
cos 2n |
|
|
|
||||||
|
|
n 1 |
n |
|
n 1 |
n |
|
|
|
|||
сходятся условно (см. задачу 3.11), а гармонический ряд 1 рас-
n 1 n
|
|
|
|
|
|
|
|
|
|
|
3 |
n |
|
|
|
|
ходится (см. задачу 1.5). По теореме 1.5 ряд sin |
|
расходится. |
||||||||||||||
|
|
|
|
|
|
|
|
|
n 1 |
n |
|
|
|
|
|
|
б) Так как sin3 n |
1 |
( sin 3n 3sin n), |
то общий член ряда имеет |
|||||||||||||
вид |
4 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
sin3 n |
|
1 |
( sin 3n 3sin n). |
|
|
|
|
|
|
|
||||||
|
|
n |
|
4n |
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Покажем, что ряд сходится, и справедливо равенство |
|
|
|
|
||||||||||||
|
|
3 |
n 1 |
|
|
|
|
|
|
|
|
|
|
|
||
sin |
|
sin 3n |
3 sin n. |
|
|
|
|
|
||||||||
n 1 |
n |
|
|
4 n 1 |
|
n |
4 n 1 |
n |
|
|
|
|
|
|
||
В самом деле, ряды |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
и |
|
|
|
|
|
|
|
|
|
|
|
sin 3n |
sin n |
|
|
|
|
|
|
|
||||||
|
|
n 1 |
|
n |
|
|
n 1 |
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3 |
n |
сходятся условно (см. задачу 3.11). По теореме 1.5 ряд sin |
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
n 1 |
n |
|
|
сходится, причем справедливо записанное выше равенство. Однако выяснение характера сходимости исходного ряда, представленного суммой двух условно сходящихся рядов
|
1 |
|
|
и |
3 |
|
|
, |
sin 3n |
sin n |
|||||||
|
4 n 1 |
n |
|
4 n 1 |
n |
|
||
52
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3 |
n |
|
|
|
|
требует дополнительного исследования. Ряд sin |
|
может схо- |
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n 1 |
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3 |
n на |
диться или условно, или абсолютно. Исследуем ряд |
sin |
|
|||||||||||||||||||||
абсолютную сходимость. |
|
|
|
|
|
|
|
|
n 1 |
n |
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
Воспользуемся неравенством |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
sin3 n |
|
|
sin4 n , |
|
|
n . |
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
4 |
|
n |
|
n |
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
n расходится (см. пункт а)), то по теореме 2.2 |
||||||||||||||||||
Так как ряд sin |
|
||||||||||||||||||||||
|
|
|
n 1 |
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
sin3 n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
(1-й признак сравнения) ряд |
|
|
|
|
|
расходится, т.е. исходный |
|||||||||||||||||
|
|
|
|||||||||||||||||||||
|
|
n |
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
n 1 |
|
|
|
|
|
|
|
|
|
|
|
||
|
|
3 |
n сходится условно. |
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
ряд sin |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
n 1 |
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
53
4. Области абсолютной и условной сходимости функциональных рядов
Определение 4.1. Пусть функции un (x), n , |
определены на |
множестве E . Выражение |
|
|
|
u1(x) u2 (x) ... un (x) ... un (x) |
(4.1) |
n 1 |
|
называется функциональным рядом. |
|
Определение 4.2. Функциональный ряд |
|
|
|
un (x) |
|
n 1 |
|
называется сходящимся в точке x0 E, если сходится числовой ряд
un (x0 ),
n 1
иабсолютно сходящимся в точке x0 E, если сходится числовой ряд
|
|
|
|
|
|
||
|
|
un (x0 ) |
|
. |
|
|
|
|
|
|
|
||||
n 1 |
|
|
|
|
|
||
|
|
|
|
|
|
|
|
Говорят, что функциональный ряд |
|
un (x) |
сходится |
в точке |
|||
|
|
|
|
|
n 1 |
|
|
|
|
|
|
|
|
||
x0 E условно, если числовой ряд |
un (x0 ) |
сходится, |
а ряд из |
||||
n 1
модулей un (x0 ) расходится.
n 1
54
Определение 4.3. Совокупность X E всех точек x, в которых
функциональный ряд (4.1) сходится абсолютно (условно), называ-
ется множеством абсолютной (условной) сходимости, или областью абсолютной (условной) сходимости этого ряда.
Критерий Коши. Для того чтобы функциональный ряд
un (x) сходился на множестве X, необходимо и достаточно, что-
n 1 |
|
|
N N ( , x), |
|
|
|
p |
бы 0 |
x X |
такой, чтобы n N |
|||||
было выполнено неравенство |
|
|
|
|
|||
|
|
un 1 (x) un 2 (x) ... un p (x) |
|
. |
|
||
|
|
|
|
||||
Замечание 4.1. Для определения множества абсолютной сходи-
мости функционального ряда un (x) можно воспользоваться ли-
n 1
бо признаком Даламбера, либо признаком Коши. Именно, еслиx E существует
lim |
|
un 1(x) |
q(x) |
(4.2) |
|||
n |
|
|
un (x) |
|
|
||
или |
|
|
|
|
|
|
|
lim n |
|
un (x) |
|
|
q(x), |
(4.3) |
|
|
|
||||||
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
||
то для определения множества абсолютной сходимости функционального ряда (4.1) следует решить неравенство q(x) 1, а для
определения множества расходимости ряда (4.1) – неравенство q(x) 1. Для изучения поведения ряда в граничных точках, опре-
деляемых уравнением q(x) 1, требуется дополнительное исследо-
вание.
Разумеется, «идеальными» случаями (4.2) и (4.3) не исчерпываются все возможные ситуации. Например, может случиться так, что
бесконечное число членов ряда un (x) обращается в нуль в ка-
n 1
ких-то точках x E или не существуют пределы (4.2) и (4.3). Тогда следует применять другие, более тонкие признаки сходимости.
55
Задача 4.1. Найти множество сходимости функционального ря-
да
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
sin |
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
n 1 |
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
Решение. Все функции |
un (x) sin |
x |
|
n , определены на |
|||||||||||||||||||||||||||
|
|
, |
|
||||||||||||||||||||||||||||
2n |
|||||||||||||||||||||||||||||||
множестве , |
|
т.е. E (см. определение 4.1). |
|||||||||||||||||||||||||||||
Если x 0, |
|
то все члены исходного ряда равны нулю. |
|||||||||||||||||||||||||||||
Возьмем произвольное |
x \ {0} и зафиксируем его. Рассмот- |
||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
рим числовой ряд un (x) и исследуем его на сходимость. Запи- |
|||||||||||||||||||||||||||||||
|
|
|
|
n 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
шем ряд из модулей |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
x |
|
|
|
|
|
x |
|
|
|
|
|
|
|
x |
|
|
|
|
|
x |
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
un (x) |
|
|
|
sin |
|
|
|
|
sin |
|
|
|
|
sin |
|
|
... |
|
sin |
|
|
... . |
|||||||
|
|
||||||||||||||||||||||||||||||
|
|
n |
|
2 |
n |
||||||||||||||||||||||||||
n 1 |
|
n 1 |
|
|
2 |
|
|
|
|
2 |
|
|
|
|
2 |
|
|
|
|
2 |
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
Для любого фиксированного x \ {0} справедливо неравенство
|
|
|
|
|
|
|
|
|
|
|
sin |
x |
|
|
|
x |
|
, |
n . |
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
2n |
|
|
|
2n |
|
|
|
|
|
||||||||||||||||
Рассмотрим числовой ряд |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
vn (x) |
|
|
|
|
. |
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
n 1 |
|
|
|
|
n 1 |
2 |
|
|
|
|
|
|
|
|
|
||||||||||
Применим к нему теорему 2.5 (признак Даламбера): |
|
|
||||||||||||||||||||||||||||||||||
vn (x) |
|
x |
|
, vn 1 (x) |
|
|
|
|
x |
|
|
|
|
|
vn 1(x) |
|
|
x 2n |
|
1 |
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
|
2n |
|
|
2n 1 |
, |
|
|
|
v |
(x) |
|
|
2n 1 |
x |
|
2 . |
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
Так как |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
vn 1(x) |
|
|
1 |
q 1, |
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
lim |
|
|
|
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
n |
|
vn (x) |
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
то ряд |
|
|
|
|
|
сходится. Поэтому по теореме 2.2 (1-й признак срав- |
||||||||||||||||||||||||||||||
|
|
|||||||||||||||||||||||||||||||||||
|
|
n |
|
|
|
|||||||||||||||||||||||||||||||
n 1 2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
нения) ряд
56
sin 2xn
n 1
сходится абсолютно при каждом фиксированном x . Следовательно, исходный функциональный ряд сходится абсолютно при x ( , ), т.е. множество сходимости X ( , ).
Задача 4.2. Найти множество сходимости функционального ря-
да
|
( 1) |
n 1 |
|
||
|
|
, x 2. |
|||
n 3n |
(x 2)n |
||||
n 1 |
|
||||
Решение. Для определения множества абсолютной сходимости данного функционального ряда применим признак Коши (см. фор-
мулу (4.3)):
lim n |
|
un (x) |
|
lim |
n |
|
1 |
lim |
|
1 |
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
x |
2 n n |
||||||
n |
|
|
|
n |
|
n 3n |
(x 2)n |
n 3 |
|
|||
|
|
|
|
|
1 |
|
q(x) |
|
|||
|
|
|
3 |
x 2 |
|
|
|||||
(отметим, что lim n |
n 1 ). Ряд сходится абсолютно, если |
||||||||||
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
q(x) |
|
1 |
|
|
1, |
|
||
|
|
|
|
3 x 2 |
|
||||||
|
|
|
|
|
|
|
|
||||
т.е. x 17 |
, |
и расходится при |
|
2 x 17 . |
|
||||||
9 |
x 17 , |
|
|
|
|
|
|
|
9 |
|
|
В точке |
определяемой уравнением |
q(x) 1, проведем |
|||||||||
|
|
9 |
|
|
|
|
|
|
|
|
|
дополнительное исследование. |
|
|
|
|
|
|
|
||||
При x |
17 получаем знакочередующийся числовой ряд |
||||||||||
|
|
9 |
|
|
|
|
n 1 |
|
|
||
|
|
|
|
|
|
( 1) |
|
|
|||
|
|
|
|
|
|
|
, |
|
|
||
|
|
|
|
n 1 |
|
n |
|
|
|
|
|
57
который сходится условно (см. задачу 3.5). Таким образом, исход-
ный ряд сходится абсолютно при x |
17 , сходится условно при |
|||
x 17 и расходится при |
2 x 17 |
9 |
||
, т.е. множество сходимо- |
||||
9 |
17 |
|
9 |
|
|
|
|
|
|
сти X |
9 |
, . |
|
|
|
|
|
|
|
Задача 4.3. Найти множество сходимости функционального ря- |
||||
да |
|
|
|
|
|
|
|
1 |
n2 |
|
|
|
1 |
n |
|
|
|
|
|
|
|
|
, |
x 0. |
|
|
|
n |
|
|||
n 1 |
|
x |
|
|
|
|
Решение. Для определения множества абсолютной сходимости |
||||||
данного функционального ряда применим признак Коши (см. фор-
мулу (4.3)):
|
|
|
|
|
|
|
|
|
|
|
1 |
n2 |
|
|
|
|
|
|
|
|
|
1 |
n |
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
e |
|
||||||
lim n |
|
un (x) |
|
|
lim |
n |
|
|
n |
|
|
lim |
|
|
|
|
n |
|
|
|
q(x). |
||||||||||||||||||
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||
|
|
|
|
|
x |
|
n |
|
|
|
|
|
|
x |
|
|
|
x |
|||||||||||||||||||||
n |
|
|
|
|
|
|
n |
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
Ряд сходится абсолютно, |
если |
q(x) |
|
|
e |
|
1, |
|
|
т.е. |
|
|
x |
|
e, и расхо- |
||||||||||||||||||||||||
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||
|
|
x |
|
|
|
||||||||||||||||||||||||||||||||||
|
|
|
|||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x1 |
|
|
|
|
|
|
|
|
|
x2 e, |
|
|
|
|
|
|||||||||
дится при |
|
0 |
|
x |
|
|
e. В точках |
e |
|
и |
|
|
определяемых |
||||||||||||||||||||||||||
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||
уравнением q(x) 1, проведем дополнительное исследование. |
|||||||||||||||||||||||||||||||||||||||
При x e получаем знакочередующийся ряд |
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 n2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
cn ( 1) |
|
|
|
|
n |
|
|
, |
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
e |
n |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
n 1 |
|
n 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
c |
|
|
|
|
|
||||||||
который расходится, так как не существует |
|
lim |
|
(см. ниже слу- |
|||||||||||||||||||||||||||||||||||
чай x e ). |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
n |
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
При x e получаем ряд с положительными членами |
|
||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 n2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
cn |
|
|
|
|
n |
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
n 1 |
|
|
n 1 |
|
|
|
e |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
58
Вычислим
|
|
|
|
|
|
|
|
|
1 |
n2 |
|
|
|
|
|
|
||
|
|
|
|
|
|
1 |
|
|
|
n |
2 |
|
1 |
n |
|
|||
|
|
|
|
|
|
|
|
|
n |
|
|
|
ln 1 |
n |
|
|
||
lim c |
lim |
|
c |
|
lim |
|
|
|
lim e |
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|||||||||
n n |
n |
|
n |
|
n |
|
|
en |
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
lim |
|
2 |
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
ln 1 |
|
n |
|
|
|
|
|
|
|||
|
|
|
|
|
en |
|
|
|
n |
|
. |
|
|
|
|
|
|
|
Предел в показателе экспоненты вычислим отдельно:
|
2 |
|
|
1 |
|
|
2 |
1 |
|
1 |
|
|
1 |
|
|
||
lim n |
|
ln 1 |
|
|
n |
lim n |
|
|
|
|
|
o |
|
|
|
n |
|
|
|
2n |
2 |
|
2 |
||||||||||||
n |
|
|
|
n |
|
n |
|
n |
|
|
n |
|
|
|
|
||
|
|
1 |
o (1) |
|
|
1 |
. |
lim |
2 |
|
2 |
||||
n |
|
|
|
|
|
Тогда
lim cn e 1/2 1e 0,
n
и по следствию 1.1 из теоремы 1.3 ряд cn расходится. Следова-
n 1
тельно, исходный функциональный ряд сходится абсолютно при
x ( , e) (e, ) и расходится при |
x [ e, 0) (0, e], т.е. |
множество сходимости X ( , e) (e, ).
Задача 4.4. Найти множество сходимости функционального ря-
да
|
x |
n |
|
|
|
|
|
. |
|
1 x |
2n |
|||
n 1 |
|
|
||
Решение. Применим признак Коши (см. формулу (4.3)) для определения множества абсолютной сходимости заданного функционального ряда.
Если |
|
x |
|
1, |
то ряд сходится абсолютно. В самом деле, здесь |
|||||||||||||
|
|
|||||||||||||||||
|
|
|
|
lim |
n |
|
un (x) |
|
lim n |
|
x |
|
n |
|
|
x |
|
q(x) 1. |
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
1 x2n |
||||||||||||
|
|
|
|
n |
|
|
|
|
n |
|
|
|
|
|
||||
59
Если |
|
x |
|
1, |
|
то ряд также сходится абсолютно. В самом деле, |
|||||||||||||||||||||||||||||
|
|
||||||||||||||||||||||||||||||||||
|
|
lim n |
|
un (x) |
|
|
lim |
n |
|
|
x |
|
n |
|
|
lim |
1 |
|
|
|
n |
|
1 |
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
1 x2n |
|
x |
|
x 2n |
||||||||||||||||||||||||||
|
|
n |
|
|
|
1 |
n |
|
n |
|
|
|
1 |
|
|||||||||||||||||||||
|
|
|
|
|
|
|
|
q(x) 1, |
|
если |
|
|
x |
|
|
1. |
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
В точках |
x1 1, x2 |
|
|
1, |
или |
|
|
x |
|
1, |
определяемых уравнением |
||||||||||||||||||||||||
|
|
|
|
|
|||||||||||||||||||||||||||||||
q(x) 1, проведем дополнительное исследование. При x 1 получаем, что
un (x) |
|
|
|
|
xn |
|
|
1 |
, |
|
|
|
|
||||||
|
|
|
|
||||||
|
1 |
x2n |
|
2 |
|||||
|
|
|
|
|
|
||||
т.е. соответствующий числовой ряд расходится по следствию 1.1 из теоремы 1.3.
Следовательно, исходный функциональный ряд сходится абсолютно при x ( , 1) ( 1,1) (1, ) и расходится при
x { 1,1}, т.е. множество сходимости
X ( , 1) ( 1,1) (1, ).
Задача 4.5. Найти множество сходимости функционального ря-
да
|
|
|
x |
|
|
|
|
|
|
||
|
|
(x 3)n tg |
. |
|
|
|
|
|
|||
|
n |
|
|
|
|
||||||
|
n 1 |
2 |
|
|
|
|
|
|
|
||
Решение. Общий член функционального ряда имеет вид |
|||||||||||
|
un (x) (x 3)n tg |
x |
. |
|
|
|
|
||||
|
|
|
|
|
|
||||||
|
|
|
|
2n |
x |
|
|
|
|||
Область определения E задается условием |
|
k, или |
|||||||||
2n |
2 |
||||||||||
x 2n 1 (2k 1), |
|
|
|
|
|
|
|
|
|||
где n , |
k . |
|
|
|
|
||||||
Возьмем произвольное x 2n 1 (2k 1) и зафиксируем его. Рассмотрим числовой ряд
60
