Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Курс лекций по высшей математике. 2 часть

.pdf
Скачиваний:
61
Добавлен:
13.04.2015
Размер:
4.24 Mб
Скачать

Замечание:

Обратное утверждение неверно. Если данный ряд сходится, то ряд, составленный из абсолютных величин его членов, может и расходится.

Например, ряд

1 n

сходится по признаку Лейбница, а ряд

 

1

n

n 1 n

n 1

 

 

расходится (гармонический ряд)

5. Остаток ряда и его оценка

Рассмотрим сходящийся ряд

U1 U2 ...

Un

Un 1 Un 2 ...

(1)

Вычисление суммы ряда

S

lim Sn

обычно

технически очень

 

 

n

 

 

сложно. Поэтому в качестве S берут Sn:S

Sn. Точность последнего ра-

венства возрастает с увеличением n.

 

 

 

Определение: Если числовой ряд сходится, то разность Rn=SSn называется n–м остатком ряда.

Таким образом, Rn представляет собой сходящийся числовой ряд:

Rn=Un+1+Un+2+…

Заметим, что lim Rn

lim S Sn S S 0 .

n

n

Абсолютная погрешность при замене суммы ряда S его частичной суммой Sn равна |Rn|=|SSn|.

Таким образом, если требуется найти сумму ряда с точностью до >0, то надо взять сумму такого числа n первых членов ряда, чтобы вы-

полнялось условие: |Rn|< .

Однако в общем случает находить точно Rn не удается.

Теорема: (об оценке остатка знакочередующегося числового ряда) Если знакочередующийся числовой ряд сходится по признаку

Лейбница, то его n–й остаток по абсолютной величине не превосходит модуля (n+1)–го члена ряда.

Доказательство: Пусть ряд U

U

2

U

3

U

4

...

1 n

U

n

... схо-

1

 

 

 

 

 

 

 

дится по признаку Лейбница. Тогда

n–й

остаток

ряда

Rn= (Un+1

Un+2+Un+3–…) сам является суммой знакочередующегося числового ряда

и по теореме Лейбница |Rn|

|Un+1|. Теорема доказана.

 

 

 

 

Пример:

 

Вычислить

с точностью

до

0,01

сумму ряда

1

1

 

1

1

 

....

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1! 3!

 

5!

7!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Очевидно,

 

ряд

сходится

по

признаку

Лейбница.

 

1

1;

1

 

 

0,166;

1

0,008 0,01 . Поэтому S 1–0,166

0,84.

 

1!

3!

 

5!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

93

§2. Функциональные ряды

1. Основные понятия

Определение. Ряд, члены которого являются функциями, называется функциональным рядом. Его обозначают:

u1 x

u2 x

... un x ...

(1)

Определение. Если при x

x0

ряд (1) сходится, то

x0 называется

точкой сходимости ряда (1).

 

 

 

Определение. Множество всех значений x , при которых функциональный ряд сходится, называется областью сходимости этого ряда.

Очевидно, что в области сходимости функционального ряда его сумма является функцией от x . Будем ее обозначать S(x) .

2. Степенные ряды

Определение. Степенным рядом называется функциональный ряд вида:

 

 

 

 

 

 

 

a

 

a

 

x

a

 

a

 

 

x

a 2 ...

a

 

 

x

a n ...

 

 

 

(2)

 

 

 

 

0

1

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

где a, a0 , a1, a2 , ..., an , ... – некоторые числа, называемые коэффициен-

тами степенного ряда.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Теорема (о структуре области сходимости степенного ряда).

 

 

 

 

Областью сходимости степенного ряда:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a a

x

a

a

x

 

a 2 ...

 

a

 

 

x

a n ...

 

 

 

(2)

 

 

 

 

 

 

 

 

 

 

0

 

1

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

является интервал

 

a R;a

 

 

 

R ,

к которому в зависимости от конкрет-

ных

 

случаев

 

могут

быть

присоединены

 

точки

a

 

R и

a R , где

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

R

 

lim

 

an

 

 

(если этот предел существует). В каждой точке интервала

 

 

an 1

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

R;a R

ряд сходится абсолютно.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Доказательство. Рассмотрим ряд, составленный из абсолютных ве-

личин членов данного ряда:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

 

 

a

 

x

a

 

 

a

2

 

 

 

x

a

 

2 ...

 

a

n

 

x

 

a

 

n ...

 

 

(3)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Применим к ряду (3) признак Даламбера.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

