Все выпуски

Новизна в том, что лицо, принимающее решение (ЛПР) в многокритериальной задаче при неопределенности, стремится не только по возможности увеличить гарантированные значения каждого из своих критериев, но и одновременно уменьшить гарантированные риски, сопровождающие такое увеличение. Предлагаемое исследование выполнено на стыке теории многокритериальных задач (МЗ) и принципа минимаксного сожаления (риска) (ПМС) Сэвиджа-Ниханса: из теории МЗ использованы понятие слабо эффективной оценки и сопровождающая теорема Ю.Б. Гермейера, а из ПМС - оценка значения функции сожаления в качестве риска по Сэвиджу-Нихансу. Рассмотрение ограничено интервальными неопределенностями: о них ЛПР известны лишь границы изменения, а какие-либо вероятностные характеристики отсутствуют (по тем или иным причинам). Введено новое понятие - сильно гарантированного по исходам и рискам решения (СГИР), максимального по Слейтеру; установлено его существование при «привычных» для математического программирования ограничениях (непрерывность критериев, компактность множеств стратегий и неопределенностей). В качестве приложения найден явный вид СГИР в задаче диверсификации вклада по рублевому и валютному депозитам.

The applicability and novelty of this research lies in that the decision-maker in a multicriteria problem aims not only to maximize guaranteed values of each criterion, but also to minimize the guaranteed risks accompanying the said maximization. The topic of the research lies at the interface of the multicriteria problem theory and the Savage-Niehans minimax regret principle: the concept of a weakly effective estimate has been derived from the MP theory, while estimation of risks with values of the Savage-Niehans regret function has been derived from the minimax regret principle. The scope of this research is limited to interval uncertainties: the decision-maker only knows the limits of the interval, and probabilistic characteristics are missing. A new term is introduced, namely, “strongly guaranteed solution under outcomes and risks”; its existence for “regular”-confined-strategies for the mathematical programming is established. As an example of a practical application, the problem of diversification of a multi-currency deposit is suggested and solved.

Работа посвящена теории плюрипотенциала на аналитических поверхностях. Теория плюрипотенциала в комплексном пространстве ${\mathbb C}^{n}$, а также на штейновом комплексном многообразии $X\subset{\mathbb C}^{N}$ (без особого множества) изучена достаточно подробно. В этой работе мы предлагаем новую технологию для изучения основных объектов теории потенциала на аналитическом множестве с непустым особым (критическим) множеством.

The work is devoted to the theory of pluripotential on analytic surfaces. The pluripotential theory on the complex space ${\mathbb C}^{n},$ as well as on the Stein complex manifold $X\subset{\mathbb C}^{N}$ (without a singular set) have been studied in enough detail. In this work, we propose a new approach for studying the main objects of potential theory on an analytic set with a non-empty singular (critical) set.

Изучаются свойства простых идеалов в полукольцах непрерывных функций на топологических пространствах со значениями в единичном отрезке [0, 1]. Описаны максимальные идеалы полуколец непрерывных [0, 1]-значных функций. В терминах полуколец функций получены характеризации ряда свойств компактов. Показано, что теория идеалов в рассматриваемых полукольцах отличается от случая колец
непрерывных функций.

The properties of the prime ideals in semirings of the continuous functions on topological spaces with values in [0, 1] are researches. Maximal ideals of the semirings of continuous [0, 1]-valued functions are described. The characterizations of the compacts are received in terms of semiring of the functions. It is shown that the theory of ideals in considered semirings differs from the case of rings of continuous functions.

Различные задачи управления пучками траекторий составляют важный объект изучения в современной математической теории управления. Такие задачи возникают, например, при изучении движения потока заряженных частиц, а также при наличии неполной информации о начальном состоянии управляемой системы. В настоящей статье для нелинейного управляемого объекта весьма общего вида на фиксированном отрезке времени $[0,T]$ рассматривается задача управления пучками траекторий при неодноточечном начальном множестве. На множестве достижимости в момент $T>0$ изучается задача максимизации заданной непрерывной функции. Эту задачу можно интерпретировать как задачу о разбросе траекторий управляемого объекта. Соответствующий максимум зависит от выбранного допустимого управления $u(\cdot )$. В статье обосновывается существование минимума на множестве допустимых управлений от этого максимума.

