Известия РАН. Теория и системы управления, 2019, № 1, стр. 109-116

О ЗАДАЧЕ ГРАНИЧНОГО УПРАВЛЕНИЯ ДЛЯ СИСТЕМЫ, ОПИСЫВАЕМОЙ ДВУМЕРНЫМ ВОЛНОВЫМ УРАВНЕНИЕМ

И. В. Романов a*, А. С. Шамаев b**

a Национальный исследовательский университет Высшая школа экономики, ИПУ РАН
Москва, Россия

b ИПМех РАН, МГУ
Москва, Россия

* E-mail: romm1@list.ru
** E-mail: sham@rambler.ru

Поступила в редакцию 24.04.2018
После доработки 31.08.2018

Полный текст (PDF)

Аннотация

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

Введение. В ходе исследований была решена проблема о приведении в состояние покоя за конечное время двумерной мембраны с помощью ограниченного по абсолютной величине управляющего силового воздействия, приложенного к границе рассматриваемой мембраны. В постановке задачи управления на функции начальных данных (смещение и скорость) наложены условия гладкости и некоторые граничные условия. Граничное силовое воздействие определяется неоднородным условием Неймана. Заметим, что условия гладкости начальных данных, приведенные в данной работе, существенно более слабые, чем в [1].

Решение задачи делится на два этапа. На первом этапе производится стабилизация решения в достаточно малую окрестность состояния покоя с помощью трения, введенного на границе области. При этом достаточная малость величины управления достигается за счет выбора близкого к нулю значения коэффициента трения. В данном случае используются результаты работ [24], посвященные стабилизации энергии мембран посредством граничных условий специального вида. На втором этапе управления производится полное успокоение колебаний мембраны. Здесь существенную роль играет метод продолжения начальных данных на некоторую ограниченную область и рассмотрение некоторой специальной начально-краевой задачи для двумерного волнового уравнения в этой области. Тогда управлением является производная по нормали к границе исходной области, занимаемой мембраной, взятая от решения указанной начально-краевой задачи. Заметим, что способ управления на данном этапе фактически определяется способом продолжения начальных данных на упомянутую ограниченную область. Решающую роль в подобной конструкции играет обратимость классического волнового уравнения по времени. Управление такого рода использовалось в работах многих авторов 70–90-х гг.В данном случае ограничение на абсолютную величину управляющего силового воздействия выполняется в силу того, что решение исходной задачи было приведено в достаточно малую окрестность по норме некоторого соболевского пространства на первом этапе. Точные математические определения будут даны ниже.

Заметим, что изложенный в данной работе метод доказательства может быть применен в случае любой размерности, но мы рассматриваем плоский случай для простоты изложения.

Возможность полной остановки за конечное время в случае распределенного управления доказывается в [5]. Там же дана оценка сверху для оптимального времени управления.

Ранее вопрос об управлении колебаниями плоской мембраны c помощью граничных сил рассматривался многими авторами (например, обзорные статьи [2, 6], а также приведенная в них литература). В монографии [7] описывается задача об остановке колебаний ограниченной струны с помощью граничного управления, доказывается, что возможно за конечное время полностью остановить колебания струны при ограничении на абсолютную величину управляющего воздействия и дается оценка времени, необходимого для полной остановки колебаний. В [8] рассматриваются задачи оптимального управления системами с распределенными параметрами и формулируются условия оптимальности, аналогичные принципу максимума Л.С. Понтрягина для систем с конечным числом степеней свободы. При этом указанные условия далеко не всегда приводят к конструктивному способу построения оптимального управления. В [6] приводится задача о полной остановке движения мембраны, доказывается существование такого граничного управления и оценивается время, необходимое для полной остановки колебаний. Здесь авторы во многих постановках задач отказываются от требований оптимальности управления и рассматривают только проблему управляемости, что существенно облегчает исследование. В работе не берутся задачи с ограничением на абсолютную величину управляющих сил, а также нет явных выражений для управляющих воздействий, а только доказываются теоремы существования.

Постановка задачи данной статьи существенно отличается от представленной в [2, 6], так как величина управляющего силового воздействия на границе области должна удовлетворять условию ${\text{|}}u(t,x){\text{|}} \leqslant \varepsilon $. Заметим также, что мы ищем здесь не оптимальное, а некоторое допустимое (удовлетворяющее исходным ограничениям) управление.

1. Постановка задачи. Пусть $\Omega $ – ограниченная область в ${{R}^{2}}$ с бесконечно гладкой границей, $\nu $ – внешняя единичная нормаль к границе области $\Omega $, $\Sigma $ – боковая поверхность цилиндра ${{Q}_{T}} = (0,T) \times \Omega $. Пусть также граница $\Omega $ состоит из двух частей ${{\Gamma }_{0}}$ и ${{\Gamma }_{1}}$, т.е.

$\partial \Omega = {{\Gamma }_{0}} \cup {{\Gamma }_{1}}.$

Предположим дополнительно, что

Рисунок
${{\bar {\Gamma }}_{0}} \cap {{\bar {\Gamma }}_{1}} = \emptyset .$

