Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
11telyakovskii.pdf
Скачиваний:
47
Добавлен:
30.03.2015
Размер:
1.46 Mб
Скачать

170

Гл. 6. Свойства дифференцируемых функций

Оценку (6.4.6) можно записать в виде

 

n

k

 

 

 

X

 

 

f(x) =

k!

(x a)k + o (x a)k

; x ! a:

(6.4.8)

k=0

Если для f справедлива оценка (6.4.8), то числа k называют

производными функции f порядка k в точке a в смысле Пеано.

§ 6.5. Формула Тейлора для элементарных функций

Запишем формулу Тейлора с остаточным членом в форме Лагранжа для основных элементарных функций и будем следить за поведением остаточного члена при n ! 1 и фиксированном x.

Для простоты записи и по традиции будем рассматривать формулу Тейлора в нуле.

10: Показательная функция f(x) = ex. Так как f(k)(x) = ex, то f(k)(0) = 1 при всех k. Значит,

n

1

 

e x

 

X

 

 

 

 

 

ex =

 

xk +

 

xn+1; 0 < < 1:

(6.5.1)

 

k!

(n + 1)!

 

k=0

При каждом x имеем e x 6 ejxj. Поэтому для остаточного члена формулы (6.5.1) справедлива оценка

 

x

6

 

x n+1

(ne+ 1)!xn+1

(jn j+ 1)!ejxj;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

которая согласно (2.5.1) показывает, что для любого x остаточный член формулы Тейлора стремится к нулю при n ! 1. Следовательно, для каждого x справедливо равенство

 

ex =

lim

n

xk :

 

 

 

 

n!1

X

 

 

 

 

 

 

k=0

k!

 

 

 

 

 

 

 

 

 

При x = 1 из (6.5.1) получаем

 

 

 

 

 

n 1

e

 

 

 

 

 

e = X

 

+

 

;

0 < < 1:

(6.5.2)

k!

(n + 1)!

k=0

§ 6.5. Формула Тейлора для элементарных функций

171

В частности, при n = 2 справедлива оценка

 

e =

2

1

+ e

< 5 + e :

 

 

X

 

 

 

 

 

 

 

 

 

 

k=0

k!

 

3!

 

2

 

6

 

 

 

 

 

 

 

 

 

 

 

 

Отсюда следует, что e < 3.

Таким образом, согласно (6.5.2) при любом n имеем

n

1

3

 

 

X

 

 

 

 

 

0 < e

k!

<

(n + 1)!

:

(6.5.3)

k=0

 

 

 

 

 

Дробь в правой части (6.5.3) при n ! 1 стремится к нулю очень быстро. Поэтому формулу (6.5.2), в отличие от определения числа e, можно использовать для практического нахождения приближенного значения e.

Например, так как 8! = 40320, то формула (6.5.2) при n = 7 даёт значение e с точностью до 0,0001. Удобство этой формулы состоит ещё в том, что при переходе для получения б´ольшей точности от одного n к следующему используются проделанные ранее вычисления.

С помощью (6.5.3) легко доказать иррациональность числа e. Будем рассуждать от противного. Предположим, что e раци-

онально и

e = mn ;

где n > 2, так как e заведомо не является натуральным числом. Умножив двойное неравенство (6.5.3) на n!, получим

 

 

n

n!

3

 

6 1:

 

0 < n! e

 

<

 

 

 

k!

n + 1

 

 

k=0

 

 

 

 

 

 

 

Таким образом, число

 

X

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

n!

 

 

 

 

n

n!

X

 

 

 

 

 

 

X

 

 

n! e

k!

= (n 1)! m

k=0

k!

 

k=0

 

 

 

 

 

 

 

 

лежит в интервале (0; 1). Вместе с тем, это число целое. Полученное противоречие доказывает иррациональность e.

Рациональные числа являются корнями уравнений первого порядка ax + b = 0 с целыми коэффициентами. Корни уравне-

ний

anxn + an 1xn 1 + + a0 = 0; n > 1;

172

Гл. 6. Свойства дифференцируемых функций

с целыми коэффициентами называют алгебраическими числами. Нетрудно убедиться, что множество алгебраических чисел счётно. Если число не алгебраическое, его называют трансцендентным.

Можно доказать (это доказательство сложно и выходит за рамки курса), что число e не только иррационально, но и трансцендентно. Число также является трансцендентным.

20: Функция sin x. Имеем

