Локальный экстремум. Достаточные критерии локальных экстремумов

Пусть

Если f' при переходе через точку x0 меняет знак с "+" на "-", то x0 - точка локального максимума.

Если f' при переходе через точку x0 меняет знак с "-" на "+", то x0 - точка локального минимума.

Если f' при переходе через точку x0 не меняет знака, то точка x0 не является точкой локального экстремума.

Точки локальных максимума и минимума называются точками локальных экстремумов, а значения функции в них - локальными экстремумами функции.

Пусть функция f (х) определена на отрезке [а, b] и имеет локальный экстремум на каком-то из концов этого отрезка. Тогда такой экстремум называется локальным односторонним или краевым экстремумом. В этом случае соответствующая окрестность является правой для «а» и левой для «b» полуокрестностью.

II Правило. Пусть f дважды дифференцируема в точке x0

Если то x0 - точка локального максимума.

Если то x0 - точка локального минимума.

III Правило. Пусть f n раз непрерывно дифференцируема в точке x0 и

Если n - четное и то x0 - точка локального максимума.

Если n - четное и то x0 - точка локального минимума.

Если n - нечетное, то x0 не является точкой локального экстремума.

2. Основные теоремы дифференциального исчисления: Ферма

Рассмотрим некоторые теоремы, которые позволят в дальнейшем проводить исследование поведения функций. Они носят названия основных теорем математического анализа или основных теорем дифференциального исчисления, поскольку указывают на взаимосвязь производной функции в точке и ее поведения в этой точке. Рассмотрим теорему Ферма.

Пьер Ферма (1601-1665) - французский математик. По профессии - юрист. Математикой занимался в свободное время. Ферма - один из создателей теории чисел. С его именем связаны две теоремы: великая теорема Ферма (для любого натурального числа n > 2 уравнение хn + yn = zn не имеет решений в целых положительных числах х, у, z) и малая теорема Ферма (если р - простое число и а - целое число, не делящееся на р, то а р-1 - 1 делится на р).

Теорема Ферма. Пусть функция f (х) определена на интервале (а, b) и в некоторой точке х0 (а, b) имеет локальный экстремум. Тогда, если в точке х0 существует конечная производная f '(x0), то f '(x0) = 0.

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

Пусть, для определенности, в точке х0 функция имеет локальный минимум, то есть f (х) f (х0), х U(х0). Тогда в силу дифференцируемости

f (х) в точке х0 получим:

при х > х0:

при х < х0:

Следовательно, эти неравенства в силу дифференцируемости имеют место одновременно лишь когда

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

Геометрический смысл теоремы Ферма: если х0 (а, b) является точкой минимума или максимума функции f (х) и в этой точке существует производная функции, то касательная, проведенная к графику функции

в точке (х0, f (х0)), параллельна оси Ох:

Заметим, что оба условия теоремы Ферма - интервал (а, b) и дифференцируемость функции в точке локального экстремума - обязательны.

Пример 1. у = х, х (-1; 1).

В точке х0 = 0 функция имеет минимум, но в этой точке производная не существует. Следовательно, теорема Ферма для данной функции неверна (не выполняется условие дифференцируемости функции в точке х0).