Таким образом, ${{\Gamma }_{0}}$ должна быть также границей некоторой ограниченной области $\Omega {\text{*}}$, такой, что $\Omega \cap \Omega {\text{*}} = \emptyset $ (рисунок).

Обозначим

${{\Sigma }_{i}} = (0,T) \times {{\Gamma }_{i}},\quad i = 0,1.$

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

(1.1)
${{w}_{{tt}}}(t,x) - \Delta w(t,x) = 0,\quad (t,x) \in {{Q}_{T}},$
(1.2)
${{\left. w \right|}_{{t = 0}}} = \varphi (x),\quad {{\left. {{{w}_{t}}} \right|}_{{t = 0}}} = \psi (x),\quad x \in \Omega ,$
(1.3)
$w(t,x) = 0,\quad (t,x) \in {{\Sigma }_{0}},$
(1.4)
$\frac{{\partial w}}{{\partial \nu }} = u(t,x),\quad (t,x) \in {{\Sigma }_{1}}.$

Пусть $\varepsilon > 0$ – произвольное число. Ставится задача построить такое управляющее воздействие u, удовлетворяющее неравенству

(1.5)
$\left| {u(t,x)} \right| \leqslant \varepsilon ,$
что соответствующее решение $w$ и его первая производная по t обращаются в нуль в некоторый момент времени $T$, т.е. $w(T,x) = 0,$ ${{w}_{t}}(T,x) = 0$ для всех $x \in \Omega $. Если данная задача имеет решение, то систему (1.1)–(1.3) будем называть управляемой.

Рассмотрим пространство

$\mathcal{H}_{0}^{3}(\Omega ) = \{ ({{w}_{1}},{{w}_{2}}) \in {{H}^{3}}(\Omega ) \times {{H}^{2}}(\Omega ):{{w}_{1}}(x) = {{w}_{2}}(x) = \Delta {{w}_{1}} = 0,x \in {{\Gamma }_{0}}\} .$

Следующая теорема является главным результатом данной работы.

Теорема. Пусть дополнительно граница $\Omega $ удовлетворяет условию: существует точка ${{x}_{0}} \in {{R}^{2}}$, такая, что:

1) $(x - {{x}_{0}}) \cdot \nu \leqslant 0$, $x \in {{\Gamma }_{0}}$,

2) $(x - {{x}_{0}}) \cdot \nu \geqslant \beta > 0$, $x \in {{\Gamma }_{1}}$,

кроме того, $(\varphi (x),\psi (x)) \in \mathcal{H}_{0}^{3}(\Omega )$ и

(1.6)
$\frac{{\partial \varphi }}{{\partial \nu }} = \psi = \frac{{\partial \psi }}{{\partial \nu }} = \Delta \varphi = 0,\quad x \in {{\Gamma }_{1}}.$

Тогда система (1.1)–(1.3) управляема.

Доказательство теоремы состоит из двух этапов. На первом этапе рассматриваемое решение и его первая производная по времени приводятся в достаточно малую окрестность нуля по норме $\mathcal{H}_{0}^{3}(\Omega )$, а на втором этапе из малой окрестности система приводится в полный покой.

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

2. Первый этап управления. На первом этапе поставим задачу приведения решения системы (1.1)–(1.4) и ее первой производной по переменной t в сколь угодно малую окрестность нуля по норме пространства $\mathcal{H}_{0}^{3}(\Omega )$. При этом на управляющее воздействие наложено ограничение (1.5).

Для этого воспользуемся результатами работ [3, 4]. Суть этих результатов состоит в том, что на ${{\Gamma }_{1}}$ вводится трение, заданное первой производной от $w(t,x)$ по переменной t, т.е. рассматривается начально-краевая задача (1.1)–(1.3) с краевым условием

(2.1)
$\frac{{\partial w(t,x)}}{{\partial \nu }} = - k\frac{{\partial w(t,x)}}{{\partial t}},\quad x \in {{\Gamma }_{1}},$
где $k > 0$ – коэффициент трения. Опишем коротко вопросы разрешимости данной начально-краевой задачи и регуляризации ее решения.

Введем следующие обозначения:

$H = {{L}_{2}}(\Omega ),\quad V = H_{{{{\Gamma }_{0}}}}^{1}(\Omega ),$
где

$H_{{{{\Gamma }_{0}}}}^{1}(\Omega ) = \left\{ {v \in {{H}^{1}}(\Omega ):\;\;v(x) = 0,\;x \in {{\Gamma }_{0}}} \right\}.$

В пространстве $V \times H$ определим неограниченный оператор

$\mathfrak{A} = \left( {\begin{array}{*{20}{c}} 0&I \\ \Delta &0 \end{array}} \right)$
c областью определения

$D(\mathfrak{A}) = \left\{ {({{w}_{1}},{{w}_{2}}) \in {{H}^{2}}(\Omega ) \times {{H}^{1}}(\Omega ):\;\;{{w}_{1}}(x) = {{w}_{2}}(x) = 0,\;x \in {{\Gamma }_{0}};\;\frac{{\partial {{w}_{1}}}}{{\partial \nu }} = - k{{w}_{2}},\;x \in {{\Gamma }_{1}}} \right\}.$

Известно, что квадрат нормы в пространстве $D(\mathfrak{A})$ может быть задан следующим образом:

