матем все лекции
.pdf
nо4. Разложение некоторых элементарных функцией по формуле Тейлора.
Если x0 0 , то формула Тейлора функции f имеет особенно простой вид:
n |
(k ) |
(0) |
|
(1) |
|
f (x) |
f |
|
xk Rn (0, x) |
|
|
|
|
|
|
||
k 0 |
k! |
|
|||
|
|
|
|
||
В этом случае она называется формулой Маклорена. Остаточный член в ней в форме Пеано, Лагранжа и Коши, соответственно, имеет вид
|
|
R (0, x) o(xn ) , |
||||||
|
|
n |
|
|
|
|
|
|
|
R (0, x) |
f (n 1) |
( ) |
xn 1 , |
||||
|
|
|
|
|
||||
|
|
|
|
|
||||
|
n |
|
|
(n 1)! |
|
|||
|
|
|
|
|
||||
и |
|
|
|
|
|
|
|
|
R (0, x) |
f (n 1) |
( ) |
(x |
)n x . |
||||
|
|
|
|
|||||
n |
|
|
|
n! |
|
|
|
|
|
|
|
|
|
|
|
|
|
Укажем разложения некоторых элементарных функций по формуле Маклорена.
10 . Пусть f (x) e x . Эта функция имеет производные любого порядка и в любой точке
x R (в таких случаях говорят, что функция бесконечно дифференцируема на всей числовой оси).
Как известно
(ex )(n) ex
Поэтому формула Маклорена функции e x имеет вид ( e0 1):
e x 1 11! x 21! x2 ... n1! xn Rn (0, x)
где остаточный член можно записать в любой из форм:
|
|
|
|
|
R (0, x) o(xn ) ( в форме Пеано) |
|
|
||||
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
e |
||||
|
R |
n |
(0, x) |
|
|
|
xn 1 ( в форме Лагранжа) |
||||
|
|
|
|
||||||||
|
|
|
|
|
(n 1)! |
||||||
|
|
|
|
|
|
||||||
и |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
e |
|
|||
|
|
R |
n |
(0, x) |
|
(x )n x (в форме Коши), |
|
||||
|
|
|
|
||||||||
|
|
|
|
|
|
n! |
|
||||
|
|
|
|
|
|
|
|
||||
где точка в каждой из двух последних формул лежит между точками x и 0 .
20 . Пусть f (x) sin x . Так как эта функция бесконечно дифференцируема на всей
вещественной оси и |
|
|
|
|
f (n) (x) sin(x n ), |
n N , |
|
|
2 |
|
|
то |
|
|
|
|
f (2n) (0) sin n 0, |
n N ; |
|
f (2n 1) (0) sin(n |
) cos n ( 1)( 1)n ( 1)n 1 ( 1)n 1 , |
n N |
|
|
2 |
|
|
и, следовательно,
sin x x |
x3 |
|
x5 |
... ( 1)n 1 |
x2n 1 |
R |
(0, x) |
|
|
|
|
|
|||||
3! |
5! |
|
(2n 1)! |
2n |
|
|||
|
|
|
||||||
При этом остаточный член в форме Пеано имеет вид:
R2n (0, x) o(x2n ) ,
соответственно остаточный член в форме Лагранжа выглядит следующим образом:
|
R (0, x) |
( 1) |
n |
cos |
x2n 1 |
|
(2) |
|
2n |
|
|
|
|
|
|
|
(2n |
1)! |
|
|
|
||
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
а остаточный член в форме Коши имеет вид:
|
R (0, x) |
( 1) |
n |
cos |
(x )2n x |
|
(3) |
|
2n |
|
|
|
|
|
|
|
(2n)! |
|
|
|
|||
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
Замечание 1. Для доказательства, например, равенства (2) достаточно заметить, что остаточный член R2n (0, x) в форме Лагранжа в общем случае имеет вид:
|
|
R |
|
(0, x) |
f (2n 1) |
( ) |
(x x |
|
)2n 1 |
|
|
|
|
2n |
(2n |
1)! |
0 |
|
|||||
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
||
а затем убедиться в том, что для функции f (x) sin x имеют место равенства |
|
||||||||||
f (2n 1) ( ) sin[ (2n 1) |
|
] sin[( |
) n] cos n sin( ) ( 1)n sin( |
) ( 1)n cos |
|||||||
|
2 |
|
|
|
2 |
|
|
|
|
2 |
2 |
30 . Пусть f (x) cos x . Эта функция также бесконечно дифференцируема x R .
Поскольку здесь
f (n) (x) cos(x n 2 ) ,
ЛЕКЦИЯ 1.23
§12. Условия монотонности функции |
|
|
|
Примечания |
||||||
|
|
|
|
|
§12 имеет значение для практических занятий, а |
|||||
|
Теорема 1. Пусть функция f |
дифференцируема на интервале (a, b) . Тогда имеют |
||||||||
место следующие импликации: |
|
|
|
|
|
|
также используется в (В.28) |
|||
|
|
|
|
|
|
|
||||
f ' (x) 0 |
на (a, b) f |
возрастает на (a, b) |
f ' (x) 0 |
на (a, b) , |
(1) |
|
|
|||
|
|
|
|
|
|
|
|
|||
f ' (x) 0 |
на (a, b) f |
не убывает на (a, b) |
f ' (x) 0 |
на (a, b) , |
(2) |
|
§13 содержит ответы на (В.23) и (В.24). |
|||
f ' (x) 0 |
на (a, b) f |
не возрастает на (a,b) f ' (x) 0 на (a, b) , |
(3) |
|
|
|||||
f ' (x) 0 |
на (a, b) f |
убывает |
на (a, b) |
f ' (x) 0 |
на (a, b) . |
|
|
|
||
(4) |
|
|
||||||||
f ' (x) 0 |
на (a, b) |
f const |
на (a, b) |
f ' (x) 0 |
на (a, b) , |
|
|
|
||
(5) |
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
К о м м е н т а р и и . Прежде всего заметим, что (5) следует из (2) и (3). Следовательно нужно доказать лишь (1)-(4).
Левые импликации в (1)-(5) доказываются на основе формулы конечных приращений Лагранжа
f (x2 ) f (x1 ) f ' ( )(x2 x1 ) ,
(x1 , x2 )
справедливой для любых x1, x2 (a, b) , в частности, таких, что x1 x2
Правые импликации в (1)-(4) доказываются на основе того, что для любого x (a, b)
f (x) f (x) lim |
f (x x) f (x) |
□ |
||
|
|
|||
|
x 0 |
x |
|
|
|
|
|||
Определение 1. Если дифференцируемая в точке x0 функция удовлетворяет условию (1), то эта точка называется стационарной точкой функции f .
Следующая очевидная – в силу результатов предыдущего параграфа – теорема доставляет
достаточное условие локального экстремума функции, а также достаточные условия отсутствия этого экстремума.
Теорема 2 (достаточное условие локального экстремума в терминах первой производной).
Пусть функция f дифференцируема в некоторой проколотой окрестности S ( x0 ) точки x0 и непрерывна в самой этой точке . Тогда если при “переходе” через точку
x0 “слева на право” производная f ' меняет знак с плюса на минус, то в точке x0 функция f имеет локальный максимум. Если же при таком переходе через точку x0 производная f ' меняет знак с минуса на плюс, то в точке x0 она имеет локальный минимум. Наконец,
если при переходе через точку x0 производная не меняет своего знака, то в этой точке нет локального экстремума.
|
Теорема 3 |
(достаточное условие локального экстремума в терминах высших |
|
|
|
|
|
||||||
производных). |
Пусть функция f |
n раз дифференциркема в точке x0 ( n 2 ). Тогда если |
|
|
|||||||||
|
|
|
|
|
f '(x0) ... f (n 1) (x0) 0 |
|
|
|
(2) |
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
и f (n) (x0) 0 , |
то при n нечетном в точке x0 нет локального экстремума, |
а при n |
|||||||||||
четном есть, |
при этом если n |
четное и |
f (n) (x0) 0 , то в точке x0 функция |
f имеет |
|||||||||
локальный максимум, а если n |
четное и |
f (n) (x0) 0 , то в ней она имеет локальный |
|||||||||||
минимум. |
|
|
|
|
|
|
|
|
|
|
|
|
|
Для д о к а з а т е л ь с т в а во-первых следует заметить, что в силу условия (2)
локальная формула Тейлора функции |
f |
в точке x0 |
имеет вид |
|
|||||
f (x) f (x |
) |
f (n) (x0) |
(x x0)n o((x x0)n ) , |
|
|||||
|
|
||||||||
0 |
|
|
|
n! |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
а поскольку o((x x0)n ) (x)(x x0)n , |
где (x) 0 |
при x x0 , то ее можно |
|
||||||
переписать в виде |
|
|
|
|
|
|
|
|
|
|
f (n) (x0) |
|
|
|
x0)n . |
|
|||
f (x) f (x0) |
|
|
|
|
(x) (x |
(3) |
|||
|
|
n! |
|||||||
|
|
|
|
|
|
|
|
||
Теперь остается заметить, что так как |
|
|
|
|
|
||||
(x) 0 |
при x x0 и |
f (n) (x0) 0 , |
|
||||||
то в достаточно малой окрестности V точки x0 знак выражения, стоящего в квадратных скобках в формуле (3), будет неизменным и будет совпадать со знаком производной
f (n) (x0 ) . Поэтому в указанной окрестности правая, а значит и левая часть формулы (3), будет менять свой знак тогда и только тогда, когда меняет свой знак многочлен (x x0 )n , а он очевидно при переходе через точку x0 меняет свой знак, когда n - нечетное и не меняет его, когда n - четное.
Таким образом,
1)если n - четное, то разность f (x) f (x0) не меняет свой знак в окрестности V и, следовательно, функция f имеет в этой точке локальный экстремум;
2)если же n - нечетное, то разность f (x) f (x0 ) меняет свой знак в окрестности V и, следовательно, функция f не имеет в этой точке локального экстремума .
Тип локального экстремума в точке x0 при n - четном определяется знаком
разности f (x) f (x0) : если он положительный, т.е. если |
f (n) (x0) 0 |
, то в точке x |
0 |
функция |
||
|
|
|
|
|
|
|
f имеет локальный минимум, а если он отрицательный, т. е. если |
f (n) (x0) 0 , то в ней |
|||||
она имеет локальный максимум |
□ |
|
|
|
|
|
