
ЛпМА_Бесов
.pdf
82 |
Гл. 6. Свойства дифференцируемых функций |
Следствие. Пусть существует 0 , и пусть
0 1 0 ...
*
0 |
|
0 при |
0 (3) |
Тогда (3) является разложением по формуле Тейлора с остаточным членом в форме Пеано.
Д о к а з а т е л ь с т в о. По теореме о разложении функции по формуле Тейлора с остаточным членом в форме Пеано имеет место равенство (1). В силу теоремы единственности (3) совпадает с (1).
Упражнение 1. Пусть для функции выполняется (3) при3. Выяснить, влечёт ли это за собой существование 0 ,
|
0 , |
0 . |
При |
1 |
имеем 1 |
2 ... |
|
||||||||||
|
Пример |
1. |
|||||||||||||||
1 |
1 |
|
|
|
1 |
|
|
|
1 |
2 ... |
|
|
|
||||
|
|
|
|
|
, |
т. е. |
|
|
|
|
|
|
, где |
||||
|
1 |
|
|
1 |
|||||||||||||
|
|
1 |
|
|
|
|
при |
0. По следствию из теоремы |
|||||||||
|
|
|
|
1 * |
|
|
|
|
|
1 |
|
||||||
единственности полученное разложение функции |
|
||||||||||||||||
|
|
||||||||||||||||
1 |
|||||||||||||||||
является формулой Тейлора. |
|
|
|
|
Замечание 1. Доказанные в этом параграфе три теоремы и следствие справедливы и в случае, когда функция задана
в полуокрестности |
0 0 или 0 0 . При этом производ- |
||||||||||||||
ные |
0 понимаются как односторонние. |
|
|
|
|||||||||||
Примеры разложений функций по формуле Тейлора. |
|
||||||||||||||
1.Æ |
, |
0 0. Имеем: |
, |
|
|
|
|||||||||
|
1 |
|
2 |
3 |
... |
|
, |
|
|||||||
|
|
|
|
|
|||||||||||
|
|
|
|
|
2 |
3 |
|
|
|
|
|
|
|||
где |
|
|
|
1 |
' 1 * |
при |
0, |
||||||||
|
|
|
|||||||||||||
1 |
|||||||||||||||
0 2 1. |
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
2.Æ |
|
, 0 0. Имеем: |
|
|
|
|
|
|
|
||||||
|
0 |
|
0, |
1, 0, 1, 0, 1, |
0, |
1, ... , |
|
||||||||
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|||
|
|
|
3 |
|
5 |
|
|
|
2 1 |
|
2 2 |
|
|||
|
|
3 5 |
1 |
|
|
|
|
|
|
||||||
2 1 * |
|
||||||||||||||
|
|
|
|
при |
0. |
Здесь выписан остаточный член после равного нулю |
(2 2)-го |
члена формулы Тейлора. |
§ 6.2. Формула Тейлора |
83 |
3.Æ |
, |
|
0 0. Аналогично разложению для |
|||||||||||||||||||||
получаем |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
4 |
6 |
|
|
|
|
|
|
|
|
|
|
2 |
2 1 |
|
|||||||
|
1 |
|
|
|
|
|
|
|
... 1 |
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
2 * |
|
||||||||||||||||
|
|
2 4 6 |
|
|
|
|
|
|
|
|
|
|||||||||||||
при |
0. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
4.Æ |
1 |
|
, 0 0. Имеем: |
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
1 |
|
|
|
|
|
1 1 |
, |
|
|
|
|
||||||||
|
|
|
1 |
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
1 1 1 1 |
, |
|
||||||||||||||||||
1 |
|
2 |
3 |
|
... 1 1 |
, |
|
|||||||||||||||||
|
|
|
|
|
2 3 |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
1 |
1 |
|
|
|
|
* при |
0, |
|
|||||||||||||
|
1 |
|
1 % 1 |
|
|
|||||||||||||||||||
где 0 2 1. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
5.Æ |
1 |
, 0 0, . Имеем: |
|
|
||||||||||||||||||||
|
1 ... 1 1 , |
|
||||||||||||||||||||||
1 1 |
1 2 |
1 2 |
3 ... |
|
||||||||||||||||||||
|
|
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
3 |
|
|
|
|
|
||
|
|
|
|
1 ... 1 |
* при |
0 |
||||||||||||||||||
|
|
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Упражнение 2. Получить формулу бинома Ньютона |
|
|||||||||||||||||||||||
|
|
|
|
|
$ |
|
|
|
|
|
|
|||||||||||||
|
1 |
|
|
|
, |
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
0 |
|
|
|
|
|
|
|
0 # # |
|
|
используя разложение 1 по формуле Тейлора с остаточным членом в форме Лагранжа (или в форме Пеано и теорему единственности).
Упражнение 3. Найти
|
2 |
, |
|
1 |
|
1 |
|
, |
||
|
|
|
|
2 |
||||||
0 |
|
|
0 2 |
|
используя разложения функций по формуле Тейлора с остаточным членом в форме Пеано.
Замечание 2. Формулу Тейлора в случае 0 0 называют также формулой Маклорена.

