Все выпуски

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

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

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

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

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

Для современной геометрии важное значение имеет изучение геометрий максимальной подвижности. Максимальная подвижность для $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. В результате получаются только вырожденные функции пары точек.

В работе рассматривается дифференциальное уравнение типа Эмдена-Фаулера второго порядка с отрицательными потенциалом $y'' - p(x, y, y') |y|^k \text{ sgn } y=0$ в случае регулярной нелинейности $k>1$. Предполагается, что функция $p(x, u, v)$ положительна, непрерывна по $x$ и удовлетворяет условию Липшица по последним двум аргументам. Исследуется асимптотическое поведение максимально продолженных решений рассматриваемого уравнения. Изучается случай неограниченной сверху и отделенной от нуля снизу функции $p(x, u, v)$. Получены условия существования вертикальной асимптоты у всех нетривиальных максимально продолженных решений уравнения. Кроме того, получены достаточные условия, при которых все нетривиальные максимально продолженные решения уравнения обладают свойством $\displaystyle \lim_{x \to a} |y'(x)| = +\infty$, $\displaystyle \lim_{x \to a} |y(x)| < + \infty$, где $a$ - граничная точка области определения.

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

В работе рассматриваются результаты решения задачи стационарного течения вязкой несжимаемой жидкости в плоском канале с обратным уступом и прогреваемой нижней стенкой в широком диапазоне числа Рейнольдса $100\leqslant \text{Re}\leqslant 1000$ и параметра расширения потока $1.11 \leqslant ER \leqslant 10$. Исследование выполнено путем численного интегрирования системы двумерных уравнений Навье-Стокса в переменных «скорость-давление» на равномерных сетках с шагом 1/300. Достоверность полученных результатов подтверждается их сравнением с литературными данными. Приводятся подробные картины течения и перегрева жидкости в зависимости от двух основных параметров задачи: $\text{Re}$ и $ER$. Показывается, что с одновременным ростом параметров $\text{Re}$ и $ER$ существенно усложняется структура течения - увеличиваются количество вихрей и их размеры вплоть до образования вихря за уступом с двумя центрами вращения. Также показывается, что характерная высота зоны прогрева течения слабо зависит от $\text{Re}$ и $ER$ и в конечном счете ближе к выходу из канала составляет приблизительно половину его высоты. Для всех центров вихрей определяются их основные характеристики: координаты, экстремумы функции тока, завихренности. Анализируется сложное немонотонное поведение профилей коэффициентов трения, сопротивления и теплоотдачи (числа Нуссельта) по длине канала. Показывается, что эти коэффициенты в одинаковой степени сильно зависят как от числа Рейнольдса, так и от параметра расширения канала, достигая своих максимальных значений при максимальных значениях $\text{Re}$ и $ER$.

Пусть $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$ позволяют построить для него аппроксимации Иосиды линейными ограниченными операторами, распространив необходимые нам оценки с «ограниченного» на «неограниченный» случай. В качестве примеров рассматриваются начально-краевые задачи для уравнения теплопроводности и волнового уравнения.