Условный экстремум

Усло́вный экстре́мум — максимальное или минимальное значение, которое функция, определённая на множестве и принимающая вещественные значения, достигает в предположении, что значения некоторых других функций с той же областью определения подчинены определённым ограничительным условиям (если такие дополнительные условия отсутствуют, то говорят о безусловном экстремуме)[1].

В частности, множество может быть подмножеством арифметического векторного пространства а упомянутые ограничительные условия, в свою очередь, могут быть заданы в виде равенств или неравенств. Ниже рассматриваются классическая задача на условный экстремум, в которой все условия заданы в виде равенств, а также задача Лагранжа — одна из классических задач вариационного исчисления[1].

Постановка классической задачи на условный экстремум править

Пусть   — открытое множество, и на нём заданы функции     Пусть  

Уравнения

 

называют уравнениями связей (терминология заимствована из механики).

Пусть на   определена также функция    Точка   называется точкой условного экстремума данной функции относительно уравнений связей   если она является точкой обычного (безусловного) экстремума функции   на множестве    (модификация определения экстремума сводится к тому, что в нём вместо окрестностей в  , то есть  , рассматриваются окрестности в  , то есть  )[2].

Метод множителей Лагранжа для решения задачи условного экстремума править

Теорема править

Предположим, что все фигурирующие в постановке классической задачи на условный экстремум функции непрерывно дифференцируемы, и пусть   — точка условного экстремума функции   при выполнении уравнений связей    Тогда в этой точке градиенты    являются линейно зависимыми, т. e.     но    [3].

Числа   называются множителями Лагранжа и определены с точностью до умножения на произвольную ненулевую константу. Наибольший интерес представляет случай, когда    (тогда, умножив все   на подходящую ненулевую константу, можно сделать множитель   равным   и, таким образом, вообще исключить его из рассмотрения). В такой ситуации вместо только что сформулированной теоремы пользуются следующим следствием из неё[4].

Следствие править

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

 

где   [3].

Равенствам   можно дать следующую интерпретацию. Предположим, что для чисел   данные равенства выполняются, и объединим их в столбец    Составим функцию Лагранжа:

 

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

 

эти соотношения и являются условиями стационарности точки    Добавляя к ним уравнения связей   получаем   уравнений относительно   неизвестных  [5][6].

Пример.  Найдём стороны прямоугольника максимальной площади, вписанного в окружность    Здесь             Составив функцию Лагранжа

 

и записав условия её стационарности в точке условного экстремума

 

находим:     и     (прямоугольник максимальной площади оказался квадратом)[6].

Достаточное условие условного экстремума править

Если равенства   при   выполнены и при этом (дополнительно предполагается, что в точке   все фигурирующие в постановке классической задачи на условный экстремум функции двукратно непрерывно дифференцируемы)    представляет собой отрицательно (положительно) определённую квадратичную форму переменных    то   является точкой строгого условного максимума функции   (строгого условного минимума для положительно определенной формы). Если же рассматриваемая квадратичная форма не является знакоопределённой, тогда условного экстремума нет[7].

Задача Лагранжа править

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

 

(точкой обозначена операция дифференцирования по  )  при фиксированных граничных условиях        и выполнении уравнений связей

 

где   [8][9].

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

 

в качестве аналога равенств   (т. e. в роли необходимых условий экстремума) теперь выступают уравнения Эйлера — Лагранжа, имеющие в рассматриваемом случае вид

 

где    Из этих   обыкновенных дифференциальных уравнений, дополненных уравнениями связей, находят (с учётом имеющихся граничных условий)   неизвестных функций   [10].

См. также править

Примечания править

  1. 1 2 Вапнярский И. Б. . Условный экстремум // Математическая энциклопедия. Т. 5 / Гл. ред. И. М. Виноградов. — М.: Советская энциклопедия, 1985. Архивировано 17 ноября 2020 года. — 1248 стб. — Стб. 565—566.
  2. Кудрявцев, т. 2, 1981, с. 92—93.
  3. 1 2 Кудрявцев, т. 2, 1981, с. 96.
  4. Алексеев, Тихомиров, Фомин, 1979, с. 48.
  5. Кудрявцев, т. 2, 1981, с. 96—97.
  6. 1 2 Корн и Корн, 1978, с. 336.
  7. Кудрявцев, т. 2, 1981, с. 110.
  8. Алексеев, Тихомиров, Фомин, 1979, с. 40—41, 80—81.
  9. Корн и Корн, 1978, с. 346—349.
  10. Корн и Корн, 1978, с. 348—349.

Литература править