Добавил:
nastia.sokolowa2017@yandex.ru Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
РядыЧ-1.pdf
Скачиваний:
1
Добавлен:
19.02.2024
Размер:
707.21 Кб
Скачать

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f (x)

= an (x x0 )n , x (x0 R; x0 + R) ,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n=9

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

то коэффициенты an этого ряда определяются формулами

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

an =

f (n) (x0 )

,

n = 0, 1, 2, (f (0) (x0 ) =

f (x0 )).

 

 

 

 

 

 

 

(3)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

 

f (x) при x = x0

имеет производные всех порядков

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f (x0 ), f ′′(x0 ), , f (n) (x0 ), ,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

т. е. является бесконечно дифференцируемой в точке x0 .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Составим для этой функции формальный степенной ряд an

(x x0 )n , вычислив

 

его коэффициенты по формуле (3).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n=0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Определение. Рядом Тейлора функции

f (x) относительно точки

 

x0

 

называется сте-

 

 

пенной ряд вида

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f

(n) (x

)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

(x x0 )n

=

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n=0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f

′′

)

 

 

 

 

 

 

 

f

′′′

 

)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f

(n)

(x

)

 

 

 

 

= f (x0 ) + f (x0 )(x

x0 ) +

 

 

(x

(x x0 )2 +

(x

0

(x x0 )3 + +

 

 

 

 

(x x0 )n +

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

2!

 

 

 

3!

 

 

 

 

 

 

n!

 

 

 

 

(здесь 0!=1, f (0) (x0 ) = f (x0 )).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Коэффициенты этого ряда a0

=

f (x0 ), a1

=

 

f (x0 )

, a2

 

=

 

 

f ′′(x0 )

, , an

=

 

 

f (n) (x0 )

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1!

 

 

 

 

 

 

 

 

 

 

2!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n!

 

 

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

 

 

f (x) .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Если x0 = 0 , то ряд Тейлора

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f

(n)

(0)

 

n

 

 

 

 

 

 

 

 

 

 

 

 

′′

 

 

 

 

 

2

 

 

 

 

 

 

 

f

(n)

(0)

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f (0)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

=

f (0) + f

(0) x +

 

 

 

 

 

x

 

 

+ +

 

 

 

 

 

 

 

 

x

 

 

+

 

 

 

 

 

 

 

 

n!

 

 

 

 

2!

 

 

 

 

 

 

 

 

n!

 

 

 

 

 

 

 

 

 

 

 

n=0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Из теоремы 3 вытекает следующее утверждение.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Теорема 2. Если на интервале (x0 R; x0 + R), R > 0 , функция

f (x) разлагается в степенной

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ряд an (x x0 )n , то этот ряд является рядом Тейлора функции

 

f (x) .

 

 

 

 

 

 

n=0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3.1. Условия разложимости функции в ряд Тейлора

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Для простоты будем рассматривать степенной ряд вида an xn , т. е. ряд Маклорена.

Теорема 1.1. Для того чтобы функцию

f (x)

 

 

 

 

 

 

 

 

 

 

 

 

 

n=0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

an xn

на интервале

(R; R) , необходимо и достаточно, чтобы на этом интервале функ-

n=0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ция f (x) имела производные всех порядков и чтобы в ее формуле Тейлора

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f

′′

 

 

 

2

 

 

 

 

 

 

f

 

(n)

(0)

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(0)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(1.1)

 

 

 

 

 

f (x) = f (0) + f

(0) x +

 

 

 

 

x

 

 

+ +

 

 

 

 

 

 

 

x

 

 

+ Rn (x)

 

 

 

 

 

 

 

 

 

 

 

2!

 

 

 

 

 

 

 

 

 

n!

 

 

 

 

 

 

 

 

остаточный член Rn (x)

 

стремился к нулю при n → ∞ длявсех x (R; R) .

 

 

 

35

Необходимость. Пусть на интервале (R; R), R > 0 , функция

f (x) разложима в степен-

ной ряд

 

 

an xn ,

(1.2)

n=0

 

т. е. ряд (1.2) сходится и его сумма равна f (x) . Тогда по теореме о почленном дифференцировании степенного ряда и следствию из нее функция f (x) имеет на интервале (R; R) производные f (n) (x) всех порядков. По теореме 1 (формула 2) коэффициенты ряда (1.2) имеют

вид an =

f (n) (x)

, т. е. мы можем написать равенство

 

 

 

 

 

 

 

 

 

 

 

n!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f

′′

 

 

 

f

(n)

(x)

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

n

 

 

 

 

 

 

 

f (x) = f (0)

 

(0)

x

+ +

 

 

x

+ .

 

 

(1.3)

 

 

 

 

2!

 

 

 

n!

 

 

 

 

 

+ f (0) x +

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(k )

 

В силу сходимости этого ряда

на интервале (R;

R)

его остаток

Rn (x) =

f

 

xk

 

k!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k =n+1

 

стремится к нулю при n → ∞ длявсех x (R; R) .

Достаточность. Пусть функция f (x) на интервале (R; R) имеет производные всех порядков

и в ее формуле Тейлора остаточный член Rn (x) 0 при n → ∞ для любого

x (R; R) .

 

Поскольку

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f

′′

 

 

 

2

 

 

 

f

(n)

(0)

 

 

 

 

 

 

 

 

 

 

 

 

(0)

 

 

 

 

 

 

 

n

,

 

 

Rn (x) = f (x) f (0) + f

(0) x +

 

 

 

 

 

 

x

 

+

+

 

 

 

 

x

 

 

 

 

2!

 

 

 

 

 

n!

 

то

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f

′′

 

2

 

 

 

 

f

(n)

(0)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(0)

 

 

 

 

 

 

 

 

n

 

 

Rn (x)

0

 

 

f (x) f (0)

+ f (0) x

+

 

 

x

 

++

 

 

 

 

 

 

x

 

=

(1.4)

 

2!

 

 

 

 

n!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

при n → ∞ . Поскольку в квадратных скобках записана n-я частичная сумма ряда Тейлора, то формула (1.4) означает, что ряд Тейлора функции f (x) сходятся на интервале (R; R) и его суммой является функция f (x) .

Достаточные условия разложимости функции в степенной ряд, удобные для практического применения, описываются следующей теоремой.

Теорема 1.2. Для того чтобы функцию f (x) на интервале (R; R) можно было разложить

в степенной ряд an xn , достаточно, чтобы функция f (x) имела на этом интервале про-

n=0

изводные всех порядков и чтобы существовала постоянная M > 0 такая, что f (n) (x) M

длявсех n = 0,1, 2, идлявсех x (R; R) .

Пусть функция f (x) имеет на интервале (R; R) производные всех порядков. Тогда для нее можно формально написать ряд Тейлора

 

 

(n)

(0)

 

 

 

 

 

 

 

 

f

 

xn (0!=1,

f (0) (0) = f (0)).

 

 

 

 

 

 

n=0

n!

 

 

 

 

 

Докажем, что он сходится к функции f (x) . Для этого достаточно показать, что оста-

точный член R

(x) =

f (n+1) (θ x)

xn+1, 0 <θ <1, в формуле Тейлора (1.1) стремится к нулю

 

n

 

(n +1)!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

при n → ∞ длявсех x (R; R) . В самом деле,

учитывая, что R < x < R и

 

f (n+1) (θ x)

 

M

 

 

(θ x (R; R)), будем иметь

 

 

 

 

 

 

 

 

36