Matem_analiz_3_semestr
.pdf61
Определение радиуса и интервала сходимости степенного ряда.
Зафиксируем некоторое значение x и запишем ряд из модулей членов степенного ряда
an x x0 n . Это – знакоположительный числовой ряд. Применим к нему признак
n 0
Даламбера или радикальный признак Коши. Применяя признак Даламбера, имеем
lim |
n |
|
|
an 1 |
|
|
|
x x0 |
|
n 1 |
|
|
|
x x |
0 |
|
lim |
n |
|
|
an 1 |
|
1. |
Отсюда |
|
x x |
0 |
|
|
|
1 |
|
|
|
|
|
|
. |
|||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||
|
|
|
an |
|
|
|
x x0 |
|
n |
|
|
|
|
|
an |
|
|
lim n |
|
an 1 |
|
|
|||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
an |
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
Поэтому R lim n |
|
|
|
an |
|
|
|
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
|
|
an 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
Применяя радикальный признак Коши, имеем |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||
|
x x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1, |
|
|
x x |
|
|
|
|
|
1 |
|
|
|
|
|
|
R |
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
0 |
|
lim |
n |
n |
|
a |
n |
|
|
|
|
0 |
|
|
|
|
|
|
|
, |
|
|
|
|
|
|
|
|
|
|
. |
|
|
|
|
|
|
|
||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
lim |
n |
n |
|
a |
|
lim |
n |
n |
|
|
a |
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Так определяется радиус сходимости степенного ряда.
Затем исследуется сходимость ряда на границе интервала сходимости, в точках
x x0 R, x x0 R. Эти точки подставляются в исходный ряд, ряд становится обычным числовым рядом и исследуется стандартными методами для числовых рядов.
( 1)n (x 3)n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
Пример. |
|
|
|
|
|
|
|
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n 5 |
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
n 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
| ( 1)n | | (x 3)n | |
|
|
|
x 3 |
|
n |
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
Составим ряд из модулей |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
, применим радикальный |
||||||||||||
|
|
|
n 5 |
n |
|
|
|
|
|
|
n 5 |
n |
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
n 1 |
|
|
|
|
|
|
|
|
|
n 1 |
|
|
|
|
|
|||||
признак Коши lim n |
|
x 3 |
|
|
1, |
|
x 3 |
|
5 . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
n n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
Радиус сходимости R=5, интервал сходимости (-2, 8). Исследуем сходимость ряда на |
|||||||||||||||||||||||||||||
границе, подставляя точки x= -2, в исходный ряд.. |
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
1 n 5 n |
|
|
1 |
|
|
|
|
|
|
|
|
|
||||||
В точке x = -2 имеем ряд |
|
|
|
|
n |
|
|
|
|
- гармонический ряд, он расходится. |
|||||||||||||||||||
|
n 5 |
|
n |
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
т 1 |
|
|
|
|
n 1 |
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
1 n 5 n |
|
|
( 1)n |
|
|
|
|
|
|
||||||||||
В точке x = 8 имеем ряд |
|
|
|
|
n |
|
|
|
|
|
|
- сходящийся (по признаку Лейбница) |
|||||||||||||||||
|
|
n 5 |
n |
|
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
т 1 |
|
|
|
|
|
n 1 |
|
|
|
|
|
|
|
|
|
знакочередующийся ряд.
Область сходимости исходного ряда (-2, 8].
Теорема. Степенной ряд равномерно сходится внутри интервала сходимости.
Доказательство. |
Пусть |
|
x x0 |
|
R1 |
|
R . |
Выберем |
R2 : R1 R2 R , |
например |
|||||||
|
|
||||||||||||||||
R |
2 |
|
1 |
R R . На |
интервале |
|
x x |
|
R |
и в точке |
x1 степенной ряд |
сходится |
|||||
|
|
||||||||||||||||
|
|||||||||||||||||
|
|
2 |
1 |
|
|
1 |
0 |
|
2 |
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
62
абсолютно, так как этот интервал лежит внутри интервала сходимости. Тогда (точно
так |
же, |
|
|
как |
|
|
|
|
|
в |
|
|
|
|
доказательстве |
|
|
|
|
|
|
|
|
теоремы |
Абеля |
оценим |
||||||||||||||||||||||||||||||
|
a |
|
(x x |
|
)n |
|
|
|
a |
|
(x x |
0 |
|
)n |
(x x |
|
)n |
|
|
|
a |
|
(x x |
|
)n |
|
|
|
|
x x0 |
|
|
n |
q n , |
|
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||
|
|
n |
|
|
0 |
|
|
|
|
|
|
n (x1 x0 )n |
|
1 |
|
|
|
0 |
|
|
|
|
|
|
n |
1 |
|
0 |
|
|
|
|
|
|
|
x x |
|
|
|
|
n |
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
R1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
0 |
|
|
|
|
R1 |
|
|
|||||
где q |
|
1 в области |
|
x x |
0 |
|
R |
|
R |
2 |
|
|
x |
x |
0 |
|
|
|
|
n N ( |
не зависит от x ). |
|||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
R2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
R2 |
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
x x0 |
|
R1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
Тогда в области |
|
|
степенной ряд будет сходиться равномерно по признаку |
|||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
Вейерштрасса (члены ряда мажорируются членами бесконечно убывающей геометрической прогрессии).
Следствие. Внутри интервала сходимости справедливы теоремы о непрерывности суммы ряда, о почленном интегрировании и дифференцировании ряда.
Теорема. При почленном дифференцировании и интегрировании степенного ряда его радиус сходимости не меняется.
Доказательство. Рассмотрим ряд из модулей членов степенного ряда (это – знакоположительный числовой ряд в конкретной точке) и определим радиус сходимости по признаку Даламбера.
lim |
|
|
a |
n 1 |
|
|
|
x x |
0 |
|
n 1 |
|
|
x x |
|
lim |
|
a |
n 1 |
|
1 R |
1 |
|
|
|
|
|
|
. |
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
n |
|
a |
n |
|
|
|
x x |
0 |
|
n |
0 |
|
|
an |
|
|
lim n |
|
an 1 |
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
an |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x x0 |
n , перейдем к ряду из |
||||||
Продифференцируем |
почленно |
степенной ряд |
nan |
n 1
модулей и найдем радиус сходимости по признаку Даламбера.
lim |
n |
n 1 |
|
a |
n 1 |
|
|
|
x x |
0 |
|
n 1 |
|
|
x x |
0 |
|
lim |
|
a |
n 1 |
|
1 R |
1 |
|
|
|
. |
||||||||
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
n |
|
a |
|
x |
|
x |
|
n |
|
|
|
|
|
an |
|
|
|
|
an 1 |
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
lim n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
an
Таким образом, при почленном дифференцировании радиус сходимости степенного ряда не меняется. Он не меняется и при почленном интегрировании, иначе он изменился бы при почленном дифференцировании.
Лекция 15. Ряд Тейлора.
Ряд Тейлора.
|
|
n |
x0 |
|
|
|
|
|
||
Рядом Тейлора называется степенной ряд вида |
|
f |
|
x x0 n (предполагается, |
||||||
|
n! |
|
||||||||
|
n 0 |
|
|
|
|
|
||||
что функция f x является бесконечно дифференцируемой). |
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
f n 0 |
|
||
Рядом Маклорена называется ряд Тейлора при x0 |
0 , то есть ряд |
|
|
x n . |
||||||
n! |
||||||||||
|
|
|
|
|
|
n 0 |
|
Теорема. Степенной ряд является рядом Тейлора для своей суммы.
63
Доказательство. Пусть f x an x x0 n и степенной ряд сходится в интервале
n 0
xx0 R . Подставим в разложение x x0 , получим f x0 a0 .
Так как степенной ряд сходится равномерно внутри интервала сходимости, мы можем его дифференцировать почленно. Полученный ряд будет сходиться в том же интервале, так как радиус сходимости при дифференцировании не меняется. Его вновь можно
дифференцировать почленно |
|
и |
т.д. |
Вычислим |
|
коэффициенты |
в степенных рядах, |
|||||||||||||||
|
|
|
|
|
|
|
|
|
= a1 , |
|
|
|
|
|
|
|
|
|||||
полученных почленным дифференцированием. f x0 |
|
|
|
|
|
|
|
|
||||||||||||||
|
|
n 2 |
|
|
|
|
|
|
|
|
|
|
|
f |
x0 |
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
, |
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
f x n n 1 an x x0 |
|
, f |
x0 2 1 a2 , a2 |
|
|
2! |
|
|
|
|
|
|||||||||||
n 2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f x0 |
|
|
|
f x n n 1 n 2 an x x0 |
n 3 |
, f |
x0 3 2 1 a3 , |
a3 |
, |
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3! |
|
|
|
n 3 |
|
|
|
|
|
|
|
f (n) x |
|
|
|
|
|
|
|
|
|
|
|
|||
Продолжая этот процесс, получим |
a |
|
|
0 |
. Это – коэффициенты ряда Тейлора. |
|||||||||||||||||
n |
n! |
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Поэтому степенной ряд есть ряд Тейлора.
Следствие. Разложение функции в степенной ряд единственно.
Доказательство. По предыдущей теореме коэффициенты разложения функции в степенной ряд определяются однозначно, поэтому разложение функции в степенной ряд единственно.
Разложение в ряд Маклорена основных элементарных функций.
Запишем разложения в ряд Маклорена основных элементарных функций, вычисляя
коэффициенты разложения по формуле |
|
|
a |
|
|
|
|
f (n) x |
0 |
|
, где |
x |
|
0 . |
|||||||||||||||||||||||||||||||||||||||||||||
|
|
n |
|
|
n! |
|
|
|
|
|
0 |
||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
x |
2 |
|
|
|
|
|
|
x |
n |
|
|
|
|
|
|
x |
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
e x 1 x |
|
|
|
... |
|
|
... |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
2! |
|
|
|
|
|
|
n! |
|
|
|
n 0 n! |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
x |
3 |
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
x2n 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
x2n 1 |
|
|
|
|||||||||||
sin x x |
|
|
|
|
|
... 1 |
|
|
|
|
|
|
|
|
|
... 1 |
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
3! |
|
|
|
|
|
|
|
|
|
|
|
|
|
(2n 1)! |
|
|
|
|
|
|
|
|
n 0 |
|
|
|
|
|
|
(2n 1)! |
|
|||||||||||||||||||||
|
|
|
|
|
x |
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
2n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
2n |
|
|
|
|
|
|
|||||||||||
cosx 1 |
|
|
... 1 n |
|
|
... 1 n |
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
2! |
|
|
|
|
|
|
|
|
|
|
|
|
|
(2n)! |
|
|
|
|
|
|
|
n 0 |
|
|
|
|
|
(2n)! |
|
|
|
|||||||||||||||||||||
|
|
|
|
x |
3 |
|
|
|
|
|
|
|
|
|
x |
2n 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
2n 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
shx x |
|
|
|
... |
|
|
|
|
|
|
|
|
... |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
|
|
|
|
|
(2n 1)! |
|
(2n 1)! |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||
|
|
3! |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n 0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||
|
|
|
x |
2 |
|
|
|
|
|
|
|
|
|
x |
2n |
|
|
|
|
|
|
|
|
x |
2n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
chx 1 |
|
|
|
|
... |
|
|
|
|
|
|
... |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
|
|
2! |
|
|
|
|
|
|
|
(2n)! |
|
|
|
|
n 0 |
(2n)! |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 x |
x 2 |
... 1 n x n , |
|
x |
|
1. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||
1 x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n 0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
x |
2 |
|
|
|
|
|
|
|
|
|
|
|
|
x |
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
n |
|
|
|
|
|
|
|||||||
ln 1 x x |
|
... 1 n 1 |
|
... 1 n 1 |
|
|
|
, ( 1 x 1) (интегрируя предыдущую |
|||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
n 1 |
|
|
|
|
|
|
n |
|
|
|
|
|
|
формулу)
|
|
|
|
64 |
1 x 1 x 1 x 2 |
... |
1 ... n 1 x n ... 1 1 ... n 1 x n ... |
||
|
|
|
|
|
2! |
|
n! |
n 1 |
n! |
x 1, R \ N .
Пусть записано разложение функции в степенной ряд. Возникает вопрос, всегда ли это разложение (степенной ряд) сходится именно к этой функции, а не к какой-либо другой.
Теорема. Для того чтобы ряд Тейлора сходился к той функции, по которой он построен, необходимо и достаточно, чтобы остаточный член формулы Тейлора стремился к нулю при n .
Доказательство. Запишем формулу Тейлора, известную из 1 семестра
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(x x0 ) |
f x0 |
|
|
|
f |
(n) |
(x0 ) |
|
|
|
|
f (x) f (x0 ) f |
|
(x x0 ) |
2 |
... |
|
(x x0 ) |
n |
Rn |
|||||
|
|
|
|
|
|
|
|||||||
x0 |
2! |
|
|
|
n! |
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
Необходимость. Обозначим Sn – частичную сумму ряда Тейлора .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f x0 |
|
|
|
|
|
|
f |
(n) |
(x0 ) |
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
n |
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(x x0 ) |
|
... |
|
|
|
|
(x x0 ) . |
||||||
|
Sn f (x0 ) f x0 (x x0 ) |
|
|
2! |
|
|
|
|
n! |
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
Если ряд Тейлора сходится к |
f (x) , |
то lim n ( f (x) Sn ) 0 . Но по формуле Тейлора |
||||||||||||||||||||||||||||||||
f (x) Sn Rn . Следовательно, |
lim n Rn |
0 . |
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
Достаточность. |
Если lim n Rn |
0 , |
то |
lim n ( f (x) Sn ) 0 , |
а S n - частичная сумма |
|||||||||||||||||||||||||||||
ряда Тейлора. Поэтому ряд Тейлора сходится именно к функции f (x) . |
||||||||||||||||||||||||||||||||||
Теорема. Пусть все производные функции |
f (x) |
|
ограничены в совокупности одной |
|||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
L, n) Тогда ряд Тейлора сходится к функции |
|
||||||||||||||||||||||||||
константой. ( |
f n (x) |
f (x) . |
||||||||||||||||||||||||||||||||
Доказательство. Оценим остаточный член формулы Тейлора |
|
|||||||||||||||||||||||||||||||||
|
|
f n ( ) |
|
|
x |
x |
0 |
|
n 1 |
L |
|
x x0 |
|
n 1 |
0 , |
|
так |
как |
|
показательная функция растет |
||||||||||||||
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
|
|
(n 1)! |
|
|
|
|
|
|
|
|
|
(n 1)! |
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
медленнее, чем n!. |
|
Поэтому (по предыдущей теореме) |
|
ряд Тейлора сходится к функции |
f(x) .
Вкачестве примера применения теоремы рассмотрим разложение в ряд Маклорена функций sin x, cos x. Эти ряды сходятся к функциям, так как их производные ограничены в совокупности единицей на всей оси.
Вразложении функции ex на отрезке [a, b] все производные функции ограничены константой eb, поэтому ряд для функции ex сходится к ней на любом конечном отрезке.
Ряды для функций sh x, ch x можно получить линейной комбинацией экспонент, следовательно, ряды для этих функций сходятся к ним на всей оси.
Рассмотрим разложение в ряд функции |
1 x . |
Предположим, что ряд сходится к |
||
функции |
S(x) . Можно, дифференцируя |
ряд |
почленно, установить справедливость |
|
|
|
|
в |
качестве упражнения). Решая это |
соотношения 1 x S (x) S(x) (выведите его |
дифференциальное уравнение, получим S (x) (1 x) .
Применение степенных рядов.
1. Вычисление значений функций
Пример. Вычислить arctg 0.3 с точностью 0.01.
65
x |
|
|
dx |
|
|
x |
3 |
|
x |
5 |
|
x |
7 |
|
|
(0.3) |
3 |
|
(0.3) |
5 |
|
arctg x |
|
|
|
x |
|
|
|
|
|
... |
arctg0.3 0.3 |
|
|
|
... |
||||||
|
|
x |
2 |
|
|
|
|
|
|
|
|
|
|
||||||||
0 |
1 |
|
3 |
5 |
7 |
|
|
3 |
|
|
5 |
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
По следствию из признака Лейбница остаток числового знакочередующегося ряда оценивается модулем первого отброшенного члена.
R |
n |
|
|
(0.3)n 1 |
0,01 . Из этого неравенства найдем n, n=2. arctg 0.3 0,3 . |
|
|||||
|
n 1 |
||||
|
|
|
|
|
Если разложение – знакопостоянный ряд, то надо подобрать какой-либо мажорантный ряд с известной суммой, например, оценить сверху члены ряда членами бесконечно убывающей геометрической прогрессии и оценку суммы ряда проводить по сумме прогрессии.
2. Вычисление интегралов.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0.3 |
|
1 |
|
|
|
|
|
Пример. Вычислить |
|
|
|
dx с точностью 0,01 |
||||||||||||||||||||
1 x |
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0.1 |
|
|
|
|
|
||
1 |
|
|
|
1 x x 2 |
x3 ... |
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
1 x |
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
0.3 |
|
|
1 |
|
|
|
|
x |
2 |
|
x |
3 |
|
...|0.3 1 0.3 (0.3)2 |
(0.3)3 ... 1 0.1 (0.1)2 (0.1)3 ... |
|||||||||
|
|
|
|
|
dx x |
|
|
|
|
|||||||||||||||
|
|
x |
|
|
|
|
|
|||||||||||||||||
0.11 |
|
2 |
|
|
3 |
|
|
0.1 |
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
R |
|
|
|
(0.3)n 1 , |
|
R |
|
(0.1)n 1 , |
(0.3)n 1 0.1 n 1 0.01 |
|||||||||||||
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
1n |
|
|
|
|
|
|
|
2n |
|
|
|
|
|
|
|
|
|||
n 3, |
0.3 4 |
0.1 4 |
|
0.0082 0.01 |
|
|||||||||||||||||||
0.3 |
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
dx (1 |
0.3 (0.3)2 |
(0.3)3 ) (1 0.1 (0.1)2 (0.1)3 ) 0.146 |
|||||||||||||||||||
|
1 x |
|||||||||||||||||||||||
0.1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
3. |
|
|
Решение дифференциальных уравнений. |
|
||||||||||||||||||||
Пример. y y 2 |
x, |
|
y 0 1 |
|
|
|||||||||||||||||||
1 |
|
|
способ. |
Представим |
|
y(x) |
в виде |
степенного ряда с неопределенными |
коэффициентами до x n (n – заранее определено). Это разложение подставляется в левую и правую часть, и приравниваются коэффициенты при равных степенях x. Решается система алгебраических уравнений и определяются коэффициенты.
y(x) a0 a1 x a2 x 2 a3 x3 a4 x 4 a5 x5 .
Заметим, что при дифференцировании степень понижается на единицу, поэтому в разложении нужно запасать членов на k больше n, где k – порядок дифференциального уравнения.
Разложение проводится по степеням (x - x0), если начальные условия заданы в точке x0. В данном уравнении производится разложение в ряд Маклорена, так как начальное
условие задано в нуле.
y (x) a1 2a2 x 3a3 x 2 4a4 x3 5a5 x 4 .
Подставляем разложения в правую и левую части уравнения y y 2 x .
a1 2a2 x 3a3 x 2 4a4 x3 5a5 x 4 = . (a0 a1 x a2 x 2 a3 x3 a4 x 4 a5 x5 ) x .
66
a02 a12 x 2 a22 x 4 2a0 a1 x 2a0 a2 x 2 2a0 a3 x3 2a0 a4 x 4 2a1a2 x3 2a1a3 x 4 x.
Удерживаем в разложении члены четвертых степеней, в коэффициентах при x5 будут
1a1 a02 1
x2a2 2a0 a1 1
x 2 |
|
3a |
3 |
|
a 2 |
2a |
a |
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
x3 |
|
4a |
4 |
2a |
a |
3 |
2a a |
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
x 4 |
|
5a |
5 |
a |
2 2a |
0 |
a |
4 |
2a a |
3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
Отсюда a |
|
|
1 a |
|
|
1, a |
|
|
|
|
1 |
, a |
|
|
|
2 |
, |
|
a |
|
|
|
7 |
|
|
|
|
||||||||||||||||||||||||||||||
0 |
|
|
|
2 |
|
|
|
3 |
|
|
|
4 |
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
3 |
|
|
|
|
12 |
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
y(x) 1 x |
x 2 |
|
|
2 |
|
x3 |
|
|
7 |
|
|
x 4 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
|
|
3 |
12 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
2 способ. Представим y(x) |
|
в виде ряда Тейлора. |
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
y |
|
|
3 |
|
|
y |
1V |
(0) |
|
4 |
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
y (0) |
|
|
|
|
|
|
|
(0) |
|
|
|
|
|
|
|
|||||||||||||||||||
y(x) y(0) y (0)x |
|
|
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
x |
|
... |
|||||||||||||||||||||||||||
|
|
2! |
|
|
|
|
|
|
|
|
3! |
|
|
|
|
|
4! |
|
|
||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
y(0) 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
2 |
(x) x, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
(0) 0 1 |
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
y (x) y |
|
|
|
|
y (0) y |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
1, |
|
|
|
|
|
|
|
|
|
|
2 1 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
y (x) 2 yy |
|
|
y (0) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||
y |
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
y |
|
|
|
|
|
4 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
(x) 2 y |
|
|
|
|
2 yy , |
|
|
|
(0) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||
y |
1V |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 yy |
|
|
|
|
y |
1V |
(0) 4 2 8 14 |
|
||||||||||||||||||||||||||||||
|
|
(x) 4 y y |
|
2 y y |
|
|
|
|
, |
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||
y(x) 1 x |
|
1 |
x2 |
|
2 |
x |
3 |
|
7 |
|
x4 . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
3 |
|
|
|
|
|
12 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Содержание
Часть1 Кратные, криволинейные интегралы, теория поля
Лекция 1 |
Двойной интеграл.. |
|
2 |
Лекция 2. |
Приложения двойного интеграла |
. |
6 |
Лекция 3. |
Тройной интеграл |
. |
10 |
Лекция 4. |
Приложения тройного интеграла |
|
13 |
Лекция 5. |
Криволинейные интегралы 1 и 2 рода, их свойства |
15 |
|
Лекция 6. |
Формула Грина |
|
20 |
Лекция 7 |
Поверхностный интеграл. |
|
26 |
Лекция 8 |
Скалярное и векторное поля |
. |
30 |
67
Лекция 9 |
Формула Стокса |
35 |
|
Часть 2 Числовые и функциональные ряды. |
|
Лекция 10. |
Числовые ряды и их свойства |
41 |
Лекция 11. |
Знакоположительные ряды |
44 |
Лекция 12. |
Знакопеременные ряды |
51 |
Лекция 13. |
Функциональные ряды |
55 |
Лекция 14. |
Степенные ряды |
59 |
Лекция 15. |
Ряд Тейлора |
62 |