lim

 

un 1

 

 

lim

 

an 1

 

x a

 

n 1

 

x a

 

lim

 

an 1

 

 

x

 

a

 

1

 

x a

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

un

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

an

 

 

 

 

R

 

R

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

n

 

 

an

 

 

x

a

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Возможны три случая.

94

1.Если

x

a

1

или

 

x a

 

R , или x a R; a R , то ряд (3)

 

 

 

R

 

 

 

 

 

 

 

 

 

 

сходится. Но тогда по достаточному признаку сходимости знакопеременного ряда сходится и ряд (2), причем абсолютно.

2.Если

 

x a

1 , то ряд (3) расходится.

 

R

 

 

 

 

В этом случае

lim

un

1

1

, то есть при достаточно больших n

 

 

un

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

un 1

 

un

 

, значит

lim

 

un

 

0 и

lim un 0 , следовательно, ряд (2) рас-

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

n

ходится по следствию из необходимого признака сходимости. Теорема доказана.

Определение. Интервал a R;a R называется интервалом сходимости степенного ряда, а половина его длины R называется радиу-

сом сходимости степенного ряда.

 

 

 

Замечание. Всякий степенной ряд (2) сходится при

x

a .

Если

других точек сходимости у ряда (2) нет, то считают, что

R

0 .

Если

степенной ряд сходится во всех точках числовой прямой, то считают, что R .

Примеры. Найти область сходимости степенного ряда.

1.xn

n 1 n

Составим ряд из абсолютных величин членов данного ряда:

 

x

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

1

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

n

 

 

 

 

 

 

 

 

 

 

x

 

n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

и применим к

 

нему

 

признак

Даламбера:

un

 

 

 

 

 

 

 

 

 

,

 

 

 

un 1

 

 

 

 

 

 

 

 

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

lim

un

1

lim

 

x

 

 

n

 

 

x

 

lim

 

 

n

 

 

x

 

lim

 

1

 

 

 

 

 

x

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

un

 

 

 

 

 

 

 

 

 

n

 

 

n

1

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

n

 

n

1

x

 

 

 

n

 

 

 

 

 

 

 

n

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 или

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Ряд сходится, если

x

 

 

 

 

x

(

1;1) –это и есть интервал схо-

димости. Исследуем концы этого интервала. При

x 1 получаем знако-

положительный числовой ряд

 

1

 

 

. Этот ряд расходится как обоб-

 

 

 

 

 

 

 

n

1

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

щенный гармонический ряд с

k

 

1

 

. При

 

x

1

получаем знакочере-

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

95

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

дующийся числовой ряд

 

 

 

 

 

 

 

 

 

 

 

 

. Применим к нему признак Лейбни-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 1

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ца.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1)

 

un

 

1

 

 

 

 

 

un

1

 

 

1

 

 

 

 

> ,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2) lim

 

un

 

 

 

 

 

 

lim

 

 

 

 

 

 

 

0 , следовательно ряд сходится. Областью схо-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1;1 ; R

 

1 .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

димости данного ряда является промежуток

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2.

 

 

 

n! x

5 .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Составим

 

ряд

 

из абсолютных

величин

членов

данного

 

 

ряда

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

 

n ,

 

n!

x

 

 

 

a

 

 

 

и применим к нему признак Даламбера.

 

un

 

n!

x

 

 

 

 

 

n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

un 1

 

 

 

n 1 !

 

x a

 

n 1 ,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

u

1

 

 

 

 

 

 

 

 

 

 

 

n 1 !

 

 

x a

 

n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

0, x a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

lim

 

 

 

n

 

 

 

lim

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

lim n

1

x

a

 

 

 

 

 

 

 

, следователь-

 

 

 

un

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

, x

 

a

n

 

 

 

 

 

 

 

n

 

 

 

 

 

 

n!

x

 

 

 

a

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

но, областью сходимости данного ряда

является одна

точка

 

 

x

 

 

a ;

 

R

0 .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3. n

 

 

xn

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

n!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Составим ряд из абсолютных величин членов данного ряда

 

 

 

 

 

 

x

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

1

 

n!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

и применим к

 

нему

признак

 

 

 

Даламбера.

 

un

 

x

 

n

,

 

un

1

 

 

 

x

 

n

1

 

 

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

un

1

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

n

1

 

 

n!

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

n!

 

 

 

 

 

 

 

n

1 !

 

 

lim

 

 

 

 