sin(k) x = sin x + k2 :

Значит,

sin(k) 0 = sin k2

и в нуле производная порядка k при чётных k равна нулю, а при нечётных k равна попеременно +1 и 1.

Поэтому формула Тейлора порядка 2n + 2, n = 0; 1; 2; : : : , функции sin x имеет вид

n

x2k+1

 

X

 

sin x = ( 1)k (2k + 1)! + R2n+3(x);

(6.5.4)

k=0

 

 

а для остаточного члена справедливо представление

R2n+3(x) =

sin(2n+3) x

x2n+3; 0 < < 1:

(2n + 3)!

Отсюда вытекает оценка

jxj2n+3

R2n+3(x) 6 (2n + 3)!;

из которой следует, что остаточный член для каждого x стремится к нулю при n ! 1 и

n

X

sin x = lim ( 1)k

n!1

k=0

x2k+1

(2k + 1)!:

x2n+2

§ 6.5. Формула Тейлора для элементарных функций

173

30: Функция cos x. Рассуждения аналогичны предыдущим. Так как

cos(k) x = cos x + k2 ;

то

cos(k) 0 = cos k2 :

Поэтому

n

x2k

 

X

 

cos x = ( 1)k (2k)! + R2n+2(x)

(6.5.5)

k=0

 

 

и для остаточного члена справедлива оценка

jR2n+2(x)j 6 (2n + 2)!:

Значит, остаточный член для каждого x при n ! 1 стремится к нулю и

n

x2k

X

cos x = nlim ( 1)k

 

:

(2k)!

!1

 

 

k=0

 

 

40: Функции sh x и ch x. Так как sh(k) x = sh x при чётных k и sh(k) x = ch x при нечётных k, то sh(k) 0 = 0 для чётных k и sh(k) 0 = 1 для нечётных k. Поэтому

n

x2k+1

 

X

 

sh x = (2k + 1)! + R2n+3(x);

(6.5.6)

k=0

 

 

и, так как j sh(k)

Аналогично,

где

(x)j 6 ejxj, для R2n+3(x) справедлива оценка

jxj2n+3

R2n+3(x) 6 ejxj (2n + 3)!:

n

 

 

x2k

 

 

 

ch x =

 

 

+ R2n+2(x);

(6.5.7)

(2k)!

k=0

 

 

 

 

 

 

 

X

 

 

 

 

 

 

 

R2n+2(x)

6 ejxj

x2n+2

 

(2n + 2)!:

 

 

 

 

 

 

 

 

174Гл. 6. Свойства дифференцируемых функций

Вобоих случаях для каждого фиксированного x остаточный член стремится к нулю при n ! 1.

Поэтому функции sh x и ch x при каждом x можно представить в виде пределов

n

x2k+1

n

x2k

X

 

 

X

 

 

sh x = lim

 

 

; ch x = lim

 

:

n!1

(2k + 1)!

n!1

(2k)!

k=0

 

 

k=0

 

 

Заметим, что формулы вида (6.5.6) и (6.5.7) можно вывести и из (6.5.1).

50: Логарифмическая функция ln(1 + x). В отличие от предыдущих примеров здесь функция определена не при всех x, а только для x > 1.

Найдём производные функции f(x) = ln(1 + x). Имеем

 

f0(x) =

1

 

= (1 + x) 1

 

 

1 + x

 

 

и при k > 2

 

 

 

 

 

 

 

 

 

 

 

f(k)(x) =

( 1) ( 2) : : : ( (k 1))

 

=

( 1)k 1(k 1)!

:

 

 

 

(1 + x)k

 

 

(1 + x)k

 

 

 

 

 

 

 

 

Поэтому формула Тейлора имеет вид

 

 

 

 

n

 

 

xk

 

 

 

 

 

 

 

X

 

 

 

 

 

 

 

ln(1 + x) =

( 1)k 1

 

+ Rn+1(x);

(6.5.8)

k

 

 

k=1

 

 

 

 

 

 

 

 

 

где

 

 

 

 

 

 

 

 

 

 

 

Rn+1(x) = ( 1)n

 

xn+1

 

 

 

;

0 < < 1:

(6.5.9)

 

 

(n + 1)(1 + x)n+1

Оценим остаточный член (6.5.9). Если x 2 [0; 1], то

 

 

 

Rn+1(x)

 

 

1

 

 

 

 

 

