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

Lektsii_Matanaliz

.pdf
Скачиваний:
21
Добавлен:
10.02.2015
Размер:
977.34 Кб
Скачать
Эта функция обладает свойствами:

Если в этом равенстве перейти к пределу при x ! x0; получим a0 = f(x0): Отбросив члены с номером k = 0 и поделив равенство на (x ¡ x0); получим

n

f(k)(x0)

x x 1

x x 1

n

a x x 1

x x 1 :

Xk

X

( ¡ 0)

+ ±(( ¡ 0) ) =

k( ¡ 0)

+ ±(( ¡ 0)

 

)

=1

k!

k=1

 

 

 

 

 

 

 

 

Переходя в этом новом равенстве к пределу при x ! x0; получим a1 =

f0

(x0)

 

1!

è ò.ä. ak = f(k)(x0): Следствие доказано.

k!

Теорема (формула Тейлора с остаточным членом общего вида или в форме Шлемильха-Роша). Пусть функция y = f(x) имеет в

некоторой окрестности (a; b) точки x0 производные до (n + 1)-го порядка, x 2 (a; b); p > 0; тогда существует c 2 (x0; x) (èëè c 2 (x; x0)) такая, что справедлива формула

f(x) =

k=0

k!

¡

0

)k +

³ x ¡ c ´

¢

p ¢ n!

¢

f(n+1)(c):

n

f(k)(x0)(x

 

x

x ¡ x0

p

(x ¡ c)n+1

 

 

X

 

 

 

 

 

 

 

 

 

 

 

 

Доказательство. Введем для многочлена Тейлора из правой части доказываемого равенства следующее обозначение

 

 

Xk

 

 

 

 

 

def

 

n

 

f(k)(x0)

(x ¡ x0)k

'(x; x0) =

 

=0

k!

 

 

 

 

 

 

 

 

 

и составим разностное отношение

 

 

 

 

 

 

 

def f(x)

¡

'(x; x

)

 

 

Rn+1(x) =

 

 

 

0

 

; (ïðè x > x0);

 

 

 

 

 

(x ¡ x0)p

 

 

 

 

 

которое можно переписать в виде

f(x) ¡ '(x; x0) ¡ (x ¡ x0)p ¢ Rn+1(x) = 0:

Рассмотрим функцию

Á(t) = f(x) ¡ '(x; t) ¡ (x ¡ t)p ¢ Rn+1(x);

определенную на t 2 [x0; x]:

à) Á(t) - определена, дифференцируема по t (а значит и непрерывна) на

(x0; x);

81

á) Á(x0) = Á(x) = 0;

ò.å. äëÿ Á(t) выполнены все условия теоремы Ролля (Ÿ4.6), следовательно существует c 2 (x0; x) такая, что Á0(c) = 0: Выпишем это равенство в развернутом виде

Á0(t) = ¡f0(t)¡k=1³

k!

(x¡t)k¡(k ¡(1)!(x¡t)1´+(x¡t)1¢Rn+1(x) =

n

 

 

 

X

f(k+1)(t)

 

f(k) t)

 

 

(3)

 

¢

 

 

¡

 

 

 

 

 

 

(2)

 

 

 

 

 

 

 

 

 

 

(4)

f(2)(t)

 

 

 

 

¡

 

 

 

 

(3)

 

 

´

 

 

 

 

p

 

 

x

 

 

t

1

 

 

R

 

x

 

 

 

f0

t

 

 

 

 

 

 

 

x

 

 

t

 

 

 

 

f0(t)

 

 

 

 

³

=

 

 

(

¡

 

)

 

 

 

 

¢

 

n+1(

) ¡

´

( ) ¡

f(n)

1!

 

 

(

 

 

 

¡

) ¡

 

0!

 

+

 

 

 

 

 

 

 

 

¡ f

(n+1)(t) ¡

 

³

 

 

t)

¡

 

 

 

 

 

 

 

2!

 

 

 

¡

 

+

 

f (t)

(x

 

 

t)2

 

 

f (t)

(x

 

 

t) +

f (t)

(x

 

 

t)3

 

 

 

f (t)

(x

 

t)2

 

 

2!

 

 

 

 

 

 

 

 

³

 

 

 

 

1!

 

 

 

 

 

 

 

 

 

 

 

3!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

´i =

 

 

 

 

 

 

 

 

+ ¢ ¢ ¢ +

 

 

 

 

 

 

(x ¡ t)n ¡

(

(x ¡ t)1

 

 

 

 

 

 

 

 

 

 

 

 

n!

 

(n ¡ 1)!

 

 

 

 

 

 

 

 

 

 

 

=

p

 

¢ (

x

¡

t

1

¢

R

 

x

 

 

 

f(n+1)(t)

(

x

¡

t

n:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

)

 

 

 

 

n+1( ) ¡

 

 

 

 

 

 

 

)

 

 

 

 

 

 

 

 

´

+

Отсюда

Á0

c

) =

