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

ЛпМА_Бесов

.pdf
Скачиваний:
5
Добавлен:
28.12.2024
Размер:
3.6 Mб
Скачать

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 на , ;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

существует

 

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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 (условия выпуклости функций). Пусть функция

имеет вторую производную на , . Тогда:

условие 0 ( 0) на , необходимо и достаточно для выпуклости вверх (вниз) функции на , ;

если 0 ( 0) на , , то функция строго выпукла вверх (вниз) на , .

Соседние файлы в предмете Математический анализ