Секвенциальная устойчивая теорема Куна–Таккера в нелинейном программировании

Рассматривается параметрическая нелинейная задача математического программирования общего вида в гильбертовом пространстве с операторным ограничением типа равенства и конечным числом функциональных ограничений типа неравенства. Для указанной задачи обсуждается проблема формального конструирования элементов минимизирующей последовательности из элементов минимизирующих последовательностей ее модифицированной функции Лагранжа при значениях двойственных переменных, выбираемых на основе метода стабилизации Тихонова в процессе решения соответствующей модифицированной двойственной задачи. В терминах минимизирующих последовательностей и модифицированных функций Лагранжа доказывается устойчивая к ошибкам исходных данных секвенциальная теорема Куна–Таккера в недифференциальной форме, представляющая собою необходимое и достаточное условие на элементы минимизирующей последовательности. Показывается, что конструкция модифицированной функции Лагранжа является прямым следствием свойств обобщенной дифференцируемости функции значений задачи. Доказательство основано на “нелинейном” варианте метода двойственной регуляризации, обоснование которого приводится в статье. Приводится пример, иллюстрирующий неустойчивость формального построения минимизирующей последовательности без регуляризации решения модифицированной двойственной задачи. Библ. 23.