(2.2)
$\left\| {({{w}_{1}},{{w}_{2}})} \right\|_{{D(\mathfrak{A})}}^{2} = \left\| {({{w}_{1}},{{w}_{2}})} \right\|_{{V \times H}}^{2} + \left\| {\mathfrak{A}({{w}_{1}},{{w}_{2}})} \right\|_{{V \times H}}^{2}.$

Рассмотрим систему дифференциальных уравнений:

(2.3)
${{\bar {w}}_{t}} = \mathfrak{A}\bar {w},$
где $\bar {w} = ({{w}_{1}},{{w}_{2}})$,

Известно (см., например, [4] и цитируемую там работу [9]), что оператор $\mathfrak{A}$ – производящий оператор сжимающей полугруппы ${{e}^{{t\mathfrak{A}}}}$, т.е. такой полугруппы, для которой

${\text{||}}{{e}^{{t\mathfrak{A}}}}{\text{||}} \leqslant 1.$

Заметим также, что оператор $\mathfrak{A}$ является диссипативным. Действительно, для любого $\bar {v} \in D(\mathfrak{A})$ имеем

$\begin{gathered} {{(\mathfrak{A}\bar {v},\bar {v})}_{{V \times H}}} = \mathop {\left( {({{v}_{2}},\Delta {{v}_{1}}),({{v}_{1}},{{v}_{2}})} \right)}\nolimits_{V \times H} = \int\limits_\Omega {\frac{{\partial {{v}_{2}}}}{{\partial {{x}_{1}}}}\frac{{\partial {{v}_{1}}}}{{\partial {{x}_{1}}}}} + \frac{{\partial {{v}_{2}}}}{{\partial {{x}_{2}}}}\frac{{\partial {{v}_{1}}}}{{\partial {{x}_{2}}}}dx + {{(\Delta {{v}_{1}},{{v}_{2}})}_{H}} = \\ = \;\int\limits_{{{\Gamma }_{1}}} \,\frac{{\partial {{v}_{1}}}}{{\partial \nu }}{{v}_{2}}d\Gamma = - k\int\limits_{{{\Gamma }_{1}}} \,v_{2}^{2}d\Gamma \leqslant 0, \\ \end{gathered} $
что и означает диссипативность.

Из теории непрерывных полугрупп известно, что если пара начальных данных $(\varphi ,\psi )$ является элементом пространства $D({{\mathfrak{A}}^{k}})$, $k = 0,1,2,\;...$, то для соответствующего решения системы (2.3) верно включение

$({{w}_{1}}(t),{{w}_{2}}(t)) \in C([0,T];D({{\mathfrak{A}}^{k}})).$

Предположим, что $(\varphi ,\psi ) \in V \times H$. Доказано (см. [3] или [4], но для более слабых условий на границу области), что для энергии системы верно неравенство

(2.4)
$E(t) \leqslant M{{e}^{{ - 2\gamma t}}}E(0),\quad t \geqslant 0,$
где
$E(t) = \int\limits_\Omega \,\{ w_{{1,{{x}_{1}}}}^{2}(t,x) + w_{{1,{{x}_{2}}}}^{2}(t,x) + w_{2}^{2}(t,x)\} dx$
– энергия системы и положительные постоянные M и $\gamma $ не зависят от начальных данных.

Пусть $(\varphi ,\psi ) \in D(\mathfrak{A})$ и $({{w}_{1}}(t),{{w}_{2}}(t))$ – соответствующее этим начальным данным решение. Подействуем на уравнение (2.3) и начальные условия (1.2) оператором $\mathfrak{A}$. Следовательно, получим

$\frac{d}{{dt}}\mathfrak{A}\bar {w}(t) = {{\mathfrak{A}}^{2}}\bar {w}(t),\quad \mathfrak{A}\bar {w}(0) = \mathfrak{A}(\varphi ,\psi ).$

Заметим, что

(2.5)
$\mathfrak{A}({{w}_{1}}(t),{{w}_{2}}(t)) = ({{w}_{2}}(t),\Delta {{w}_{1}}(t)).$

Тогда из (2.4) и (2.5) имеем

(2.6)
$\int\limits_\Omega \,\{ w_{{2,{{x}_{1}}}}^{2}(t) + w_{{2,{{x}_{2}}}}^{2}(t) + {{(\Delta {{w}_{1}}(t))}^{2}}\} dx \leqslant M{{e}^{{ - 2\gamma t}}}\int\limits_\Omega \,\{ \psi _{{{{x}_{1}}}}^{2} + \psi _{{{{x}_{2}}}}^{2} + {{(\Delta \varphi )}^{2}}\} dx.$

Объединяя (2.2), (2.4) и (2.6), получим:

(2.7)
${{\left\| {({{w}_{1}}(t),{{w}_{2}}(t))} \right\|}_{{D(\mathfrak{A})}}} \leqslant {{M}_{1}}{{e}^{{ - \gamma t}}}{{\left\| {(\varphi ,\psi )} \right\|}_{{D(\mathfrak{A})}}},\quad t \geqslant 0.$

