Математические заметки
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Скоро в журнале
Архив
Импакт-фактор
Правила для авторов
Лицензионный договор
Загрузить рукопись

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Матем. заметки:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


Математические заметки, 2023, том 113, выпуск 4, страницы 618–621
DOI: https://doi.org/10.4213/mzm13856
(Mi mzm13856)
 

Краткие сообщения

Управляемость в покое для уравнения “колебания пластины” на торе в случае локального силового воздействия

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

a Национальный исследовательский университет "Высшая школа экономики", г. Москва
b Институт проблем механики им. А. Ю. Ишлинского Российской академии наук, г. Москва
c Московский государственный университет им. М. В. Ломоносова
Список литературы:
Ключевые слова: локальная управляемость, уравнение четвертого порядка, уравнение Шрёдингера.
Финансовая поддержка Номер гранта
Министерство науки и высшего образования Российской Федерации 075-15-2022-284
Работа выполнена при поддержке гранта Министерства науки и высшего образования РФ, проект № 075-15-2022-284.
Поступило: 21.10.2022
Англоязычная версия:
Mathematical Notes, 2023, Volume 113, Issue 4, Pages 598–600
DOI: https://doi.org/10.1134/S000143462303032X
Реферативные базы данных:
Тип публикации: Статья
УДК: 517.521

Вопросы локальной управляемости для различных систем с распределенными параметрами часто возникают во многих прикладных задачах, поэтому данная тема представляет значительный интерес. Для классических систем механики (мембраны, тонкие пластины) важность представляют вопросы управляемости в случаях, когда управляющее воздействие приложено либо к границе, либо к части области. Это связано с тем, что на практике трудно контролировать целую систему, а можно воздействовать лишь на ее часть. В связи с этим возникает проблема выбора этой части, например, для волнового уравнения такой выбор определяется хорошо известным условием GCC (Geometric control condition). В нашей работе условий на подобласть, на которую воздействует управление, не накладывается.

Рассмотрим задачу распределенного управления для уравнения “колебания пластины” на торе:

$$ \begin{equation} w_{tt}(t,x)+\Delta^2w(t,x)=u(t,x), \qquad (t,x)\in Q_{T}=(0,t_{\ast}]\times T^2, \end{equation} \tag{1} $$
$$ \begin{equation} w|_{t=0}=w_0(x), \quad w_t|_{t=0}=w_1(x), \qquad x\in T^2. \end{equation} \tag{2} $$
Здесь $T^2$ – $2$-мерный тор (гладкое, компактное многообразие без края), который удобно понимать как квадрат $[-\pi,\pi]^2$ с отождествленными противоположными сторонами, $u$ – управление с носителем по переменной $x$, не совпадающим с $T^2$, $t_{\ast}>0$, – заданный заранее момент времени.

Ставится задача построить такое управляющее воздействие $u$, что соответствующее решение $w$ и его первая производная по $t$ обращаются в нуль в момент времени $t_{\ast}$, т.е. $w(t_{\ast},x)=0$, $w_t(t_{\ast},x)=0$ для всех $x\in T^2$. Нулевое смещение и нулевую скорость будем называть состоянием покоя рассматриваемой системы.

Для начальных данных в задаче (1)(2) потребуем, чтобы были выполены следующие условия:

$$ \begin{equation} w_0\in H^4(T^2), \qquad w_1\in H^2(T^2), \qquad w_1-i\Delta w_0\in H^4(T^2). \end{equation} \tag{3} $$
Напомним, что пространство Соболева $H^s(T^2)$, $s\in \mathrm R$, на $T^2$ можно, например, понимать как область определения оператора $A^{s/2}=(1-\Delta)^{s/2}$, которая снабжена нормой
$$ \begin{equation} \|w\|_s=\|A^{s/2}w\|_{L_2(T^2)}. \end{equation} \tag{4} $$
Норму (4) удобно записать в терминах коэффициентов Фурье при разложении $w$ в ряд (формальный ряд для $s<0$) по системе экспонент $\{e^{i\alpha x}\}_{\alpha\in \mathbb Z^2}$:
$$ \begin{equation*} \Bigl(\sum(1+|\alpha|^2)^{s}|c_{\alpha}|^2\Bigr)^{1/2}. \end{equation*} \notag $$
Эта норма эквивалентна обычной норме, которая определяется для пространств Соболева на гладких, компактных многообразиях без края.

Теорема 1. Пусть на торе $T^2$ задана произвольная область $\omega$, для которой $\overline{\omega}\neq T^2$ и выполнены условия (3). Тогда найдется силовое управляющее воздействие $u$, тождественно равное нулю на множестве $T^2\setminus \overline{\omega}$, такое, что система (1), (2) приводима в состояние покоя за время $t_{\ast}$.

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

Доказательство теоремы 1. Для доказательства применим метод расщепления задачи (см. [2]) и HUM (Hilbert uniqueness method, см. [3]). Имеем

