- •Лекция 1
- •Лекция 2
- •Лекция 3
- •Лекция 4
- •Лекция 5
- •Лекция 6
- •Лекция 7
- •Лекция 8
- •Лекция 9
- •Лекция 10
- •Лекция 11
- •Лекция 12
- •Лекция 13
- •Лекция 14
- •Лекция 15
- •Лекция 16
- •Лекция 17
- •Лекция 18
- •Лекция 19
- •Лекция 20
- •Лекция 21
- •Лекция 22
- •Лекция 23
- •Лекция 24
- •Лекция 25
- •Лекция 26
- •Лекция 27
- •Лекция 28
- •Лекция 29
- •Лекция 30
- •Лекция 31
- •Лекция 32
- •Лекция 33
- •Лекция 34
- •Лекция 35
- •Лекция 36
- •Лекция 37
- •Лекция 38
- •Лекция 39
- •Лекция 40
- •Лекция 41
- •Лекция 42
- •Лекция 43
- •Лекция 44
- •Лекция 45
- •Лекция 46
- •Лекция 47
|
|
|
|
|
|
|
|
|
ЛЕКЦИЯ 44 |
|
|
|
|
||||
|
|
|
|
|
|
|
|
Степенные ряды. |
|
|
|
|
|||||
|
|
Ряд |
|
вида |
|
a |
0 |
+ a (x − a) + a |
2 |
(x − a)2 |
+K+ a |
n |
(x − a)n +K, |
где |
|||
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|||
a1, a2 ,K, an ,K действительные |
числа, называется степенным. Другой вид : |
||||||||||||||||
a |
|
+ a x + a |
|
x2 +K+ a |
|
xn |
+K= |
∞ |
|
xn . |
|
|
|
|
|
|
|
0 |
2 |
n |
∑a |
n |
|
|
|
|
|
|
|||||||
|
1 |
|
|
|
|
n=0 |
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Членами данного ряда являются степенные функции. Степенной ряд все- |
|||||||||||||||
гда сходится по крайней мере в одной точке : x = a либо x = 0 соответственно
виду. Поскольку заменив |
(x − a) на |
X |
всегда |
можно получить |
ряд вида |
||
∞ |
|
|
|
|
|
|
|
∑an X n , то в дальнейшем такие ряды и будем рассматривать. |
|
|
|||||
n=0 |
|
|
|
|
|
|
|
Теорема Абеля. Пусть степенной ряд |
∞ |
сходится в точке x |
|
≠ 0 . То- |
|||
∑a xn |
0 |
||||||
|
|
|
|
n |
|
|
|
|
|
|
|
n=0 |
|
|
|
гда он сходится в любой точке |
x , удовлетворяющей неравенству | |
x |<| x0 | и |
|||||
сходится равномерно в области | |
x |≤ q <| |
x0 | . Если же ряд расходится в некото- |
|||||
рой точке x1 , то он расходится и во всех точках x , таких, что | x |>| x1 | . |
|
|
|||||
Доказательство. |
По |
∞ |
условию |
числовой |
|
ряд |
|
|
|
сходится, поэтому lim an x0n = 0 . От- |
|||||
a0 + a1x0 + a2 x02 +K+ an x0n +K= ∑an x0n |
|||||||
|
|
n=0 |
|
|
n→∞ |
|
|
сюда следует, что последовательность {an x0n} ограничена, т.е. M > 0 , что для
всех n |
выполняется |
неравенство |
{an x0n} < M . |
Преобразуем исходный |
ряд |
||||||||||
∞ |
|
|
x |
|
|
|
x |
2 |
|
|
|
x |
n |
|
|
∑an x |
n |
|
|
2 |
|
|
|
n |
|
|
|
||||
|
=a0 + a1x0 |
|
+ a2 x0 |
|
|
|
+K и рассмотрим ряд |
из |
|||||||
|
x0 |
|
|
|
+K+ an x0 |
|
|
|
|||||||
n=0 |
|
|
|
|
x0 |
|
|
|
x0 |
|
|
|
|||
абсолютных |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
величин |
|
|
|
n |
его |
|
|
|
|
|
|
членов: |
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
|
|
x |
|
2 |
|
|
|
|
|
|
x |
|
|
|
|
2 |
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
+ |
2 |
|
|
|
|
|
|
|
|
|
n |
|
|
x |
|
+K< M + M |
|
+ |
|
|
x |
|
+K |
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
|
a0 |
+ |
a1x0 |
|
|
|
|
a2 x0 |
|
|
|
|
|
|
|
|
|
+K+ |
an x0 |
|
|
|
|
|
M |
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
x0 |
|
|
|
|
|
x0 |
|
|
|
|
|
|
x0 |
|
|
x0 |
|
|
|
x0 |
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
n |
|
|
|
|
|
|
|
∞ |
|
x |
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
+ M |
|
|
|
|
+K= M |
∑ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
x0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
x0 |
|
|
|
|
n=0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
При |
|
| x |<| x0 | |
мы имеем геометрическую прогрессию со знаменателем |
||||||||||||||||||||||||||||||||||
q = |
|
x |
|
<1, следовательно, ряд сходится. Тогда по признаку сравнения сходится |
||||||||||||||||||||||||||||||||||||||
x0 |
||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
∞
и ряд из модулей, т.е. исходный ряд ∑an xn сходится абсолютно. Если же
n=0
| x |≤ q <| x0 | , то |
x |
|
≤ |
q |
<1, следовательно, |
исходный степенной ряд мажори- |
||||
x0 |
|
|||||||||
|
|
x0 |
|
|
|
|
|
|||
|
|
|
|
|
∞ |
|
q |
n |
|
|
руется сходящимся числовым рядом M ∑ |
|
|
|
|
, а значит, по признаку Вей- |
|||||
|
|
|||||||||
|
|
|
|
|
|
|
x0 |
|
|
|
|
|
|
|
|
n=0 |
|
|
|||
|
∞ |
сходится равномерно в области | x |≤ q <| x |
|
| (вспомним |
||||||
ерштрасса ряд ∑a xn |
0 |
|||||||||
|
n |
|
|
|
|
|
|
|
|
|
|
n=0 |
|
|
|
|
|
|
|
|
|
|
|
∞ |
|
|
|
|
|
|
|
|
пример 6) предыдущей лекции: ∑ x n - не потребовали, чтобы | x |≤ q <1 и по- |
||||||||||
|
|
n =0 |
|
|
|
|
|
|
|
|
лучили при |
x = ±1 неравномерную сходимость). Пусть теперь ряд расходится |
|||||||||
при x = x1 . |
Предположим, что в некоторой точке x2 , такой, что |
|
x2 |
|
> |
|
x1 |
|
, ряд |
|
|
|
|
|
|||||||
сходится. Тогда по только что доказанному он должен сходиться и в точке x1 ,
|
|
|
|
|
|
|
|
|
∞ |
что противоречит условию. Значит, для всех x , таких, что |
|
x |
|
> |
|
x |
|
, ряд |
∑a xn |
|
|
|
|
||||||
|
|
|
|
|
|
1 |
|
|
n |
расходится. ◄ |
n=0 |
||||||||
|
|||||||||
Согласно теореме Абеля мы получаем, что либо ряд сходится абсолютно |
|||||||||
в интервале (− x0 , x0 ) , если он сходится при x = x0 либо расходится в области (−∞;− x1 ) ( x1 ,∞) , если расходится при x = x1 .
Отсюда можно сделать вывод, что областью сходимости степенного ряда всегда является интервал (конечный или бесконечный), с центром в точке 0 или единственная точка 0.
∞
Радиусом сходимости степенного ряда ∑an xn называется неотрицатель-
n=1
ное число R такое, что при | x |< R ряд сходится, при | x |> R расходится. Интервалом сходимости ряда называется интервал (−R, R) . Если ряд сходится в единственной точке x0 = 0 , то для него R = 0 . Если же он сходится на всей числовой
оси, то R = ∞.
Найдем выражение радиуса сходимости степенного ряда через его коэф-
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∞ |
|
фициенты. Рассмотрим для каждого фиксированного x числовой ряд ∑an xn |
и |
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n=0 |
|
предположим, что существует конечный предел L = lim |
|
an+1 |
|
|
( L = lim n an |
). |
|||||||||||||
|
|
||||||||||||||||||
|
an |
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
n→∞ |
|
|
n→∞ |
|
||
Тогда lim |
|
a |
n+1 |
xn+1 |
|
=| x | lim |
|
a |
n+1 |
|
=| x | L . Тогда по признаку Даламбера ряд |
||||||||
|
|
|
|
||||||||||||||||
|
|
an x |
n |
|
|
|
an |
|
|||||||||||
n→∞ |
|
|
|
|
|
n→∞ |
|
|
|
|
|
|
|
|
|
||||
сходится при | x | L <1 и расходится при | x | L >1. Следовательно, если выпол-
нено |
соотношение | x |< |
1 |
= |
|
|
|
1 |
|
|
= lim |
|
an |
|
|
, то ряд |
сходится, а |
если |
||||||
|
|
|
|
|
an+1 |
an+1 |
|||||||||||||||||
|
|
|
|
|
L |
|
lim |
|
|
n→∞ |
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
an |
|
|
|
|
|
|
|
|
|
||||
|
1 |
|
|
|
|
|
|
n→∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|||
| x |> |
, |
то |
ряд расходится. |
|
Т.о. |
для |
радиуса |
сходимости |
степенного |
ряда |
|||||||||||||
L |
|
||||||||||||||||||||||
∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
an |
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
||||
∑an x |
получаем формулу |
R = |
|
= lim |
|
. А если к ряду применить при- |
|||||||||||||||||
|
L |
an+1 |
|||||||||||||||||||||
n=0 |
|
|
|
|
|
|
|
|
n→∞ |
|
|
|
|
|
|
||||||||
знак |
Коши, |
то аналогичные рассуждения |
приводят к следующей формуле |
||||||||||||||||||||
R = |
|
|
1 |
. Заметим, что если L = 0 , то полагают, что R = ∞, т.е. степенной |
|||||||||||||||||||
|
|
|
|||||||||||||||||||||
lim n an
n→∞
ряд сходится на всей числовой оси. Если же L = ∞, то R = 0 , и, значит, ряд схо-
∞
дится в единственной точке x = 0 . Если же ряд имеет вид ∑an (x − x0 )n , то ра-
n=0
диус сходимости тот же, а интервал сходимости этого ряда (x0 − R, x0 + R) . При
x = ±R ряд может либо сходиться, либо расходиться. Этот вопрос решается индивидуально.
Пример.
1) Найти область сходимости ряда
|
|
∞ |
|
|
n3 |
n |
|
|
1 |
|
|
n |
|
1 |
|
|
|
|
|
|
||
|
|
∑n3n xn . R = lim |
|
|
|
= |
lim |
|
= |
, |
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
+1 |
|
|
|
|
||||||||||
|
|
n=1 |
n→∞ (n +1)3n+1 |
|
3 n→∞ n |
3 |
|
|
|
|
|
|||||||||||
т.е. ряд сходится в интервале |
(−1 , 1) . Исследуем поведение ряда на |
концах: |
||||||||||||||||||||
|
|
|
|
|
3 3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
при x = 1 имеем расходящийся ряд |
∞ |
|
при |
x = −1 |
имеем так же расходя- |
|||||||||||||||||
∑n , |
||||||||||||||||||||||
3 |
|
|
|
|
|
|
n=1 |
|
|
|
3 |
|
|
|
|
|
|
|
|
|
||
∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
щийся ∑(−1)n n . Следовательно, область сходимости x (−1 , 1) . |
|
|
|
|||||||||||||||||||
n=1 |
|
2n−1 |
|
|
|
|
|
|
|
|
|
|
3 3 |
|
|
|
|
|
||||
∞ (x |
− 2) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
2) ∑ |
|
|
|
. Здесь следует заметить, что формула для отыскания R |
||||||||||||||||||
|
n3 |
|
||||||||||||||||||||
n=1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
получена в предположении существования конечного предела lim |
|
an |
|
|
, т.е. в |
|||||||||||||||||
|
|
|
||||||||||||||||||||
|
an+1 |
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n→∞ |
|
|
|||
предположении, что ряд содержит все степени x . Если же степени x входят в ряд с пропусками, то непосредственное применение формулы невозможно. Так,
здесь a2n = 0 |
, и поэтому lim |
a2n |
|
= 0 , а lim |
|
a2n+1 |
|
= ∞ , т.е. формулу приме- |
|
a2n+1 |
a2n+2 |
||||||||
|
n→∞ |
n→∞ |
|
|
|||||
нить нельзя. |
В таком случае необходимо применять непосредственно признак |
||||||||
Даламбера: |
|
|
|
|
|
|
|
|
|
|
|
lim |
|
(x − |
2) |
2n+1 n3 |
|
= |
|
x − 2 |
|
2 |
lim |
n3 |
|
= |
|
x − 2 |
|
2 |
<1 |
|||
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
(x − 2)2n−1 (2n +1)3 |
|
|
|
|
|
3 |
|
|
|
||||||||||||
|
|
n→∞ |
|
|
|
|
|
|
|
|
n→∞ (n +1) |
|
|
|
|
|
|
|||||||
x − 2 |
|
<1 −1 < x − 2 <1 |
|
x (1,3) . Исследуем ряд при |
|
x =1 и |
|
x = 3 . Оба схо- |
||||||||||||||||
|
|
|
||||||||||||||||||||||
дятся абсолютно ( ∑ |
1 |
|
, ∑ |
(−1)n |
|
|
). Поэтому область сходимости x [1,3] . |
|||||||||||||||||
n3 |
|
n3 |
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Приведем без доказательства некоторые свойства степенных рядов:
1o. Т.к. степенной ряд сходится на любом отрезке [−q, q] (−R, R) равно-
мерно,
где R - радиус сходимости ряда, значит, его сумма S(x) является непрерывной функцией на [−q, q].
∞
2o. Степенной ряд ∑an xn можно почленно интегрировать на любом от-
n=1
резке, целиком принадлежащем интервалу сходимости, при этом полученный степенной ряд имеет тот же радиус сходимости, что и исходный ряд (однако поведение на концах может измениться).
3o. Степенной ряд можно почленно дифференцировать в интервале сходимости любое число раз (т.е. сумма степенного ряда есть бесконечно дифференцируемая функция). Опять же радиус сходимости ряда из производных тот же, что и у исходного ряда (на концах может быть изменение сходимости).
Почленное интегрирование и дифференцирование степенного ряда иногда позволяет найти его сумму.
Пример.
∞ |
n + (−1)n |
xn . Легко видеть, что R =1. Ряд схо- |
|
3) Найти сумму ряда ∑ |
|
||
n(n −1) |
|||
n=2 |
|
дится равномерно в любом отрезке, целиком лежащем в области сходимости | x |<1. Поэтому этот ряд можно почленно интегрировать и дифференцировать,
не нарушая |
|
|
радиуса |
сходимости. |
|
Пусть сумма |
ряда |
|
S(x) . Тогда |
|||||||||||||||||||||||||
|
|
∞ |
|
|
xn−1 |
|
|
∞ |
(−1)n xn |
|
|
|
|
|
|
|
|
|
|
∞ xn−1 |
|
|||||||||||||
S(x) = x ∑ |
|
|
|
|
|
|
|
+ ∑ |
|
|
|
|
|
= xS + S |
2 |
, |
|
где |
S |
|
(x) = |
∑ |
|
|
|
, |
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
n=2 n −1 |
|
n=2 n(n −1) |
|
1 |
|
|
|
|
1 |
n |
=2 n |
−1 |
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
∞ |
|
(−1) |
n |
x |
n |
|
|
|
|
|
|
|
|
|
|
′(x) = |
∞ |
|
|
|
|
1 |
|
|
|
|||||||
S |
2 |
(x) = ∑ |
|
|
|
|
. |
|
|
Тогда имеем |
|
|
S |
∑xn−2 =1 + x + x2 |
+K= |
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
|
n=2 |
|
|
n(n −1) |
|
|
|
|
|
|
|
|
|
1 |
n=2 |
|
|
|
1 − x |
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
x |
1 |
|
|
dt = −ln |1 − t ||0x = −ln(1 − x) . |
|
S2″(x) = |
|
∞ |
|
|
|
|
|
|
|||||||||||||||||
S1(x) = |
∫ |
|
|
|
Далее, |
∑(−1)n xn−2 = |
||||||||||||||||||||||||||||
|
− t |
|||||||||||||||||||||||||||||||||
|
|
0 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n=2 |
|
|
|
|
|
|
|||||||||
=1 − x + x2 − x3 |
|
|
|
|
|
|
1 |
, S2′ |
x |
|
dt |
|
|
|
|
x |
|
|
|
|
|
|
||||||||||||
+K= |
|
|
(x) = ∫ |
|
= ln(1 + x), |
S2 (x) |
= ∫ln(1 |
+ t)dt = |
||||||||||||||||||||||||||
1 |
+ x |
1 + t |
||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
0 |
|
|
|
|
|
|
|||||||
= (x +1) ln(x +1) − x . Т.о. S = −xln(1 − x) + (x +1) ln(x +1) − x . |
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∞ |
|
|
|
|
|
|
|
|
|
|
R =1. Преоб- |
|||||||
|
|
4) Найти S(x) = ∑(2n2 + n −1)xn . Аналогично примеру 3) |
|
|||||||||||||||||||||||||||||||
n=0
разуем |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
S(x) : |
||||
|
|
|
|
|
|
∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∞ |
|
|
|
|
+1)xn = 2S (x) + S |
|
(x) |
. Най- |
|||||||||||||||||||
S(x) = ∑(2n2 + n −1)xn |
|
|
= 2 ∑(n |
−1)(n +1)xn + ∑(n |
2 |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
n=0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n=0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n=0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
′ |
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
x |
|
|
|
|
|
|
|
|
|
|
|
∞ |
|
|
|
|
x |
|
|
|
|
|
∞ |
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
1 |
|
|
|
|
|
|
||||||||||||||
дем ∫S2 (t)dt |
= ∑ (n |
+1) |
∫t ndt = ∑xn = |
|
|
|
|
|
|
|
S2 (x) = |
|
|
|
|
|
|
= |
|
|
|
|
|
|
. Далее |
|||||||||||||||||||||||||||||||||||||||||||||
|
1 − x |
|
|
|
|
|
|
|
− x)2 |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
0 |
|
|
|
|
|
|
|
|
|
|
n=0 |
|
|
|
|
0 |
|
|
|
|
|
n=0 |
|
|
|
|
|
|
|
|
|
|
|
|
1 |
− x |
(1 |
|
|
|
|||||||||||||||||||||||||||||
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
|
|
∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∞ |
|
|
−1)xn−2 = x3S3 (x) , |
||||||||||||||||
|
|
|
|
|
∫S1 (t)dt = ∑ (n |
− |
|
1)(n + |
1)∫tndt = |
|
∑(n −1)xn+1 = x3 |
∑(n |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
n=0 |
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
∞ |
|
n=0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n=0 |
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
где S3 (x) = ∑(n −1)xn−2 . Тогда |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
|
|
|
n=0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∞ |
|
|
|
|
−1)tn− |
|
|
|
|
|
|
|
∞ |
|
|
|
|
|
1 |
|
|
|
|
∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∫S3 (t)dt = ∑ ∫(n |
2dt = ∑xn−1 = |
+ |
∑xn |
−1 = |
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
n=0 0 |
|
|
|
|
|
′ |
|
|
|
|
|
|
|
|
|
|
n=0 |
|
|
|
|
|
|
|
|
n=1 |
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
1 |
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
1 |
|
|
|
|
|
|
|
1 |
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
. Тогда ∫S1(t)dt = x3S3 (x) = |
|||||||||||||||||||||||||||||||||||
= |
|
|
|
+ |
|
|
|
|
|
|
S3 (x) = |
|
|
+ |
|
|
|
|
|
|
|
|
|
= − |
|
|
|
|
+ |
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||
x |
1 |
− x |
|
|
|
|
|
|
|
|
|
|
x2 |
|
(1 − x)2 |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
x |
|
1 − x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||
= −x + |
|
|
|
|
x3 |
|
|
|
|
S (x) = −1 + |
x2 |
(3 − x) |
|
|
S(x) = |
|
x2 (3 − x) |
− 2 + |
|
1 |
|
|
|
= |
|
5x −1 |
||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||
|
|
|
|
|
(1 − x)2 |
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
(1 − x)3 |
|
|
|
|
|
|
|
|
|
|
|
|
(1 − x)3 |
|
|
|
|
(1 − x)2 |
|
|
(1 − x)3 |
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f (x) |
|
|
|
|
|
|
|
|
|
Ряды Тейлора |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
|
|
|
|
Пусть функция |
|
в некоторой окрестности точки x0 имеет производ- |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
ные |
|
|
|
|
|
|
|
|
|
|
|
|
|
любых |
|
|
|
|
|
|
|
|
|
|
|
|
порядков. |
|
|
|
|
|
|
|
Степенной |
|
|
|
|
|
|
ряд |
||||||||||||||||||||||||||||
f (x0 ) + f ′(x0 )(x − x0 ) + |
|
|
|
f ′′(x0 ) |
(x − x0 ) |
2 +K+ |
f (n) (x0 ) |
(x − x0 )n +K= |
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2! |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n! |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
∞ |
|
|
|
f |
(n) (x |
0 |
) |
|
|
|
− x0 )n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
= ∑ |
|
|
|
|
|
|
|
|
(x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
n! |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
n=0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f (x) в точке x0 . Если x0 = 0 , то ряд |
||||||||||||||||||||||||||||||
|
|
|
|
называется рядом Тейлора функции |
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
′ |
|
|
|
|
|
|
′′ |
|
|
|
2 |
|
|
|
|
|
|
|
|
|
f |
(n) |
(0) |
|
|
|
n |
|
|
|
|
|
|
∞ |
|
|
f |
(n) |
(0) |
|
|
n |
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f (0) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
+K= ∑ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
f (0) + |
|
f |
|
(0)x + |
|
|
|
|
x |
|
|
|
+K+ |
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
называется |
|
рядом |
||||||||||||||||||||||||||||||
|
|
|
2! |
|
|
|
|
|
|
|
|
|
n! |
|
|
|
|
|
|
|
|
n! |
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n=0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
Маклорена.
Ряд Тейлора, как всякий степенной ряд, имеет интервал сходимости и сумму, причем, возможно, и не равную f (x) . Естественен вопрос: при каких
условиях сумма ряда совпадает с f (x) в некоторой окрестности точки x0 ?
Из ряда Тейлора следует, что его n −я частичная сумма есть многочлен
Тейлора Pn (x) = f (x0 ) + f ′(x0 )(x − x0 ) + |
f ′′(x0 ) |
(x − x0 )2 |
+K+ |
f (n) (x0 ) |
(x − x0 )n . |
|
2! |
n! |
|||||
|
|
|
|
Отсюда, если ряд Тейлора сходится к функции f (x) , то справедливо равенство f (x) = Pn (x) + rn (x) , где rn (x) -остаток ряда. На основании теоремы о сходимости ряда получаем, что для сходимости ряда Тейлора к функции f (x) НИД
|
lim rn (x) = 0 , где x Uδ (x0 ) . Напишем разложение функции f (x) |
по формуле |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
n→∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
Тейлора |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f (n) (x0 ) |
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
f (x) = f (x0 ) + f ′(x0 )(x − x0 ) + |
f ′′(x0 ) |
(x |
− x0 )2 +K+ |
(x − x0 )n |
+ Rn (x) , |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f (n+1) (ξ) |
|
|
|
|
|
|
|
|
|
|
|
2! |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n! |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
где R (x) = |
|
(x − x |
0 |
)n+1, ξ = x |
0 |
|
+θ(x − x |
0 |
), 0 <θ <1 записан в форме Ла- |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
(n +1)! |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
гранжа. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
Из |
|
формулы |
Тейлора |
и |
двух |
предыдущих |
равенств |
|
следует, |
|
что |
||||||||||||||||||||||||||||||||||||||||||||||||
rn (x) = Rn (x) при условии lim rn (x) = 0 . Т.о., если ряд Тейлора функции |
f (x) , |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n→∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
для которой он составлен, |
|
|
сходится в окрестности т. |
|
x0 |
к этой функции, |
то |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
имеет |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
место |
|
|
|
|
|
|
|
f (n) (x0 ) |
|
|
|
|
|
равенство |
|||||||||||||||||||||||
|
|
|
f (x) = f (x0 ) + f ′(x0 )(x − x0 ) + |
f ′′(x0 ) |
(x |
− x0 )2 +K+ |
(x − x0 )n |
+K. |
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2! |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n! |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Практически важное условие разложения функции в ряд Тейлора выра- |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
жается следующей теоремой: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||
|
|
|
|
|
|
Если производная любого порядка функции f (x) |
ограничены в окрестно- |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
сти Uδ (x0 ) |
|
точки x0 |
одной и той же константой C , то ряд Тейлора этой функ- |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
ции сходится к f (x) |
для x Uδ (x0 ) . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
Доказательство: по условию |
|
f (n) (x) |
|
≤ C, x Uδ (x0 ), n = 0,1,2,K. Тогда для |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
остаточного |
|
|
|
|
|
члена |
|
|
|
|
|
|
|
|
в |
|
|
|
|
|
n+1 |
форме |
|
|
|
Лагранжа |
|
|
|
|
имеем |
||||||||||||||||||||||||||||||||||
|
|
|
r (x) |
|
= |
|
f (n+1) (ξ) |
(x − x |
0 |
)n+1 |
|
|
≤ C |
|
|
x − x0 |
|
. |
При фиксированном |
x |
выражение |
||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
n |
|
|
|
|
|
|
|
|
|
(n |
|
+1)! |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(n +1)! |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
x − x0 |
|
|
n+1 |
→ 0 , а, значит, и lim rn (x) = 0 , |
что и означает, |
что ряд Тейлора для |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
(n +1)! |
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
n→∞ |
|
|
|
|
|
|
|
|
|
|
n→∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
|
|
|
f (x) |
|
|
сходится именно к f (x) |
для x Uδ (x0 ) .◄ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
Теорема. Если функция |
f (x) |
разложима в ряд Тейлора, то это разложе- |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||
ние единственно. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
Доказательство. |
|
От |
|
|
|
противного. |
Пусть |
|
есть |
|
|
два |
|
|
разложения |
||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
∞ |
|
|
|
(x − x |
|
|
)n |
и |
|
|
|
|
|
|
∞ |
|
|
|
|
|
|
|
|
|
|
)n при |
x U |
|
(x |
|
) ( x |
|
− R, x |
|
+ R) , |
|||||||||||||||||||
|
|
|
f (x) = ∑a |
n |
0 |
f (x) = ∑b (x − x |
0 |
δ |
0 |
0 |
0 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
n= |
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n=0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
где |
R -радиус сходимости |
|
|
рядов. |
Тогда |
|
|
|
|
|
|
|
|
|
|
|
|
|
∞ |
|
− b |
)(x − x |
|
)n |
|||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
f (x) − f (x) = 0 = ∑(a |
n |
0 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n=0 |
|
|
n |
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
x Uδ (x0 ) . Отсюда при x = x0 |
имеем a0 − b0 = 0 , |
т.е. |
a0 = b0 . Дифференциру- |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
ем |
|
|
|
|
|
|
|
ряд |
|
почленно, |
|
|
|
|
и |
|
|
|
|
|
полагаем |
|
|
снова |
|
|
|
x = x0 |
|
имеем |
|||||||||||||||||||||||||||||||||||
|
|
|
∞ |
|
|
|
|
|
|
|
− b )(x − x |
|
|
)n−1 ≡ 0 |
|
|
|
a |
= b . |
|
|
Продолжая |
|
этот |
|
|
процесс, |
получим |
|||||||||||||||||||||||||||||||||||||
|
|
|
∑n(a |
n |
|
0 |
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||
n=1 |
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
an = bn , n = 0,1,2,K, т.е. разложение в ряд Тейлора единственно. ◄
