Методическое пособие 476
.pdfТеорема Вейерштрасса. Если функциональный ряд |
un x |
||||
|
|
|
|
|
n 1 |
мажорируется числовым рядом |
an , то он сходится равномерно, |
||||
|
n 1 |
|
|
|
|
т.е. для любого >0 найдется такой номер |
N , что для всех n > N |
||||
|
Sn x |
|
для всех x |
|
|
будет выполняться неравенство |
S |
< |
из облас- |
ти D .
Следует отметить, что равномерно сходящийся функциональный ряд не обязательно мажорируем.
2.12. Свойства равномерно сходящихся функциональных рядов
Если функциональный ряд un x состоит из непрерывных
n 1
функций и равномерно сходится, то сумма ряда является тоже непрерывной функцией.
Если функциональный ряд un x состоит из непрерывных
n 1
функций и равномерно сходится, то интеграл от суммы ряда S x
представляется следующим образом:
b |
b |
b |
b |
S x dx |
un x dx |
u1 x dx |
u2 x dx ... . |
a |
n 1 a |
a |
a |
61
Если функциональный ряд |
un x сходится равномерно, а |
|
n 1 |
члены ряда имеют непрерывные производные, то равномерно сходится и ряд, полученный почленным дифференцированием исходного ряда:
|
|
|
|
|
|
un |
x |
u1 x |
|
|
|
u2 |
x ... |
|
un |
x , |
||||
|
|
|
|
|
n 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
причем S |
x |
|
|
|
|
|
un |
x . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Пример. 14. Вычислить сумму ряда 1 |
|
2x |
|
|
3x2 4x3 ... . |
|||||||||||||||
Решение: Воспользуемся суммой геометрической прогрессии, |
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
сходящейся при |
x |
<1, |
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
1 x |
x2 |
x3 ... |
1 |
|
. |
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
1 |
x |
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
Данный функциональный ряд является равномерно сходя- |
||||||||||||||||||||
щимся при |
|
x |
|
<1, |
поскольку мажорируем сходящимся числовым |
|||||||||||||||
|
|
|||||||||||||||||||
рядом 1 |
q |
|
q2 |
q3 |
|
... , где |
|
x |
|
< q <1. Почленно продифференци- |
||||||||||
|
|
|
|
|||||||||||||||||
ровав предыдущее равенство, имеем: |
|
|
|
|
|
|||||||||||||||
|
|
1 |
2x |
3x 2 |
|
4x3 ... |
|
1 |
|
|
. |
|||||||||
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
2 |
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
x |
|
|
2.13. Степенные ряды
Самыми простыми и широко используемыми среди функциональных рядов являются степенные ряды
62
a xn |
a |
a x |
a x2 |
... a xn |
... , |
n |
0 |
1 |
2 |
n |
|
n 0
где действительные числа a0 , a1, a2 ,..., an ,... называются коэффици-
ентами ряда .
Рассматривают также степенной ряд, расположенный по сте-
пеням x x0 , т. е. ряд вида
a x |
x n |
a |
a x |
x |
... a x |
x n |
... , |
n |
0 |
0 |
1 |
0 |
n |
0 |
|
n 0
где x0 - некоторое постоянное число. Однако он с помощью замены
x x |
0 |
z |
легко приводится к виду |
a |
n |
x n . |
|
|
|
|
|
||
|
|
|
n |
0 |
|
|
2.14. Сходимость степенных рядов. Теорема Абеля.
Выясним вопрос о сходимости степенного ряда |
an x n . |
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
n |
0 |
|
|
|
Теорема Абеля. Если степенной ряд |
an x n |
сходится при |
||||||||||||
|
|
|
|
|
|
|
|
|
n |
0 |
|
|
|
|
x x0 0 , то он абсолютно сходится при всех значениях |
x , удов- |
|||||||||||||
|
|
|
x |
|
|
|
|
a |
|
x n |
||||
летворяющих неравенству |
x |
|
|
. Если же степенной ряд |
n |
|||||||||
|
|
|
0 |
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
n 0 |
|
|
расходится при x x0 0 , то он буден расходиться и при всех |
x , |
|||||||||||||
удовлетворяющих неравенству |
|
x |
|
|
x0 |
|
. |
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
63
Доказательство. Так как по условию ряд |
|
a |
xn |
сходится, то |
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n 0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
0 |
|
|
|
|
|
по необходимому признаку сходимости |
lim a |
xn |
0 . Поэтому ве- |
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
n |
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
личина a xn ограничена, т. е. найдется такое число M |
0 , что для |
|||||||||||||||||||||||
n 0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
всех n выполняется неравенство |
|
a xn |
|
|
|
M , |
n |
0,1,2,... Для всех |
||||||||||||||||
|
|
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
n |
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
x , удовлетворяющих неравенству |
|
|
x |
|
|
|
x0 |
|
, величина g |
|
x |
|
1 и, |
|||||||||||
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
x0 |
|||||||||||||||||
следовательно, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
an x n |
|
an x0n |
|
|
x n |
|
|
M |
g n , |
n |
0,1,2,... , |
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
x0n |
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
т. е. модуль каждого члена ряда не превосходит соответствующего
члена сходящегося |
|
g |
1 |
|
ряда геометрической прогрессии. Поэто- |
|||||||||||||||||||||||
му по признаку сравнения при |
|
x |
|
|
|
x |
|
ряд |
|
|
|
a |
xn абсолютно схо- |
|||||||||||||||
|
|
|
|
|
|
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
n 0 |
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n 0 |
|
|
|
|
|
|
дящийся. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
Если ряд |
a |
xn |
расходится при |
x |
|
x |
, то он расходится и |
||||||||||||||||||
|
|
|
|
|
|
|
n 0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|||
|
|
|
|
|
n 0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
при всех x , удовлетворяющих неравенству |
|
x |
|
|
x1 |
|
. |
|||||||||||||||||||||
|
|
|
|
|||||||||||||||||||||||||
|
|
|
Это легко показать методом доказательства от противного. |
|||||||||||||||||||||||||
Если |
допустить |
сходимость |
|
ряда |
в |
точке |
x2 , для которой |
|||||||||||||||||||||
|
x2 |
|
x1 |
|
, то по теореме |
|
Абеля ряд |
сходится |
при всех x , удовле- |
|||||||||||||||||||
|
|
|
|
|||||||||||||||||||||||||
творяющих неравенству |
|
x |
|
x2 |
|
, и, |
|
в частности, |
в точке x1 , что |
|||||||||||||||||||
|
|
|
|
|||||||||||||||||||||||||
невозможно. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
64
2.15. Интервал и радиус сходимости степенного ряда.
Из теоремы Абеля следует, что должна найтись точка x0 0 ,
разделяющая множества точек сходимости и расходимости степен-
ного ряда. Интервал |
|
|
|
|
|
x0 |
; |
x0 |
|
|
и называют интервалом сходимости |
||||||||||||||||||||||||||||||||
степенного ряда. |
Число R |
|
|
x0 |
|
называют радиусом сходимости |
|||||||||||||||||||||||||||||||||||||
|
|
|
|||||||||||||||||||||||||||||||||||||||||
степенного |
|
ряда. |
Интервал |
сходимости можно записать в виде |
|||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
R ряд расходится. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
R; R . При |
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
|
|
|
Если ряд |
|
a |
n |
xn |
|
сходится при всех значениях x |
R , то счи- |
|||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
n |
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
таем, что R |
. На концах интервала сходимости при x |
|
|
R и при |
|||||||||||||||||||||||||||||||||||||||
|
x |
|
R сходимость ряда проверяется в каждом случае отдельно. |
|
|||||||||||||||||||||||||||||||||||||||
|
|
|
Для нахождения радиуса сходимости степенного ряда |
|
a |
xn |
|||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n 0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
0 |
|
|
составим |
|
ряд |
из |
|
модулей |
|
|
членов |
|
данного |
степенного |
|
ряда |
||||||||||||||||||||||||||||||
|
a |
|
a x |
|
|
|
|
a x2 |
|
... |
|
|
|
a xn |
|
... |
и применим к нему признак Да- |
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||
|
0 |
|
1 |
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
ламбера: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
lim |
|
un 1 |
|
|
lim |
|
an 1 x n 1 |
|
|
x |
|
lim |
|
an 1 |
|
0 , |
x |
0 . |
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||
|
|
|
|
|
un |
|
|
|
|
|
an x |
n |
|
|
|
|
|
|
an |
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
n |
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
lim |
|
an 1 |
|
1, |
||
|
|
|
По признаку Даламбера ряд сходится, если |
|
|
|
|
||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
an |
|
|
|||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
т.е. ряд сходится при значениях x , удовлетворяющих неравенству
65
|
|
|
x |
|
|
1 |
lim |
an |
|
|
. |
||
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
an 1 |
an 1 |
|||||
|
|
|
|
|
lim |
|
n |
|
|
||||
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
||||||
|
|
|
|
an |
|
|
|
|
|
||||
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
a |
xn |
|
|
|
|
|
|
|
|
|||
Для ряда |
радиус абсолютной сходимости находится с |
||||||||||||
|
|
n 0 |
|
|
|
|
|
|
|
|
|
|
|
n |
0 |
|
|
|
|
|
|
|
|
|
|
|
|
помощью формулы Коши-Адамара:
R lim |
an |
|
. |
|
an |
1 |
|||
n |
|
|||
|
|
|
||
|
|
|
|
Аналогично, воспользовавшись радикальным признаком Ко-
1
ши, можно установить, что R . lim n an
n
Если степенной ряд содержит не все степени x , т. е. задан неполный степенной ряд, то интервал сходимости ряда находят непосредственно применяя признак Даламбера или Коши.
|
|
2n x n |
|
Пример 15. Найти область сходимости ряда |
|
|
. |
|
|
||
n |
0 |
n! |
|
|
|
||
Решение: Воспользуемся формулой (17.1): |
|
|
|
|
|
|
2n |
|
|
|
|
|
|
|
|
|
|
R lim |
|
|
n! |
|
1 |
lim |
n 1 ! |
1 |
lim n 1 |
. |
|||
2n 1 |
|
|
|
|
|
|
|||||||
n |
|
|
2 n |
n! |
2 n |
|
|||||||
|
|
n 1! |
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Данный ряд абсолютно сходится на всей числовой оси.
x n
Пример 16. Найти область сходимости ряда n 1 2n .
66
Решение: Находим радиус сходимости ряда по формуле КошиАдамара:
R lim |
2n 1 |
|
2 . |
|
2n |
|
|
||
n |
|
|
|
|
Следовательно, ряд сходится при |
2 |
x 2 . |
||
При x 2 имеем расходящийся ряд |
1 n . При x 2 |
|||
|
|
|
|
n 1 |
имеем расходящийся ряд 1+1+1+1+…. Областью сходимости исход-
ного ряда является интервал 2,2 .
Пример 17. Найти область сходимости ряда
|
x3 |
|
x3 |
|
x7 |
|
|
n 1 |
x2n 1 |
|
x |
|
|
|
|
|
... |
1 |
|
|
... |
|
|
|
|
|
|
|
||||
|
3 |
5 |
7 |
|
|
|
2n 1 |
Решение: Заданный ряд неполный. Воспользуемся признаком Даламбера. Для данного ряда имеем:
|
|
|
|
|
|
|
|
|
|
|
un |
|
|
x2n |
1 |
|
, |
|
|
|
|
un 1 |
|
|
|
|
x2n 1 |
|
, |
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
2n |
1 |
|
|
|
|
|
|
|
|
|
|
2n |
1 |
|
|
|
|
|
|
|||||||||
|
|
|
lim |
|
un 1 |
|
lim |
|
x2n 1 |
|
2n 1 |
|
x |
2 |
|
lim |
2n |
1 |
x |
2 |
. |
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
un |
|
|
2n |
|
1 |
|
x |
2n 1 |
|
|
|
2n |
1 |
|
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||
|
|
|
n |
|
|
n |
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
Ряд абсолютно сходится, |
если x2 |
|
|
|
1 или |
1 x |
|
1. |
При |
||||||||||||||||||||||||||||||
x |
|
1 имеем ряд 1 |
1 |
|
1 |
|
|
|
|
|
|
1 |
|
... , который сходится по призна- |
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||
3 |
5 |
|
|
|
|
|
|
7 |
|
||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
ку |
Лейбница. |
При x |
1 |
|
|
|
имеем |
|
|
тоже |
|
|
сходящийся |
ряд |
|||||||||||||||||||||||||||
1 |
1 |
1 |
|
|
1 |
|
.... Следовательно, областью сходимости исходно- |
||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||
3 |
5 |
|
|
7 |
|
||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
го ряда является отрезок 1;1 .
67
2.16. Разложение функций в степенной ряд. Ряды Тейлора и
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Маклорена |
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
Для любой функции f |
x |
, определенной в окрестности точки |
||||||||||||||||||||||||||||||
x0 |
и имеющей в ней производные до |
n |
|
1 -го порядка включи- |
||||||||||||||||||||||||||||||
тельно, справедлива формула Тейлора: |
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
f |
x0 |
|
|
|
|
|
|
|
|
f |
x0 |
|
|
|
|
2 |
|
|
|
|
||
|
|
f |
x |
f |
x0 |
|
|
|
|
|
|
|
|
|
x |
x0 |
|
|
|
|
|
|
|
x |
x0 |
... |
|
|
||||||
|
|
|
|
|
|
1! |
|
|
|
|
2! |
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
f n |
x |
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
... |
|
|
0 |
|
x |
x0 |
|
|
|
|
Rn x , |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
n! |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
где |
|
R |
x |
f |
n 1 |
c |
x |
|
x |
|
|
n |
1 |
, c |
x , x |
, |
- |
остаточный |
член в |
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
n |
|
|
n |
1 ! |
|
|
|
|
0 |
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
форме Лагранжа. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
Если функция |
|
|
|
|
f |
x бесконечно дифференцируема в окрест- |
||||||||||||||||||||||||||
ности точки |
x0 , а остаточный член |
Rn |
x |
|
стремится к нулю при |
|||||||||||||||||||||||||||||
n |
, |
т.е. |
lim Rn |
|
x |
|
0 , то из формулы Тейлора получается раз- |
|||||||||||||||||||||||||||
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ложение функции |
f x |
|
по степеням |
x |
x0 |
, |
называемое рядом |
|||||||||||||||||||||||||||
Тейлора: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
f |
x0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f |
n x0 |
|
n |
|
||
|
|
f |
x |
f |
x0 |
|
|
|
|
|
|
|
|
|
|
x |
x0 ... |
|
|
|
|
|
|
|
|
x |
x0 |
. |
||||||
|
|
|
|
|
|
|
1! |
|
|
|
|
n |
0 |
|
|
n! |
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
Если в ряде Тейлора положить x0 |
0 , то получим разложение |
|||||||||||||||||||||||||||||||
функции по степеням x в ряд Маклорена: |
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
|
|
f |
x |
f |
0 |
|
|
f |
|
0 |
x |
|
|
|
|
f |
0 |
x 2 |
... |
|
|
|
|
|
f n 0 |
x n . |
|
|||||||
|
|
|
|
|
|
|
1! |
|
|
|
|
|
2! |
|
|
n |
0 |
n! |
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
68 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Ряд Тейлора можно формально построить для любой беско-
нечно дифференцируемой функции в окрестности точки x0 , |
но этот |
|||||||||||||||||||
ряд может не сходиться к порождающей функции |
f |
x . |
|
|
|
|
||||||||||||||
Теорема 1. Для того чтобы ряд Тейлора функции |
f |
x |
схо- |
|||||||||||||||||
дился к |
f x |
в точке |
x , необходимо и достаточно, |
чтобы в этой |
||||||||||||||||
точке остаточный член |
R |
x |
|
f |
n |
1 |
c |
x |
x |
n |
1 |
формулы Тейло- |
||||||||
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
n |
|
|
|
n |
1 ! |
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
ра стремился к нулю при n |
|
|
, т. е. чтобы lim Rn |
x |
0 . |
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
Доказательство. Пусть ряд Тейлора сходится к функции |
f |
x |
||||||||||||||||||
в некоторой окрестности точки x0 , |
т. е. |
f x |
|
lim Sn |
x |
. Восполь- |
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
зовавшись совпадением n -частичной суммы ряда |
Sn |
x |
с много- |
|||||||||||||||||
членом Тейлора Pn |
x , находим: |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
lim Rn |
x |
lim f |
x |
Pn |
x |
lim f |
x |
Sn |
x |
|
|
|
|||||||
|
n |
|
|
n |
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
f |
x |
lim Sn x |
|
f |
x |
f |
x |
|
0 . |
|
|
|
|
|
||||
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Обратно, пусть lim Rn x |
0 . Тогда |
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
lim Sn x |
lim Pn x |
|
lim f |
x |
|
R x |
|
|
|
|
|
|
|
|
|
|||||
n |
|
n |
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f x |
lim Rn x |
f |
x |
0 |
|
f |
x . |
|
|
|
|
|
|
|
|
|
|
|
||
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
На практике часто пользуются теоремой, которая дает простое |
||||||||||||||||||||
достаточное условие разложимости функции в ряд Тейлора. |
|
|
|
|||||||||||||||||
Теорема 2. Если модули всех производных функции f |
|
x |
ог- |
|||||||||||||||||
раничены в окрестности точки x0 |
одним и тем же числом M |
|
0 , то |
69
для любого x из этой окрестности ряд Тейлора функции f xсхо-
дится к функции f x .
2.17. Разложение некоторых элементарных функций в ряд Тейлора (Маклорена)
1. Разложим функцию f x ex в ряд. Найдем производные
функции, а также их значения в точке x |
0 : |
|
|
|
|
|||||||||||||||||||
f |
x |
|
ex , |
f |
|
x ex ,..., f |
|
n |
x |
ex ,..., |
|
|||||||||||||
f |
0 |
1, f |
0 |
|
1, ..., f |
n 0 |
|
|
|
|
1,.... |
|
|
|
|
|
||||||||
Воспользовавшись формулой Маклорена, имеем: |
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
e x |
|
|
|
x |
|
|
|
x2 |
|
|
xn |
|
||||
|
|
|
|
|
|
|
|
~1 |
|
|
|
|
|
|
|
|
... |
|
|
... . |
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
1! |
|
2! |
|
|
|
n! |
|
||||||
По формуле Коши-Адамара находим радиус сходимости сте- |
||||||||||||||||||||||||
пенного ряда: R |
|
lim |
|
an |
|
|
lim |
|
n |
1 ! |
|
lim n 1 |
, т.е. ряд |
|||||||||||
|
|
|
|
|
|
|||||||||||||||||||
|
|
an |
1 |
|
|
|
|
n! |
|
|||||||||||||||
|
|
|
|
|
n |
|
|
|
n |
|
|
|
|
|
n |
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
сходится в интервале |
|
|
; |
|
. Для всех |
x |
|
|
R; R |
справедливо |
||||||||||||||
неравенство |
|
f n |
x |
|
|
e x |
|
eR |
M , позволяющее утверждать, что |
|||||||||||||||
|
|
|
|
все производные в этом интервале ограничены одним и тем же чис-
лом M eR . Следовательно, lim R x 0 |
, а функция |
y e x |
||||||
|
|
|
n |
n |
|
|
||
|
|
|
|
|
|
|
||
представляется рядом |
|
|
|
|
|
|
|
|
e x |
|
|
x |
x2 |
|
|
||
1 |
|
|
|
|
... , |
|
|
|
1! |
2! |
|
|
|||||
|
|
|
|
|
сходящимся к производящей функции на всей действительной оси.
70