matan
.pdf
(y1 y2 )(n ) = (f1 (x) f2 (x))(n ) = f1(n ) (x) f2 (x)+ nf1n −1 (x) f2| (x)+
|
|
n |
n −1 |
|
|
|
|
|
(2.49) |
|||
|
+ |
|
( |
|
) |
f1(n −2) (x) f22 |
(x)+...+f1 (x)f2(n ) (x) |
|
||||
|
|
|
2! |
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
||
Пример. Пользуясь формулой Лейбница, вычислить y(n), если |
||||||||||||
y=f1(x)f2(x)=exx2. |
|
|
|
|
f1(n ) (x)= (ex )(n ) = ex , |
f2| (x)= 2x , |
f2|| (x)= 2 , |
|||||
Так |
как |
|
||||||||||
f2(3) (x)= f2(4) (x)=... = f2(n ) (x)= 0 , то согласно (2.49) имеем |
|
|||||||||||
|
|
|
(n ) |
|
|
|
n |
n −1 |
|
|
||
y(n ) = (ex x2 ) |
|
|
= x2ex +2nxex |
+2 |
( |
) |
ex |
= ex [x2 +2nx + n(n −1)]. |
||||
|
|
|
2! |
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
Ниже приведены формулы для вычисления производной порядка n некоторых функций (вывод этих формул без труда может выполнить читатель).
1. |
y=xα (x>0, α R), |
(2.50) |
|
|
y(n)=α(α-1)(α-2)...(α-n+1)xα-n. |
|
|
2. |
y=ax (0<a≠1), |
(2.51) |
|
|
y(n)=ax lnn a |
|
|
3. |
y=ex, |
|
(2.52) |
|
y(n)=ex |
|
(2.53) |
4. |
y=sinx, |
π ). |
|
|
y(n)=sin(x+n |
|
|
5. |
y=cosx, |
2 |
(2.54) |
|
|||
y(n)=cos(x+n π2 ).
В заключение можно перейти к рассмотрению вопросу о дифференциалах высших порядков функции y=f(x).
Пусть, функция y=f(x) дифференцируема в некоторой ∆ окрестности точки х0, т.е. f(x) C′{(x0-∆, x0+∆)}. Тогда дифференциал функции y=f(x) первого порядка имеет вид dy=f′(x)dx и является функцией двух переменных х и dx.
Пусть далее y1=f′(x) C′{(x0-∆, x0+∆)} и dx имеет одно и то же фиксированное значение для (x0-∆, x0+∆). Тогда существует
дифференциал функции dy=f′(x)dx в точке х0., которой обозначим символом d(dy) и который определяется формулой:
d (dy)= d[f ' (x)dx] x=x0 = [f ' (x)dx]' x=x0 dx = f '' (x0 )dxδx = f '' (x0 )dx2 .
61
Определение 2.7. Значение d(dy) дифференциала от первого дифференциала dy, называют вторым дифференциалом функции u=f(x) в точке х0 и обозначают символом
d2y=f′′(x0)(dx)2=f′′(x0)dx2. |
(2.55) |
||
Аналогично этому, имеем |
|
|
|
d n y = d (d n−1 y) |
|
= f (n )(x0 )dxn |
(2.56) |
|
|||
|
|
x=x0 |
|
Заметим, что до сих пор речь шла о случае, когда х является независимой переменной. В случае зависимой переменной х=ϕ(t) формулы дифференциалов при n>1 не сохраняют форму. Например:
d 2 y = d(df (x)) |
|
|
= d ( f ' (x)d x) |
|
= d ( f ' (x)) |
|
dx + f ' (x |
0 |
)d(dx) = |
|
|
|
|
||||||
|
|
|
|||||||
|
|
x=x0 |
|
|
x=x0 |
|
x=x0 |
(2.57) |
|
|
|
|
|
||||||
|
|
|
|
|
|
||||
|
|
|
f " (x0 )dx2 + f ' (x0 )d 2 x |
|
|
|
|||
|
|
|
|
|
|
|
|||
2.9. Возрастание (убывание) функции в точке. Локальный экстремум.
Теорема о нуле производной (теорема Ролля)
Пусть функция y=f(x) определена в некоторой окрестности U(x0) точке х0.
Определение 2.8. Функция f(x) называется возрастающей в точке х0, если существует δ-окрестность Uδ(x0) точки х0 такая, что
x < x0 |
f(x)< f(x0 ) |
(2.58) |
(U δ (x0 ) U(x0 )) ( x U δ (x0 )) |
|
|
x > x0 |
f(x)> f(x0 ) |
|
Определение 2.9. Функция f(x) называется убывающей в точке х0, если существует δ-окрестность Uδ(x0) точки х0 такая, что
x < x |
|
f (x)> f (x |
) |
|
(Uδ (x0 ) U (x0 )) ( x Uδ (x0 )) x > x0 |
f (x)< f (x0 ) |
(2.59) |
||
|
0 |
|
0 |
|
Определение 2.10. Точка х0 называется точкой локального максимума (локального минимума) функции f(x), если существует такая δ-окрестность Uδ(x0) точки х0, что
62
(U δ (x0 ) U(x0 )) ( x U δ (x0 ) f(x)≤ f(x0 )) |
(2.60) |
|
(U δ (x0 ) U(x0 )) ( x U δ (x0 )) f(x)≥ f(x0 )) |
||
|
Определение 2.11. Будем говорить, что функция y=f(x) в точке х0 имеет локальный экстремум, если она в точке х0 имеет либо локальный максимум, либо локальный минимум (рис. 2.3).
y |
max |
|
y=f(x)
min
0 |
x1 |
x2 |
x |
Рис. 2.3.
Теорема 2.8. (лемма Ферма) (достаточное условие возрастания (убывания) функции в точке)
Если y=f(x) C′(x0) и f′(x0)>0(f′(x0)<0) то y=f(x) возрастает
(убывает) в точке х0.
Доказательство. Пусть f′(x0)<0 (случай f′(x0)>0 доказывается аналогично):
Согласно определению (2.1)
f' (x0 )= lim |
f(x0 + ∆x)− f(x0 ) |
= lim |
f(x)− f(x0 ) |
. |
|
∆x |
x − x0 |
||||
∆x→0 |
x→x0 |
|
|||
|
|
|
Последнее, по определению предела функции по Коши, означает, что
( |
|
|
δ ( |
|
|
|
|
|
|
|
) |
|
f(x)− f(x0 ) |
|
( |
|
0 ) |
|
|
ε > 0 δ > 0 : |
x U |
x |
0 < |
|
x − x |
0 |
|
< δ |
|
− f' |
x |
< ε |
|||||||
|
|
||||||||||||||||||
|
|
|
|||||||||||||||||
)( |
) ( |
|
|
0 ))( |
|
|
|
|
|
x − x0 |
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Положим ε=-f′(x0)>0. Тогда имеем
63
f(x)− f(x0 ) |
− f' (x0 ) |
|
< −f' (x0 ) 2f' (x0 )< |
f(x)− f(x0 ) |
< 0. |
|
|||||
x − x0 |
|
x − x0 |
|||
|
|
|
|
Таким образом получаем, что x Uδ(x0)
f(x)− f(x0 )
x − x0
< 0
xx
x − x0 |
< 0 f(x) |
− f(x0 )> 0 |
|
||
|
|
> 0 f(x) |
|
||
x − x0 |
− f(x0 )< 0 |
(2.61) |
|||
< x0 |
f(x)> f(x0 ) |
||||
|
|||||
> x0 |
f(x)< f(x0 ) |
|
|||
т.е. функция f(x) в точке х0 убывает.
Заметим, что положительность (отрицательность) производной f′(x0) не является необходимым условием возрастания (убывания) дифференцируемой в точке х0 функции у=f(x). Например, функция y=x3 возрастает в точке х0=, но y′(0)=0.
Теорема 2.9. (теорема Ферма) (необходимое условие экстремума дифференцируемой в данной точке функции).
Если функция y=f(x) C′(x0) и имеет в этой точке локальный экстремум, то f′(x0)=0 (рис. 2.3.)
Дано: f(x) C′(x0).
Доказать: f′(x0)=0.
По условию теоремы существует f′(x0). Так как функция y=f(x) имеет в точке х0 локальный экстремум, то она не может в этой точке не возрастать не убывать. Следовательно, по теореме 2.8 f′(x0) не может быть ни положительной, ни отрицательной, т.е. f′(x0)=0.
Теорема 2.10. (теорема Ролля или теорема о нуле производной). Если функция y=f(x) определена и непрерывна на сегменте [a;b],
дифференцируема во всех внутренних точках этого сегмента и f(a)=f(b), то внутри сегмента найдется точка ξ, что f′(ξ)=0.
Дано: f(x) C([a,b]), f(x) C′((a,b)),
f(a)=f(b). (2.62) Доказать: ξ (a,b), а′(ξ)=0.
Так как по условию теоремы f(x) С[a,b], то по теореме Вейерштрассе (теорема 1.1.33) f(x) на [a,b] достигает своих точных верхней и нижней граней M и m. Может быть m=M и M>m. Рассмотрим эти два случая по отдельности.
1. m=M.
Тогда очевидно, что f(x)=m=M=const. Отсюда следует, что
64
f′(x)≡0 для х [a,b].
2. M>m
В этом случае согласно (2.62) хотя бы одно из двух значений m и M достигается во внутренней точке ξ на сегменте [a,b]. Но тогда в точке ξ функция f(x) имеет локальный экстремум и по теореме Ферма (теорема
2.9) f′(ξ)=0 (рис. 2.4).
y |
|
|
|
|
|
|
|
|
|
y=f(x) |
|
|
|
|
|
y=f(x) |
|
0 |
a |
ξ |
ξ |
b |
x |
|
|
|
|
|
|
|
|
|
Рис. 2.4. |
|
|
2.10. Формула конечных приращений (теорема Лагранжа). Обобщенная формула конечных приращений (теорема Коши)
Вэтом пункте теорему Лагранжа и теорему Коши сформулируем
всимволической форме.
Теорема 2.11. (теорема Лагранжа).
[(f(x) C[a,b]) ( x (a,b) f′(x)] [ ξ (a,b) : f(b)-f(a)=f′(ξ)(b-a)] (2.63)
Доказательство. Рассматривая на (а,b) вспомогательную функцию
F(x)=f(x)-f(a)- f(b)− f(a)(x −a) b −a
замечаем, что для нее выполнены все условия теоремы Ролля, т.е.: 1. F(x) C)[a,b])
2. F′(x)=f′(x)- |
f(b)− f(a) |
для x (a,b) |
|
b −a |
|||
|
|
3. F(a)=F(b)=0.
Тогда ξ (a,b) такая, что F′(ξ)=0, т.е.
F′(ξ)=f′(ξ)- f(b)− f(a)=0.
b −a
65
Из последнего следует, что
f(b)-f(a)=f′(ξ)(b-a). (2.64)
Формула (2.64) называется формулой Лагранжа или формулой конечных приращений. Если ее записать для сегмента [x0,x0+∆x], где x0 [a,b], x0+∆x [a,b], то получим формулу конечных приращений в другом виде
f(x0+∆x)-f(x0)=f′(ξ)∆x. (2.65)
где ξ (x0,x0+∆x).
Введя величину 0<θ<1 и имея ввиду, что ξ=х0+θ∆х, (2.65) можно переписать в виде
f(x0+∆x)-f(x0)=f′(x0+θ∆x)∆x (2.66)
Отметим также, что на рисунке 2.5 приведена геометрическая иллюстрация теоремы Лагранжа.
y
0 |
a |
ζ |
x |
Рис. 2.5.
Теорема 2.12. (теорема Коши).
[(f(x) C([a,b])) (g(x) C([a,b])) ( x (a,b)( f′(x)) ( g′(x))
|
|
( |
|
) |
( ) |
|
( |
|
) |
|
|
f |
b |
|
− f a |
f' |
ξ |
|
|||
( x (a,b)g′(x)≠0)] ( ξ (a,b)): |
|
|
|
= |
|
. |
||||
g(b) |
− g(a) |
g' (ξ) |
||||||||
66
Доказательство. Нетрудно заметить, что g(a)≠g(b). Если предположить, что g(a)=g(b), то по теореме Ролля ξ (a,b), где g′(ξ)=0. А это противоречит условию теоремы g′(x)≠0 для x (a,b).
Теперь, создавая вспомогательную функцию
F(x)= f(x)− f(a)− f((b))− f((a)) [g(x)− g(a)],
g b g a
−
заметим, что для нее выполнены все условия теоремы Ролля. Последнее означает, что ξ (a,b) такая, что F′(ξ)=0.
Отсюда
f' (ξ)− f ((b))− f((a )) g' (ξ)= 0
g b − g a
или
f (b)− f (a ) |
= |
f ' (ξ) |
. |
(2.67) |
|||||||
|
|
|
|
|
|
|
|
|
|||
g |
( |
b |
) |
− g a |
g' |
( |
ξ |
) |
|||
|
|
( ) |
|
|
|
|
|
||||
Формула (2.67) называется обобщенной формулой конечных приращений или формулой Коши.
Взаключение этого пункта отметим, что формула Лагранжа является частным случаем формулы Коши для g(x)=0.
2.11.Раскрытие неопределенностей (правила Лопиталя)
Впервом разделе при изучении вопросов, касающихся пределов функций, мы говорили о неопределенностях различных типов. Оказывается, что их раскрытие облегчается, если пользоваться правилом Лопиталя. Ниже приводится первое и второе правило Лопиталя без доказательств, причем они сформулируются в виде теорем в символической форме.
Теорема 2.13. (первое правило Лопиталя для раскрытия
неопределенностей типа 00 ).
67
[( x U (a))(( f (x)) ( g |
(x)) (g (x)≠ 0))] |
|
|
|||||||||||||||||
|
|
|
|
' |
|
' |
|
|
|
' |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
f |
' |
(x) |
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
(lim f (x)= lim g |
|
|
lim |
|
' |
|
|
|
|
|
|
|||||||||
(x)= 0) |
|
(x) |
|
|
|
(2.68) |
||||||||||||||
|
x→a |
|
|
x→a |
|
|
|
x→a |
g |
|
|
|
|
|||||||
|
|
|
|
f (x) |
|
|
f (x) |
|
|
|
|
|
' |
(x) |
|
|
|
|
||
|
|
|
|
|
|
|
|
f |
|
|
|
|
||||||||
|
|
|
lim |
|
lim |
= lim |
|
|
|
|
||||||||||
|
g(x) |
|
g ' (x) |
|
|
|
||||||||||||||
|
|
|
x→a |
|
x→a |
g(x) |
x→a |
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Теорема 2.14. (второе правило Лопиталя
неопределенностей типа ∞ |
). |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
[( x U (a))(( f (x)) ( g |
(x)) (g (x)≠ 0))] |
|
|
||||||||||||||||||||
|
|
|
|
' |
|
|
|
' |
|
|
|
' |
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
f |
' |
(x) |
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
(lim f (x)= lim g |
|
|
|
|
|
|
' |
|
|
|
|
|
|
||||||||||
(x)= ∞) lim |
|
|
|
(x) |
|
|
|
|
|||||||||||||||
|
x→a |
|
|
x→a |
|
|
|
|
x→a |
|
|
g |
|
|
|
|
|
||||||
|
|
|
|
f (x) |
|
|
f (x) |
|
|
|
|
|
' |
(x) |
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
f |
|
|
|
||||||||||
|
|
|
lim |
lim |
= lim |
|
|
|
|
||||||||||||||
|
g(x) |
|
g(x) |
|
|
g ' (x) |
|
|
|
||||||||||||||
|
|
|
x→a |
|
x→a |
x→a |
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
для раскрытия
(2.69)
Заметим, что если производные функций f(x) и g(x) до порядка n-1 обладают теми же свойствами, что и функции f(x) и g(x), то правила Лопиталя можно применить n раз, т.е.
|
|
lim |
f(x) |
= lim |
f' (x) |
|
= lim |
f'' (x) |
|
=... = lim |
f (n ) (x) |
(2.70) |
|
|
|
|||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||
|
|
x→a |
|
( |
|
) |
|
x→a |
|
|
|
( |
|
|
) |
|
|
x→a |
|
|
( |
) |
|
|
|
|
x→a |
g |
(n ) |
(x) |
|
|
|
|
|
|
|
|||||||||
|
|
g x |
|
|
g' |
|
x |
|
|
|
|
|
g'' |
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
Примеры. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
x4 |
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
4x3 |
|
|
|
0 |
|
|
|
|
|
|
|||||||
|
1. |
lim |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= |
|
|
= lim |
|
|
|
|
|
|
= |
|
|
|
|
= |
|
|
|
|
||||||||||
|
|
x |
2 |
+2cos x −2 |
0 |
|
2x − |
3sin x |
|
|
|
|
|
|
||||||||||||||||||||||||||||||||
|
|
|
x→0 |
|
|
|
|
|
|
|
x→0 |
|
|
|
0 |
|
|
|
|
|
|
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
12x |
2 |
|
|
|
|
0 |
|
|
|
|
|
|
24x |
|
|
|
0 |
|
|
|
24 |
|
|
|
|
|
||||||||||||
|
= lim |
|
|
|
|
|
|
|
= |
|
|
|
|
|
= lim |
|
|
|
|
|
|
= |
|
= lim |
|
|
|
|
|
|
=12 |
|
|
|
||||||||||||
|
2 − |
2cos x |
0 |
|
2sin x |
|
2cos x |
|
|
|
||||||||||||||||||||||||||||||||||||
|
|
|
x→0 |
|
|
|
|
|
|
x→0 |
|
|
0 |
x→0 |
|
|
|
|
|
|||||||||||||||||||||||||||
1. lim |
ln x |
= |
|
∞ |
= |
lim |
|
|
|
1 |
|
|
|
|
= 0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
x |
2 |
∞ |
|
|
2x |
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
x→+∞ |
|
|
|
|
x→+∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
Отметим, |
|
что |
кроме |
|
неопределенностей |
|
|
|
0 |
|
и |
∞ |
|
часто |
||||||||||||||||||||||||||||||||
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
∞ |
|
|
|||
встречаются и неопределенности вида [0 ∞], [∞-∞], [1∞], [∞0], [00].Все эти неопределенности так или иначе сводятся к изученным выше двум неопределенностям, к которым можно применить правила Лопиталя.
1. Неопределенность вида [0 ∞]. |
|
Пусть lim f(x) = 0 и lim g(x) = ∞. |
|
x→a |
x→a |
68
Тогда lim f(x)g(x)= [0 ∞]= lim |
f(x) |
|
0 |
|
и дальше можно применить |
|||
|
|
|
= |
|
|
|||
1 |
|
|
0 |
|||||
x→a |
x→a |
|
|
|
|
|
||
|
|
( |
) |
|
|
|
|
|
|
|
g x |
|
|
|
|
|
|
первое правило Лопиталя.
2. Неопределенность вида [∞-∞].
Пусть lim f(x) = ∞ и lim g(x) = ∞. |
|
|
|||||||
x→a |
x→a |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
Тогда lim |
f(x)− g(x) |
= |
[ |
∞ − ∞ |
] |
= lim |
|
− |
|
|
|
||||||||
x→a ( |
) |
|
|
x→a |
1 |
|
|||
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
f(x) |
|
||
|
|
|
|
|
|
1 |
|
|
− |
|
1 |
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
1 |
|
|
|
g x |
) |
f |
( |
x |
) |
||||||
|
|
|
= lim |
|
( |
|
|
|
|
|
||||||
|
1 |
|
|
|
1 |
|
|
1 |
|
|
||||||
|
|
x→a |
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
g(x) |
|
|
|
|
|
f(x) |
|
g(x) |
|
||||||
=00
и дальше можно применить первое правило Лопиталя.
3. Неопределенности вида [1∞], [∞0], [00]. |
|||||
Пусть lim f(x) = ∞ (f(x)>0) и lim g(x) = 0 . |
|||||
x→a |
x→a |
|
|
|
|
Тогда |
lim f(x)g(x) = |
[ |
|
] |
|
|
∞0 |
, |
|||
|
x→a |
|
|
||
т.е. имеем неопределенность вида [∞0]. Чтобы раскрыть ее, сначала рассмотрим предел натурального логарифма от f(x)g(x), т.е.
lim ln f |
( |
x |
g(x) |
= lim g x |
) |
ln f |
( |
x |
) |
= 0 ∞ |
] |
. |
x→a |
) |
|
x→a ( |
|
|
[ |
|
Отсюда видно, что мы приходим к неопределенности вида [0 ∞], которую умеем раскрыть с помощью правил Лопиталя. Аналогично поступаем и в случаях неопределенностей вида [1∞] и [00].
Примеры.
1. |
|
|
2 |
x − |
1 |
= |
[ |
∞ − ∞ |
] |
= lim |
x2 cos2 x − sin 2 x |
= |
|||
lim ctg |
|
|
|
|
|
||||||||||
|
x2 |
sin 2 |
x |
||||||||||||
|
x→0 |
|
|
|
x2 |
|
|
x→0 |
|
||||||
|
|
|
xcos x + sin x |
|
|
|
xcos x |
− sin x |
|
|
sin x |
|
xcos x − sin x |
|
|
||||||||||||||||||||
= lim |
|
|
|
|
|
|
|
lim |
|
|
|
|
|
|
|
|
|
|
|
= lim cos x + |
|
|
|
|
lim |
|
|
= |
|
||||||
|
|
x |
|
|
|
|
|
|
x sin 2 x |
|
|
|
|
|
x |
|
|
x sin 2 x |
|
||||||||||||||||
x→0 |
|
|
|
|
|
|
x→0 |
|
|
|
|
|
|
x→0 |
|
|
|
|
x→0 |
|
|
|
|||||||||||||
|
|
|
|
xcos x − sin x |
|
|
|
0 |
|
|
|
|
|
cos x − x sin x −cos x |
|
|
|
|
−x |
|
= |
||||||||||||||
= 2lim |
|
|
|
|
|
|
|
= |
|
|
= |
2lim |
|
|
|
|
|
|
|
= 2lim |
|
|
|||||||||||||
|
x sin |
2 |
x |
|
|
2x sin xcos x + sin |
2 |
x |
2xcos x + sin x |
||||||||||||||||||||||||||
|
x→0 |
|
|
|
|
|
|
0 |
|
x→0 |
|
|
|
|
x→0 |
|
|||||||||||||||||||
|
0 |
= −2lim |
|
|
|
|
|
1 |
|
|
|
|
= − |
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
= |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
3osx |
−2x sin x |
3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
0 |
|
|
x→0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
sin x |
|
1 |
|
|
[ |
|
|
] |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
1−cos x |
|
|
∞ |
|
|
(0 < x ≤ π). |
|
|
|
|
|
|
|
|
|
|
|||||||||||||
2. lim y = lim |
|
|
|
|
|
|
|
|
= |
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
x→0 |
x→0 x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
69
sin x |
1 |
|
ln sin x − ln x |
|
||
1−cos x |
|
|
||||
Возьмем ln y = ln |
|
|
|
= |
|
. |
|
|
1 −cos x |
||||
|
x |
|
|
|
||
Тогда
|
|
ln sin x − ln x |
|
0 |
|
|
cos x − |
1 |
|
xcos x − sin x |
|
1 |
|||||||
|
|
|
|
sin x |
|
x |
|
|
|||||||||||
lim ln y = lim |
|
= |
|
|
= lim |
= lim |
|
|
|
= − |
|
||||||||
1 −cos x |
|
|
|
|
|
x sin |
2 |
x |
3 |
||||||||||
x→0 |
x→0 |
|
0 |
x→0 |
sin x |
|
x→0 |
|
|
||||||||||
и |
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
lim ln y = − |
|
. |
|
|
|
|
|
|
|
|||||||
|
|
|
3 |
|
|
|
|
|
|
|
|||||||||
|
|
|
|
x→0 |
|
|
|
|
|
|
|
|
|
|
|
|
|||
−1
Отсюда lim y = e 3 .
x→0
2.12. Формула Тейлора с остаточным членом в форме Шлемильха-Роша, Лагранжа, Коши и Пеано
В данном пункте мы будем затрагивать вопросы, связанные с представлением функции y=f(x) в виде сумм степенных функций (аппроксимация функции y=f(x) степенными функциями). На эти важные для практики вопросы дает ответ теорема Тейлора, которую приведем без доказательства.
Теорема 2.15. Если функция f(x) имеет в некоторой окрестности точки а производную порядка n+1 (n любой фиксированной номер), х есть любое значение аргумента из указанной окрестности, р есть произвольное положительное число, то между точками а и х найдется точка ξ такая, что справедлива формула
f(x)= f(a)+ |
f' (a) |
(x −a)+ |
f'' (a) |
|
(x −a)2 +...+ |
f (n ) (a) |
(x −a)n + R n +1 (x), (2.71) |
||||||
|
|
|
|
||||||||||
1! |
|
2! |
|
|
|
|
|
n ! |
|
|
|||
где |
|
|
|
|
|
p (x − ξ)n +1 |
|
|
|
|
|
||
|
|
|
x −a |
|
|
|
(n +1) |
|
|
||||
|
R n +1 |
(x)= |
|
|
|
n ! p |
f |
|
(ξ) (2.72) |
||||
|
|
|
|
||||||||||
|
|
|
x − ξ |
|
|
|
|
|
|||||
Формула (2.71) называется формулой Тейлора с центром в точке а, а (2.72) называется остаточным членом в форме Шлемильха-Роша.
Ниже приведем и другие формы остаточного члена Rn+1(x) в формуле Тейлора.
1. Остаточный член в форме Лагранжа имеет вид:
R n +1 (x)= (x(−+a))n +1 f (n +1)[a + θ(x −a)], (2.73) n 1 !
70