Various problems of control of trajectory bundles constitute an important object of study in modern mathematical control theory. Such problems arise, for example, in studying the motion of a flow of charged particles, and also in the presence of incomplete information about the initial state of the controlled system. In the present article, for a nonlinear controlled object of a quite general form on a fixed time interval $[0,T]$, the problem of control of trajectory bundles with a non-single-point initial set is considered. On the reachable set at the moment $T>0$, the problem of maximization of a given continuous function is studied. This problem can be interpreted as a problem on the spread of trajectories of the controlled object. The corresponding maximum depends on the chosen admissible control $u(\cdot )$. In the article, the existence of a minimum on the set of admissible controls from this maximum is substantiated.

Рассматривается линейная дифференциальная игра с заданным моментом окончания $p$. Множества достижимости игроков являются $n$-мерными шарами. Терминальное множество в игре определяется условием принадлежности нормы фазового вектора отрезку с положительными концами. Множество, определяемое данным условием, названо в работе кольцом. Тот факт, что терминальное множество не является выпуклым, потребовал привлечения дополнительной теории, позволяющей находить сумму и разность Минковского для кольца и шара в $n$-мерном пространстве. На выбор управления первого игрока накладывается импульсное ограничение. Возможности первого игрока определяются запасом ресурсов, который он может использовать при формировании своего управления. В отдельные моменты времени возможно отделение части запаса ресурсов, что может привести к «мгновенному» изменению фазового вектора, тем самым усложняя задачу. Управление второго игрока стеснено геометрическими ограничениями. Цель первого игрока заключается в том, чтобы в заданный момент времени привести фазовый вектор на терминальное множество. Цель второго игрока противоположна. Построен максимальный стабильный мост, ведущий в заданный момент времени на терминальное множество. Стабильный мост определяется функциями внешнего и внутреннего радиусов, которые вычислены в явном виде.

We consider a linear differential game with the fixed end time $p$. Attainability domains of players are $n$-dimensional balls. The terminal set of a game is determined by a condition for assigning the norm of a phase vector to a segment with positive ends. A set defined by this condition is named in the article as ring. The fact that the terminal set is not convex required an additional theory allowing us to calculate Minkowski sum and difference for a ring and a ball in $n$-dimensional space. Control of the first player has a pulse constraint. Abilities of the first player are determined by the stock of resources that can be used by the player at formation of his control. At certain moments of time the separation of a part of the resources stock is possible, which may implicate an “instantaneous” change of a phase vector, thereby complicating the problem. Control of the second player has geometrical constraints. The aim of the first player is to lead a phase vector to the terminal set at fixed time. The aim of the second player is opposite. The maximal stable bridge leading at fixed time to the terminal set has been constructed. A stable bridge is determined by the functions of internal and external radii, which are calculated explicitly.

Для современной геометрии важное значение имеет изучение геометрий максимальной подвижности. Максимальная подвижность для $n$-мерной геометрии, задаваемой функцией $f$ пары точек означает существование $n(n+1)/2$-мерной группы преобразований, оставляющей эту функцию инвариантной. Известно много геометрий максимальной подвижности (геометрия Евклида, симплектическая, Лобачевского и т.д.), но полной классификации таких геометрий нет. В данной статье методом вложения решается одна из таких классификационных задач. Суть этого метода состоит в следующем: по известной функции пары точек $g$ трехмерной геометрии находим все невырожденные функции $f$ пары точек четырехмерных геометрий, являющиеся инвариантами группы Ли преобразований размерности 10. В этой статье $g$ - это невырожденные функции пары точек двух гельмгольцевых трехмерных геометрий: $$g = 2\ln(x_i-x_j) + \dfrac{y_i-y_j}{x_i-x_j}+2z_i+2z_j,$$ $$\ln[(x_i-x_j)^2+(y_i-y_j)^2]+ 2\gamma\,\text{arctg}\dfrac{y_i-y_j}{x_i-x_j}+2z_i+2z_j.$$ Данные геометрии локально максимально подвижны, то есть их группы движений шестимерны. Задача, решаемая в этой работе, сводится к решению аналитическими методами специальных функциональных уравнений, решения которых ищутся в виде рядов Тейлора. Для перебора различных вариантов применяется пакет математических программ Maple 15. В результате получаются только вырожденные функции пары точек.