(6.5.10)

 

 

< n + 1:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Таким образом, Rn+1(x) для этих x стремится к нулю при n ! 1

и

n

 

 

 

xk

 

ln(1 + x) = lim

k

 

1

(6.5.11)

 

 

 

 

k :

n!1 X( 1)

 

 

k=1

§ 6.5. Формула Тейлора для элементарных функций

175

Равенство (6.5.11) справедливо и при x 2 ( 1; 0), но для отрицательных x остаточный член в форме Лагранжа (6.5.9) даёт возможность сделать такой вывод, только если x 2 [ 1=2; 0). Действительно, в этом случае

 

xn+1

 

 

 

x

 

n+1

=

 

(1 + x)n+1

1 + x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

<

1 j

jjxj

n+1

6 1

 

 

x

 

 

 

и, значит, справедлива оценка (6.5.10).

В главе 16 с помощью других представлений остаточного члена формулы Тейлора будет показано, что Rn+1(x) в (6.5.8) стремится к нулю при n ! 1 для всех x 2 ( 1; 1], а для остальных x это не так.

60: Степенная функция f(x) = (1 + x)m. Пусть сначала m – натуральное число.

Если k 6 m, то

 

 

 

 

 

 

 

 

f(k)(x) = m(m

 

1) : : : (m

 

k + 1)(1 + x)m k

 

 

 

 

 

 

 

 

и, значит,

 

 

 

 

 

 

 

 

f(k)(0) = m(m 1) : : : (m k + 1) =

 

m!

 

:

 

 

 

(m

 

k)!

 

 

 

 

 

 

 

 

А если k > m, то f(k)(x) 0.

Поэтому остаточный член формулы Тейлора порядка n > m равен нулю и

 

 

 

 

m

 

m!

 

 

xk

 

 

 

 

 

X

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(m

 

k)!

k!

:

(1 + x)m =

 

 

 

 

 

k=0

 

 

 

 

 

 

 

Таким образом, при всех x справедливо равенство

m

 

m!

m

 

 

 

 

 

X

 

X

 

 

 

 

m 2 N; (6.5.12)

 

 

 

 

 

 

 

 

(m

 

 

 

 

 

 

 

(1 + x)m =

 

k)!k!xk = Cmk xk;

k=0

 

 

 

 

k=0

 

 

 

 

 

где коэффициенты Cmk уже встречались нам в формуле Лейбница для старших производных произведения двух функций.

Из (6.5.12) легко вывести формулу бинома Ньютона

m

 

 

 

X

 

;

 

(a + b)m = Ck akbm k; m

2 N

(6.5.13)

m

 

k=0

176

Гл. 6. Свойства дифференцируемых функций

справедливую для произвольных чисел a и b. В самом деле, достаточно рассмотреть b 6= 0, а в этом случае

a

 

m

m

ak

m

(a + b)m = bm 1 + b

 

= bm k=0 Cmk

bk

= k=0 Cmk akbm k:

 

 

 

 

X

 

X

Поскольку числа Cmk являются коэффициентами в равенстве (6.5.13), их называют биномиальными коэффициентами.

Если m не является натуральным числом, то при всех k

f(k)(0) = m(m 1) : : : (m k + 1)

 

 

и формула Тейлора порядка n имеет вид

 

 

(1 + x)m = 1 +

m

x +

m(m 1)

x2

+

 

 

 

 

 

 

 

1!

2!

 

 

 

 

 

+

m(m 1) : : : (m n + 1)

xn + R

n+1

(x);

 

 

 

n!

 

 

 

 

(6.5.14)

где

Rn+1(x) = m(m 1) : : : (m n + 1)(m n) xn+1(1 + x)m n 1; (n + 1)!

0< < 1.

В16 главе будет показано, что при n ! 1 остаточный член формулы Тейлора (6.5.14) для jxj < 1 стремится к нулю, для jxj > 1 это не так, а для x, равных +1 и 1, ответ на этот вопрос зависит от значения m.

Простой вид многочлены Тейлора имеют также для функции arctg x, об этом будет сказано в 16 главе.

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

Отметим, что формулу Тейлора с остаточным членом в форме Пеано можно использовать для раскрытия неопределённостей.

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

lim sin x x

x!0 x3

легко найти с помощью правила Лопиталя. Но можно воспользоваться формулой Тейлора

sin x = x

x3

3! + o(x4); x ! 0:

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]