Все выпуски

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

Рассматривается линейная управляемая система с неполной обратной связью с дискретным временем

x(t+1)=A(t)x(t)+B(t)u(t),   y(t)=C*(t)x(t),   u(t)=U(t)y(t),   t∈Z.

Исследуется задача управления асимптотическим поведением замкнутой системы

x(t+1)=(A(t)+B(t)U(t)C*(t))x(t), x∈Kⁿ.                (1)

Здесь K=C или K=R. Для такой системы вводится понятие согласованности. Это понятие является обобщением понятия полной управляемости на системы с неполной обратной связью. Исследовано свойство согласованности системы (1), получены новые необходимые условия и достаточные условия согласованности системы (1), в том числе в стационарном случае. Для стационарной системы вида (1) исследуется задача о глобальном управлении спектром собственных значений, которая заключается в приведении характеристического многочлена матрицы стационарной системы (1) с помощью стационарного управления U к произвольному наперед заданному полиному. Для системы (1) с постоянными коэффициентами специального вида, когда матрица A имеет форму Хессенберга, а в матрицах B и C все строки соответственно до p-й и после p-й (не включая p) равны нулю, свойство согласованности является достаточным условием глобальной управляемости спектра собственных значений. Ранее было доказано, что обратное утверждение верно для n<4 и неверно для n>5. В настоящей работе доказано, что обратное утверждение верно для n=4.

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

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

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

В работе рассматривается дифференциальное уравнение типа Эмдена-Фаулера второго порядка с отрицательными потенциалом $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$ - граничная точка области определения.

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

Исследуется асимптотическое поведение решений разностных уравнений, правая часть каждого из которых в данный момент времени зависит не только от значения в предыдущий момент, но и от случайного параметра, принимающего значения в заданном множестве $\Omega.$ Получены условия устойчивости по Ляпунову и асимптотической устойчивости положения равновесия, выполненные для всех значений случайных параметров и выполненные с вероятностью единица. Показано, что задача о сосуществовании стохастических циклов различных периодов имеет решение, которое существенно отличается от известного результата А.Н. Шарковского для детерминированного разностного уравнения, а именно - при определенных условиях из существования стохастического цикла длины $k$ следует существование цикла любой длины $\ell>k$.

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

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