Все выпуски

Пусть $(U,\rho )$ - полное метрическое пространство, ${\mathcal R}^p({\mathbb R},U),$ $p\geqslant 1$, и ${\mathcal R} ({\mathbb R},U)$ - пространства (сильно) измеримых функций $f:{\mathbb R}\to U$, преобразования Бохнера ${\mathbb R}\ni t\mapsto f^B_l(t;\cdot )=f(t+\cdot )$ которых являются рекуррентными функциями со значениями в метрических пространствах $L^p([-l,l],U)$ и $L^1([-l,l], (U,\rho ^{ \prime }))$, где $l>0$ и $(U,\rho^{ \prime })$ - полное метрическое пространство с метрикой $\rho ^{ \prime }(x,y)=\min\{ 1, \rho (x,y)\} ,$ $x, y\in U.$ Аналогично определяются пространства ${\mathcal R}^p({\mathbb R},{\mathrm {cl}}\,_{ b}\, U)$ и ${\mathcal R} ({\mathbb R},{\mathrm {cl}}\,_{ b}\, U)$ функций (многозначных отображений) $F:{\mathbb R}\to {\mathrm {cl}}\,_{ b}\, U$ со значениями в полном метрическом пространстве $({\mathrm {cl}}\,_{ b}\, U, {\mathrm {dist}})$ непустых замкнутых ограниченных подмножеств метрического пространства $(U,\rho )$ с метрикой Хаусдорфа ${\mathrm {dist}}$ (при определении многозначных отображений $F\in {\mathcal R} ({\mathbb R}, {\mathrm {cl}}\,_{ b}\, U)$ рассматривается также метрика ${\mathrm {dist}} ^{ \prime }(X,Y)=\min\{ 1,{\mathrm {dist}}(X,Y)\} ,$ $X, Y\in {\mathrm {cl}}\,_{ b}\, U$). Доказано существование сечений $f\in {\mathcal R} ({\mathbb R},U)$ (соответственно $f\in {\mathcal R}^p ({\mathbb R},U)$) многозначных отображений $F\in {\mathcal R} ({\mathbb R},{\mathrm {cl}}\,_{ b}\, U)$ (соответственно $F\in {\mathcal R}^p({\mathbb R}, {\mathrm {cl}}\,_{ b}\, U)$), для которых множества почти периодов подчинены множествам почти периодов многозначных отображений $F$. Для функций $g\in {\mathcal R} ({\mathbb R},U)$ приведены условия существования сечений $f\in {\mathcal R} ({\mathbb R},U)$ и $f\in {\mathcal R}^p ({\mathbb R},U),$ для которых $\rho (f(t),g(t))=\rho (g(t),F(t))$ при п.в. $t\in {\mathbb R}$. В предположении, что для любого $\varepsilon >0$ существует относительно плотное множество общих $\varepsilon $-почти периодов функции $g$ и многозначного отображения $F$, также доказано существование сечений $f\in {\mathcal R} ({\mathbb R},U)$ таких, что $\rho (f(t),g(t))\leqslant \rho (g(t),F(t))+\eta (\rho (g(t),F(t)))$ при п.в. $t\in {\mathbb R}$, где $\eta :[0,+\infty ) \to [0,+\infty )$ - произвольная неубывающая функция, для которой $\eta (0) =0$ и $\eta (\xi )>0$ при всех $\xi >0$, при этом $f\in {\mathcal R}^p ({\mathbb R},U)$ в случае $F\in {\mathcal R}^p({\mathbb R},{\mathrm {cl}}\,_{ b}\, U).$ При доказательстве используется равномерная аппроксимация функций $f\in {\mathcal R} ({\mathbb R},U)$ элементарными функциями из пространства ${\mathcal R} ({\mathbb R},U)$ множества почти периодов которых подчинены множествам почти периодов функций $f$.

