The elements of the operator convexity in the construction of the programmed iteration method

Abstract

The problem of retention studied here can be regarded (in the ease of bounded control interval) as a variant of the approach problem within the given constraints in the phase space and the target set given by the hyperplane of the space positions corresponding to the terminal moment of the process (the retention problem on the infinite horizon also fits the problem stated in the work). The main difference of the problem from the previously considered formulation is the possibility of variation of the spaces of system trajectories and disturbance realizations depending on the initial moment of control. It is shown that the unsolvability set of the retention problem is the operator convex hull of the empty set constructed on the base of programmed absorption operator. Under some additional coherence conditions (on the spaces of system trajectories and disturbance realizations corresponding to different initial moments) the set of successful solvability is constructed as the limit of the iterative procedure in the space of sets, elements of which are positions of the game; in this case the structure of resolving quasistrategy is also given. Рассматриваемая игровая задача удержания (в случае ограниченного промежутка управления) является частным случаем задачи сближения при наличии фазовых ограничений с гиперплоскостью отвечающей терминальному моменту времени (вместе с тем, задача удержания с бесконечным горизонтом также вкладывается предлагаемую постановку). Основным отличием от ранее рассмотренных постановок задачи является возможность вариации пространства траекторий системы и пространства реализаций неопределенных факторов в зависимости от начального момента управления. Показано, что множество начальных позиций, для которых задача не разрешима есть операторно-выпуклая оболочка пустого множества, построенная на основе опрератора программного поглощения. При дополнительных условиях согласованности (пространств траекторий системы и реализаций помехи в различные моменты времени) показано, что множество успешной разрешимости задачи удержания определяется в виде предела итерационной процедуры на пространстве множеств, элементами которых являются позиции игры, а также установлена структура разрешающих квазистратегий.