$$ \begin{equation*} \partial^2_t+\Delta^2 =(\partial_t+i\Delta)(\partial_t-i\Delta), \end{equation*} \notag $$
тогда рассмотрим расщепленную систему уравнений
$$ \begin{equation} z_{t}(t,x)+i\Delta z(t,x)=a(x)h(t,x), \qquad (t,x)\in Q_{T}=(0,t_{\ast}]\times T^2, \end{equation} \tag{5} $$
$$ \begin{equation} z|_{t=0}=w_1(x)-i\Delta w_0(x), \qquad x\in T^2. \end{equation} \tag{6} $$
$$ \begin{equation} w_{t}(t,x)-i\Delta w(t,x)=z+a(x)v(t,x), \qquad (t,x)\in Q_{T}=(0,t_{\ast}]\times T^2, \end{equation} \tag{7} $$
$$ \begin{equation} w|_{t=0}=w_0(x), \qquad x\in T^2. \end{equation} \tag{8} $$
Здесь $a(\cdot)\in C^{\infty}(T^2)$ – произвольная заданная ненулевая вещественнозначная функция, тождественно равная нулю вне $\overline{\omega}$, $h$ и $v$ – новые функции управления. Укажем вначале основные идеи доказательства. Возьмем произвольный положительный момент времени $t_1<t_{\ast}$ и на $(0,t_1]$ решим задачу управления (5), (6) для уравнения Шрёдингера. А именно, найдем $h\in L_2((0,t_1);H^4(T^2))$ такое, что $z(t_1,x)=0$ для всех $x\in T^2$. Существование такого управления доказано в [4] с использованием HUM, поэтому на самом деле верно более сильное включение $h\in C([0,t_1];H^4(T^2))$. При этом в задаче (7), (8) положим $v(t,x)\equiv 0$ на $(0,t_1]$. Далее переходим к управлению системой (7), (8) на отрезке $[t_1,t_{\ast}]$. Заметим, что на этом отрезке $z\equiv 0$. Используя результаты работы [4] и HUM, можно доказать, что найдется управляющее воздействие $v$ такое, что
$$ \begin{equation} v\in C([t_1,t_{\ast}];H^4(T^2)), \qquad v_t\in C([t_1,t_{\ast}];H^2(T^2)), \end{equation} \tag{9} $$
с помощью которого значение $w(t_{\ast},x)$ будет равно нулю для всех $x\in T^2$ и, кроме того, будут выполнены равенства
$$ \begin{equation} v(t_1,x)=0, \quad v(t_{\ast},x)=0, \qquad x\in T^2. \end{equation} \tag{10} $$

Если подействовать оператором $\partial_t+i\Delta$ слева и справа на уравнение (7), то мы получим уравнение “колебания пластины” (1) с функцией управления, имеющей вид

$$ \begin{equation} u(t,x)=a(x)h(t,x)-a(x)v_t(t,x)-i\Delta\bigl(a(x)v(t,x)\bigr). \end{equation} \tag{11} $$
Включения (9) делают корректным (11). Первое равенство в (10) требуется для согласования членов в уравнении (7) в момент $t=t_1$, с помощью второго равенства и уравнения (7) получаем, что $w_t(t_{\ast},x)=0$ для всех $x\in T^2$. Тем самым получим требуемое.

Осталось доказать, что указанное $v$ найдется. Пусть $s>0$, выберем $t_{\ast}=2t_1$ и на отрезке $[t_1,2t_1]$ рассмотрим вспомогательную задачу

$$ \begin{equation} q_{t}+i\Delta q=0, \qquad q|_{t=2t_1}=q_1\in H^{-s}(T^2). \end{equation} \tag{12} $$

Предположим, что для решения (12) существует постоянная $C>0$ такая, что для любого $q_1\in H^{-s}(T^2)$ выполнена оценка

$$ \begin{equation} \|q_1\|_{-s}^2\leqslant C\int_{t_1}^{2t_1} \bigl\|(\tau-t_1)(2t_1-\tau) a(x)q(\tau)\bigr\|^2_{-s} \,d\tau. \end{equation} \tag{13} $$
Тогда, используя HUM, можно доказать, что на отрезке $[t_1,2t_1]$ существует управление $v$, удовлетворяющее (9), (10), которое приводит решение (7) в состояние покоя. Для получения нужной гладкости $v(t,x)$ надо положить $s=4$.

Осталось установить истинность (13). Заметим, что решения уравнений $q_{t}+i\Delta q=0$ и $\overline{q}_{t}-i\Delta\overline{q}=0$ комплексно-сопряжены, если, в свою очередь, комплексно-сопряжены их терминальные условия; кроме того, $\|q\|_{-s}=\|\overline{q}\|_{-s}$. Следовательно, используя [4], для решения (12) можно получить оценку