lim

 

 

 

 

 

 

 

 

 

lim

 

 

 

 

 

 

0

1

при всех x

, следовательно,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

un

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

n 1

n

 

 

 

 

 

 

 

 

n

 

n 1 !

x

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

;

 

областью

сходимости

 

 

данного

 

 

 

ряда

является

промежуток

 

 

;

 

R

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

96

3. Свойства степенных рядов

Отметим здесь, без доказательства, три важных свойства степенных рядов.

 

1.Сумма S x

степенного ряда

 

 

 

 

 

 

 

 

S x

a0

a1

x a

 

a2

 

x

a 2 ...

an

x

a n

...

(2)

 

является непрерывной функцией в каждой точке интервала сходи-

мости a

R;a

R .

 

 

 

 

 

 

 

 

 

 

 

 

 

2.Ряд

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

a

2a

x

a ...

na

x

a n 1

... ,

 

(4)

 

 

 

 

1

2

 

 

 

 

n

 

 

 

 

 

 

 

полученный почленным дифференцированием ряда (2), является

степенным рядом с тем же,

что

и ряд (2), интервалом сходимости

a

R;a

R . Сумма ряда (4)

 

x

S

x .

 

 

 

 

 

 

 

Замечание. Ряд (4) также можно почленно дифференцировать и

сумма полученного после этого ряда равна

x

S x ,

и так далее.

Таким образом, сумма S x

ряда (2) является бесконечно дифференци-

руемой функцией в интервале сходимости

a

R;a

R .

Сумма ряда

полученного из

ряда

(2)

n

кратным

дифференцированием,

равна

S n

x . Область сходимости степенного ряда при дифференцировании

не изменится.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3. Пусть

числа

и

 

 

принадлежат интервалу

сходимости

a

R;a

R ряда (2). Тогда имеет место равенство

 

 

 

 

S x dx

 

a dx

a

x

a dx

...

a

x

a n dx ...

 

(5)

 

 

 

 

0

1

 

 

 

 

 

n

 

 

 

 

 

4. Разложение функций в степенные ряды

Пусть функция

f

 

x бесконечно дифференцируема в

a

R;a

R

и является суммой степенного ряда:

 

 

 

 

 

 

 

 

f

x

a

a

x

a

a

x

a 2 ...

a

x a n ...

 

 

(1)

 

 

 

0

1

 

 

 

2

 

 

 

n

 

 

 

 

 

где

a

R;a

R –интервал сходимости ряда (1). В этом случае го-

ворят,

что функция

 

f

x разлагается в степенной ряд в окрестности

точки

 

a

или

по

 

степеням

 

x

a .

Определим

коэффициенты

a0 , a1, a2 , ..., an , ... этого ряда, для чего продифференцируем n

раз ряд

(1).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f x

a

a

x a

a

 

x

a 2

a

x

a 3

a

x a 4

... a

x

a n

...

(1)

 

0

1

 

2

 

 

3

 

 

4

 

n

 

 

 

 

97

f

x

a

 

 

2a

x

a

3a

 

x

a 2

 

4a

 

x

a

3 ...

na

 

x

 

a n 1 ...

 

 

 

1

 

 

 

 

2

 

 

 

 

3

 

 

 

 

 

 

 

 

 

 

 

4

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

f

x

2a

 

 

2 3a

x

a

 

3 4a

 

 

x

 

a 2

...

 

 

n

1

 

na

 

x

 

a n

2 ...

 

 

 

 

 

2

 

 

 

 

3

 

 

 

 

 

 

 

 

4

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

f

x

2 3a

 

2 3 4a x

 

 

a ...

 

n

 

2

n

1

na x

 

a n

3 ...

 

 

 

 

 

 

 

 

 

3

 

 

 

 

4

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

… …

 

… … …

… … … …

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f ( n ) x

 

2 3 ... n

2

 

n

1

 

 

nan ...

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

… … … … … … … … …

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Все ряды имеют интервалы сходимости

 

 

a

R;a

 

R . При x

a из

полученных тождеств

 

получаем:

 

f

a

a0 ,

f a

a1 ,

 

 

f

a

2a2 ,

f

a

 

2 3a

3

, …,

f ( n ) a

 

 

 

 

2 3 ... n

 

2

n

1 n

a

, … Отсюда находим

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

коэффициенты степенного ряда (1):

a

 

f

a ,

a

 

 

f

 

a

 

,

a

 

 