Let $(U,\rho )$ be a complete metric space and let ${\mathcal R}^p({\mathbb R},U),$ $p\geqslant 1$, and ${\mathcal R} ({\mathbb R},U)$ be the spaces of (strongly) measurable functions $f:{\mathbb R}\to U$ for which the Bochner transforms ${\mathbb R}\ni t\mapsto f^B_l(t;\cdot )=f(t+\cdot )$ are recurrent functions with ranges in the metric spaces $L^p([-l,l],U)$ and $L^1([-l,l],(U,\rho ^{ \prime }))$ where $l>0$, and $(U,\rho ^{ \prime })$ is the complete metric space with the metric $\rho ^{ \prime }(x,y)=\min \{ 1,\rho (x,y)\} ,$ $x, y\in U.$ Analogously, we define the spaces ${\mathcal R}^p({\mathbb R}, {\mathrm {cl}}\,_{ b}\, U)$ and ${\mathcal R} ({\mathbb R},{\mathrm {cl}}\,_{ b}\, U)$ of functions (multivalued mappings) $F:{\mathbb R}\to {\mathrm {cl}}\,_{ b}\, U$ with ranges in the complete metric space $({\mathrm {cl}}\,_{ b}\, U,{\mathrm {dist}})$ of nonempty closed bounded subsets of the metric space $(U,\rho )$ with the Hausdorff metric ${\mathrm {dist}}$ (while defining the multivalued mappings $F\in {\mathcal R} ({\mathbb R},{\mathrm {cl}}\,_{ b}\, U)$ the metric ${\mathrm {dist}} ^{ \prime }(X,Y)=\min \{ 1,{\mathrm {dist}}(X,Y)\} ,$ $X, Y\in {\mathrm {cl}}\,_{ b}\, U$, is also considered). We prove the existence of selectors $f\in {\mathcal R} ({\mathbb R},U)$ (accordingly $f\in {\mathcal R}^p({\mathbb R},U)$) of multivalued maps $F\in {\mathcal R} ({\mathbb R},{\mathrm {cl}}\,_{ b}\, U)$ (accordingly $F\in {\mathcal R}^p ({\mathbb R},{\mathrm {cl}}\,_{ b}\, U)$) for which the sets of almost periods are subordinated to the sets of almost periods of multivalued maps $F$. For functions $g\in {\mathcal R} ({\mathbb R},U),$ the conditions for the existence of selectors $f\in {\mathcal R} ({\mathbb R},U)$ and $f\in {\mathcal R}^p({\mathbb R},U)$ such that $\rho (f(t),g(t))=\rho (g(t),F(t))$ for a.e. $t\in {\mathbb R}$ are obtained. On the assumption that the function $g$ and the multivalued map $F$ have relatively dense sets of common $\varepsilon $-almost periods for all $\varepsilon >0$, we also prove the existence of selectors $f\in {\mathcal R} ({\mathbb R},U)$ such that $\rho (f(t),g(t))\leqslant \rho (g(t),F(t))+\eta (\rho (g(t),F(t)))$ for a.e. $t\in {\mathbb R}$, where $\eta :[0,+\infty ) \to [0,+\infty )$ is an arbitrary nondecreasing function for which $\eta (0)=0$ and $\eta (\xi )>0$ for all $\xi >0$, and, moreover, $f\in {\mathcal R}^p({\mathbb R},U)$ if $F\in {\mathcal R}^p({\mathbb R},{\mathrm {cl}}\,_{ b}\, U).$ To prove the results we use the uniform approximation of functions $f\in {\mathcal R} ({\mathbb R},U)$ by elementary functions belonging to the space ${\mathcal R} ({\mathbb R},U)$ which have the sets of almost periods subordinated to the sets of almost periods of the functions $f$.

Под термином «размыкание предиката» понимается сведение задачи поиска и изучения свойств множества истинности заданного предиката к задаче поиска и изучения свойств неподвижных точек некоторого отображения. Размыкание предиката дает дополнительные возможность анализа его множества истинности, а также позволяет строить элементы этого множества с теми или иными свойствами. Известны примеры размыкания нетривиальных предикатов, таких как предикат «быть стабильным (слабо инвариантным) множеством», предикат «быть неупреждающим селектором», предикат «быть седловой точкой», предикат «быть равновесием Нэша». В упомянутых случаях вопрос об априорной оценке возможности размыкания того или иного интересующего нас предиката и о построении соответствующего размыкающего отображения оставался за рамками рассмотрения: размыкающие отображения предоставлялись как готовые объекты. В предлагаемой заметке мы постараемся отчасти закрыть этот пробел: приводятся формальное определение операции размыкания предиката, способы построения и исчисления размыкающих отображений и их основные свойства. Описываемый подход примен\'им во всех упомянутых выше положительных примерах. В качестве иллюстрации проведено следующее этому способу построение размыкающего отображения для предиката «быть нэшевским равновесием».