For modern geometry, the study of maximum mobility geometries is important. The maximum mobility for $n$-dimensional geometry given by the function $f$ of a pair of points means the existence of an $n(n+1)/2$-dimensional transformation group, which leaves this function invariant. Many geometries of maximum mobility are known (Euclidean, symplectic, Lobachevsky, etc.), but there is no complete classification of such geometries. In this article, the method of embedding solves one of these classification problems. The essence of this method is as follows: from the function of a pair of points $ g $ of three-dimensional geometry, we find all non-degenerate functions $f$ of a pair of points of four-dimensional geometries that are invariants of the Lie group of transformations of dimension 10. In this article, $g$ are non-degenerate functions of a pair of points of two Helmholtz three-dimensional geometries: $$g = 2\ln(x_i-x_j) + \dfrac{y_i-y_j}{x_i-x_j} + 2z_i + 2z_j, $$ $$\ln [(x_i-x_j)^2 + (y_i-y_j)^2] + 2\gamma\,\text{arctg}\dfrac{y_i-y_j}{x_i-x_j} + 2z_i + 2z_j. $$ These geometries are locally maximally mobile, that is, their groups of motions are six-dimensional. The problem solved in this work is reduced to solving special functional equations by analytical methods, the solutions of which are sought in the form of Taylor series. For searching various options, the math software package Maple 15 is used. As a result, only degenerate functions of a pair of points are obtained.

Рассматривается задача управления с заданным моментом окончания, в которой вектограммы управления и помехи зависят линейно от заданных выпуклых компактов. Задано многозначное отображение фазового пространства задачи управления в линейное нормированное пространство $E$. Цель построения управления заключается в том, чтобы в момент окончания процесса управления фиксированный вектор пространства $E$ принадлежал образу многозначного отображения при любой допустимой реализации помехи. Стабильный мост определяется в терминах многозначных функций. Приводимая процедура строит по заданной многозначной функции, являющейся стабильным мостом, управление, которое решает поставленную задачу. Получены явные формулы, которые определяют стабильный мост в рассматриваемой задаче управления. Найдены условия, при выполнении которых построенный стабильный мост будет максимальным. К рассмотренной задаче управления с помехой можно свести некоторые задачи группового преследования. В статье приводится такой пример.

A control problem with a given end time is considered, in which the control vectograms and disturbance depend linearly on the given convex compact sets. A multivalued mapping of the phase space of the control problem to the linear normed space $E$ is given. The goal of constructing a control is that at the end of the control process the fixed vector of the space $E$ belongs to the image of the multivalued mapping for any admissible realization of the disturbance. A stable bridge is defined in terms of multivalued functions. The presented procedure constructs, according to a given multivalued function which is a stable bridge, a control that solves the problem. Explicit formulas are obtained that determine a stable bridge in the considered control problem. Conditions are found under which the constructed stable bridge is maximal. Some problems of group pursuit can be reduced to the considered control problem with disturbance. The article provides such an example.

Рассматривается нелинейное функционально-операторное уравнение типа Гаммерштейна, представляющее собой удобную форму описания широкого класса управляемых распределенных систем. Для указанного уравнения доказываются теорема единственности решения, а также мажорантный признак тотально (по всему множеству допустимых управлений) глобальной разрешимости, использующий предположения о вольтерровости операторной составляющей и о дифференцируемости по переменной состояния функциональной составляющей правой части. Кроме того, используются предположения о глобальной разрешимости исходного уравнения для фиксированного допустимого управления $u=v$, а также о глобальной разрешимости некоторого мажорантного уравнения с правой частью, зависящей от максимального отклонения допустимых управлений от управления $v$. В качестве примера рассматривается первая краевая задача для параболического уравнения второго порядка с правой частью $f\bigl( t, x(t),u(t)\bigr)$, $t=\{ t_0,\overline{t}\}\in\Pi=(0,T)\times Q$, $Q\subset\mathbb{R}^n$, $x$ - фазовая переменная, $u$ - управляющая переменная. Здесь решение мажорантного уравнения можно представить как решение начально-краевой задачи аналогичного вида с правой частью $bx^{q/2}+a_0x+Z$, при нулевых начально-краевых условиях, $Z(t)=\max\limits_{u\in\mathcal{V}(t)} |f(t,x[v](t),u)-f(t,x[v](t),v(t))|$, $\mathcal{V}(t)\subset\mathbb{R}^s$ - множество допустимых значений управления при $t\in\Pi$, $q>2$, $s\in\mathbb{N}$; $a_0(.)$ и $b\geqslant0$ - параметры, определяемые по $f^\prime_x$.