$$ \begin{equation} \|q_1\|_{-s}^2\leqslant C_1\int_{t_1}^{2t_1}\|a(x)q(\tau)\|^2_{-s} \,d\tau. \end{equation} \tag{14} $$
С помощью (14) выведем (13). Для этого применим неравенство Гёльдера с показателями, для которых выполнено равенство
$$ \begin{equation*} \frac{1}{4/3}+\frac{1}{4}=1. \end{equation*} \notag $$
Имеем
$$ \begin{equation*} \begin{aligned} \, \|q_1\|_{-s}^2 &\leqslant C_1\int_{t_1}^{2t_1} \frac{(\tau-t_1)^{1/2}(2t_1-\tau)^{1/2}}{(\tau-t_1)^{1/2}(2t_1-\tau)^{1/2}} \|a(x)q(\tau)\|^2_{-s}\,d\tau \\ &\leqslant C_1\biggl(\int_{t_1}^{2t_1} \! \! \frac{1}{(\tau-t_1)^{2/3} (2t_1-\tau)^{2/3}}\,d\tau\biggr)^{3/4} \biggl(\int_{t_1}^{2t_1} \! \! (\tau-t_1)^2(2t_1-\tau)^2 \|a(x)q(\tau)\|^8_{-s}\,d\tau\biggr)^{1/4}. \end{aligned} \end{equation*} \notag $$
Следовательно,
$$ \begin{equation} \|q_1\|_{-s}^8\leqslant C_2 \int_{t_1}^{2t_1}(\tau-t_1)^2(2t_1-\tau)^2\|a(x)q(\tau)\|^8_{-s}\,d\tau. \end{equation} \tag{15} $$
Так как оператор умножения на $a(x)$ ограничен (см. [5; теорема 2.3.6, с. 43]), то
$$ \begin{equation*} \begin{aligned} \, \|a(x)q(\tau)\|^8_{-s} &=\|a(x)q(\tau)\|^6_{-s}\|a(x)q(\tau)\|^2_{-s}\leqslant C_3\|q(\tau)\|^6_{-s}\|a(x)q(\tau)\|^2_{-s} \\ &\leqslant C_4\|q_1\|^6_{-s}\|a(x)q(\tau)\|^2_{-s}. \end{aligned} \end{equation*} \notag $$
Из последней оценки и из (15) получаем (13).

В заключение отметим, что из метода построения управления для уравнения (7) следует возможность регуляризации управления $u(t,x)$ для исходной задачи. То есть, увеличивая соболевскую гладкость начальных данных, мы можем сделать $u(t,x)$ сколь угодно гладким как по времени, так и по пространственным переменным. Например, если выбрать начальные данные, удовлетворяющие включениям

$$ \begin{equation*} w_0\in H^6(T^2), \qquad w_1\in H^4(T^2), \qquad w_1-i\Delta w_0\in H^6(T^2), \end{equation*} \notag $$
то, используя методы рассмотренные выше, можно построить управление, для которого будет верно следующее:
$$ \begin{equation*} u\in C([0,t_{\ast}];H^4(T^2)), \qquad u_t\in C([0,t_{\ast}];H^2(T^2)), \qquad u_{tt}\in C([0,t_{\ast}];L_2(T^2)). \end{equation*} \notag $$

СПИСОК ЦИТИРОВАННОЙ ЛИТЕРАТУРЫ

1. S. Jaffard, Portugal. Math., 47:4 (1990), 423–429  mathscinet
2. F. W. Chaves-Silva, L. Rosier, E. Zuazua, J. Math. Pures Appl. (9), 101:2 (2014), 198–222  crossref  mathscinet  zmath
3. J. L. Lions, Contrôlabilité exacte, perturbations et stabilisation de systèmes distribués, v. 1, Masson, Paris, 1988  mathscinet
4. L. Rosier, B.-Y. Zhang, Math. Models Methods Appl. Sci., 20:12 (2010), 2293–2347  mathscinet
5. М. С. Агранович, Соболевские пространства, их обобщения и эллиптические задачи в областях с гладкой и липшицевой границей, МЦНМО, М., 2013  mathscinet

Образец цитирования: И. В. Романов, А. С. Шамаев, “Управляемость в покое для уравнения “колебания пластины” на торе в случае локального силового воздействия”, Матем. заметки, 113:4 (2023), 618–621; Math. Notes, 113:4 (2023), 598–600
Цитирование в формате AMSBIB
\RBibitem{RomSha23}
\by И.~В.~Романов, А.~С.~Шамаев
\paper Управляемость в~покое для уравнения ``колебания пластины'' на торе в~случае локального силового воздействия
\jour Матем. заметки
\yr 2023
\vol 113
\issue 4
\pages 618--621
\mathnet{http://mi.mathnet.ru/mzm13856}
\crossref{https://doi.org/10.4213/mzm13856}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=4582583}
\transl
\jour Math. Notes
\yr 2023
\vol 113
\issue 4
\pages 598--600
\crossref{https://doi.org/10.1134/S000143462303032X}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85153257032}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/mzm13856
  • https://doi.org/10.4213/mzm13856
  • https://www.mathnet.ru/rus/mzm/v113/i4/p618
  • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Математические заметки Mathematical Notes
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024