Пусть начальные данные являются элементом $D(\mathfrak{A})$, тогда для соответствующего решения из теории эллиптических краевых задач (см. [10, с. 98]) верна оценка

(2.8)
${{\left\| {{{w}_{1}}(t)} \right\|}_{{{{H}^{2}}(\Omega )}}} \leqslant {{N}_{1}}\left( {{{{\left\| {\Delta {{w}_{1}}(t)} \right\|}}_{{{{L}_{2}}(\Omega )}}} + k{{{\left\| {{{w}_{2}}(t)} \right\|}}_{{{{H}^{{\frac{1}{2}}}}({{\Gamma }_{1}})}}} + {{{\left\| {{{w}_{1}}(t)} \right\|}}_{{{{L}_{2}}(\Omega )}}}} \right),$
где константа N1 не зависит от выбора w1. Из последней оценки, а также из (2.4) и (2.6) следует, что ${{w}_{1}}(t)$ стремится к нулю при $t \to + \infty $ по норме в ${{H}^{2}}(\Omega )$, так как w1 закреплено на части границы.

Следствием этих оценок и рассуждений является эквивалентность норм в пространствах $D(\mathfrak{A})$ и ${{H}^{2}} \times {{H}^{1}}$.

Перейдем теперь к рассмотрению пространства $D({{\mathfrak{A}}^{2}})$. Как и прежде, используя теорию разрешимости эллиптических краевых задач, данное пространство можно эффективно описать следующим образом:

$\begin{gathered} D({{\mathfrak{A}}^{2}}) = \left\{ {({{w}_{1}},{{w}_{2}}) \in {{H}^{3}}(\Omega ) \times {{H}^{2}}(\Omega ):{{w}_{1}}(x)\;\mathop = \limits_{_{{_{{}}}}} \;{{w}_{2}}(x) = \Delta {{w}_{1}}(x) = 0,x \in {{\Gamma }_{0}};} \right. \\ \left. {\frac{{\partial {{w}_{1}}}}{{\partial \nu }} = - k{{w}_{2}},\frac{{\partial {{w}_{2}}}}{{\partial \nu }} = - k\Delta {{w}_{1}},x \in {{\Gamma }_{1}}} \right\}. \\ \end{gathered} $

Пусть $({{w}_{1}}(t),{{w}_{2}}(t))$ – решение задачи (1.1)–(1.3), (2.1), тогда оно принадлежит пространству $C([0,T];D({{\mathfrak{A}}^{2}}))$. Имеем

(2.9)
${{\mathfrak{A}}^{2}}({{w}_{1}},{{w}_{2}}) = (\Delta {{w}_{1}},\Delta {{w}_{2}}).$

Из (2.9) и [4] следует:

(2.10)
$\int\limits_\Omega \,\{ {{(\Delta {{w}_{{1,{{x}_{1}}}}}(t))}^{2}} + {{(\Delta {{w}_{{1,{{x}_{2}}}}}(t))}^{2}} + {{(\Delta {{w}_{2}}(t))}^{2}}\} dx \leqslant M{{e}^{{ - 2\gamma t}}}\int\limits_\Omega \,\{ {{(\Delta {{\varphi }_{{{{x}_{1}}}}})}^{2}} + {{(\Delta {{\varphi }_{{{{x}_{2}}}}})}^{2}} + {{(\Delta \psi )}^{2}}\} dx.$

Объединяя (2.7) и (2.10), получим

(2.11)
${{\left\| {({{w}_{1}}(t),{{w}_{2}}(t))} \right\|}_{{D({{\mathfrak{A}}^{2}})}}} \leqslant {{M}_{2}}{{e}^{{ - \gamma t}}}{{\left\| {(\varphi ,\psi )} \right\|}_{{D({{\mathfrak{A}}^{2}})}}},\quad t \geqslant 0.$

Применяя теорию эллиптических граничных задач (см. [10, с. 98]), можно написать

(2.12)
${{\left\| {{{w}_{1}}(t)} \right\|}_{{{{H}^{3}}(\Omega )}}} \leqslant {{N}_{2}}\left( {{{{\left\| {\Delta {{w}_{1}}(t)} \right\|}}_{{{{H}^{1}}(\Omega )}}} + k{{{\left\| {{{w}_{2}}(t)} \right\|}}_{{{{H}^{{\tfrac{3}{2}}}}({{\Gamma }_{1}})}}} + {{{\left\| {{{w}_{1}}(t)} \right\|}}_{{{{L}_{2}}(\Omega )}}}} \right),$
(2.13)
${{\left\| {{{w}_{2}}(t)} \right\|}_{{{{H}^{2}}(\Omega )}}} \leqslant {{N}_{3}}\left( {{{{\left\| {\Delta {{w}_{2}}(t)} \right\|}}_{{{{L}_{2}}(\Omega )}}} + k{{{\left\| {\Delta {{w}_{1}}(t)} \right\|}}_{{{{H}^{{\tfrac{1}{2}}}}({{\Gamma }_{1}})}}} + {{{\left\| {{{w}_{2}}(t)} \right\|}}_{{{{L}_{2}}(\Omega )}}}} \right),$
где константы ${{N}_{2}}$ и ${{N}_{3}}$ не зависят от выбора $({{w}_{1}},{{w}_{2}})$.