The term “predicate unlocking” is understood as the reduction of the problem of finding and studying the set of truth of a predicate to the problem of finding and studying the set of fix points of a map. Predicate unlocking provides opportunities for additional investigation of the truth set and also allows one to build the elements of this set with particular properties. There are examples of nontrivial predicate unlocking such as: the predicate “be a stable (weakly invariant) set”, the predicate “be a nonanticipatory selector”, the predicate “be a saddle point”, and the predicate “be a Nash equilibrium”. In these cases, the question of the a priori evaluation of the possibility of unlocking this or other predicate of interest and the question of constructing a corresponding unlocking map remained beyond consideration: the unlocking mappings were provided as ready-made objects. In this note we try to partly close this gap: we provide a formal definition of the predicate unlocking operation, methods for constructing and calculating of the unlocking mappings and their basic properties. As an illustration, the “routine” construction of unlocking mapping for the predicate “be a Nash equilibrium” is carried out. The described approach is far from universality, but, at least, it can be applied to all aforementioned positive examples.

В контексте задач гарантированного управления рассматриваются следующие вопросы: связь возможности пошагового (на заданном разбиении $\Delta$) вычисления селектора мультифункции (м/ф) $\alpha$ для неизвестного, восстанавливаемого по шагам $\Delta$, аргумента с существованием у $\alpha$ мультиселектора (м/с) со специальным свойством (названым здесь $\Delta$-неупреждаемостью или частичной неупреждаемостью); второй вопрос — способы построение такого м/с для произвольной пары $(\alpha, \Delta)$; и последний — поиск эффективно проверяемых условий, обеспечивающих совпадение $\Delta$-неупреждающего м/с с неупреждающим.

Мотивом к рассмотрению этих вопросов послужила схема управления, возникающая, например, в методе альтернированного интеграла, при использовании в управлении контрстратегий, или в некоторых задачах при использовании метода управления с поводырём.

В работе показано, что рассматриваемая пошаговая схема управления реализуема тогда и только тогда, когда м/ф $\alpha$ имеет $\Delta$-неупреждающий и непустозначный м/с. Дана конечношаговая процедура построения такого м/с. Указаны эффективно проверяемые условия, обеспечивающие неупреждаемость частично неупреждающего м/с. Рассмотрены иллюстрирующие примеры.

Let sets of functions $Z$ and $\Omega$ on the time interval $T$ be given, let there also be a multifunction (m/f) $\alpha$ acting from $\Omega$ to $Z$ and a finite set $\Delta$ of moments from $T$. The work deals with the following questions: the first one is the connection between the possibility of stepwise construction (specified by $\Delta$) of a selector $z$ of $\alpha(\omega)$ for an unknown step-by-step implemented argument $\omega\in\Omega$ and the existence of a multiselector (m/s) $\beta$ of the m/f $\alpha$ with a non-anticipatory property of special kind (we call it partially or $\Delta$-non-anticipated); the second question is when and how non-anticipated m/s could be expressed by means of partially non-anticipated one; and the last question is how to build the above $\Delta$-non-anticipated m/s $\beta$ for a given pair $(\alpha,\Delta)$.

The consideration of these questions is motivated by the presence of such step-by-step procedures in the differential game theory, for example, in the alternating integral method, in pursuit-evasion problems posed with use of counter-strategies, and in the method of guide control.

It is shown that the step-by-step construction of the value $z\in\alpha(\omega)$ can be carried out for any steps-implemented argument $\omega$ if and only if the above m/s $\beta$ is non-empty-valued. The key point of the work is the description of finite-step procedure for calculation of this $\Delta$-non-anticipated m/s $\beta$. Conditions are given that guarantee the m/s $\beta$ be a non-anticipative one. Illustrative examples are considered that include, in particular, control problems with disturbance.