We consider a nonlinear functional operator equation of the Hammerstein type which is a convenient form of representation for a wide class of controlled distributed parameter systems. For the equation under study we prove a solution uniqueness theorem and a majorant sign for the totally (with respect to a whole set of admissible controls) global solvability subject to Volterra property of the operator component and differentiability with respect to a state variable of the functional component in the right hand side. Moreover, we use hypotheses on the global solvability of the original equation for a fixed admissible control $u=v$ and on the global solvability for some majorant equation with the right hand side depending on maximal deviation of admissible controls from the control $v$. For example we consider the first boundary value problem associated with a parabolic equation of the second order with right hand side $f\bigl( t, x(t),u(t)\bigr)$, $t=\{ t_0,\overline{t}\}\in\Pi=(0,T)\times Q$, $Q\subset\mathbb{R}^n$, where $x$ is a phase variable, $u$ is a control variable. Here, a solution to majorant equation can be represented as a solution to the zero initial-boundary value problem of the same type for analogous equation with the right hand side $bx^{q/2}+a_0x+Z$, where $Z(t)=\max\limits_{u\in\mathcal{V}(t)} |f(t,x[v](t),u)-f(t,x[v](t),v(t))|$, $\mathcal{V}(t)\subset\mathbb{R}^s$ is a set of admissible values for control at $t\in\Pi$, $q>2$, $s\in\mathbb{N}$; $a_0(.)$ and $b\geqslant0$ are parameters defined from $f^\prime_x$.

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

The research is devoted to the investigation of the behavior of optimal solutions and value functions in optimal control problems on infinite horizon, which arise in the economic growth models when an elasticity parameter of the Cobb-Douglas production function grows up to its limit value which is equal to unity. The solution is constructed within the framework of the Pontryagin maximum principle for problems on infinite time horizon. In the limit case the problem becomes linear and has a constant optimal control depending on model parameters only. Qualitative analysis of Hamiltonian systems outlines significant changes in solution behavior, namely, the absence of steady states in the limit case. Nevertheless, both the Hamiltonian function and the maximized Hamiltonian function save their properties of smoothness with respect to all variables, and strict concavity with respect to phase variables. Value functions are constructed for both linear and nonlinear optimal control problems. Numerical experiments are implemented for illustrating results of the sensitivity analysis.

Пусть $X$ — гильбертово пространство, $U$ — банахово пространство, $G\colon X\to X$ — линейный оператор такой, что оператор $B_\lambda=\lambda I-G$ является максимальным монотонным при некотором (произвольно заданном) $\lambda\in\mathbb{R}$. Для задачи Коши, связанной с управляемым полулинейным эволюционным уравнением вида \[x^\prime(t)=Gx(t)+f\bigl( t,x(t),u(t)\bigr),\quad t\in[0;T];\quad x(0)=x_0\in X,\] где $u=u(t)\colon[0;T]\to U$ — управление, $x(t)$ — неизвестная функция со значениями в $X$, доказана тотально (по множеству допустимых управлений) глобальная разрешимость при условии глобальной разрешимости задачи Коши для некоторого обыкновенного дифференциального уравнения в пространстве $\mathbb{R}$. Решение $x$ понимается в слабом смысле и ищется в пространстве $\mathbb{C}_w\bigl([0;T];X\bigr)$ слабо непрерывных функций. Фактически, обобщается аналогичный результат, доказанный автором ранее для случая ограниченного оператора $G$. Суть указанного обобщения заключается в том, что постулируемые свойства оператора $B_\lambda$ позволяют построить для него аппроксимации Иосиды линейными ограниченными операторами, распространив необходимые нам оценки с «ограниченного» на «неограниченный» случай. В качестве примеров рассматриваются начально-краевые задачи для уравнения теплопроводности и волнового уравнения.

Let $X$ be a Hilbert space, $U$ be a Banach space, $G\colon X\to X$ be a linear operator such that the operator $B_\lambda=\lambda I-G$ is maximal monotone with some (arbitrary given) $\lambda\in\mathbb{R}$. For the Cauchy problem associated with controlled semilinear evolutionary equation as follows \[x^\prime(t)=Gx(t)+f\bigl( t,x(t),u(t)\bigr),\quad t\in[0;T];\quad x(0)=x_0\in X,\] where $u=u(t)\colon[0;T]\to U$ is a control, $x(t)$ is unknown function with values in $X$, we prove the totally (with respect to a set of admissible controls) global solvability subject to global solvability of the Cauchy problem associated with some ordinary differential equation in the space $\mathbb{R}$. Solution $x$ is treated in weak sense and is sought in the space $\mathbb{C}_w\bigl([0;T];X\bigr)$ of weakly continuous functions. In fact, we generalize a similar result having been proved by the author formerly for the case of bounded operator $G$. The essence of this generalization consists in that postulated properties of the operator $B_\lambda$ give us the possibility to construct Yosida approximations for it by bounded linear operators and thus to extend required estimates from “bounded” to “unbounded” case. As examples, we consider initial boundary value problems associated with the heat equation and the wave equation.