Все выпуски

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

Пусть $U$ — множество допустимых управлений, $T>0$ и задана шкала банаховых пространств $W[0;\tau]$, $\tau\in(0;T]$, такая, что множество сужений функций из $W=W[0;T]$ на $[0;\tau]$ совпадает с $W[0;\tau]$; $F[.;u]\colon W\to W$ — управляемый вольтерров оператор, $u\in U$. Ранее для операторного уравнения $x=F[x;u]$, $x\in W$, автором была введена система сравнения в форме функционально-интегрального уравнения в пространстве $\mathbf{C}[0;T]$. Было установлено, что для сохранения (относительно малых вариаций правой части) глобальной разрешимости операторного уравнения достаточно сохранения глобальной разрешимости указанной системы сравнения, а также установлены соответствующие достаточные условия. В данной статье рассматриваются дальнейшие примеры приложения этой теории: нелинейное волновое уравнение, сильно нелинейное волновое уравнение, нелинейное уравнение теплопроводности, сильно нелинейное параболическое уравнение.

Рассматривается нелинейное функционально-операторное уравнение типа Гаммерштейна, представляющее собой удобную форму описания широкого класса управляемых распределенных систем. Для указанного уравнения доказываются теорема единственности решения, а также мажорантный признак тотально (по всему множеству допустимых управлений) глобальной разрешимости, использующий предположения о вольтерровости операторной составляющей и о дифференцируемости по переменной состояния функциональной составляющей правой части. Кроме того, используются предположения о глобальной разрешимости исходного уравнения для фиксированного допустимого управления $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$.

Рассматривается нелинейное эволюционное операторное уравнение второго рода $\varphi=\mathcal{F}\bigl[f[u]\varphi\bigr]$, $\varphi\in W[0;T]\subset L_q\bigl([0;T];X\bigr)$, в произвольном банаховом пространстве $X$, с эволюционными (вольтерровыми) операторами $\mathcal{F}\colon L_p\bigl([0;\tau];Y\bigr)\to W[0;T]$, $f[u]\colon W[0;T]\to L_p\bigl([0;T];Y\bigr)$ общего вида, $Y$ - произвольное банахово пространство, $u\in\mathcal{D}$ - управляющий параметр. Для указанного уравнения доказываются теорема единственности решения, а также теорема о достаточных условиях тотально (по множеству допустимых управлений) глобальной разрешимости при варьировании управления. При некоторых естественных предположениях, связанных с поточечными по времени $t$ оценками, заключение об однозначной тотально глобальной разрешимости делается, исходя из факта глобальной разрешимости системы сравнения, в качестве которой выступает система функционально-интегральных неравенств (можно заменить ее системой уравнений аналогичного типа, а в некоторых случаях - системой обыкновенных дифференциальных уравнений) относительно функций одного переменного $t\in[0;T]$ со значениями в пространстве $\mathbb{R}$. В качестве примера устанавливаются условия однозначной тотально глобальной разрешимости управляемой нелинейной нестационарной системы уравнений Навье-Стокса.

Пусть $H$ — банахово пространство, $T>0$, $\sigma\in[1;\infty]$ и задана шкала банаховых пространств $W[0;\tau]$, $\tau\in(0;T)$, индуцированная сужениями из пространства $W=W[0;T]$; $\mathcal{F}\colon L_\sigma(0,T;H)\to W$ — вольтерров оператор; $f[u]\colon W\to L_\sigma(0,T;H)$ — управляемый вольтерров оператор, зависящий от управления $u\in U$. Рассматривается уравнение вида $$ x=\mathcal{F}\bigl( f[u](x)\bigr),\quad x\in W. $$ Для этого уравнения устанавливаются признаки тотально (по множеству допустимых управлений) глобальной разрешимости при условии глобальной разрешимости некоторого функционально-интегрального неравенства в пространстве $\mathbb{R}$. Во многих частных случаях указанное неравенство может быть конкретизировано как задача Коши для обыкновенного дифференциального уравнения. Фактически, развивается аналогичный результат, доказанный автором ранее, на этот раз при других, более удобных для практического использования условиях (хотя и в более частной постановке). Отдельно рассматриваются случаи: 1) компактного вложения пространств и непрерывности операторов $\mathcal{F}$, $f[u]$ (такой подход автором ранее не использовался); 2) выполнения локально-интегрального аналога условия Липшица относительно указанных операторов. Во втором случае доказывается также единственность решения. В первом случае применяется теорема Шаудера, во втором — технология продолжения решения по времени, то есть продолжения вдоль вольтерровой цепочки. В качестве примера рассматривается нелинейное волновое уравнение в пространстве $\mathbb{R}^n$.

Пусть n,m, ℓ, s ∈ N – заданные числа, П ⊂ Rⁿ – измеримое по Лебегу множество, X, Z – банаховы идеальные пространства измеримых на П функций. Рассматривается нелинейное операторное уравнение:

x = θ + AF[x], x ∈ X^ℓ, (1)