p

¢ (

x

¡

c

1

¢

R

x

f(n+1)(c)

(

x

¡

c

n

= 0

n!

 

 

(

 

 

)

 

 

n+1( ) ¡

 

)

 

èëè

 

f(n+1)(c)

 

 

 

 

 

R

x

(

x

¡

c

n¡p+1:

p

 

n!

 

n+1( ) =

¢

 

)

 

 

 

 

 

 

 

 

 

 

Из разностного отношения для Rn+1(x) вытекает представление

f(x) = '(x; x0) + (x ¡ x0)p ¢ Rn+1(x) =

= '(x; x

) +

 

x ¡ x0

 

p

(x ¡ c)n+1

 

f(n+1)(c):

 

 

 

 

³ x ¡ c

´

¢

p ¢ n!

¢

0

 

 

Аналогично рассматривается случай x < x0: Теорема доказана. Замечание 3. Если p = n + 1; то представление для остаточного члена

âèäà

´

¢

p ¢ n!

¢

 

¯p=n+1

 

¢

(n + 1)!

³ x ¡ c

f(n+1)(c)

= f(n+1)(c)

x ¡ x0

 

p

(x ¡ c)n+1

 

¯

 

(x ¡ c)n+1

 

 

 

 

 

 

¯

 

 

 

называется остаточным членом в форме Лагранжа.

82

Замечание 4. Åñëè p = 1; c = x0 + µ(x ¡x0); 0 < µ < 1; то представление для остаточного члена приобретает вид

 

 

x ¡ x0

 

 

 

(x ¡ c)n+1

 

f(n+1)(c)

 

 

 

=

 

 

 

 

 

 

 

 

 

¢

 

 

 

¢

 

 

 

¯c=x0+µ(x¡x0)

 

 

 

 

 

 

x ¡ c

 

1 ¢ n!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n+1

 

 

 

n+1

¯

 

 

 

 

 

 

 

=

x ¡ x0

 

 

¢

 

(x ¡ x0)

 

(1 ¡ µ)

 

¯

f(n+1)(x

 

+ µ(x

¡

x

)) =

(x ¡ x0)(1 ¡ µ)

 

 

 

 

 

 

 

 

 

 

 

 

 

n!

 

 

 

¢

 

0

 

 

0

 

 

= (x

¡

 

x

)n+1(1

¡

µ)n

¢

f(n+1)(x0 + µ(x ¡ x0))

;

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

n!

 

 

 

 

 

 

который называют записью остаточного члена в форме Коши.

Теорема (третье достаточное условие экстремума). Пусть функция y = f(x) имеет в некоторой окрестности точки x0 производные до 2n-ãî

порядка причем

f0(x0) = f00(x0) = ¢ ¢ ¢ = f(21)(x0) = 0; f(2n)(x0) 6= 0;

тогда:

à) åñëè f(2n)(x0) < 0; òî x0 - точка локального максимума; á) åñëè f(2n)(x0) > 0; òî x0 - точка локального минимума.

Доказательство. Ïðè n = 1 получаем второе достаточное условие экстремума, при n > 1 производную f0(x) выразим по формуле Тейлора с остаточным членом в форме Лагранжа

f0 x

) =

f0

 

x

0) +

 

f00(x0)

(

x

¡

x

0) +

: : :

+

f(22)(x0)

 

(

x

¡

x

0)

23

+

1!

 

 

(2n

 

 

3)!

 