Из (2.6) и (2.10) получаем, что $\Delta {{w}_{1}}(t)$ стремится к нулю (при $t \to + \infty $) по норме в ${{H}^{1}}(\Omega )$. Следовательно, по теореме С.Л. Соболева о следах $\Delta {{w}_{1}}(t)$ будет стремиться к нулю и по норме ${{H}^{{\frac{1}{2}}}}({{\Gamma }_{1}})$. Тогда, используя также (2.4), (2.13) и снова (2.10), получаем, что ${{w}_{2}}(t)$ стремится к нулю (при $t \to + \infty $) по норме в ${{H}^{2}}(\Omega )$. Таким образом из оценки (2.12) вытекает, что ${{w}_{1}}(t)$ стремится к нулю при $t \to + \infty $ по норме в ${{H}^{3}}(\Omega )$, так как ${{w}_{1}}$ закреплено на части границы.

Следствием этих оценок и рассуждений является эквивалентность норм в пространствах $D({{\mathfrak{A}}^{2}})$ и ${{H}^{3}} \times {{H}^{2}}$.

При заданных начальных условиях решим задачу (1.1)–(1.3), (2.1), затем данное решение подставим только в правую часть равенства (2.1), получим краевое условие (1.5) для начально-краевой задачи (1.1)–(1.4). Другими словами, управляющее воздействие в задаче (1.1)–(1.4) на первом этапе мы положим равным

${{u}^{{(1)}}}(t,x) = - k\frac{{\partial w_{1}^{0}(t,x)}}{{\partial t}}$
на ${{\Gamma }_{1}}$. Здесь $w_{1}^{0}$ – решение задачи (1.1)–(1.3), (2.1).

Следовательно, доказано, что, управляя достаточно долго, можно сделать величину

${{\left\| {(w({{T}_{1}}, \cdot ),{{w}_{t}}({{T}_{1}}, \cdot ))} \right\|}_{{\mathcal{H}_{0}^{3}(\Omega )}}}$
сколь угодно малой в некоторый момент времени $t = {{T}_{1}}$. Заметим, что для функций $\phi (x)$, $\psi (x)$ должны выполняться следующие условия:

(2.14)
$\frac{{\partial \varphi (x)}}{{\partial \nu }} = - k\psi (x),\quad \frac{{\partial \psi }}{{\partial \nu }} = - k\Delta \varphi x \in {{\Gamma }_{1}}.$

Посредством (1.6) условие (2.14) выполнено для любого k.

Покажем теперь, что граничное управляющее воздействие $u(t,x)$ можно сделать также достаточно малым, т.е. удовлетворить ограничению (1.5). Для этого заметим, что в силу сжимаемости полугруппы, порожденной оператором $\mathfrak{A}$, верно равенство

$\mathop {max}\limits_{t \in [0, + \infty )} E(t) = E(0) = \int\limits_\Omega \,(\varphi _{{{{x}_{1}}}}^{2}(x) + \varphi _{{{{x}_{2}}}}^{2}(x) + {{\psi }^{2}}(x))dx.$

Следовательно, можно написать

${{\left\| {{{e}^{{t\mathfrak{A}}}}(\varphi ,\psi )} \right\|}_{{D({{\mathfrak{A}}^{2}})}}} \leqslant {{\left\| {(\varphi ,\psi )} \right\|}_{{D({{\mathfrak{A}}^{2}})}}}.$

Таким образом, используя теоремы С. Л. Соболева о вложении и (2.13), получим

$\begin{gathered} {{\left\| {{{w}_{2}}(t)} \right\|}_{{C(\overline \Omega )}}} \leqslant {{C}_{1}}{{\left\| {{{w}_{2}}(t)} \right\|}_{{{{H}^{2}}(\Omega )}}} \leqslant {{C}_{2}}{{\left\| {\Delta {{w}_{2}}(t)} \right\|}_{{{{L}_{2}}(\Omega )}}} + k{{C}_{2}}{{\left\| {\Delta {{w}_{1}}(t)} \right\|}_{{{{H}^{{\tfrac{1}{2}}}}({{\Gamma }_{1}})}}} + {{C}_{2}}{{\left\| {{{w}_{2}}(t)} \right\|}_{{{{L}_{2}}(\Omega )}}} \leqslant \\ \leqslant {{C}_{2}}{{\left\| {{{w}_{2}}(t)} \right\|}_{{{{H}^{1}}(\Omega )}}} + {{C}_{2}}{{\left\| {\Delta {{w}_{2}}(t)} \right\|}_{{{{L}_{2}}(\Omega )}}} + k{{C}_{3}}{{\left\| {\Delta {{w}_{1}}(t)} \right\|}_{{{{H}^{1}}(\Omega )}}} + {{C}_{2}}{{\left\| {{{w}_{2}}(t)} \right\|}_{{{{L}_{2}}(\Omega )}}} \leqslant \\ \leqslant ({{C}_{4}} + k{{C}_{5}}){{\left\| {{{e}^{{t\mathfrak{A}}}}(\varphi ,\psi )} \right\|}_{{D({{\mathfrak{A}}^{2}})}}} \leqslant ({{C}_{4}} + k{{C}_{5}}){{\left\| {(\varphi ,\psi )} \right\|}_{{D({{\mathfrak{A}}^{2}})}}}. \\ \end{gathered} $

