Рассматривается регуляризация принципа Лагранжа (ПЛ) и теоремы Куна-Таккера (TKT) в недифференциальной форме в нелинейной (невыпуклой) задаче оптимального управления системой обыкновенных дифференциальных уравнений с поточечным фазовым ограничением-равенством. Существование решения задачи априори не предполагается. Ограничение-равенство содержит аддитивно входящий в него параметр, что обеспечивает возможность применения для исследования задачи "нелинейного варианта" метода возмущений. Основное предназначение регуляризованных ПЛ и TKT - устойчивое генерирование обобщенных минимизирующих последовательностей (ОМП) в рассматриваемой задаче. Их можно трактовать как ОМП-образующие (регуляризирующие) операторы, ставящие в соответствие каждому набору исходных данных задачи субминималь (минималь) ее отвечающего этому набору регулярного модифицированного функционала Лагранжа (МФЛ), двойственная переменная в котором генерируется в соответствии с процедурой стабилизации по Тихонову двойственной задачи. Конструкция МФЛ полностью определяется видом "нелинейных" субдифференциалов (проксимальный субградиент, субдифференциал Фреше) полунепрерывной снизу функции значений как функции параметра задачи. Регуляризованные ПЛ и TKT "преодолевают" свойства некорректности классических аналогов, составляя тем самым теоретическую основу для создания устойчивых методов решения нелинейных задач оптимального управления. В частном случае, когда задача регулярна в смысле существования в ней обобщенного вектора Куна-Таккера, а ее исходные данные аффинным образом зависят от управления, предельный переход в соотношениях регуляризованной TKT ведет к условиям оптимальности в форме соответствующих недифференциальной TKT и принципа максимума Понтрягина.
The regularization of the Lagrange principle (LP) and the Kuhn-Tucker theorem (KTT) in a non-differential form is considered in a nonlinear (non-convex) optimal control problem for a system of ordinary differential equations with a pointwise state equality constraint. The existence of a solution to the problem is not assumed a priori. The equality constraint contains an additive parameter, which makes it possible to use the "nonlinear version" of the perturbation method to study the problem. The main purpose of the regularized LP and KTT is to stably generate generalized minimizing sequences (GMS) in the problem under consideration. They can be interpreted as GMS-forming (regularizing) operators that associate with each set of initial data of the problem a subminimal (minimal) of its regular augmented Lagrangian (AL) functional corresponding to this set, the dual variable in which is generated in accordance with the Tikhonov stabilization procedure of the dual problem. The construction of the AL is completely determined by the form of the "nonlinear" subdifferentials (proximal subgradient, Frechet subdifferential) of the lower semicontinuous function of values as a function of the problem parameter. Regularized LP and KTT "overcome" the properties of ill-posedness of classical analogs, thus giving a theoretical basis for creating stable methods for solving nonlinear optimal control problems. In the particular case when the problem is regular in the sense of the existence of a generalized Kuhn-Tucker vector in it, and its initial data depend affinely on the control, the limit transition in the relations of the regularized KTT leads to optimality conditions in the form of the corresponding non-differential KTT and Pontryagin's maximum principle.
The authors declare that there are no conflicts of interest present.