Локальная управляемость, траектория геометрического локального инфимума и условия второго порядка в оптимальном управлении
Автор: Аваков Е.Р., Магарил-Ильяев Г.Г.
Журнал: Владикавказский математический журнал @vmj-ru
Статья в выпуске: 1 т.28, 2026 года.
Бесплатный доступ
В теории оптимального управления вопросы, связанные с необходимыми условиями оптимальности и управляемости системы, являются одними из основных. В данной работе для управляемой системы обыкновенных дифференциальных уравнений определяются понятие ее локальной управляемости относительно произвольной непрерывной функции и понятие траектории геометрического локального инфимума. Отметим, что они двойственны друг к другу в том смысле, что либо управляемая система локально управляема относительно данной функции, либо эта функция является траекторией геометрического локального инфимума. Понятие траектории геометрического локального инфимума обобщает понятие траектории локального инфимума (ранее введенного авторами), которое, в свою очередь, обобщает классическое понятие оптимальной траектории. Траектория локального инфимума - это функция, на которой целевой функционал достигает своего минимума. При этом она, вообще говоря, не является допустимой траекторией, но есть равномерный предел таковых. Оптимальная траектория может не существовать, но существование траектории локального инфимума, очевидно, вполне достаточно для приложений. Ранее указанная двойственность понятий локальной управляемости относительно произвольной непрерывной функции и траектории геометрического локального инфимума исследовалась авторами в случае, когда необходимые условия траектории локального инфимума были первого порядка. В данной работе речь идет о необходимых условиях второго порядка. Следует сказать, что необходимые условия первого и второго порядков траектории локального инфимума усиливают соответствующие все классические условия (в частности, принцип максимума Понтрягина). Наша основная цель - показать, что введение более общих понятий (локальная управляемость относительно произвольной функции, траектория геометрического локального инфимума) позволяет единообразно смотреть на вопросы управляемости и оптимальности в оптимальном управлении. Важную роль играют примеры в конце статьи.
Траектория геометрического локального инфимума, локальная управляемость, оптимальное управление, условия второго порядка
Короткий адрес: https://sciup.org/143185541
IDR: 143185541 | УДК: 517.977.52 | DOI: 10.46698/a7281-6269-9782-p
Local Controlability, Trajectory Geometric Local Infimuma, and Second-Order Conditions in Optimal Control
In optimal control theory, questions related to necessary optimality conditions and the controllability of a control system are among the fundamental ones. In this paper, for a control system of ordinary differential equations, the concept of its local controllability with respect to an arbitrary continuous function and the concept of a trajectory of a geometric local infimum are defined. These concepts are dual to each other in the sense that either the control system is locally controllable with respect to a given function or this function is a trajectory of a geometric local infimum. The concept of a trajectory of a geometric local infimum generalizes the concept of a trajectory of a local infimum (previously introduced by the authors), and generalizes the classical concept of an optimal trajectory. A trajectory of a local infimum is a function such that the objective functional attains its minimum, but, generally speaking, it is not a feasible trajectory and it is a uniform limit of such trajectories. An optimal trajectory may not exist, but the existence of a local infimum trajectory is clearly sufficient for applications. The previously mentioned duality between the concepts of local controllability with respect to an arbitrary continuous function and the trajectory of a geometric local infimum was investigated by the authors in the case, where the necessary conditions for the trajectory of a local infimum were first-order. In this paper we focus on second-order necessary conditions. Note that first-order and second-order necessary conditions for the trajectory of a local infimum are improved the corresponding classical conditions (in partuicular, the Pontryagin maximum principle). Our goal is to show that the introduction of more general concepts (local controllability with respect to an arbitrary function, the trajectory of a geometric local infimum) allows to a unified approach of controllability and optimality in optimal control. Our examples also play an important role.
