ВУЗ:
Составители:
Рубрика:
4.4. Задачи оптимизации с ограничениями типа равенств. Ме-
тод неопределенных множителей Лагранжа
Рассмотрим теперь задачу на условный экстремум. Как показано в
п.4.З, решение задачи об отыскании экстремумов функции n переменных
n
Rmxxxxf ∈= ),...,,(),(
21
может быть сведено с помощью необходимых условий к решению сис-
темы уравнений (4.5), в результате чего определяются стационарные
точки функции f (x). Оказывается, что аналогичное сведение возможно и
для задачи отыскания экстремумов функции f (x) при наличии ограниче-
ний типа равенств (уравнений связи):
(4.6)
.,...,2,1,0)( mixg
i
==
Уточним, что именно мы будем понимать под решением задачи на
условный экстремум.
Обозначим
{
}
mixgRxD
i
n
,...,2,1,0)( ==∈=
и предположим, что функции g
i
(x), i = 1,2,…,m имеют непрерывные ча-
стные производные по всем аргументам до второго порядка включи-
тельно в некоторой области G, содержащей множество D.
Говорят, что точка х
0
доставляет условный локальный минимум
(строгий условный локальный минимум) функции f (x), если ∃
ε
> 0 та-
кое, что для любого x ∈ D∩U(x
0
,
ε
) выполняется f(x) > f(x
0
). Для строгого
локального минимума − .
)()(
0
xfxf ≥
Пусть х
0
– некоторая точка множества D, и ранг матрицы Якоби,
рассматриваемой в точке х
0
для функций g
i
(x), i = 1,2,…,m, равен m. Не
нарушая общности, будем считать, что отличен от нуля определитель
(якобиан), составленный из частных производных по первым m аргумен-
там, т.е.
38
4.4. Задачи оптимизации с ограничениями типа равенств. Ме- тод неопределенных множителей Лагранжа Рассмотрим теперь задачу на условный экстремум. Как показано в п.4.З, решение задачи об отыскании экстремумов функции n переменных f ( x), x = ( x1 , x2 ,..., m) ∈ R n может быть сведено с помощью необходимых условий к решению сис- темы уравнений (4.5), в результате чего определяются стационарные точки функции f (x). Оказывается, что аналогичное сведение возможно и для задачи отыскания экстремумов функции f (x) при наличии ограниче- ний типа равенств (уравнений связи): g i ( x) = 0, i = 1,2,..., m. (4.6) Уточним, что именно мы будем понимать под решением задачи на условный экстремум. Обозначим { D = x ∈ R n g i ( x) = 0, i = 1,2,..., m } и предположим, что функции gi(x), i = 1,2, ,m имеют непрерывные ча- стные производные по всем аргументам до второго порядка включи- тельно в некоторой области G, содержащей множество D. Говорят, что точка х0 доставляет условный локальный минимум (строгий условный локальный минимум) функции f (x), если ∃ε > 0 та- кое, что для любого x ∈ D∩U(x0,ε) выполняется f(x) > f(x0). Для строгого локального минимума − f ( x) ≥ f ( x ) . 0 Пусть х0 некоторая точка множества D, и ранг матрицы Якоби, рассматриваемой в точке х0 для функций gi(x), i = 1,2, ,m, равен m. Не нарушая общности, будем считать, что отличен от нуля определитель (якобиан), составленный из частных производных по первым m аргумен- там, т.е. 38
Страницы
- « первая
- ‹ предыдущая
- …
- 36
- 37
- 38
- 39
- 40
- …
- следующая ›
- последняя »