Лекция 10 . Теоремы о среднем для производных.

называется точкой локального максимума функции

, определенной в некоторой окрестности

, если

. Если неравенство строгое для всех

, то говорят о строгом локальном максимуме.

ОПР. Точка

называется точкой локального минимума функции

, определенной в некоторой окрестности

, если

. Если неравенство строгое для всех

, то говорят о строгом локальном минимуме. Если функция имеет в точке

локальный минимум или локальный максимум, то говорят о локальном экстремуме функции.

имеет, по определению, в точке

строгий локальный максимум, поскольку

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

. Следующая теорема устанавливает необходимые условия локального экстремума.

в точке

имеет локальный экстремум, то либо функция не имеет производную в точке

, либо эта производная равна нулю.

ДОК. (1) Если производной в точке

нет, то теорема доказана (см. пример 1). (2) Пусть производная

существует и

. Тогда

для достаточно малых

определяется знаком выражения

, а он меняется в зависимости от знака

. Последнее противоречит условию локального экстремума в точке

, т.е.

.

2) дифференцируема в каждой точке интервала (a;b), 3) принимает на концах отрезка равные значения :

,

то существует на интервале (a;b) такая точка c , для которой

.

ДОК. По доказанной теореме непрерывная на [a;b] функция принимает на этом отрезке наибольшее и наименьшее значения :

и

. Если одна из точек c₁ или c₂ лежит на интервале (a,b) , то теорема доказана, поскольку эта точка является точкой локального экстремума и по теореме 1

. Если

или

, но они совпадают с концами отрезка, то

и функция постоянная на отрезке[a;b] и

.

ПРИМЕР 2 . Функция

на отрезке

удовлетворяет всем условиям теоремы Ролля, кроме одного: в точке

функция не имеет производную. При этом утверждение теоремы не выполняется:

для

и

для

.

1) непрерывны на отрезке [a;b], 2) дифференцируемы в каждой точке интервала (a;b), 3)

на интервале

,

, то функция

удовлетворяет условиям теоремы Ролля и тогда найдется такая точка c , для которой

, что противоречит условию 3) теоремы. Рассмотрим вспомогательную функцию

.

Проверим, что

. Действительно,

удовлетворяет условию теоремы Ролля. Тогда найдется

, для которой

.

Если функции

и

1) непрерывны на [a;b) , ( а и b не обязательно конечны), 2) дифференцируемы в каждой точке интервала (a;b), 3)

на интервале

,

4)

, 5) существует

,

то существует

.

ДОК. Для любого

на отрезке

выполняются условия теоремы Коши и найдется

, для которого

.Если

, то

и

=

.

В теореме допускается случай

.

ТЕОРЕМА 6. ( правило Лопиталя для раскрытия неопределенности

)

Если функции

и

1) непрерывны на [a;b) , ( а и b не обязательно конечны), 2) дифференцируемы в каждой точке интервала (a;b), 3)

на интервале

,

4)

,

,5) существует

.,

то существует

.

ДОК. (1) Пусть А – конечное число. Тогда

.Определим функцию

из условия

, т.е.

Заметим, что

.(условие 5)) Применим для отрезка

и функций

теорему Коши. Тогда для некоторой точки

:

и для всех x , для которых

имеем

(2) Пусть

. Тогда

.

Если x достаточно близок к a , то из

следует

и

.

УПРАЖНЕНИЯ 1) Пусть

определена на отрезке

и при любых

из этого отрезка выполняется неравенство :

,

. Доказать, что функция

постоянная.

5) Теорема Лопиталя для раскрытия неопределенностей

.