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

Методическое пособие 476

.pdf
Скачиваний:
2
Добавлен:
30.04.2022
Размер:
1.76 Mб
Скачать

Теорема Вейерштрасса. Если функциональный ряд

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