Так как коэффициент k можно выбрать сколь угодно близким к нулю, то в силу последней оценки величина ${{\left\| {{{w}_{2}}(t)} \right\|}_{{C(\overline \Omega )}}}$ ограничена. Также заметим, что в силу краевых условий (1.6) начальные данные $(\varphi ,\psi )$ будут элементом пространства $D({{\mathfrak{A}}^{2}})$ при любом k. Выбирая коэффициент трения k достаточно малым, получим, что условие (1.5) выполнено.

3. Второй этап управления. Поставим теперь задачу о приведении рассматриваемой системы в полный покой. Функции ${{\left. w \right|}_{{t = 0}}} = w({{T}_{1}},x)$ и ${{\left. {{{w}_{t}}} \right|}_{{t = 0}}} = {{w}_{t}}({{T}_{1}},x)$ будем считать новыми начальными данными в задаче (1.1)–(1.4). Напомним, что, согласно доказанному выше, эти начальные условия (пара функций) достаточно малы по норме пространства $\mathcal{H}_{0}^{3}(\Omega )$.

Рассмотрим область ${{\Omega }_{\delta }}$, которая по определению является $\delta $-окрестностью области $\Omega $ без точек множества $\bar {\Omega }{\text{*}}$ (рисунок). Область ${{\Omega }_{\delta }}$ построим так, чтобы внешний контур ее границы (назовем его $\Gamma _{1}^{\delta }$) удовлетворял п. 2$)$ условия, которое содержится в формулировке теоремы. Пусть также ${{\nu }_{\delta }}$ – внешняя единичная нормаль к границе области ${{\Omega }_{\delta }}$.

Определим пространство

$\mathcal{H}_{0}^{3}({{\Omega }_{\delta }}) = \{ (w,v) \in {{H}^{3}}({{\Omega }_{\delta }}) \times {{H}^{2}}({{\Omega }_{\delta }}){\text{:}}\;w(x) = v(x) = \Delta w(x) = 0,\;x \in {{\Gamma }_{0}}\} .$

Рассмотрим также произвольную пару функций

$(f(x),g(x))$
из пространства $\mathcal{H}_{0}^{3}(\Omega )$. Продолжим эту пару к нулю (линейный оператор продолжения
$E:\mathcal{H}_{0}^{3}(\Omega ) \to \mathcal{H}_{0}^{3}({{\Omega }_{\delta }})$
существует и ограничен) на область ${{\Omega }_{\delta }}$ с сохранением гладкости. Конструкция оператора продолжения E хорошо известна и подробно описана в [11].

Продолженные таким образом функции начальных данных будем, следуя Д.Л. Расселу, обозначать соответственно ${{f}^{e}}(x)$ и ${{g}^{e}}(x)$.

Рассмотрим начально-краевую задачу для уравнения колебания мембраны в области ${{\Omega }_{\delta }}$:

(3.1)
${{w}_{{tt}}}(t,x) - \Delta w(t,x) = 0,\quad (t,x) \in Q = (0, + \infty ) \times {{\Omega }_{\delta }},$
(3.2)
${{\left. w \right|}_{{t = 0}}} = {{f}^{e}}(x),\quad {{\left. {{{w}_{t}}} \right|}_{{t = 0}}} = {{g}^{e}}(x),\quad x \in {{\Omega }_{\delta }},$
(3.3)
$w(t,x) = 0,\quad (t,x) \in (0, + \infty ) \times {{\Gamma }_{0}},$
(3.4)
$\frac{{\partial w(t,x)}}{{\partial {{\nu }_{\delta }}}} = - k\frac{{\partial w(t,x)}}{{\partial t}},\quad x \in \Gamma _{1}^{\delta }.$

Для решения задачи (3.1)–(3.4) аналогично предыдущему разделу имеет место оценка

(3.5)
${{\left\| {(w(t),{{w}_{t}}(t))} \right\|}_{{{{V}_{\delta }} \times {{H}_{\delta }}}}} \leqslant {{M}_{4}}{{e}^{{ - \gamma t}}}{\text{||}}({{f}^{e}},{{g}^{e}}){\text{|}}{{{\text{|}}}_{{{{V}_{\delta }} \times {{H}_{\delta }}}}},\quad t \geqslant 0,$
где

${{V}_{\delta }} = \{ v \in {{H}^{1}}({{\Omega }_{\delta }}){\text{:}}\;v(x) = 0,\;x \in {{\Gamma }_{0}}\} ,\quad {{H}_{\delta }} = {{L}_{2}}({{\Omega }_{\delta }}).$

Далее будем использовать метод (в измененном виде), описанный в [2] и примененный в задачах граничного управления для волнового уравнения.

