Относительный экстремум. Метод множителей Лагранжа


 

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

(3.1)
gi (x) = 0, i = l, 2, ..., m.

Условия (3.1) принято называть уравнениями связи.

Уточним, что именно мы будем понимать под решением задачи на относительный экстремум. Точку х, удовлетворяющую условиям (3.1), мы будем назвать допустимой.

Определение 3.1. Допустимая точка x0доставляет относительный локальный минимум функции f(x), если можно указать такое число ε > 0, что для всех х, удовлетворяющих уравнениям связи (3.1) и условию ||х – x0|| < ε, имеет место неравенство

f ( x ) ≥ f (x0).

Рассмотрим случай, когда уравнения связи (3.1) могут быть разрешены относительно части переменных. Будем предполагать, что функции gi(х), i = l , ... , m, имеют в окрестности рассматриваемой допустимой точки x0 непрерывные частные производные по всем аргументам до второго порядка включительно и, кроме того, ранг матрицы Якоби для функций gi(х), i = l , ..., m, рассматриваемой в точкеx0, равен т. Не нарушая общности, предположим, что отличен от нуля определитель (якобиан), составленный из частных производных по первым т аргументам, т. е.

(3.2)

Тогда по теореме о неявных функциях в некоторой окрестности точки x0система уравнений (3.1) разрешима относительно х1, ..., хm, т. е. представима в виде

(3.3)
j = 1, 2, … , m ,

где — непрерывно дифференцируемые в рассматриваемой окрестности функции. Переменные x1 ..., хm естественно назвать «зависимыми», в отличие от «независимых» — xm+1, ..., хn. Подставляя выражения (3.3) в функцию f(x), получим задачу отыскания безусловного экстремума функции п-т переменных

Однако провести исключение части компонент вектора х обычно бывает трудно или даже невозможно. Поэтому мы используем другой путь определения точки x0, который не предполагает наличия явных выражений типа (2.3), хотя использует существенно условие (2.2).

2. Метод множителей Лагранжа. Как мы видели в замечании к теореме 1.1, в точке x0, доставляющей безусловный экстремум функции, ее полный дифференциал равен нулю, т. е.

(3.4)

где dxj, j = 1, ..., m, — дифференциалы «зависимых» переменных, связанные с дифференциалами «независимых» переменных dxk, k = m+1,..., п, следующим образом:

(3.5)
i = 1, 2, … , m

Уравнения (3.5) получены при дифференцировании полным образом уравнений связи (3.1). Исключим теперь дифференциалы «зависимых» переменных из уравнений (3.4), (3.5). Для этого умножим каждое из уравнений системы (3.5) на произвольные множители и результаты сложим с уравнением (3.4), тогда получим следующее равенство:

(3.6)

Распорядимся множителями таким образом, чтобы обратились в нуль коэффициенты при дифференциалах «зависимых» переменных, т. е.

(3.7)
j = 1, 2, … , m

Это можно сделать, так как уравнения (2.7) являются системой линейных алгебраических уравнений относительно множителей которая имеет единственное решение в силу того, что ее определитель (3.2) по условию отличен от нуля. При выбранных таким образом значениях множителей в равенстве (3.6) останутся только члены, содержащие дифференциалы «независимых» переменных. Поэтому коэффициенты при этих дифференциалах должны быть нулями, т. е.

k = m + 1, … , n . (3.8)

Таким образом, мы получили систему п + т уравнений (3.1), (3.7), (3.8) относительно п + т неизвестных x10,...,xn0, . Этот результат представляет собой основное содержание метода множителей Лагранжа и позволяет определить множество «претендентов» на решение в задаче на относительный экстремум. Метод Лагранжа состоит из следующих этапов:

1) составляется функция п + т переменных, которая называется функцией Лагранжа:

(3.9)

2) вычисляются и приравниваются нулю ее частные производные по х и :

(3.10)
j = 1, … , n ,

i = 1, … , m ;

3) решается система (3.10) п + т уравнений относительно п + т неизвестных x1,..., xn, .

Система уравнений (3.10) представляет собой необходимые условия первого порядка в задаче на относительный экстремум, а ее решения x10, ..., xn0 принято называть условно-стационарными точками. Как и в случае задач на безусловный экстремум, необходимые условия первого порядка не определяют характера условно-стационарной точки. Для выяснения этого вопроса следует привлечь производные более высоких порядков функций f(хg(x).

Заметим, что требование неравенства нулю якобиана (3.2) является существенным. Только в этом случае система уравнений (3.7) разрешима, причем единственным образом, относительно множителей Лагранжаl1, l2, …, lm.

3. Пример. Условие (3.2) может быть не выполнено, если решение задачи на относительный экстремум реализуется, например, в точке касания поверхностей ограничений (3.1). Пусть

n = 2, m = 2, f(x) = x2,

g1(x) = (x1 – 1)2 + (x2)2 – 1,

g2(x) = (x1 – 1)2 + (x2)2 – 1.

Допустимая точка должна одновременно удовлетворять уравнениям g1(x) = 0, g2(x) = 0 и является единственной: x1 = 0, х2 = 0. Очевидно, что точка x1= 0, x2 = 0 и будет решением задачи на относительный минимум функции f(х)= х2при ограничениях gl(х)= g2(х)= 0. Составим для этой задачи функцию Лагранжа:

Метод множителей Лагранжа приводит к уравнениям

Этим уравнениям точка относительного минимума x1 = 0, x2 = 0 не удовлетворяет ни при каких значениях , , т. е. в данном случае метод множителей Лагранжа не работает.

Заметим попутно, что метод множителей Лагранжа можно применять всегда для функции Лагранжа более общего вида

(3.11)

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

 



Дата добавления: 2021-07-22; просмотров: 308;


Поиск по сайту:

Воспользовавшись поиском можно найти нужную информацию на сайте.

Поделитесь с друзьями:

Считаете данную информацию полезной, тогда расскажите друзьям в соц. сетях.
Poznayka.org - Познайка.Орг - 2016-2024 год. Материал предоставляется для ознакомительных и учебных целей.
Генерация страницы за: 0.012 сек.