33. Достаточные условия экстремума функции.

Определение.Пусть функцияf(x) определена всюду в некоторой окрестности точки с. Говорят, что функция f(x) имеет в точке с локальный максимум (минимум), если существует такая окрестность точки с, в пределах которой значение f(с) является наибольшим (наименьшим).

Локальный максимум и минимум объединяются общим названием экстремум.

1. Первое достаточное условие экстремума.

Теорема 9.1. Пусть

- точка с является точкой возможного экстремума функции f(x),

- f(x) дифференцируема всюду в некоторой окрестности точки с.

Тогда, если в пределах указанной окрестности слева от точкис и справа от точкис, то функция f(x) имеет в точке с локальный максимум (минимум). Если же f’(x) имеет один и тот же знак слева и справа от точки с, то экстремума в точке с нет.

Доказательство.

1). Пусть слева от точкис и справа отс. Обозначим x₀  c любое значение аргумента из рассматриваемой окрестности. Достаточно доказать, что

Функция f(x) дифференцируема (а следовательно, непрерывна) на сегменте . По формуле Лагранжа (формула конечных приращений)

(1)

где  лежит между c и x₀. Т.к. приипри, то правая часть (1) положительна (отрицательна).

2). Пусть теперь f’(x) имеет один и тот же знак слева и справа отc. Обозначая черезx₀ любое значение аргумента, отличное отc, и повторяя проведенные выше рассуждения, мы докажем, что правая часть (1) имеет разные знаки слева и справа от с. Это доказывает отсутствие экстремума в точке с.

Теорема доказана.

Вытекающее из Теоремы 9.1 правило

1). Если при переходе через данную точку с возможного экстремума производная f’(x) меняет знак с плюса на минус (с минуса на плюс), то функция f(x) имеет в точке с локальный максимум (минимум).

2). Если же при переходе через данную точку с возможного экстремума производная f’(x) не меняет знака, то экстремума в точке с нет.

Пример.

, x = 2 – точка возможного экстремума. Т.к. как слева, так и справа отx = 2, то экстремума в этой точке нет.

(рисунок)

2. Второе достаточное условие экстремума.

Теорема 9.2.Пусть функцияf(x) имеет в данной точке с возможного экстремума конечную вторую производную.

Тогда f(x) имеет в точке с максимум, если , и минимум, если.

Доказательство. Из условия и изТеоремы 8.9 (Теорема 8.9. Если функция f(x) дифференцируема в точке с и , то эта функция возрастает (убывает) в точке с.) вытекает, что f’(x) убывает (возрастает) в точке с. Поскольку по условию f’(с) = 0, то найдется такая окрестность точки с, в пределах которой слева от с и справа от с. Тогда по Теореме 9.1 f(x) имеет в точке с максимум (минимум).

Теорема доказана.

Замечание. Теорема 9.2 имеет более узкую сферу действия, чем Теорема 9.1, т.к. не решает вопрос об экстремуме для случая, когда не существует в точке с, а также .

Пример.

- точки возможного экстремума.

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

Теорема 9.9.Пусть

- n  1 – целое число

- функция имеет производную порядкаn в некоторой окрестности точкиси производную порядкаn + 1 в самой точке с

- справедливы следующие соотношения:

(2)

Тогда, если nявляетсячетнымчислом, график функцииимеет перегиб в точкеM(c, f(c)). Если жеnявляетсянечетнымчислом и, кроме того,, функцияимеет локальный экстремум в точкес, точнее, локальный минимум прии локальный максимум при.

Доказательство. (для случая экстремума)

Пусть n  1 является нечетным числом и . Т. к. приn= 1 теорема совпадает сТеоремой 9.2, то достаточно провести доказательство длянечетного n 3. Для определенности проведем рассуждения для случая. Для случаяони проводятся аналогично.

Из условия и изТеоремы 8.9 (Теорема 8.9. Если функция f(x) дифференцируема в точке с и , то эта функция возрастает (убывает) в точке с.), примененной к вытекает, что эта функция возрастает в точке с. Т. к., кроме того, , то это означает, что найдется достаточно малая окрестность точкис, в пределах которойотрицательна слева отси положительна справа отс. Разложимf’(x)в окрестности точкисв ряд Тейлора с остаточным членом в форме Лагранжа. Мы получим, что для всехxиз достаточно малой окрестности точкисмеждус иxнайдется точкатакая, что

(3)

Соотношения (2) и условие позволяют переписать (3) в виде

(4)

Т. к. всегда лежит междуc иx, то для всехx из достаточно малой окрестности точки с производная отрицательна прии положительна при. При нечетномn числоn– 1 является четным, а поэтому вся правая (а, следовательно, и левая) часть (4) для всехxиз достаточно малой окрестностисотрицательна слева отси положительна справа отс.

На основании Теоремы 9.1это означает, что функцияf(x) имеет локальный минимум в точке с.

Случай рассматривается совершенно аналогично.

Вторая часть теоремы доказана.