Пусть имеются некоторые начальные условия $f(x)$ и $g(x)$, $x \in \Omega $. Продолжим их на ${{\Omega }_{\delta }}$ с помощью линейного ограниченного оператора E. Тогда $({{f}^{e}},{{g}^{e}}) = E(f,g)$. Получаем начально-краевую задачу (3.1)–(3.4). Пусть ${{w}^{s}}(t,x)$ – решение данной задачи. Для области ${{\Omega }_{\delta }}$ рассмотрим оператор ${{\mathfrak{A}}_{\delta }}$, который строится совершенно аналогично оператору $\mathfrak{A}$ для области $\Omega $. Тогда выполнена оценка

(3.6)
${{\left\| {(w_{1}^{s}(t),w_{2}^{s}(t))} \right\|}_{{D(\mathfrak{A}_{\delta }^{2})}}} \leqslant {{M}_{5}}{{e}^{{ - {{\gamma }_{1}}t}}}{\text{||}}({{f}^{e}},{{g}^{e}}){\text{|}}{{{\text{|}}}_{{D(\mathfrak{A}_{\delta }^{2})}}},\quad t \geqslant 0.$

А в силу эквивалентности норм верно

(3.7)
${{\left\| {(w_{1}^{s}(t),w_{2}^{s}(t))} \right\|}_{{\mathcal{H}_{0}^{3}({{\Omega }_{\delta }})}}} \leqslant {{M}_{6}}{{e}^{{ - {{\gamma }_{1}}t}}}{\text{||}}({{f}^{e}},{{g}^{e}}){\text{|}}{{{\text{|}}}_{{\mathcal{H}_{0}^{3}({{\Omega }_{\delta }})}}},\quad t \geqslant 0.$

Рассмотрим достаточно большой момент времени $t = {{T}_{2}}$ и ограничение решения и его производной по времени в момент ${{T}_{2}}$ на область $\Omega $. Очевидно, что для $t = {{T}_{2}}$ в силу (3.7) и непрерывности оператора $E$ верна оценка

(3.8)
${{\left\| {(w_{1}^{s}({{T}_{2}}, \cdot ),w_{2}^{s}({{T}_{2}}, \cdot ))} \right\|}_{{\mathcal{H}_{0}^{3}(\Omega )}}} \leqslant {{M}_{7}}{{e}^{{ - {{\gamma }_{1}}{{T}_{2}}}}}{{\left\| {(f,g)} \right\|}_{{\mathcal{H}_{0}^{3}(\Omega )}}}.$

Пусть по определению

$(w_{1}^{{s,e}}({{T}_{2}},x),w_{2}^{{s,e}}({{T}_{2}},x)) = E(w_{1}^{s}({{T}_{2}},x){{{\text{|}}}_{\Omega }},w_{2}^{s}({{T}_{2}},x){{{\text{|}}}_{\Omega }}).$

Приведем теперь начально-краевую задачу в обратном времени (т.е. при $t\;\leqslant \;{{T}_{2}}$) для уравнения (остается неизменным)

(3.9)
$\frac{d}{{dt}}({{w}_{1}},{{w}_{2}}) = ({{w}_{2}},\Delta {{w}_{1}})$
с краевым условием на $\Gamma _{1}^{\delta }$
(3.10)
$\frac{{\partial {{w}_{1}}}}{{\partial {{\nu }_{\delta }}}} = k{{w}_{2}},$
условием (3.3) на ${{\Gamma }_{0}}$ и начальными условиями

(3.11)
${{\left. {{{w}_{1}}(t)} \right|}_{{t = {{T}_{2}}}}} = - w_{1}^{{s,e}}({{T}_{2}},x),\quad {{\left. {{{w}_{2}}(t)} \right|}_{{t = {{T}_{2}}}}} = - w_{2}^{{s,e}}({{T}_{2}},x).$

Пусть $(w_{1}^{i}(t),w_{2}^{i}(t))$ – решение начально-краевой задачи (3.3), (3.9), (3.10) (3.11) в обратном времени. Аналогично предыдущему выполнена оценка

(3.12)
${{\left\| {(w_{1}^{i}(0, \cdot ),w_{2}^{i}(0, \cdot ))} \right\|}_{{\mathcal{H}_{0}^{3}(\Omega )}}} \leqslant {{M}_{7}}{{e}^{{ - {{\gamma }_{1}}{{T}_{2}}}}}{{\left\| {(w_{1}^{s}({{T}_{2}},x),w_{2}^{s}({{T}_{2}},x))} \right\|}_{{\mathcal{H}_{0}^{3}(\Omega )}}}.$

Рассмотрим сумму решений в прямом и обратном времени, ограниченную на область $\Omega $:

(3.13)
$w(t,x) = {{w}^{s}}(t,x) + {{w}^{i}}(t,x),\quad x \in \Omega .$

Эта сумма удовлетворяет уравнению (1.1), а в качестве искомого граничного управляющего воздействия $u(t,x)$ можно взять ограничение производной по внешней нормали от $w(t,x)$ на боковую поверхность цилиндра.

Очевидно, что решение (3.13) с начальными условиями вида

(3.14)
${{\left. w \right|}_{{t = 0}}} = {{f}^{e}}(x) + {{w}^{{i,r}}}(0,x),\quad {{\left. {{{w}_{t}}} \right|}_{{t = 0}}} = {{g}^{e}}(x) + w_{t}^{{i,r}}(0,x),\quad x \in \Omega ,$
(индекс $r$ означает ограничение на $\Omega $) тождественно равно нулю в $\Omega $ вместе со своей первой производной по t в момент времени $t = {{T}_{2}}$. Заметим, что значение соответствующего решения начально-краевой задачи с начальными условиями (3.14) на границе области $\Omega $ и определяет искомое управление.