(

 

(

 

 

 

 

 

 

¡

 

 

 

 

 

 

 

 

f(21)(c)

 

 

 

 

 

 

 

 

 

 

f(21)(c)

 

 

 

 

 

 

 

 

 

 

 

 

 

+

(

x

¡

x

22

=

 

(

x

¡

x

0)

22

 

 

 

 

 

 

(2n

 

2)!

 

(2n

 

 

2)!

 

 

 

 

 

 

¡

 

 

0)

 

 

 

¡

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Åñëè f(2n)(x0) < 0; òî f(21)(x) - убывает и при переходе x через x0 (тогда c тоже переходит через x0) меняет свой знак с плюса на минус и точно также будет менять свой знак f0(x); что в силу первого достаточного условия экстре-

мума и означает утверждение теоремы. Вторая часть теоремы доказывается

также. Теорема доказана.

Теорема (третье достаточное условие перегиба). Пусть функция y = f(x) имеет в некоторой окрестности точки x0 производные до (2n+1)-

83

го порядка причем

f00(x0) = f(3)(x0) = ¢ ¢ ¢ = f(2n)(x0) = 0; f(2n+1)(x0) 6= 0;

тогда x0 - точка перегиба.

Доказательство. Как и в предыдущей теореме разложим вторую производную по формуле Тейлора

f00

x

) =

 

f(2n)(c)

(

x

¡

x

0)

22

:

(2n

 

2)!

(

 

¡

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Òàê êàê f(2n+1)(x0) 6= 0; òî f(2n)(x) при переходе аргумента через x0 меняет

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

Теорема доказана.

Пример 1. Разложение по формуле Маклорена некоторых элементарных

функций

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

x2

 

 

 

 

 

 

xn

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ex = 1 +

 

 

 

 

 

 

 

 

 

 

 

 

 

+ ±(xn); x 2 R;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+

 

 

 

 

 

 

 

 

 

 

+ ¢ ¢ ¢ + +

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1!

 

 

 

2!

n!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x3

x5

 

 

 

 

x7

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n x2n+1

 

 

 

 

 

2n+2

 

 

 

 

 

sin x = x ¡

 

 

 

+

 

 

 

 

 

¡

 

 

 

 

 

 

+ ¢ ¢ ¢ + (¡1)

 

 

 

 

 

 

 

 

 

 

 

 

 

+ ±(x

 

 

 

 

); x 2 R;

3!

 

5!

 

7!

 

(2n + 1)!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x2

 

 

 

 

x4

 

 

 

 

 

x6

 

 

 

 

 

 

 

 

 

 

n x2n

 

 

 

2n+1

 

 

 

 

 

 

 

cos x = 1 ¡

 

 

 

 

+

 

 

 

 

¡

 

 

 

 

 

 

 

+ ¢ ¢ ¢ + (¡1)

 

 

 

 

 

 

 

 

 

+ ±(x

 

 

 

 

); x 2 R;

2!

 

4!

 

6!

 

 

 

(2n)!

 

 

 

 

 

(1 + x)m = 1 + mx +

m(m ¡ 1)

x2 +

m(m ¡ 1)(m ¡ 2)

x3+

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3!

 

 

 

 

 

 

 

 

 

 

 

 

+

¢ ¢ ¢

+

m(m ¡ 1)(m ¡ 2) : : : (m ¡ n + 1)

xn +

±

(xn);

x

< 1;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

j j

 

 

 

 

 

x

 

 

 

 

x

 

 

 

x2

 

 

 

 

 

 

x3

 

 

 

 

 

x4

 

 

 

 

 

 

 

 

 

 

 

 

1

xn

 

 

 

 

xn

 

;

 

 

 

 

< x

;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ln(1 +

) =

¡ 2 +

3 ¡

4 + ¢ ¢ ¢ + (¡1)

 

 

 

 

¡1

 

 

 

 

 

 

 

n + ±( )

 

 

 

· 1

 

 

 

 

 

 

 

 

 

 

x3

 

 

 

x5

 

 

 

 

x7

 

 

 

 

 

 

 

 

 

n x2n+1

 

 

 

 

2n+2

 

 

 

 

 

 

arctg x = x ¡

 

 

+

 

¡

 

 

 

 

 

+ ¢ ¢ ¢ + (¡1)

 

 

 

 

 

 

 

+ ±(x

 

 

 

 

); jxj · 1;

3

5

 

 

 

7

 

 

2n + 1

 

 

 

 

 

1 + x

 

 

 

 

 

 

 

 

 

 

 

 

 

2x3

 

 

 

 

2x5

 

 

 

 

 

2x2n+1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ln

 

 

 

= 2x +

 

 

 

 

 

 

+

 

 

 

 

 

 

+ ¢ ¢ ¢ +

 

 

 

 

+ ±(x2n+2); 0 · x < 1;

1 ¡ x

 

3

 

 

 

 

 

 

5

 

 

2n + 1

 

 

 

 

 

 

ex

+ e¡x

 

 

 

 

 

 

 

 

 

x2

x4

 

 

 

 

 

 

 

 

 

 

 

x2n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ch x =

 

 

 

 

 

 

 

 

 

 

 

= 1 +

 

 

 

 

 

+

 

 

+ ¢ ¢ ¢ +

 

 

+ ±(x2n+1); x 2 R;

 

 

 

 

2

 

 

 

 

 

 

 

 

 

2!

 

4!

 

(2n)!

sh x =

ex ¡ e¡x

= x +

x3

 

 

+

x5

+

¢ ¢ ¢

+

 

 

 

x2n+1

+

±

(x2n+2); x

2

R;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3!

5!

 

 

 

 

(2n + 1)!

 

 

 

 

 

 

 

 

 

 

 

 

84

arcsin x = x +

1!!

¢

x3

+

3!!

¢

x5

+

¢ ¢ ¢

+

(2n ¡ 1)!!

¢

 

x2n+1

+

±

(x2n+2);

 

 

 

 

 

 

 

 

2!!

3

4!!

 

5

(2n)!!

2n + 1

 

 

 

 

 

 

jxj · 1:

Пример 2. Ряд Тейлора не всегда представляет породившую его функ-

цию, так для функции

( 0;

¡

 

 

x = 0;

f(x) =

1

 

 

exp(

 

x2

);

x 6= 0;

f(k)(0) = 0 8k 2 N; т.е. ее ряд Маклорена тождественно нулевой, хотя

f(x) =6 0:

Пример 3. Вычисление значений функций sin x è cos x: Значения функций sin x è cos x ïðè x 2 [0; ¼4 ] полностью определяют значения этих функций при остальных x; поэтому ограничимся вычислениями при этих значениях аргумента. Для sin x остаточный член в форме Лагранжа в формуле Маклорена

имеет вид

x2n+3

sin³c + (n + 1)¼ +

¼

´;

R2n+3(x) =

 

 

 

 

(2n + 3)!

2

ò.å. 8x 2 [0; ¼4 ] справедливо неравенство

 

 

 

 

 

 

 

 

¼

´

2n+3

 

 

 

 

 

 

R2n+3(x)

 

³4

 

<

(0; 8)2n+3

:

 

 

 

j · (2n + 3)!

(2n + 3)!

 

 

 

j

 

 

 

 

 

 

Äëÿ cos x

 

 

 

´

2n+2

 

 

 

 

 

 

 

 

¼

 

 

 

 

 

 

R2n+2(x)

 

³4

 

<

(0; 8)2n+2

:

 

 

 

j · (2n + 2)!

(2n + 2)!

 

 

 

j

 

 

 

 

 

 

Поэтому, чтобы обеспечить при вычислении sin x точность 10¡8 достаточно выбрать n таким, чтобы удовлетворить неравенству

 

(0; 8)2n+3

 

 

 

 

 

 

 

 

< 10¡8;

 

 

 

 

(2n + 3)!

 

 

которое выполняется уже при n = 3; ò.å.

 

 

 

 

 

 

x3

x5

x7

x9

sin x ¼ x ¡

 

+

 

¡

 

+

 

:

6

120

5040

362880

85

Чтобы обеспечить при вычислении cos x точность 10¡7 достаточно удовлетво-

рить неравенству

 

(0; 8)2n+2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

< 10¡7;

 

 

 

 

(2n + 2)!

 

 

которое выполняется уже при n = 3; ò.å.

 

 

 

 

 

 

x2

x4

x6

x8

 

cos x ¼ 1 ¡

 

+

 

¡

 

+

 

:

 

2

24

720

40320

Пример 4. Вычисление значений функции ln x: Любое число x > 0 åäèí-

ственным образом представимо в виде x = 2® ¢ M; ® 2 Z; 12 · M < 1; тогда ln x = ® ¢ ln 2 + ln M; ãäå ln 2 = 1 ¡ 12 + 13 ¡ 14 + ¢ ¢ ¢ : Число M в свою очередь

можно представить в виде

 

 

Mp

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

¡ 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

M = 1

 

 

 

1 + ¯

; ãäå ¯ =

2

 

21 ·M<1

 

¯

 

< 0; 172

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

p

¢ 1

¡

¯

 

 

 

 

 

p

 

 

 

)

 

 

j

 

 

j

 

 

и значит

 

 

 

2

 

 

 

 

 

 

 

 

M 2 + 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

1 + ¯

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ln x = ³® ¡

 

´ln 2 + ln

 

 

 

 

:

 

 

 

 

 

 

Число p

 

 

 

 

 

 

 

 

 

2

1 ¡ ¯

 

 

 

 

 

 

 

2

можно найти по итерационной формуле Герона (см. Ÿ2.4 пример

3). Для функции ln

1+¯

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1¡¯

остаточный член в форме Лагранжа имеет вид

 

 

R2n+3(¯) = 2n + 3h(1 + c)2n+3 +

(1 ¡ c)2n+3 i; jcj < ¯:

 

 

 

 

 

 

 

 

 

 

 

¯2n+3

1

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

Далее для определенности ¯ > 0; тогда

·

 

 

 

 

 

 

 

 

 

 

 

< 10¡7

jR2n+3(¯)j · 0

2n + 3

h1 + (1 ¡ 0; 172)2n+3 i

 

 

 

 

 

 

2n + 3

 

 

 

 

; 1722n+3

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

0; 1722n+3

+ 0; 2082n+3

 

ïðè n = 3; ò.å.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

¯3

 

¯5

 

 

 

¯7

 

 

 

 

 

 

ln x = ³® ¡

 

´ln 2 + 2³¯ +

 

+

 

+

 

 

 

´:

 

 

 

 

 

2

3

5

 

7

 

4.12Производная в некоторых задачах экономического анализа. (Предельный анализ в экономике.)

86

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