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

Определение 3.1. Если для функции f(x) справедливо равенство:

f(x)  c₀c₁(xa)c₂(xa)²c_n(xa)ⁿ, xХ, (3.1)

то говорят, что функция f(x) разложена в степенной ряд на множестве Х, а сам ряд называют её разложением по степеням разности .

Заметим, что согласно (3.1) функция f(x) является суммой степенного ряда на множестве Х.

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

1) функция f(x) имеет на промежутке Х производные любого порядка;

2) это разложение единственно.

► По условию, равенство (3.1) имеет место при любом x из промежутка Х. Положив в этом равенстве x  a, получим c₀  f(a).

Равенство (3.1) можно почленно дифференцировать сколько угодно раз. Имеем:

f(x)  c₁  2c₂(xa)  3c₃(xa)²    nc_n(xa)^n1  ,

f(x)  21c₂  32c₃(xa)    n(n  1)c_n(xa)^n2  ,

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

f ^(k)(x)  k!c_k  (k+1) k …2c_k+1(xa)    n(n  1)…(n−k+1)c_n(xa)^nk  ,

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . .

Положим в этих равенствах x  a, получим:

c₁  f(a), f(a)  2!c₂ ; … f ^(k)(a)  k!c_k ,… .

Заменим в последнем равенстве k на n:

, n  1, 2,  . (3.2)

Итак, для коэффициентов ряда из правой части (5.1) всегда справедливо равенство (5.2) независимо от того, как было получено это разложение.◄

Подставим (5.2) в (5.1):

f(x)  f(a)f(a)(xa)(xa)²(xa)ⁿ=

xХ, (3.3)

Ряд из равенства (3.3) называется рядом Тейлора функции f(x). Из теоремы 3.1 следует, что если функция f(x) разложена в степенной вида (3.1), то это всегда её ряд Тейлора.

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

Теорема 3.2 (необходимое и достаточное условие разложения функции в ряд Тейлора). Пусть функция f(x) имеет производные любого порядка на множестве Х. Для того, чтобы f(x) могла быть разложена в ряд Тейлора на множестве Х, необходимо и достаточно, чтобы остаточный член R_n(x) её формулы Тейлора стремился к нулю при для .

►Напишем для функции f(x) формулу Тейлора:

f(x)  f(a)f(a)(xa)(xa)²(xa)ⁿR_n(x) или

f(x)  T_n(x)R_n(x), (3.4)

где T_n(x)= f(a)f(a)(xa)(xa)²(xa)ⁿ − многочлен Тейлора. Очевидно, что T_n(x) есть частичная сумма ряда Тейлора, т.е. T_n(x)=S_n(x). Тогда (3.4) преобразуется к виду:

f(x)  S_n(x)R_n(x), (3.5)

Из равенства (3.5) следует:

, R_n(x) при для .◄

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

Пусть функция f(x) имеет производные любого порядка в некоторой окрестности точки . В равенстве (3.3) положим a = 0, ряд (3.3) принимает вид:

. (4.1)

Ряд (4.1) называют рядом Маклорена. Ряд Маклорена − это ряд по степеням х.

Напишем для f(x) формулу Маклорена с остаточным членом в форме Лагранжа:

, . (4.2)

Используя равенство (4.2) и теорему 3.2, разложим в ряд Маклорена функции: e^x , sin x, cos x, ln(1 + x), acrtg x, (1+ x)^α. Предварительно докажем лемму.

Лемма. R.

►Рассмотрим ряд и исследуем его на абсолютную сходимость по признаку Даламбера. Имеем:

при R.

Данный ряд сходится абсолютно на всей вещественной оси, поэтому его общий член стремится к нулю при при R, т.е. .◄

1. , R. Имеем f ⁽ⁿ⁾(x)  e^x, f ⁽ⁿ⁾(0)  1, f⁽ⁿ⁺¹⁾(θх)  e^θх для R и nN. Напишем для f(x)  e^x формулу Маклорена вида (4.2):

, .

Для остаточного члена R_n(x) справедливо неравенство:

для R.

Отсюда следует с учётом леммы, что R_n(x)0 при для R. Но тогда ряд Маклорена

(4.3)

в силу теоремы 4.2 сходится к функции e^{x всей вещественной оси.}

2. f(x)  sinx, R. Имеем f ⁽ⁿ⁾(x)  ,

f ⁽ⁿ⁾(0)  

f ⁽ⁿ⁺¹⁾(θх)   для R и n  N,

Имеем , Z. Отсюда для производных от функции f(x)  sinx в точке х = 0 имеем равенство:

f ^(2k)(0)=0,  f ^(2k−1)(0)=(−1)^k+1.

Напишем для f(x)  sinx формулу Маклорена вида (6.2):

, .

Для остаточного члена R_n(x) верно неравенство:

для R.

Отсюда, с учётом леммы, следует, что R_n(x)0 при для R. Но тогда ряд Маклорена

(4.4)

в силу теоремы 4.2 сходится к функции sinx ^{на всей вещественной оси.}

3. f(x)  cosx, R. Ряд Маклорена можно получить, рассуждая так же, как в случае функции sinx. Однако рациональнее применить теорему о почленном дифференцировании степенного ряда. Запишем ряд (6.4) в несколько ином виде:

и продифференцируем обе части полученного равенства:

, R. (4.5)

15