f a

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

1

 

 

 

1!

 

 

2

 

 

2!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

f

 

a

, …, a

 

f

n

a

, … Подставляем полученные значения ко-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

 

 

3!

 

 

 

 

 

 

n

 

 

n!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

эффициентов в ряд (1), получаем

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f

x

f

a

 

 

 

f

a

x

a

 

f

a

 

 

x

 

a 2

 

...

 

 

f

n a

 

x

 

a n

...

 

 

(2)

 

 

 

 

1!

 

 

 

 

 

2!

 

 

 

 

 

 

 

 

 

n!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Ряд (2) называется рядом Тейлора для функции f

 

x

 

в точке a . В

частном случае при a

 

0 ряд (2) принимает вид:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f

 

x

 

f 0

f 0

x

 

f

 

0

x2

 

...

 

 

f n 0

 

xn

 

..

 

 

 

 

 

(3)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1!

 

 

 

 

 

 

 

 

 

2!

 

 

 

 

 

 

n!

 

 

 

 

 

 

 

 

 

 

 

 

и называется рядом Маклорена.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Таким образом, если функция

f x

является суммой степенного

ряда, то этот ряд называется рядом Тейлора для функции

f

x .

 

 

 

 

 

Пусть теперь дана бесконечно дифференцируемая в точке a

функ-

ция

f

x .

 

Составим

 

 

 

 

для

 

нее

 

формально

 

ряд

 

Тейлора:

f

a

f

a

 

x

a ...

 

f

n

a

x

 

a

n

 

... .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1!

 

 

 

 

n!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Совпадает ли сумма полученного ряда Тейлора с функцией f x ,

для которой он составлен? Оказывается, не всегда. При каких условиях сумма ряда Тейлора совпадает с функцией, для которой он составлен?

Рассмотрим n –ю частичную сумму ряда Тейлора:

Sn x f a

f a

x a

...

f n a

x a n

(4)

1!

n!

 

 

 

 

 

98

Многочлен (4) называется многочленом Тейлора степени n. Раз-

ность Rn x

f

x

 

Sn

x называется остаточным членом ряда Тейлора.

Теорема.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Для того, чтобы бесконечно дифференцируемая в точке a функция

f x

являлась суммой составленного для нее ряда Тейлора, необходимо

и достаточно, чтобы lim Rn x

 

0 .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Можно показать, что остаточный член можно представить в форме

Лагранжа:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

R

x

 

f

n

1

 

c

x a

n

1

, где

 

c –некоторое

число из

интервала

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

n

1 !

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a; x

. Таким образом

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f x

f

a

 

 

 

f a

 

x

a ...

 

f n a

 

x a

n

 

f n 1 c

x

a

n 1

(5)

 

 

 

1!

 

 

n!

 

 

 

n

1 !

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Формула (5) называется формулой Тейлора, а ее частный случай

при a

0 называется формулой Маклорена:

 

 

 

 

 

 

 

 

f

x

 

f 0

 

 

f

0

 

 

x ...

 

f n 0

 

xn

f n

1 c

 

xn 1 , где

c

0; x .

 

 

 

 

 

1!

 

 

 

 

n!

 

n

1 !

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

5. Разложение некоторых элементарных функций в ряды Тейлора и Маклорена

 

1.Разложение функции

 

f

x

ex

в ряд Маклорена.

 

 

 

 

 

 

 

f

x

f

x ...

 

f

n

x

 

...

 

f

x

ex .

 

 

 

 

 

 

 

 

f

0

 

 

f

0 ...

 

f

n

0

 

...

 

f

0

e0 1 .

 

 

 

 

 

 

 

Составим для функции

 

f

x

ex

формально ряд Маклорена:

 

 

 

 

 

 

1

 

x

 

x 2

...

 

 

x n

 

... .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1!

2!

 

 

n!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Найдем

 

 

 

 

 

 

область

 

 

 

 

сходимости

этого

 

 

 

ряда

lim

 

un

1

 

 

lim

 

 

 

x

 

n

1 n!

 

 

 

lim

 

x

 

 

 

0 при любых x,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

un

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

n

1

 

 

 

 

 

 

 

n

 

 

 

 

 

n

 

( n 1)!

x

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

следовательно,

областью сходимости ряда является промежуток

 

;

 

 

. Заметим, что так как ряд сходится абсолютно, то lim

 

x

 

n

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

n!

при любых x и тем более

lim

 

