Все выпуски

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

Работа посвящена дифференциальным включениям (д.в.) на конечном промежутке времени. Обсуждаются вопросы, касающиеся вычисления множеств достижимости д.в. Как правило, множества достижимости не поддаются эффективному аналитическому описанию. В то же время часто возникает потребность в их вычислении. Довольно часто она появляется, например, в теории управления, стимулируя развитие методов и алгоритмов приближенного вычисления множеств достижимости.

Ряд задач в теории характеристических показателей Ляпунова линейных дифференциальных систем

ẋ=A(t)x,    x∈Rⁿ,    t≥0,

сводится к изучению влияния возмущений коэффициентов на характеристические показатели и другие асимптотические инварианты возмущенных систем

ẏ=A(t)y+Q(t)y,    y∈Rⁿ,    t≥0.

При этом возмущения коэффициентов предполагаются принадлежащими некоторым классам малости, то есть определенным подмножествам множества KC_n(R⁺) кусочно-непрерывных и ограниченных на положительной полуоси n×n-матриц. Обычно используемые классы возмущений, например бесконечно малые (исчезающие в бесконечности), экспоненциально убывающие либо суммируемые на полуоси, задаются конкретными аналитическими условиями, но общее определение класса малости в теории показателей отсутствует. На основе анализа свойств общепринятых классов малости нами предложено аксиоматическое определение класса малости возмущений коэффициентов линейных дифференциальных систем, которому удовлетворяет большинство таких классов, используемых в теории характеристических показателей. Это определение достаточно громоздко. Для более компактной характеристики классов малости предложено использовать следующее их свойство: множество возмущений удовлетворяет предложенному определению класса малости тогда и только тогда, когда оно является полной матричной алгеброй над произвольным нетривиальным идеалом кольца функций KC₁(R⁺) (с поточечным умножением), содержащим хотя бы одну строго положительную функцию.

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

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

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

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

Классическая система реакции-диффузии — система Шнакенберга — рассматривается в ограниченной области $m$-мерного пространства, на границе которой предполагаются выполненными краевые условия Неймана. Изучается диффузионная неустойчивость стационарного пространственно-однородного решения этой системы, называемая также неустойчивостью Тьюринга, возникающая при изменении коэффициента диффузии $d.$ Путем анализа линеаризованной системы в бездиффузионном и диффузионном приближениях получено аналитическое описание области необходимых и достаточных условий неустойчивости Тьюринга на плоскости параметров системы. Показано, что одна из границ области необходимых условий является огибающей семейства кривых, ограничивающих область достаточных условий. При этом точки пересечения двух соседних кривых лежат на прямой, угловой коэффициент которой зависит от собственных значений оператора Лапласа в рассматриваемой области и не зависит от коэффициента диффузии. Найдено аналитическое выражение критического коэффициента диффузии, при котором происходит потеря устойчивости положения равновесия системы. Указаны условия, в зависимости от которых множество волновых чисел, соответствующих нейтральным модам устойчивости, счетно, конечно или пусто. Показано, что полуось $d>1$ можно представить в виде счетного объединения полуинтервалов, каждому из которых соответствует минимальное волновое число, при котором происходит потеря устойчивости, причем точки разбиения полуоси выражаются через собственные значения оператора Лапласа в рассматриваемой области.

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

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