Пара $(w_{1}^{{i,r}}(0,x),w_{2}^{{i,r}}(0,x))$ получается из пары $(f(x),g(x))$ применением некоторого линейного непрерывного оператора, назовем его L с нормой, меньшей единицы (следствие оценок (3.8) и (3.12)). Очевидно, что суммы в правых частях (3.14) дают все элементы пространства $\mathcal{H}_{0}^{3}(\Omega )$. Действительно, (3.14) можно записать как

(3.15)
$(I + L)(f(x),g(x)) = ({{\left. w \right|}_{{t = 0}}},{{\left. {{{w}_{t}}} \right|}_{{t = 0}}}),$
где I – тождественный оператор. Следовательно, так как $\left\| L \right\| < 1$, то оператор $I + L$, действующий из $\mathcal{H}_{0}^{3}(\Omega )$ в себя, обратим.

Теперь представим искомую функцию управления (на втором этапе) в следующем виде:

(3.16)
${{u}^{{(2)}}}(t,x) = \frac{\partial }{{\partial \nu }}P[({{S}_{ + }}(t) - {{S}_{ - }}({{T}_{2}} - t)ER{{S}_{ + }}({{T}_{2}}))E\mathop {(I + L)}\nolimits^{ - 1} \{ {{\left. w \right|}_{{t = 0}}},{{\left. {{{w}_{t}}} \right|}_{{t = 0}}}\} ],$
$x \in {{\Gamma }_{1}}$, где R – оператор ограничения из ${{\Omega }_{\delta }}$ на область $\Omega $, ${{S}_{ + }}(t)$, ${{S}_{ - }}({{T}_{2}} - t)$ – разрешающие операторы диссипативной задачи в прямом и обратном времени соответственно, P – проекция: $(a,b) \mapsto a$ и

$L = - R{{S}_{ - }}({{T}_{2}})ER{{S}_{ + }}({{T}_{2}})E.$

Таким образом, доказана возможность приведения в покой системы с произвольными гладкими начальными данными. Покажем теперь, что, выбирая начальные данные достаточно малыми, можно привести систему в покой малым по модулю граничным управлением.

Пусть пара $({{\left. w \right|}_{{t = 0}}},{{\left. {{{w}_{t}}} \right|}_{{t = 0}}})$ достаточно мала по норме пространства $\mathcal{H}_{0}^{3}(\Omega )$. Из формулы (3.16) автоматически следует достаточная малость управления ${{u}^{{(2)}}}(t,x)$, так как все операторы, входящие в эту формулу, непрерывны.

Следовательно, ограничение нормальной производной от решения начально-краевой задачи на границу области $\Omega $ (условие Неймана в задаче управления) будет меньше наперед заданного $\varepsilon $ по абсолютной величине, если время управления на первом этапе выбрать достаточно большим. Последнее и означает, что выполнено требуемое ограничение на управляющее воздействие $u(t,x)$. Теорема доказана.

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

Список литературы

  1. Romanov I., Shamaev A. Exact Bounded Boundary Controllability to Rest for the Two-Dimensional Wave Equation. arXiv. doi 1603.01212. 2018.

  2. Russell D. L. Controllability and Stabilizability Theory for Linear Partial Differential Equations: Recent Progress and Open Questions // SIAM Review. 1978. V. 20. № 4. P. 639–739.

  3. Chen G. Energy Decay Estimates and Exact Boundary Value Controllability for the Wave Equation in a Bounded Domain // J. Math. Pures Appl. 1979. № 58. P. 249–274.

  4. Lagnese J. Decay of Solutions of Wave Equations in a Bounded Region with Boundary Dissipation // J. Differential Equations. 1983. № 50. P. 163–182.

  5. Черноусько Ф.Л. Ограниченное управление в системах с распределенными параметрами // ПММ. 1992. Т. 56. № 5. С. 810–826.

  6. Lions J.L. Exact Controllability, Stabilization and Perturbations for Distributed Systems // SIAM Review. 1988. V. 30 № 1. P. 1–68.

  7. Бутковский А.Г. Теория оптимального управления системами с распределенными параметрами. М.: Наука, 1965.

  8. Лионс Ж.Л. Оптимальное управление системами, описываемыми уравнениями с частными производными. М.: Мир, 1972.

  9. Quinn J.P., Russell D.L. Asymptotic Stability and Energy Decay Rates for Solutions of Hyperbolic Equations with Boundary Damping // Proc. Roy. Sot. Edinburgh Sect. A. 1977. V. 77. P. 97–127.

  10. Агранович М.С. Соболевские пространства, их обобщения и эллиптические задачи в областях с гладкой и липшицевой границей. М.: МЦНМО, 2013.

  11. Lions J. L., Madgenes E. Non-homogeneous Boundary Value Problems and Applications.V. 1. N.Y: Springer-Verlag, 1972.

Дополнительные материалы отсутствуют.