xn

 

0 при любых x.

 

 

 

 

 

 

 

n!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

99

 

f

n 1

x

ex ,

f

n 1

с

eс ,

 

 

 

 

 

 

 

 

 

тогда

lim R

x

lim

ec

xn

1

ec

lim

 

xn 1

 

0. Таким образом, имеет место раз-

 

 

 

 

 

 

 

 

 

 

 

 

 

n

n

n

n

1 !

 

n

 

n

1 !

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ложение при x

 

 

;

:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ex

1

 

 

 

x

 

 

x2

 

 

...

xn

 

...

 

(1)

 

 

 

 

 

 

 

 

1!

 

2!

 

 

n!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2. Разложение функции

 

f

 

x

sin x

в ряд Маклорена.

 

 

Вычислим производные данной функции.

 

 

 

 

f

x

cos x

 

sin x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f

( x)

 

Sinx

 

Sin ( x

2

 

 

 

)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

f

( x)

Cosx

Sin ( x

3

 

 

 

 

)

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

f (4) ( x)

Sinx

 

Sin ( x

4

 

 

)

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

… … … …

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f (n) ( x)

Sin ( x

n

 

)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

… … … …

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Значение

f (x)

и

производных

в

точке

0:

f 0

0 , f 0 1,

f 0

0 ,

f

0

 

 

1, f (4) (0)

 

 

 

 

0 , …,

f (2n 1) (0)

(

1)n 1 ,

f (2n) (0) 0 .

 

Исследуем

 

 

 

 

остаточный

 

 

 

 

член

ряда.

 

 

 

 

 

 

 

f

n

1 (c)

x n 1

 

Rn ( x)

 

 

 

 

 

 

 

(n 1)!

 

 

 

 

 

 

 

 

 

Sin(c

(n

1)

 

 

)

 

 

1 .

 

 

 

 

 

 

 

2

 

lim

 

Rn

x

 

lim

 

 

x

 

n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

1 !

n

 

 

 

 

 

n

 

 

 

 

lim Rn

x

0 .

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

Sin c

n 1

 

 

 

 

 

x

 

n

1

 

2

 

x n 1

, так как

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

1 !

 

 

 

 

(n

1)!

 

 

 

 

 

 

 

 

 

 

 

 

0 ,

следовательно,

lim

Rn x

0 и

 

 

n

 

 

Рекомендуем показать самостоятельно, что областью сходимости ряда является помежуток ( ; ) . Таким образом имеет место разло-

жение при x ( ; ) :

100

 

 

x 3

 

 

x5

 

( 1)n 1

x 2n 1

 

 

Sinx

x

 

 

 

 

 

 

 

...

 

 

 

...

 

 

3!

 

5!

 

 

 

(2n

1)!

 

 

 

 

 

 

 

 

 

 

 

 

 

3. Разложение функции

f (x)

Cosx ряд Маклорена.

 

 

Дифференцируя ряд (2) получаем разложение при x (

;

) :

 

 

x 2

 

 

x 4

 

 

( 1)n 1

x 2n 2

 

 

Cosx

1

 

 

 

 

 

 

 

...

 

 

 

...

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2!

 

4!

 

 

 

 

(2n

2)!

 

 

 

 

4. Биномиальный ряд.

 

 

 

 

 

 

 

 

 

 

 

 

 

Разложим в ряд Маклорена функцию f

x (1 x)m ,

где

m

любое действительное число. Для этого вычислим производные.

(2)

(3)

0 –

 

f ( x)

m (1 x)m 1 ,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f ( x) m (m 1) (1 x)m 2 ,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f ( x) m (m 1) (m 2) (1 x)m 3 ,

 

 

 

 

 

 

 

 

 

… … … … …

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f (n) ( x)

m (m 1) (m 2)

... (m

n

1)

(1

x)m

n ,

 

 

 

 

… … … … … … .

 

 

 

 

 

 

 

 

 

 

 

 

 

При

x

0

 

получаем:

 

f 0

1,

 

f

0

m ,

f

0

m (m

1) ,

f

m (m

1)

(m

2) ,…, f (n)

0

 

m (m

1)

m

2

...

 

m

n 1

,….

 

Можно показать, что областью сходимости ряда является промежу-

ток

 

1;1 (на концах интервала ряд сходится или расходится в зависи-

мости от конкретного значения m ) и что

lim Rn

x

0 . Таким образом,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

при x

1;1

имеет место разложение

 

