Точка экстремума¶

Точка экстремума — точка области определения функции, в которой значение функции является наибольшим или наименьшим по сравнению со значениями в некотором окрестности этой точки. Точки экстремума вместе с точками перегиба составляют основу анализа поведения функций в математическом анализе. Наибольшее значение в окрестности называют локальным максимумом, наименьшее — локальным минимумом; вместе они образуют локальный экстремум.

¶Определение

Пусть функция $f$ определена на промежутке $X$, а точка $x_0$ принадлежит $X$. Точка $x_0$ называется точкой локального максимума, если существует такая окрестность $(x_0 - \delta, x_0 + \delta)$, что для всех $x$ из этой окрестности выполняется неравенство $f(x) \leq f(x_0)$. Аналогично, $x_0$ — точка локального минимума, если $f(x) \geq f(x_0)$ для всех $x$ в окрестности $x_0$.

Если неравенство строгое ($f(x) < f(x_0)$ для всех $x \neq x_0$ в окрестности), экстремум называют строгим. Если значение $f(x_0)$ является наибольшим (наименьшим на всём множестве $X$, а не только в окрестности, говорят о глобальном максимуме (минимуме). Глобальный экстремум в то же время является локальным, но обратное неверно.

¶Необходимые условия экстремума

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

Обратное утверждение неверно: нулевая производная не гарантирует экстремума. Классический пример — функция $f(x) = x^3$, у которой $f'(0) = 0$, но в нуле функция не имеет экстремума, а проходит через точку перегиба. Поэтому для определения характера точки необходимо дополнительное исследование.

¶Достаточные условия экстремума

¶Первый производный критерий

Если функция дифференцируема в окрестности точки $x_0$, а её производная непрерывна в самой точке $x_0$, то:

• если при переходе через $x_0$ слева направо производная меняет знак с положительного на отрицательный, то в $x_0$ достигается локальный максимум;
• если знак меняется с отрицательного на положительный — локальный минимум;
• если производная не меняет знака, экстремума в этой точке нет.

¶Второй производный критерий

Если функция дважды дифференцируема в точке $x_0$, $f'(x_0) = 0$, то:

• при $f''(x_0) > 0$ функция имеет локальный минимум;
• при $f''(x_0) < 0$ — локальный максимум;
• при $f''(x_0) = 0$ критерий неинформативен, требуется исследование старших производных или непосредственное сравнение значений.

¶Экстремум функций нескольких переменных

Для функции $f(x_1, \dots, x_n)$ точка критическая, если все частные производные первого порядка равны нулю. Необходимое условие локального экстремума — выполнение этого требования. Достаточное условие формулируется через матрицу Гессе: если матрица вторых частных производных в критической точке положительно определена, точка является локальным минимумом; если отрицательно определена — локальным максимумом; при неопределённой матрице вывод сделать нельзя.

¶Экстремум функции с ограничениями

Задача поиска экстремума при наличии связей между переменными решается методом множителей Лагранжа. Суть метода: для функции $f(x, y)$ при условии $g(x, y) = 0$ строится вспомогательная функция $L = f + \lambda g$, где $\lambda$ — множитель Лагранжа. Критические точки $L$ по переменным и $\lambda$ дают кандидатов на условный экстремум.

¶Геометрическая интерпретация

На графике функции точка максимума соответствует «повороту» кривой вниз, минимума — повороту вверх. В точках экстремума касательная к графику горизонтальна (при наличии конечной производной). Для выпуклых функций любой локальный экстремум является глобальным, а множество точек минимума выпуклой функции само является выпуклым множеством.

¶Применение

Анализ точек экстремума применяется в физике (положения устойчивого равновесия соответствуют минимумам потенциальной энергии), в экономике (оптимизация прибыли и издержек), в теории управления и машинном обучении (минимизация функций потерь), в задачах вариационного исчисления. В геометрии экстремальные свойства лежат в основе построения касательных, нормалей и оптимальных конструкций.

¶История

Постановка задач об экстремальных значениях функций восходит к работам П. Ферма XVII века, сформулировавшего метод поиска наибольших и наименьших величин. Развитие теории экстремумов связано с именами И. Ньютона, Г. Лейбница, а в XVIII веке — с работами Леонарда Эйлера и Жозефа Лагранжа, создавшего метод множителей. Строгая теория была оформлена в трудах О. Липшица, К. Вейерштрасса и других математиков XIX века.

¶Источники

• Кудрявцев Л. Д. Курс математического анализа
• Фихтенгольц Г. М. Основы математического анализа
• Ильин В. А., Садовничий В. А., Сенокосов Б. А. Математический анализ
• Бортник Д. А. Математический анализ: задачи и упражнения