где A : Z^m → X^ℓ – линейный ограниченный оператор, F : X^ℓ → Z^m – некоторый оператор. Уравнение (1) является естественной формой описания широкого класса сосредоточенных и распределенных систем. Ранее В.П. Политюковым был предложен метод монотонизации для обоснования разрешимости уравнения вида (1) и получения поточечных оценок решения. Суть его состояла в том, что разрешимость уравнения (1) доказывалась (помимо прочих условий) для случая, когда I) оператор F допускал поправку вида G = λI до монотонного оператора F[x] = F[θ+x]+G[x] такую, что II) (I +AG)⁻¹A > 0 (λ > 0, I  тождественный оператор). Как видно из примеров, приведенных в данной статье, условия I) и II) могут противоречить друг другу, что сужает сферу применения метода. Основной результат статьи в том, что в случае оператора A, обладающего свойством вольтерровости, естественным для эволюционных уравнений, требование монотонизируемости I) можно заменить требованием оценки оператора F на некотором конусном отрезке сверху и снизу через линейный оператор G плюс фиксированный элемент. Доказывается, что для глобальной разрешимости начально-краевой задачи, связанной с полулинейным эволюционным уравнением, достаточно, чтобы аналогичная начально-краевая задача, связанная с линейным уравнением, полученным путем оценки правой части исходного полулинейного уравнения на некотором конусном отрезке, имела положительное решение. В качестве иллюстрации рассматривается применение указанных результатов к системе Гурса–Дарбу, задаче Коши для волнового уравнения и первой краевой задаче для уравнения диффузии.

Доказываются достаточные условия поточечной управляемости по нелинейному функционалу для нелинейных распределенных систем, допускающих представление в виде вольтеррова функционально-операторного уравнения в лебеговом пространстве, на заданном множестве D конечномерных аппроксимаций управления. Определяется множество глобальной разрешимости Ω как множество всех управлений из D, для каждого из которых уравнение имеет единственное глобальное решение. В качестве вспомогательного результата, представляющего самостоятельный интерес, доказывается, что при сделанных предположениях выполняется равенство Ω = D. Сведение управляемых распределенных систем к изучаемому функционально-операторному уравнению иллюстрируется на двух примерах: первой краевой задачи для параболического уравнения второго порядка и смешанной задачи для гиперболического уравнения второго порядка; и то, и другое уравнение достаточно общего вида.

Рассматривается регуляризация классических условий оптимальности (КУО) — принципа Лагранжа и принципа максимума Понтрягина — в выпуклой задаче оптимального управлении с функциональными ограничениями типа равенства и неравенства. Управляемая система задается линейным функционально-операторным уравнением второго рода общего вида в пространстве $L^m_2$, основной оператор правой части уравнения предполагается квазинильпотентным. Целевой функционал задачи является сильно выпуклым. Получение регуляризованных КУО в итерационной форме основано на использовании метода итеративной двойственной регуляризации. Основное предназначение получаемых в работе регуляризованных принципа Лагранжа и принципа максимума Понтрягина в итерационной форме — устойчивое генерирование минимизирующих приближенных решений в смысле Дж. Варги. Регуляризованные КУО в итерационной форме формулируются как теоремы существования в исходной задаче минимизирующих приближенных решений. Они «преодолевают» свойства некорректности КУО и являются регуляризирующими алгоритмами для решения оптимизационных задач. В качестве иллюстративного примера рассматривается задача оптимального управления, связанная с гиперболической системой дифференциальных уравнений первого порядка.

Пусть $U$ — множество допустимых управлений, $T>0$ и задана шкала банаховых пространств $W[0;\tau]$, $\tau\in(0;T]$, такая, что множество сужений функций из $W=W[0;T]$ на $[0;\tau]$ совпадает с $W[0;\tau]$, $F[\cdot;u]\colon W\to W$ — управляемый вольтерров оператор, $u\in U$. Для операторного уравнения $x=F[x;u]$, $x\in W$, вводится система сравнения в форме функционально-интегрального уравнения в пространстве $\mathbf{C}[0;T]$. Устанавливается, что при естественных предположениях относительно оператора $F$ для сохранения (относительно малых вариаций правой части) глобальной разрешимости операторного уравнения достаточно сохранения глобальной разрешимости указанной системы сравнения. Сам по себе этот факт аналогичен некоторым результатам, установленным автором ранее. Центральный результат статьи составляет ряд признаков устойчивой глобальной разрешимости функционально-интегральных уравнений, упомянутых выше, без предположения типа локальной липшицевости правой части. В качестве содержательного примера, представляющего самостоятельный интерес, рассматривается нелинейная нестационарная система Навье–Стокса в пространстве $\mathbb{R}^3$.

Рассматриваются функционально-дифференциальные включения с вольтерровым по А.Н. Тихонову многозначным отображением и импульсными воздействиями. Сформулированы теоремы о продолжаемости решений и установлена связь априорной ограниченности решений с глобальной разрешимостью системы.