1

 

x m

1

 

m

x

m

m

1

 

x 2

 

m

m

1

m 2

 

x3 ...

 

 

1!

 

2!

 

 

 

 

 

 

3!

 

 

(4)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

m

m 1

 

m

2 ....

m

n

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x n ...

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Ряд (4) называется биномиальным рядом.

 

 

 

 

 

 

 

5. Разложение функции

f (x)

lnx

в ряд Тейлора.

 

 

 

 

При

x

0

функция

f (x)

lnx не определена,

поэтому ее нельзя

разложить в ряд Маклорена. Разложим ее в ряд Тейлора, например, по степеням (x 1) . Для этого вычислим приводные.

f x

1

x

1 ,

f x

1 x 2

1! x 2 ,

f ( x) 1 2 x 3 2! x 3 ,

 

 

 

x

 

 

 

 

 

 

 

 

f (4) ( x)

1 2 3

x 4

3! x

4 , …, f n

x (

1)n 1 (n 1)! x n , ….

101

При

 

x 1

получаем:

f (1)

0 ,

f (1) 1 , f

(1)

 

1! , f (1)

2! ,

f (4) (1)

 

3! , …, f n

1 (

1)n 1

(n

1)! , ….

 

 

 

 

Можно показать, что областью сходимости ряда является промежу-

ток 0;2

и что

lim Rn

x

0 . Таким образом, при x

0;2 имеет место

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

разложение:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x 1 x 1 2

 

x 1 3

 

1 n 1

x 1 n

 

ln(x)

 

 

 

 

 

 

 

 

 

 

 

...

 

 

 

... .

(5)

1

 

 

 

2

 

3

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Замечание. Разложение функций в ряды Тейлора или Маклорена непосредственно часто связано с громоздкими вычислениями при нахождении производных и исследовании остаточного члена. На примерах покажем некоторые приемы, позволяющие избежать этих трудностей.

Пример 1. Разложить в степенной ряд функцию e x2 .

 

 

В

формуле

 

 

(1)

 

 

сделаем замену

 

переменной:

x

t 2 ,

получим

e t

2

 

 

 

t

2

 

 

t

4

 

 

 

t

6

 

 

 

 

(

1)

n

t

2n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

...

 

 

 

 

 

 

 

 

 

... при t

 

 

 

;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1!

 

2!

 

3!

 

 

 

 

 

 

 

 

n!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Переобозначим t

на x , получим нужное разложение:

 

 

 

 

 

 

 

 

 

x

2

 

 

 

 

 

x

2

 

 

 

x

4

 

x

6

 

 

 

 

 

 

(

 

1)

n

x

2n

 

 

 

 

 

 

 

 

 

 

 

 

 

e

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

...

 

 

 

 

 

 

...

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1!

 

 

 

2!

 

3!

 

 

 

 

 

 

 

 

 

n!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пример 2. Разложить в степенной ряд функцию

f ( x)

 

 

1

.

 

 

 

 

 

 

 

1

x 2

 

 

Очевидно, f ( x)

 

 

(1

 

 

x 2 ) 1 .

 

 

Обозначим

x 2

 

 

t

и воспользуемся

биномиальным рядом при m

 

 

1 .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(1

t)

1

1

 

 

 

t

 

 

 

1 2

t

2

 

 

1 2

3

t

3

 

...

 

(

1)n

 

1 2 ... n

t

n

...

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1!

 

 

 

 

2!

 

 

 

 

 

3!

 

 

 

 

 

 

 

 

 

 

 

 

n!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(1

 

t) 1

1

 

 

t

t 2

 

t 3

...

 

(

1)n t n

... ,

t

1;1 .

 

(6)

 

 

Возвращаясь к переменной x , получаем при x

1;1 :

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

1

 

x 2

 

x 4

 

 

 

x 6

 

...

 

(

1)n

 

x 2n ...

 

 

 

(7)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

x 2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пример 3. Разложить в степенной ряд функцию f (x)

ln(1

x) .

 

 

Проинтегрируем обе части разложения (6) от 0 до x при x

1;1 :

x dt

 

x

1 t

 

 

 

t 2

 

 

 

t 3

...

 

 

 

 

1 n

 

t n

 

 

 

... dt

или

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0 1 t

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ln(1

 

 

x)

x

x2

 

 

 

x3

 

 

 

...

 

( 1)n

 

x n

 

...

 

 

 

(8)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

3

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

102