84 |
Гл. 6. Свойства дифференцируемых функций |
§ 6.3. Раскрытие неопределённостей (правило Лопиталя)
Пусть в задаче о нахождении предела отношения при
0 и числитель и знаменатель стремятся к нулю либо к бесконечности. В этих случаях говорят, что мы имеем дело
с неопределённостью вида 0 или соответственно. Нахожде-
ние этого предела (если он0существует) называют раскрытием неопределённости. Одним из приёмов раскрытия неопределённости является выделение главных частей числителя и знаменателя (см. упр. 6.2.3). Здесь будет обоснован другой способ, называемый правилом Лопиталя и состоящий в том, что вычисление предела отношения функций заменяется вычислением предела отношения их производных.
Теорема 1. Пусть: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
1Æ функции , |
# дифференцируемы на интервале |
|
, , |
||||||||||||||||||
; |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
2Æ |
|
|
|
|
|
# |
0; |
|
|
|
|
|
|
|
|
||||||
|
0 |
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
3Æ # 0 на , ; |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
4Æ |
существует |
|
|
|
|
. |
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
||||||
Тогда существует |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
0 |
|
|
0 |
|
|
|
|
|
|||||||||
Д о к а з а т е л ь с т в о. Доопределим , # в точке |
, поло- |
||||||||||||||||||||
жив |
# |
0. Тогда функции , # непрерывны на |
, . |
||||||||||||||||||
По теореме Коши о среднем |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
$ |
, |
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
$ |
|
|
|
|
|
|
|
|
||||||||
Пусть |
|
|
|
|
|
, 0. Тогда |
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
Æ Æ 0, Æ |
|
|
$ |
|
|
|
||||||||||||||
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
$ |
|
|
|||||
при |
|
|
|
Æ . |
|
. |
|
|
|
|
|
|
|
|
|||||||
Следовательно, |
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
§ 6.3. Раскрытие неопределённостей (правило Лопиталя) |
85 |
Теорема 2. Пусть: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
1Æ |
функции , # дифференцируемы на , , 0; |
|||||||||||||||||||||||||||||||||||||||
2Æ |
|
|
|
|
|
# 0; |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
3Æ # 0 на , ; |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
4Æ |
существует |
|
|
|
|
|
|
|
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
Тогда существует |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||
Д о к а з а т е л ь с т в о. Пусть |
|
|
|
|
|
|
. Рассмот- |
|||||||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
рим сложные функции |
1 |
, # |
1 |
|
при " 0, |
1 |
. Тогда |
|||||||||||||||||||||||||||||||||
! |
! |
( |
||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
1 |
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
||||||||||||
|
0 0 |
|
|
1 0 0 |
|
|
|
1 |
|
|
|
|
|
|
|
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
По теореме 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
0 0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Отсюда следует, что |
|
|
|
. Заметим, что в приве- |
||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
дённом доказательстве два раза было использовано свойство предельного перехода в суперпозиции функций, причём в ситуации, не рассмотренной в § 4.2. Читателю предлагается обосновать соответствующие предельные переходы в качестве упражнения (один из способов такого обоснования опирается на определение 3.3.2).
Теорема 3. Пусть:
1Æ функции , # дифференцируемы на интервале , ,
; |
|
|
|
|
|
|
|
|
2Æ |
|
, # |
; |
|
||||
|
0 |
0 |
|
|
|
|
||
3Æ # 0 на , ; |
|
|
|
|
|
|
||
4Æ |
существует |
|
|
|
. |
|
|
|
|
|
|
|
|||||
|
|
0 |
|
|
|
|
||
Тогда существует |
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
0 |
|
0 |
|

86 Гл. 6. Свойства дифференцируемых функций
Д о к а з а т е л ь с т в о. Пусть |
|
|
|
|
|
, |
||||||
|
|
|||||||||||
|
1 |
|
|
|
|
0 |
|
|
|
|
||
0, |
|
. Выберем точку , так, что |
|
|
|
|
||||||
3 |
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
, |
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
При |
по теореме Коши о среднем |
|
|
|
|
|||||||
|
|
|
|
|
$ |
|
|
(1) |
||||
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
$ |
|
|
|
|
||
Выберем теперь Æ 0 столь малым, что при |
|
Æ |
0, |
# 0, |
, |
|
|
|||
|
|
|
|
|
|
|
|
Тогда, вынеся множитель |
из левой части, (1) можно |
||||||
переписать в виде |
|
|
|
|
|
||
|
|
|
|
|
|
||
|
|
1 |
|
|
|
|
|
|
|
|
$ , |
|
Æ |
(2) |
|
|
|
|
|||||
|
1 |
$ |
|
|
|
||
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
Первый множитель правой части равенства (2) мало отличается от 1: его значение принадлежит интервалу 1 3 , 1 3 .
Второй множитель |
|
$ |
правой части принадлежит . Сле- |
|
|
|
|||
|
$ |
|
||
довательно, правая часть (2) и равная ей левая принадлежат |
||||
, где 3 3 3 , 0 при |
Æ 0 . |
|||
При этом 3 можно взять сколь угодно малым, если пред- |
||||
варительно выбрать |
0 достаточно |
малым. Следовательно, |
.
0
Теорема доказана.
В качестве некоторого пояснения к её доказательству покажем, как выбрать 3 , в зависимости от . Остановимся лишь на случае 0 . Тогда второй множитель правой части равенства (2) лежит в , , а первый (как мы видели) — в 1 3 , 1 3 . Следовательно, их произведение лежит в интервале
3 3 2, 3 3 2 , где 3 3 , 3 3 2.
§ 6.3. Раскрытие неопределённостей (правило Лопиталя) |
87 |
Замечание 1. Теоремы 1–3 остаются в силе в случаях предельных переходов 0, 0, , ,
с соответствующими изменениями их формулировок.
Пример 1. Найти |
|
|
, 0. Имеем |
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
1 |
|
|
1 |
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
1 |
|
|
0 |
|||
|
|
|
|
|
|
|
|
|
|
Здесь первое равенство написано при условии, что предел его правой части существует, и становится оправданным после доказательства существования этого предела.
|
|
Пример 2. Найти |
|
, , |
1. Имеем |
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
1 2 |
... |
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
2 |
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
Теоремы 1–3 дают достаточные условия раскрытия неопреде- |
|||||||||||||||||
лённостей. Однако эти условия не являются необходимыми. |
|
|
|||||||||||||||||
|
|
Пример 3. Найти |
. Этот предел существует, |
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
но его нельзя найти с помощью правила Лопиталя. |
|
|
|
|
|||||||||||||||
|
0 |
Правило Лопиталя помогает раскрыть неопределённости вида |
|||||||||||||||||
и . Встречаются и другие виды неопределённостей: |
|
|
|||||||||||||||||
0 |
|
|
|||||||||||||||||
|
0 , |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
, |
0 0, |
0, 1 |
|
|
||||||||||||
|
|
Неопределённость первого и второго из них преобразованием |
|||||||||||||||||
выражений сводят к неопределённости вида |
0 |
или . Выраже- |
|||||||||||||||||
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
- |
||
ния, представляющие каждую из трёх последних неопределённо |
|||||||||||||||||||
стей, полезно прологарифмировать. |
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
Упражнение 1. Найти |
|
. |
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
0 0 |
|
|
|
|
|
|
|
|
|
|
Г л а в а 7
ИССЛЕДОВАНИЕ ПОВЕДЕНИЯ ФУНКЦИЙ
§ 7.1. Монотонность и экстремумы функции
Теорема 1. Пусть функция дифференцируема на , . Тогда:
1Æ условие 0 ( 0) на , необходимо и достаточно для того, чтобы функция возрастала (убывала) на , ;
2Æ условие 0 ( 0) на , достаточно, чтобы функция строго возрастала (строго убывала) на , .
Д о к а з а т е л ь с т в о. Достаточность следует из формулы конечных приращений Лагранжа
2 1 2 1 , 1 2
Необходимость. Пусть возрастает на , , 0, , . Тогда 0 0. Следовательно, 0 0.
0
Заметим, что условие 0 на , не является необходимым для строгого возрастания функции на , , как это видно на примере 3, 1, 1 .
Определение 1. Точка 0 называется точкой максимума (минимума) функции , если на некоторой окрестности 0 функция определена и
0 0 0
Если при этом знак ( ) можно заменить на ( ), то точка 0 называется точкой строгого максимума (строгого минимума) функции .
Точки максимума (строгого максимума) и точки минимума (строгого минимума) называются точками экстремума (строгого экстремума).
Поскольку определение точки максимума связано с поведением функции в сколь угодно малой окрестности этой точки, часто вместо термина «максимум» употребляют термин «локальный максимум». Аналогично объясняются термины «локальный минимум», «строгий локальный максимум (минимум)», «локальный экстремум», «строгий локальный экстремум».
§ 7.1. Монотонность и экстремумы функции |
89 |
Теорема 2 (Ферма) (необходимые условия экстремума).
Пусть 0 — точка экстремума функции . Тогда либо производная 0 не существует, либо 0 0.
Эта теорема по существу совпадает с теоремой 6.1.1. |
|
Условие 0 0 не является достаточным для точки экс- |
|
тремума, как видно на примере функции |
3, 0 0. |
Теорема 3 (достаточные условия строгого |
экстремума). |
Пусть функция непрерывна в точке 0 и дифференцируема на
|
0 . Пусть меняет знак при переходе через точку |
0. Тогда |
0 |
— точка строгого экстремума функции . |
|
Д о к а з а т е л ь с т в о. Пусть, для определённости, 0 на0 0 , 0 на 0 0 . Тогда из формулы конечных приращений Лагранжа 0 0 видно, что приращение функции меняет знак с « » на « » при переходе через точку 0. Следовательно, 0 является точкой строгого максимума функции .
Условия теоремы не являются необходимыми условиями экстремума, как это видно на примере функции
|
|
2 2 |
2 |
1 |
при |
0, |
||||
|
|
|
||||||||
|
0 |
|
|
при |
0 |
|||||
|
|
|
|
|
|
|
||||
Определение 2. Точка |
0 называется точкой возрастания |
|||||||||
(убывания) функции , если на некоторых полуокрестностях |
||||||||||
0 0 и 0 0 точки |
0 |
|
|
|
|
|
|
|||
|
0 0 0 0 0 , |
|||||||||
|
0 0 0 0 0 |
|||||||||
Пример 1. |
|
|
|
|
|
|
|
|
|
|
|
|
|
2 1 |
при |
0, |
|||||
|
|
|
|
|
|
|
||||
|
|
|
|
|
||||||
|
0 |
|
при |
0 |
||||||
|
|
|
|
|
|
|
||||
Точка |
0 0 не является |
ни точкой экстремума, ни точкой |
||||||||
возрастания, ни точкой убывания функции . |
|
|||||||||
Упражнение 1. Показать, что если |
0 0, то 0 является |
|||||||||
точкой возрастания функции . |
|
|
|
Теорема 4 (достаточные условия точек строгого экстремума, точек возрастания и точек убывания в терминах производных высших порядков). Пусть 0 ... 1 0 0,
0 0. Тогда точка 0 является:
90 |
|
|
|
|
|
Гл. 7. Исследование поведения функций |
|
|
|||||||
1Æ |
при чётном 2 точкой строгого экстремума (строгого |
||||||||||||||
минимума при 2 |
0 0, строгого максимума при 2 0 |
||||||||||||||
0) функции ; |
|
|
|
|
|
|
|
|
|||||||
2Æ |
при нечётном 2 1 точкой возрастания (точкой убы- |
||||||||||||||
вания) функции при 2 1 |
0 0 ( 2 1 0 0). |
|
|||||||||||||
Д о к а з а т е л ь с т в о. По формуле Тейлора при |
|
0 |
|||||||||||||
0 |
0 0 0 0 |
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
0 0 , |
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
где |
|
0 |
0 при |
|
0. |
|
|
|
|
||||||
Будем |
считать окрестность |
0 столь малой, что |
|
||||||||||||
0 |
1 |
|
|
0 |
. Тогда знак выражения в квадратных скоб- |
||||||||||
2 |
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|||||
ках совпадает со знаком |
0 , так что 0 |
||||||||||||||
|
|
0 |
|
|
0 . Сохранение или изменение знака |
||||||||||
|
0 |
|
при |
переходе |
через |
0 зависит от чётности . От- |
|||||||||
сюда можно сделать вывод о знаке разности 0 |
при |
||||||||||||||
|
0 , что и приводит к утверждению теоремы. |
|
|
||||||||||||
Следствие 1. Если |
0 0, то |
0 — точка возрастания, |
|||||||||||||
а если |
0 0, то |
0 |
— точка убывания функции . |
|
|||||||||||
Следствие 2. Пусть |
0 0. Тогда: если |
0 0, то |
|||||||||||||
0 — точка строгого минимума, если 0 0, то |
0 — точка |
||||||||||||||
строгого максимума функции . |
|
|
|
Замечание 1. В задаче об отыскании наибольшего (или наименьшего) значения функции , с помощью доказанных теорем можно найти точки экстремума, лежащие лишь на интервале , . После этого следует сравнить значения функции в них со значениями , .
|
§ 7.2. Выпуклость и точки перегиба |
|
Пусть функция определена на , . Для каждого отрезка |
||
, |
, построим хорду графика функции , соединяющую |
|
точки , и , . Её уравнение имеет вид |
||
|
|
4 , , , , |
где 4 |
. |
|
, |
|
|
|
|
§ 7.2. Выпуклость и точки перегиба |
91 |
|
Определение 1. Функция называется выпуклой вверх (вы- |
|||
пуклой вниз) на , , если для любых , |
|
||
4 , |
(соответственно 4 , |
) при |
, . |
Если же |
вместо ( ) в последнем |
определении можно |
написать ( ), то функция называется строго выпуклой вверх (строго выпуклой вниз) на интервале , .
При этом интервал , называется соответственно интервалом выпуклости вверх, выпуклости вниз, строгой выпуклости вверх, строгой выпуклости вниз функции .
Условие выпуклости вверх функции можно записать в виде
4 |
|
|
0 |
|||
, |
|
|
|
|
|
|
или в виде |
|
|
|
(1) |
||
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
Последнее неравенство является соотношением между угло-
выми коэффициентами двух различных хорд с концами в точке
, .
Упражнение 1. Сравнивая угловые коэффициенты различных хорд с концами в точке 0, 0 , показать, что на интервале выпуклости вверх функция непрерывна и в каждой точке имеет обе односторонние производные. Показать, что при этом каждая из односторонних производных монотонна и что
0 0 0 0
Вывести отсюда, что функция имеет производную в каждой точке интервала выпуклости вверх за исключением, быть может, не более чем счётного множества точек.
Пример функции 1 , 1, 1 , показывает, что производная не обязательно существует во всех точках интервала выпуклости вверх.
Замечание 1. Нередко функцию, выпуклую вниз, называют выпуклой, а выпуклую вверх — вогнутой.
Теорема 1 (условия выпуклости функций). Пусть функция
имеет вторую производную на , . Тогда:
1Æ условие 0 ( 0) на , необходимо и достаточно для выпуклости вверх (вниз) функции на , ;
2Æ если 0 ( 0) на , , то функция строго выпукла вверх (вниз) на , .