|
Рассмотрим систему нелинейных уравнений, имеющую в векторной записи вид F(x) = y,
где F — гладкое отображение одного банахова пространства X.
в другое (для простоты можно считать эти пространства конечномерными). Если точка х0
вырождена, то есть линейный оператор F'(x0) не является
сюръективным (например, F'(x0) = 0), то
в точке х0 классическая теорема об обратной функции неприменима.
В докладе обсуждается это явление вырождения и предлагается вариант теоремы об обратной функции,
который применим и в вырожденных точках.
Рассмотрим также классическую экстремальную задачу с ограничениями
f0(x) → min,
fi(x) = 0, i = 1,2,…,k,
x ∈ X.
Здесь гладкие функции fi задают ограничения,
а f0 — минимизируемый функционал.
Пусть х0 — точка локального минимума. Известно, что если
точка х0 вырождена (анормальна), то есть градиенты
ограничений fi'(x0) линейно зависимы, то классический принцип Лагранжа
вырождается (не несет содержательной информации), а классические необходимые условия второго порядка
не выполняются.
В докладе обсуждается это явление вырождения и излагается теория необходимых условий первого и второго порядков одинаково
содержательная как для вырожденных, так и для невырожденных задач. Эти необходимые условия заключаются в неотрицательной
определенности максимума из вторых производных функции Лагранжа, взятому по некоторому специально строящемуся множеству
множителей Лагранжа. Это множество состоит из тех множителей Лагранжа, для которых индекс соответствующей квадратичной
формы, определяемой функцией Лагранжа, не превышает порядка анормальности рассматриваемой точки.
Оказывается, что для анормальных точек приводимые условия превращаются в классические условия второго порядка.
Указанные результаты являются развитием принципа Лагранжа и обобщаются на теорию оптимального управления.
Устанавливается связь между необходимыми условиями оптимальности и теоремой об обратной функции.
Важно отметить, что все излагаемые в докладе результаты являются содержательными и в конечномерном случае
(даже, если Х — трехмерное пространство).
Литература
- А.В.Арутюнов. Условия экстремума. Анормальные и вырожденные задачи. Москва: Изд-во «Факториал», 1997.
- А.В.Арутюнов. Теорема о неявной функции как реализация принципа Лагранжа. Анормальные точки. // Математический сборник.
Т.191, №1, с.3-26 (2000).
|
