Условный экстремум функции¶
Условный экстремум — это экстремум (максимум или минимум) функции нескольких переменных, достигаемый при выполнении дополнительных условий, связывающих эти переменные. В отличие от безусловного экстремума, где точка ищется на всей области определения, здесь переменные подчинены одному или нескольким уравнениям связи (ограничениям). Условный экстремум — одно из центральных понятий математического анализа, теории оптимизации и её приложений в экономике, физике и технике.
¶Постановка задачи
Пусть задана функция $f(x_1, x_2, \dots, x_n)$, называемая целевой, и система уравнений связи
$$g_k(x_1, x_2, \dots, x_n) = 0, \quad k = 1, 2, \dots, m, \quad m < n.$$
Точка $x^0$ называется точкой условного максимума (минимума), если её координаты удовлетворяют всем уравнениям связи и существует такая окрестность этой точки, в пределах которой значение $f(x^0)$ не меньше (не больше) значений функции во всех других точках, также удовлетворяющих ограничениям. Число уравнений связи $m$ должно быть меньше числа переменных $n$; иначе задача, как правило, сводится к проверке конечного набора точек.
Геометрически для двух переменных и одного уравнения связи $g(x, y) = 0$ задача означает поиск экстремума функции вдоль некоторой кривой на плоскости, а не на всей плоскости.
¶Метод множителей Лагранжа
Основной аналитический приём решения — метод множителей Лагранжа, предложенный Жозефом Луи Лагранжем. Строится функция Лагранжа:
$$L(x_1, \dots, x_n, \lambda_1, \dots, \lambda_m) = f(x) + \sum_{k=1}^{m} \lambda_k \, g_k(x),$$
где $\lambda_k$ — неопределённые множители Лагранжа. Необходимое условие условного экстремума состоит в том, что все частные производные функции Лагранжа по всем переменным и множителям обращаются в нуль:
$$\frac{\partial L}{\partial x_i} = 0, \quad \frac{\partial L}{\partial \lambda_k} = 0.$$
Последние уравнения в точности воспроизводят уравнения связи. Таким образом, задача на условный экстремум сводится к решению системы алгебраических уравнений относительно $x_i$ и $\lambda_k$. Полученные точки называются стационарными; среди них и находятся точки условного экстремума.
¶Достаточные условия
Для проверки типа стационарной точки исследуют второй дифференциал функции Лагранжа $d^2 L$ при условии, что дифференциалы $dx_i$ связаны линеаризованными уравнениями связи $dg_k = 0$. Если $d^2 L$ отрицательно определена на этом подпространстве — точка есть условный максимум, если положительно определена — условный минимум. Существуют и матричные критерии, основанные на окаймлённых определителях (гессианах) функции Лагранжа.
¶Метод исключения переменных
Альтернативный подход — выразить из уравнений связи часть переменных через остальные и подставить в целевую функцию. Тогда задача превращается в безусловную для меньшего числа переменных. Метод нагляден, но часто приводит к громоздким выкладкам и не всегда разрешим в явном виде. Метод множителей Лагранжа в этом смысле универсальнее: он не требует разрешать уравнения связи.
¶Простейший пример
Требуется найти экстремум функции $f(x, y) = xy$ при условии $x + y = 2$. Функция Лагранжа имеет вид $L = xy + \lambda(x + y - 2)$. Приравнивая производные к нулю, получаем систему $y + \lambda = 0$, $x + \lambda = 0$, $x + y = 2$, откуда $x = y = 1$, $\lambda = -1$. В точке $(1, 1)$ достигается условный максимум, равный 1. Этот результат согласуется с известным неравенством о среднем: при фиксированной сумме произведение максимально при равенстве слагаемых.
¶Связь с безусловным экстремумом
Если ограничения отсутствуют, условный экстремум переходит в безусловный, а метод Лагранжа вырождается в классическое условие равенства нулю частных производных. В общем случае точки условного и безусловного экстремумов не совпадают: ограничения «срезают» часть области и могут смещать положение оптимума к её границе. Именно поэтому в прикладных задачах наличие связей принципиально меняет решение.
¶Обобщения и применения
Понятие условного экстремума обобщается на неравенства-ограничения; здесь его развитием служат условия Каруша — Куна — Таккера, лежащие в основе нелинейного программирования. В вариационном исчислении аналогом метода множителей Лагранжа являются правила множителей для задач с изопериметрическими условиями и принцип Лагранжа в механике.
Прикладное значение велико:
- Экономика. Задачи максимизации полезности при бюджетном ограничении, минимизации издержек при заданном выпуске. Множитель Лагранжа здесь интерпретируется как предельная полезность или теневая цена ресурса.
- Физика и механика. Принцип наименьшего действия, равновесие систем со связями, распределение энергии.
- Техника. Оптимальное проектирование конструкций при ограничениях на прочность, массу или габариты.
- Статистика. Оценка параметров при ограничениях, метод максимального правдоподобия с условиями.
В численных методах оптимизации условный экстремум ищут итерационно: методами штрафных функций, проекции градиента, последовательного квадратичного программирования. Аналитическое решение по Лагранжу служит эталоном и основой для проверки численных алгоритмов.
¶История
Отдельные задачи на экстремум при ограничениях решались ещё в античности и в XVII веке (например, изопериметрические задачи). Систематический метод множителей был изложен Лагранжем во второй половине XVIII века в работах по аналитической механике. Дальнейшее развитие связано с именами Каруша, Куна и Таккера, обобщивших теорию на неравенства в середине XX века, что дало толчок становлению математического программирования как самостоятельной дисциплины.
¶Значение
Условный экстремум — базовый инструмент, связывающий классический анализ с современной теорией оптимизации. Он позволяет формализовать выбор наилучшего решения в условиях ограничений, что делает его востребованным в самых разных областях — от экономического планирования до инженерных расчётов и физического моделирования.
Источники: учебники по математическому анализу, курсы по методам оптимизации, классические работы по вариационному исчислению и нелинейному программированию.