3. Степенные ряды
при условии, что этот предел существует (конечный или бесконечный).
Пример. Исследовать на сходимость ряд
|
Ґ |
|
|
1 |
|
|
||
|
е(x - 2)n |
. |
|
|||||
|
2 |
|
||||||
|
n=1 |
|
|
n |
|
|||
Решение |
1 |
|
|
|
1 |
|
||
a = |
, |
a |
= |
. |
||||
|
(n +1)2 |
|||||||
n |
n2 |
n+1 |
|
|
||||
Найдем радиус сходимости.
R = lim (n +21)2 =1.
n®Ґ n
Решим неравенство
x - 2 <1.
Получим интервал
1< x < 3.
Исследуем отдельно точки x =1, x = 3.
Пусть x =1. Получим знакочередующийся ряд
Ґ ( 1)n 1
е - n2 ,
n=1
который сходится по признаку Лейбница. Пусть x = 3. Получим числовой ряд
Ґ 1
еn=1 n2 ,
который сходится (по интегральному признаку Коши). Таким образом, данный по условию ряд сходится в области
1Ј x Ј 3.
44
3.2. Методы нахождения интервала сходимости степенного ряда
2. Если исходный ряд имеет вид
a0 + a1(x - x0 )p + a2(x - x0 )2 p + ...+ an (x - x0 )np + ...
(p — некоторое определенное целое положительное число 2,3…), то
R = p lim |
an |
|
. |
|
an+1 |
||||
|
|
|||
3. Если среди коэффициентов ряда есть равные нулю, и последовательность оставшихся в ряду показателей степеней разности x - x0 любая (то есть не образует арифметическую про-
грессию), то радиус сходимости равен
R = |
1 |
, an № 0. |
|
lim n a |
|||
|
|
||
|
n |
|
|
|
n®Ґ |
|
4. Во всех случаях интервал сходимости можно находить, применяя непосредственно признак Даламбера или Коши к ряду, составленному из абсолютных величин членов исходного ряда:
|
|
un+1 |
|
|
|
|
n . |
|||
lim |
|
|
<1, |
lim n |
|
u |
|
<1 |
||
|
|
|
||||||||
|
|
|||||||||
|
|
|
||||||||
n®Ґ |
|
| u |
| |
|
|
n®Ґ |
|
|
|
|
|
|
|
|
|
|
|||||
|
|
n |
|
|
|
|
|
|
|
|
Пример. Исследовать на сходимость ряд
Ґ (x +1)n
еn=1 nЧ5n .
Решение
Применяем признак Даламбера:
|
u |
+1 |
|
= lim |
(x +1)n+1 Ч5n Чn |
|
= |
1 |
|
x +1 |
|
<1 |
lim |
n |
|
|
|
|
|
|
|||||
|
|
|
|
|||||||||
n®Ґ |
u |
|
|
n®Ґ |
(n +1)Ч5n+1 Ч(x +1)n |
|
|
5 |
|
|
|
. |
|
|
|
|
|
|
|||||||
|
n |
|
|
|
|
|
|
|
|
|
|
|
Решим неравенство x +1 < 5. Получим -6 < x < 4.
45
3. Степенные ряды
Исследуем отдельно точки x = -6, x = 4.
Пусть x = -6. Получим знакочередующийся ряд
Ґ |
|
е(-1)n 1, |
|
n=1 |
n |
который сходится по признаку Лейбница.
Пусть x = 4. Получим гармонический ряд
Ґ 1,
еn=1 n
который расходится.
Таким образом, данный по условию ряд сходится в области
-6 Ј x < 4.
3.3. Дифференцирование и интегрирование степенных рядов
Ряд, полученный почленным дифференцированием (интегрированием) степенного ряда, имеет тот же интервал сходимости и его сумма внутри интервала сходимости равна производной (интегралу) от суммы первоначального ряда.
Ґ |
|
|
|
|
|
Если S(x) = еan (x - x0 )n , то |
|
|
|
||
n=0 |
|
|
|
|
|
Ґ |
x |
Ґ |
n+1 |
|
|
Sў(x) = еnan (x - x0 )n-1, |
тS(x) = е |
an (x - x0 ) |
, - R < x - x0 < R. |
||
n +1 |
|||||
n=1 |
a |
n=0 |
|
||
46
3.4.Разложение функций в степенные ряды
3.4.Разложение функций в степенные ряды
Всякая функция, бесконечно дифференцируемая в интервале x - x0 < R, то есть
x0 - R < x < x0 + R
может быть разложена в этом интервале в сходящийся к ней степенной ряд Тейлора
f (x) = f (x )+ |
f ў(x ) |
(x - x )+ |
|
f ўў(x ) |
(x - x |
)2 |
+ ... |
f (n)(x ) |
(x - x |
)n + ... |
|||||
0 |
|
|
0 |
|
0 |
|
|||||||||
|
|
|
|
|
|
|
|||||||||
0 |
1! |
|
0 |
|
2! |
|
|
|
0 |
|
|
n! |
0 |
, |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
если в этом интервале выполняется условие |
|
|
|||||||||||||
|
|
|
|
|
f (n+1)(c) |
|
|
n+1 |
= 0, |
|
|
|
|||
|
limRn (x) = lim |
|
|
|
|
(x - x0 ) |
|
|
|
||||||
|
(n +1)! |
|
|
|
|||||||||||
|
n®Ґ |
n®Ґ |
|
|
|
|
|
|
|
||||||
где Rn (x) — остаточный член формулы Тейлора (остаток ряда),
0 |
|
|
0 |
|
|
. |
|
|
|
|
c = x + Q(x - x ), 0 < Q <1 |
|
|
|
|||||||
При x0 = 0 получим ряд Маклорена |
|
|
|
|
||||||
|
ў |
f |
ўў |
|
f |
n |
(0) |
|
||
f (x) = f (0)+ |
f (0) |
x + |
(0) |
x2 |
+ ...+ |
|
xn + ... |
|||
|
|
|
|
|
|
|||||
1! |
|
|
2! |
|
|
|
n! |
. |
||
|
|
|
|
|
|
|||||
Теорема 1
Для того чтобы ряд Тейлора функции f (x) сходился к f (x)
в точке x, необходимо и достаточно, чтобы остаточный член Rn (x) удовлетворял условию:
limRn (x) = 0.
n®Ґ
47
3. Степенные ряды
Теорема 2 (достаточное условие разложимости функции в ряд
Тейлора)
Если в некотором интервале, содержащем точку x0, при любом n выполняется неравенство
f (n)(x) < M,
где М — положительная постоянная, то
limRn = 0
n®Ґ
и f (x) разложима в ряд Тейлора.
Разложение элементарных функций в ряд Тейлора
Рассмотрим разложения в ряд Тейлора некоторых элементарных функций.
1. f (x) = sin x.
Данная функция имеет производные любого порядка, причем
|
|
|
|
|
з |
ч |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
. |
|
(sin x)(n) |
|
= |
sinж x + n p ц |
|
Ј1, n |
= 0, 1, 2, ... , |
x О(-Ґ;+Ґ) |
|||||||||||||||
|
|
|
|
|
и |
2 ш |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
f (x) = sin x, |
|
f (0) = 0, |
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
ж |
|
|
p |
ц |
|
f ў(0) =1, |
|
|
||||||
|
|
|
f ў(x) = cos x = sinз x + |
2 |
ч, |
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
и |
|
|
ш |
|
|
|
|
|
|
|
|
|
||
|
f ўў(x) = - sin x = sin |
ж |
|
+ 2Ч |
p |
ц |
f ўў(0) = |
1, |
|||||||||||||||
|
з x |
2 |
ч, |
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
и |
|
|
|
|
ш |
|
|
|
|
|
|
|
||
|
|
|
|
|
|
ж |
p ц |
|
|
|
ж |
|
|
+ 3 |
Ч |
p |
ц |
, f |
ўўў(0) = -1,... |
||||
f ўўў(x) = - cos x = - sinз x + |
ч = sin |
з x |
2 |
ч |
|||||||||||||||||||
|
|
|
|
|
|
и |
2 ш |
|
|
|
и |
|
|
|
|
ш |
|
|
|
|
|||
|
f |
(n) |
|
ж |
|
p |
ц |
|
f |
(n) |
(0) = sin |
pn |
. |
||||||||||
|
|
|
(x) = sinз x + nЧ |
2 |
ч, |
|
|
2 |
|
||||||||||||||
|
|
|
|
|
|
и |
|
ш |
|
|
|
|
|
|
|
|
|
|
|
|
|||
48