Журнал вычислительной математики и математической физики, 2020, T. 60, № 7, стр. 1126-1142

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

К. Р. Айда-заде 12*, В. А. Гашимов 1**

1 Институт Систем Управления НАН Азербайджана
AZ1141 Баку, ул. Б. Вахабзаде, 9, Азербайджан

2 Институт Математики и Механики НАН Азербайджана
AZ1141 Баку, ул. Б. Вахабзаде, 9, Азербайджан

* E-mail: kamil_aydazade@rambler.ru
** E-mail: vugarhashimov@gmail.com

Поступила в редакцию 29.07.2019
После доработки 29.07.2019
Принята к публикации 10.03.2020

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

Аннотация

Предложен подход к синтезу управления сосредоточенными источниками в распределенных системах с обратной связью. На примере задачи гашения колебаний мембраны точечными стабилизаторами оптимизируются: 1) места размещения стабилизаторов; 2) места точек замера состояния мембраны; 3) параметры линейной обратной связи, определяющей зависимость между замерами состояния мембраны и режимами работы стабилизаторов. Получены формулы градиента функционала по оптимизируемым параметрам. С применением численных методов оптимизации первого порядка проведены компьютерные эксперименты, сделан анализ влияния точности замеров на процесс стабилизации мембраны. Библ. 22. Фиг. 2. Табл. 2.

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

ВВЕДЕНИЕ

Как известно, задачи оптимального управления с обратной связью объектами с распределенными параметрами (см. [1]–[3]) в отличие от управления объектами с сосредоточенными параметрами (см. [4]–[8]) изучены меньше. Это связано, во-первых, со сложностью технической реализации таких систем, требующих получения текущей информации о состоянии объекта (процесса) во всех его точках. Во-вторых, имеются проблемы, связанные как с решением задач структурной и параметрической идентификации математических моделей управляемых объектов, так и с разработкой эффективных численных методов, алгоритмов решения соответствующих математических задач.

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

Данная работа посвящена изложению подхода к синтезу управляющих воздействий на процесс стабилизации колебаний тонкой однородной мембраны. Предполагается, что колебания возникли в результате сосредоточенных воздействий на мембрану в начальный момент времени. Значения стабилизирующих воздействий на мембрану со стороны стабилизаторов, установленных в различных ее точках, назначаются в зависимости от замеренных состояний мембраны в окрестностях точек контроля. Для синтеза управляющих воздействий предлагается использовать линейную обратную связь с учетом результатов текущих замеров. Оптимизируемыми в рассматриваемой постановке задачи являются: 1) параметры линейной обратной связи; 2) координаты расположения стабилизаторов на мембране; 3) координаты точек замера (контроля) состояния мембраны.

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

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

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

1. ПОСТАНОВКА ЗАДАЧИ

Рассматривается задача гашения поперечных колебаний тонкой однородной мембраны заданной формы, закрепленной по границе. Предполагается, что колебания возникают в результате одновременных воздействий внешних источников в начальный момент времени на окрестности некоторых точек мембраны ${{\theta }^{\nu }}$, $\nu = 1, \ldots ,L$. Колебания гасятся стабилизаторами (гасителями), воздействующими на окрестности точек мембраны ${{\eta }^{i}}$, $i = 1, \ldots ,{{N}_{c}}$, в окрестности заданных дискретных моментов времени ${{\tau }_{s}}$, $s = 1, \ldots ,{{N}_{t}}$. Для формирования режимов функционирования стабилизаторов используется информация от датчиков о результатах измерения текущих значений смещения в окрестности точек ${{\xi }^{j}}$, $j = 1, \ldots ,{{N}_{o}}$.

Данный процесс при $t > 0~$можно описать следующей начально-краевой задачей (см. [9]):

(1.1)
$\begin{gathered} {{u}_{{tt}}}(x,t) = {{a}^{2}}\mathcal{L}u(x,t) - \lambda {{u}_{t}}(x,t) + \mathop \sum \limits_{s = 1}^{{{N}_{t}}} \,\delta (t;{{\mathcal{O}}_{{{{\varepsilon }_{t}}}}}({{\tau }_{s}}))\mathop \sum \limits_{i = 1}^{{{N}_{c}}} \,\vartheta _{s}^{i}\delta (x;{{\mathcal{O}}_{{{{\varepsilon }_{x}}}}}({{\eta }^{i}})), \\ x = ({{x}_{1}},{{x}_{2}}) \in {\Omega } \subset {{{\text{R}}}^{2}},~ \\ \end{gathered} $
(1.2)
$u(x,0) = 0,\quad {{u}_{t}}(x,0) = \mathop \sum \limits_{\nu = 1}^L \,{{q}^{\nu }}\delta (x;{{\mathcal{O}}_{{{{\varepsilon }_{x}}}}}({{\theta }^{\nu }})),\quad x \in {\Omega },$
(1.3)
$u(x,t) = 0,\quad x \in {\Gamma }.$
Здесь $u(x,t)$ – функция, определяющая величину смещения мембраны в точке $x \in {\Omega }$ в момент времени $t$ в процессе ее колебания; $\mathcal{L} = {{\partial }^{2}}{\text{/}}\partial x_{1}^{2} + {{\partial }^{2}}{\text{/}}\partial x_{2}^{2}$; ${{a}^{2}}$, $\lambda \geqslant 0$ – заданные константы, определяемые физическими свойствами мембраны и среды, в которой она находится; ${\Gamma }$ – почти всюду гладкая граница области ${\Omega }$, занимаемой мембраной; ${{q}^{\nu }}$ – интенсивность (мощность) $\nu $-го внешнего источника, сосредоточенного в окрестности точки мембраны ${{\theta }^{\nu }} = (\theta _{1}^{\nu },\theta _{2}^{\nu }) \in {\Omega }$, $\nu = 1, \ldots ,L$, число которых равно $L$; $\vartheta = (\vartheta _{1}^{1}, \ldots ,\vartheta _{1}^{{{{N}_{c}}}}, \ldots ,\vartheta _{{{{N}_{t}}}}^{1}, \ldots ,\vartheta _{{{{N}_{t}}}}^{{{{N}_{c}}}}) \in {{{\text{R}}}^{{{{N}_{t}}{{N}_{c}}}}}$ – вектор, определяющий управляющие воздействия стабилизаторов на окрестности точек ${{\eta }^{i}} = (\eta _{1}^{i},\eta _{2}^{i}) \in {\Omega }$, $i = 1, \ldots ,{{N}_{c}}$, $\eta = ({{\eta }^{1}}, \ldots ,{{\eta }^{{{{N}_{c}}}}})$; $\tau = ({{\tau }_{1}}, \ldots ,{{\tau }_{{{{N}_{t}}}}})$ – заданные моменты времени, в окрестности которых происходило воздействие гасителей, ${{\tau }_{s}} > {{\tau }_{{s - 1}}} > 0$, $s = 1, \ldots ,{{N}_{t}}$, ${{\tau }_{0}} = 0$, ${{\tau }_{{{{N}_{t}}}}} = {{T}_{f}}$, количество которых равно ${{N}_{t}}$; ${{T}_{f}}$ – заданная продолжительность времени управления процессом.

Непрерывно дифференцируемая по $x \in {\Omega }$ функция $\delta (x;{{\mathcal{O}}_{{{{\varepsilon }_{x}}}}}(\tilde {\eta }))$ определяет распределение интенсивности источника в окрестности ${{\mathcal{O}}_{{{{\varepsilon }_{x}}}}}(\tilde {\eta })$ точки ее размещения $\tilde {\eta } \in {\Omega }$. Она имеет следующие свойства:

$\delta \left( {x;{{\mathcal{O}}_{{{{\varepsilon }_{x}}}}}(\tilde {\eta })} \right) = \left\{ \begin{gathered} \ne 0\quad {\text{при}}\quad ~x \in {{\mathcal{O}}_{{{{\varepsilon }_{x}}}}}(\tilde {\eta }), \hfill \\ = 0\quad {\text{при}}~\quad x \notin {{\mathcal{O}}_{{{{\varepsilon }_{x}}}}}(\tilde {\eta }), \hfill \\ \end{gathered} \right.$
$\iint\limits_{\Omega } {\delta {\kern 1pt} \left( {x;{{\mathcal{O}}_{{{{\varepsilon }_{x}}}}}(\tilde {\eta })} \right)dx} = \iint\limits_{{{\mathcal{O}}_{{{{\varepsilon }_{x}}}}}\left( {\tilde {\eta }} \right)} {\delta {\kern 1pt} \left( {x;{{\mathcal{O}}_{{{{\varepsilon }_{x}}}}}(\tilde {\eta })} \right)dx} = 1,\quad \tilde {\eta } \in {{{\Omega }}_{{{{\varepsilon }_{x}}}}},$
где ${{{\Omega }}_{{{{\varepsilon }_{x}}}}}$ есть ${{\varepsilon }_{x}}$-внутренность ${\Omega }$, т.е. каждая точка $x \in {{{\Omega }}_{{{{\varepsilon }_{x}}}}}$ удалена от границы ${\Gamma }$ области ${\Omega }$ не меньше, чем на ${{\varepsilon }_{x}}$. Границу окрестности ${{\mathcal{O}}_{{{{\varepsilon }_{x}}}}}(\tilde {\eta })$ будем обозначать через ${{{\Gamma }}_{{{{\varepsilon }_{x}}}}}\left( {\tilde {\eta }} \right)$.

Аналогично, непрерывная по $t \in [0,{{T}_{f}}]$ функция $\delta \left( {t;{{\mathcal{O}}_{{{{\varepsilon }_{t}}}}}(\tilde {\tau })} \right)$ определяет распределение интенсивности источника в окрестности ${{\mathcal{O}}_{{{{\varepsilon }_{t}}}}}(\tilde {\tau })$ момента времени воздействия $\tilde {\tau } \subset [{{\varepsilon }_{t}},{{T}_{f}} - {{\varepsilon }_{t}}]$, причем

$\begin{gathered} \delta {\kern 1pt} \left( {t;{{\mathcal{O}}_{{{{\varepsilon }_{t}}}}}(\tilde {\tau })} \right) = \left\{ \begin{gathered} \ne 0\quad {\text{при}}\quad ~t \in {{\mathcal{O}}_{{{{\varepsilon }_{t}}}}}(\tilde {\tau }) \subset [{{\varepsilon }_{t}},{{T}_{f}} - {{\varepsilon }_{t}}], \hfill \\ = 0\quad {\text{при\;}}\quad t \notin {{\mathcal{O}}_{{{{\varepsilon }_{t}}}}}(\tilde {\tau }) \subset [{{\varepsilon }_{t}},{{T}_{f}} - {{\varepsilon }_{t}}], \hfill \\ \end{gathered} \right. \\ \mathop \smallint \limits_0^{{{T}_{f}}} \delta {\kern 1pt} \left( {t;{{\mathcal{O}}_{{{{\varepsilon }_{t}}}}}(\tilde {\tau })} \right)dt = \mathop \smallint \limits_{{{\mathcal{O}}_{{{{\varepsilon }_{t}}}}}\left( {\tilde {\tau }} \right)}^{} \delta {\kern 1pt} \left( {t;{{\mathcal{O}}_{{{{\varepsilon }_{t}}}}}(\tilde {\tau })} \right)dt = 1. \\ \end{gathered} $

Как следует из свойств функций $\delta {\kern 1pt} \left( {x;{{\mathcal{O}}_{{{{\varepsilon }_{x}}}}}(\tilde {\eta })} \right)$ и $\delta {\kern 1pt} \left( {t;{{\mathcal{O}}_{{{{\varepsilon }_{t}}}}}(\tilde {\tau })} \right)$, участвующих в дифференциальном уравнении (1.1) и начальном условии (1.2), воздействия в моменты времени и в точках мембраны осуществляются не мгновенно и не точечно, а они имеют пространственное и временное распределения в достаточно малых окрестностях точек своего сосредоточения. Во-первых, это объясняется практическими соображениями, т.к. реальные воздействия (далее это будет принято относительно и замеров) не могут быть мгновенными во времени и точечными в фазовом пространстве. Во-вторых, привлечение предельных вариантов при ${{\varepsilon }_{x}}$ и ${{\varepsilon }_{t}} \to 0$ функций $\delta {\kern 1pt} \left( {x;{{\mathcal{O}}_{{{{\varepsilon }_{x}}}}}(\tilde {\eta })} \right)$, $\delta {\kern 1pt} \left( {t;{{\mathcal{O}}_{{{{\varepsilon }_{t}}}}}(\tilde {\tau })} \right)$, т.е. соответствующих функций Дирака (см. [1], [9], [10]), существенно усложнило бы приводимые ниже математические выкладки и привело к необходимости использования функциональных пространств и понимания решения начально-краевой задачи (1.1)–(1.3) в обобщенном смысле. В-третьих, использование функций $\delta {\kern 1pt} \left( {x;{{\mathcal{O}}_{{{{\varepsilon }_{x}}}}}(\tilde {\eta })} \right)$, $\delta {\kern 1pt} \left( {t;{{\mathcal{O}}_{{{{\varepsilon }_{t}}}}}(\tilde {\tau })} \right)$ в математических моделях прикладных задач является более естественным и при этом несложно обосновываются схемы численной аппроксимации задачи в целом.

Пусть значения мощностей источников колебаний ${{q}^{\nu }}$ и места их размещения ${{\theta }^{\nu }}$, $\nu = 1, \ldots ,{{N}_{b}}$, известны не точно. Заданы множества возможных значений ${{q}^{\nu }}$:

(1.4)
${{Q}^{\nu }} = \left\{ {q \in {\text{R}}:~~~~\underline {{{q}^{\nu }}} \leqslant q \leqslant \overline {{{q}^{\nu }}} } \right\},\quad \nu = 1, \ldots ,L,\quad Q = {{Q}^{1}} \times \cdots \times {{Q}^{L}},$
и функции плотности распределения их значений ${{\rho }_{{{{Q}^{\nu }}}}}(q) \geqslant 0$, $\underline {{{q}^{\nu }}} \leqslant q \leqslant \overline {{{q}^{\nu }}} $ такие, что

$\int\limits_{{{Q}^{\nu }}} {{{\rho }_{{{{Q}^{\nu }}}}}(q)dq} = 1,\quad \nu = 1, \ldots ,L.$

Точки ${{\theta }^{\nu }}$ возможного размещения источников внешних воздействий определены множествами

(1.5)
${{{\Theta }}^{\nu }} \subset {\Omega },\quad \nu = 1, \ldots ,L,\quad {\Theta } = {{{\Theta }}^{1}} \times \cdots \times {{{\Theta }}^{L}},$
с заданными функциями плотности распределения ${{\rho }_{{{{{\Theta }}^{\nu }}}}}{\kern 1pt} \left( \theta \right) \geqslant 0$ такими, что

$\iint\limits_{{{{\Theta }}^{\nu }}} {{{\rho }_{{{{{\Theta }}^{\nu }}}}}{\kern 1pt} \left( \theta \right)d\theta } = 1,\quad \nu = 1, \ldots ,L.$

Значения $\vartheta _{s}^{i}$, определяющие управляющие мощности воздействий и места их размещения ${{\eta }^{i}}$, являются оптимизируемыми параметрами рассматриваемого процесса управления гашением колебаний. Они удовлетворяют ограничениям:

(1.6)
${{\underset{\raise0.3em\hbox{$\smash{\scriptscriptstyle-}$}}{\vartheta } }^{i}} \leqslant \vartheta _{s}^{i} \leqslant \overline {{{\vartheta }^{i}}} ,\quad i = 1, \ldots ,{{N}_{c}},\quad s = 1, \ldots ,{{N}_{t}},$
(1.7)
${{\eta }^{i}} \in {{\mathcal{O}}_{{{{\varepsilon }_{x}}}}}({{\eta }^{i}}) \subset {\Omega }_{c}^{i} \subset {\Omega },\quad ~i = 1, \ldots ,{{N}_{c}},$
исходящих из технических и технологических соображений. В (1.7) ${\Omega }_{c}^{i}$ – заданные замкнутые подобласти, в которых могут устанавливаться стабилизаторы; ${{\underset{\raise0.3em\hbox{$\smash{\scriptscriptstyle-}$}}{\vartheta } }^{i}}$, $\overline {{{\vartheta }^{i}}} $ – заданы, $i = 1, \ldots ,{{N}_{c}}$.

Известно, что решение $u\left( {x,t} \right)$ начально-краевой задачи (1.1)–(1.3) при заданных внешних и управляющих воздействиях ${{q}^{\nu }}$ и $\vartheta _{s}^{i}$, $i = 1, \ldots ,{{N}_{c}}$, $\nu = 1, \ldots ,L$, существует в классическом смысле (см. [9]).

Рассматриваемая задача управления процессом гашения колебаний мембраны за заданное время ${{T}_{f}}$ заключается в определении значений мощностей воздействий гасителей колебания $\vartheta $ и мест их размещения $\eta $, удовлетворяющих приведенным выше условиям и минимизирующих следующий функционал:

(1.8)
$\mathcal{I}{\kern 1pt} \left( {\vartheta ,\eta } \right) = \int\limits_Q {\iint\limits_{\Theta } {I{\kern 1pt} \left( {\vartheta ,\eta ;q,\theta } \right){{\rho }_{{\Theta }}}{\kern 1pt} \left( \theta \right){{\rho }_{Q}}{\kern 1pt} \left( q \right)d\theta dq}} ,$
(1.9)
$I\left( {\vartheta ,\eta ;q,\theta } \right) = {{T}_{1}}\int\limits_{{{T}_{f}}} {\iint\limits_{\Omega } {\mu (x){{{\left[ {u{\kern 1pt} \left( {x,t;\vartheta ,\eta ,q,\theta } \right)} \right]}}^{2}}dxdt + \mathcal{R}{\kern 1pt} \left( {\vartheta ,\eta ,\varepsilon } \right)}} ,$
$\mathcal{R}{\kern 1pt} \left( {\vartheta ,\eta ,\varepsilon } \right) = {{\varepsilon }_{1}}\left\| {\vartheta - \hat {\vartheta }} \right\|_{{{{{\text{R}}}^{{{{N}_{t}}{{N}_{c}}}}}}}^{2} + {{\varepsilon }_{2}}\left\| {\eta - \hat {\eta }} \right\|_{{{{{\text{R}}}^{{2{{N}_{c}}}}}}}^{2},$
$q = ({{q}^{1}}, \ldots ,{{q}^{L}}),\quad {{\rho }_{Q}}(q) = {{\rho }_{{{{Q}^{1}}}}}({{q}^{1}}) \cdots {{\rho }_{{{{Q}^{L}}}}}({{q}^{L}}),\quad dq = d{{q}^{1}} \cdots d{{q}^{L}},$
$\theta = ({{\theta }^{1}}, \ldots ,{{\theta }^{L}}),\quad {{\rho }_{{\Theta }}}(\theta ) = {{\rho }_{{{{{\Theta }}^{1}}}}}({{\theta }^{1}}) \cdots {{\rho }_{{{{{\Theta }}^{L}}}}}({{\theta }^{L}}),\quad d\theta = d{{\theta }^{1}} \cdots d{{\theta }^{L}}.$
Здесь функция $u{\kern 1pt} \left( {x,t} \right) = u{\kern 1pt} \left( {x,t;\vartheta ,\eta ,q,\theta } \right)$ является решением начально-краевой задачи (1.1)–(1.3) при заданных в окрестностях точек сосредоточения ${{\theta }^{\nu }}$ внешних воздействий мощностью ${{q}^{\nu }}$ в начальный момент времени, $\nu = 1, \ldots ,L$, и режимах гасителей $\vartheta $; $\mu {\kern 1pt} \left( x \right) \geqslant 0$ – весовая функция, определяющая значимость гашения колебания в точке мембраны $x \in {\Omega }$. Второе слагаемое в (1.9) служит для регуляризации функционала, ${{\varepsilon }_{1}}$, ${{\varepsilon }_{2}}$, $\hat {\vartheta } \in {{{\text{R}}}^{{{{N}_{t}}{{N}_{c}}}}}$, $\hat {\eta } \in {{{\text{R}}}^{{2{{N}_{c}}}}}$ – параметры регуляризации.

Заданная величина $\Delta T > 0$ определяет длительность промежутка времени $[{{T}_{f}},{{T}_{1}}]$, ${{T}_{1}} = {{T}_{f}} + \Delta T$, на котором должна оцениваться степень установления колебания мембраны. Функционал (1.8), (1.9) по состоянию мембраны на промежутке времени $[{{T}_{f}},{{T}_{1}}]$ оценивает качество управляющих параметров $\vartheta $ и $\eta $ при управлении процессом гашения колебаний на промежутке времени $t \in [0,{{T}_{f}}]$ в среднем по всем значениям параметров внешних точечных воздействий $q$, $\theta $, удовлетворяющих условиями (1.4), (1.5).

Предположим, что в точках мембраны ${{\xi }^{j}} = (\xi _{1}^{j},\xi _{2}^{j}) \in {\Omega }$, $j = 1, \ldots ,{{N}_{o}}$, установлены датчики, осуществляющие замеры интегральных значений смещения мембраны в окрестностях этих точек и моментов времени ${{\tau }_{s}} \in (0,{{T}_{f}}]$, $s = 1, \ldots ,{{N}_{t}}$:

(1.10)
$\hat {u}_{s}^{j} = \int\limits_{{{\mathcal{O}}_{\varepsilon }}({{\tau }_{s}})} {\iint\limits_{{{\mathcal{O}}_{\varepsilon }}({{\xi }^{j}})} {u(\hat {x},\hat {t})\delta (\hat {x};{{\mathcal{O}}_{{{{\varepsilon }_{x}}}}}({{\xi }^{j}}))\delta (\hat {t};{{\mathcal{O}}_{{{{\varepsilon }_{t}}}}}({{\tau }_{s}}))d\hat {x}d\hat {t}}} ,\quad j = 1, \ldots ,{{N}_{o}},\quad s = 1, \ldots ,{{N}_{t}},$
и имеется возможность оперативно устанавливать допустимые режимы стабилизации $\vartheta _{s}^{i}$, $i = 1, \ldots ,{{N}_{c}}$, $s = 1, \ldots ,{{N}_{t}}$, по результатам этих замеров. В силу свойств функций $\delta (\hat {x};{{\mathcal{O}}_{{{{\varepsilon }_{x}}}}}(\hat {\xi }))$, $\delta (\hat {t};{{\mathcal{O}}_{{{{\varepsilon }_{t}}}}}(\hat {\tau }))$ формулу (1.10) можно записать и в виде
$\hat {u}_{s}^{j} = \int\limits_0^T {\iint\limits_{\Omega } {u(\hat {x},\hat {t})\delta (\hat {x};{{\mathcal{O}}_{{{{\varepsilon }_{x}}}}}({{\xi }^{j}}))\delta (\hat {t};{{\mathcal{O}}_{{{{\varepsilon }_{t}}}}}({{\tau }_{s}}))d\hat {x}d\hat {t}}} ,\quad j = 1, \ldots ,{{N}_{o}},\quad s = 1, \ldots ,{{N}_{t}}.$
Здесь $\delta (\hat {x},{{\mathcal{O}}_{{{{\varepsilon }_{x}}}}}({{\xi }^{j}}))$, $\delta (\hat {t},{{\mathcal{O}}_{{{{\varepsilon }_{t}}}}}({{\tau }_{s}}))$ играют роль весовых функций, определяющих вклад значения состояния мембраны в точке $x \in {{\mathcal{O}}_{{{{\varepsilon }_{x}}}}}({{\xi }^{j}})$, $t \in {{\mathcal{O}}_{{{{\varepsilon }_{t}}}}}({{\tau }_{s}})$ в целом на замеренное значение $\hat {u}_{s}^{j}$.

Для назначения текущих значений для режимов стабилизаторов используем следующую функцию, определяющую обратную связь управляющих воздействий с состоянием мембраны в окрестностях точек наблюдения:

(1.11)
$\begin{gathered} \vartheta _{s}^{i} = \mathop \sum \limits_{j = 1}^{{{N}_{o}}} \,{{k}^{{ij}}}[\hat {u}_{s}^{j} - {{z}^{{ij}}}] = \mathop \sum \limits_{j = 1}^{{{N}_{o}}} \,{{k}^{{ij}}}\left[ {\int\limits_{{{\mathcal{O}}_{\varepsilon }}({{\tau }_{s}})} {\iint\limits_{{{\mathcal{O}}_{\varepsilon }}({{\xi }^{j}})} {u(\hat {x},\hat {t})\delta (\hat {x};{{\mathcal{O}}_{{{{\varepsilon }_{x}}}}}({{\xi }^{j}}))\delta (\hat {t};{{\mathcal{O}}_{{{{\varepsilon }_{t}}}}}({{\tau }_{s}}))d\hat {x}d\hat {t} - {{z}^{{ij}}}}} } \right], \\ i = 1, \ldots ,{{N}_{c}},\quad s = 1, \ldots ,{{N}_{t}}. \\ \end{gathered} $
Здесь $k = \left( {({{k}^{{ij}}})} \right)$ – матрица коэффициентов усиления; $z~ = \left( {({{z}^{{ij}}})} \right)$, ${{z}^{{ij}}}$ – номинальное значение смещения мембраны в точке ${{\xi }^{j}}$ относительно стабилизатора, установленного в точке ${{\eta }^{i}}$, $i = 1, \ldots ,{{N}_{c}}$, $j = 1, \ldots ,{{N}_{o}}$; $k$, $z$ – являются оптимизируемыми параметрами обратной связи.

Подставив формулу (1.11) в уравнение (1.1), получим

(1.12)
$\begin{gathered} {{u}_{{tt}}}(x,t) = {{a}^{2}}\mathcal{L}u(x,t) - \lambda {{u}_{t}}(x,t) + \mathop \sum \limits_{s = 1}^{{{N}_{t}}} \,\delta (t;{{\mathcal{O}}_{{{{\varepsilon }_{t}}}}}({{\tau }_{s}}))\mathop \sum \limits_{i = 1}^{{{N}_{c}}} \,\delta (x;{{\mathcal{O}}_{{{{\varepsilon }_{x}}}}}({{\eta }^{i}})) \times \\ \times \;\mathop \sum \limits_{j = 1}^{{{N}_{o}}} \,{{k}^{{ij}}}\left[ {\int\limits_{{{\mathcal{O}}_{{{{\varepsilon }_{t}}}}}({{\tau }_{s}})} {\iint\limits_{{{\mathcal{O}}_{{{{\varepsilon }_{x}}}}}({{\xi }^{j}})} {u(\hat {x},\hat {t})\delta (\hat {x};{{\mathcal{O}}_{{{{\varepsilon }_{x}}}}}({{\xi }^{j}}))\delta (\hat {t};{{\mathcal{O}}_{{{{\varepsilon }_{t}}}}}({{\tau }_{s}}))d\hat {x}d\hat {t} - {{z}^{{ij}}}}} } \right],\quad x \in {\Omega }. \\ \end{gathered} $

Из-за участия в дифференциальных уравнениях интегральных значений искомых функций по окрестности некоторых точек временной переменной или фазового пространства такие уравнения многие авторы называют нагруженными (см. [11] и библиографию в ней). В уравнении (1.12) нагружениями являются интегралы по состоянию мембраны в окрестностях точек размещения замеров ${{\xi }^{j}}~$ и моментов времени замеров ${{\tau }_{s}}$, $j = 1, \ldots ,{{N}_{o}}$, $s = 1, \ldots ,~{{N}_{t}}$. Исследование вопросов существования и единственности решений нагруженных дифференциальных уравнений как с обыкновенными, так и с частными производными, в том числе численные методы их решения, исследовались в таких работах, как [12]–[15]. Эти вопросы в данной статье не рассматриваются.

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

(1.13)
${{\xi }^{j}} \in {{\mathcal{O}}_{{{{\varepsilon }_{x}}}}}({{\xi }^{j}}) \subset {\Omega }_{o}^{j} \subset {\Omega },\quad j = 1, \ldots ,{{N}_{o}},$
причем на практике, как правило, подобласти точек размещения стабилизаторов и замеров состояния могут не пересекаться, т.е.

${\Omega }_{c}^{i} \cap {\Omega }_{o}^{j} = \emptyset ,\quad i = 1 \ldots ,{{N}_{c}},\quad j = 1, \ldots ,{{N}_{o}}.$

Основной целью данной статьи является синтез управляющих параметров стабилизации процесса колебаний мембраны. Задача заключается в определении оптимальных значений параметров обратной связи $k \in {{{\text{R}}}^{{{{N}_{c}}{{N}_{o}}}}}$, $z \in {{{\text{R}}}^{{{{N}_{c}}{{N}_{o}}}}}$, мест размещения точек замера $\xi $ и стабилизации $\eta $, при которых удовлетворяются ограничения (1.6), (1.7), (1.12). Общая размерность конечномерного вектора синтезируемых параметров, который обозначим через $y = \left( {k,z,\xi ,\eta } \right)$, равна $N = 2\left( {{{N}_{c}}{{N}_{o}} + {{N}_{c}} + {{N}_{o}}} \right)$, т.е. $y \in {{{\text{R}}}^{N}}$. Как видно, размерность оптимизируемого вектора определяется в основном удвоенным произведением числа стабилизаторов и точек контроля. В практических приложениях их число невелико и редко превышает 5–6 единиц, а следовательно, размерность всей задачи составляет порядка 60–80. Такую размерность можно считать приемлемой с учетом использования современных средств вычислительной техники, численных методов и того, что эти задачи не требуют решения в реальном масштабе времени.

Критерий качества параметров управления, определяемый функционалом (1.8), (1.9), запишем в виде

(1.14)
$\mathcal{I}{\kern 1pt} \left( y \right) = \int\limits_Q {\iint\limits_{\Theta } {I{\kern 1pt} \left( {y;q,\theta } \right){{\rho }_{{\Theta }}}{\kern 1pt} \left( \theta \right){{\rho }_{Q}}{\kern 1pt} \left( q \right)d\theta dq}} ,$
(1.15)
$I{\kern 1pt} \left( {y;q,\theta } \right) = \int\limits_{{{T}_{f}}}^{{{T}_{1}}} {\iint\limits_{\Omega } {\mu {\kern 1pt} \left( x \right){{{\left[ {u{\kern 1pt} \left( {x,t;y,q,\theta } \right)} \right]}}^{2}}dxdt}} + \mathcal{R}{\kern 1pt} \left( {y,\varepsilon } \right),$
где использовано обозначение:
$\mathcal{R}{\kern 1pt} \left( {y,\varepsilon } \right) = {{\varepsilon }_{1}}\left\| {k - \hat {k}} \right\|_{{{{{\text{R}}}^{{{{N}_{c}}{{N}_{o}}}}}}}^{2} + {{\varepsilon }_{2}}\left\| {z - \hat {z}} \right\|_{{{{{\text{R}}}^{{{{N}_{c}}{{N}_{o}}}}}}}^{2} + {{\varepsilon }_{3}}\left\| {\xi - \hat {\xi }} \right\|_{{{{{\text{R}}}^{{2{{N}_{o}}}}}}}^{2} + {{\varepsilon }_{4}}\left\| {\eta - \hat {\eta }} \right\|_{{{{{\text{R}}}^{{2{{N}_{c}}}}}}}^{2}.$
Здесь $\varepsilon = \left( {{{\varepsilon }_{1}},{{\varepsilon }_{2}},{{\varepsilon }_{3}},{{\varepsilon }_{4}}} \right)$, ${{\varepsilon }_{i}} \geqslant 0$, $i = 1, \ldots ,4$, $\hat {k} \in {{{\text{R}}}^{{{{N}_{c}}{{N}_{o}}}}}$, $\hat {z} \in {{{\text{R}}}^{{{{N}_{c}}{{N}_{o}}}}}$, $\hat {\xi } \in {{{\text{R}}}^{{2{{N}_{o}}}}}$, $\hat {\eta } \in {{{\text{R}}}^{{2{{N}_{c}}}}}$ – параметры регуляризации, значения которых могут назначаться с использованием различных известных алгоритмов метода регуляризации (см. [16]).

Полученная задача синтеза управления процессом стабилизации колебаний (1.12), (1.2), (1.3), (1.4)–(1.6), (1.14), (1.15) относится к классу задач параметрического оптимального управления распределенными системами.

Представляет интерес случай, когда множество возможных значений внешних воздействий ${{Q}^{\nu }}$ и точек их размещения ${{{\Theta }}^{\nu }}$ являются дискретно заданными

(1.16)
${{Q}^{\nu }} = \{ {{q}^{{\nu ,i}}}{\kern 1pt} :~\;\;~i = 1, \ldots ,N_{q}^{\nu }\} ,\quad \nu = 1, \ldots ,L,$
(1.17)
${{{\Theta }}^{\nu }} = \{ {{\theta }^{{\nu ,j}}}{\kern 1pt} :\;\;j = 1, \ldots ,N_{\theta }^{\nu }\} ,\quad \nu = 1, \ldots ,L,$
с заданными значениями вероятности получения этих дискретных значений

(1.18)
$p_{{{{Q}^{\nu }}}}^{i} = P(q = {{q}^{{\nu ,i}}}),\quad i = 1, \ldots ,N_{q}^{\nu },\quad \nu = 1, \ldots ,L,$
(1.19)
$p_{{{{{\Theta }}^{\nu }}}}^{j} = P(\theta = {{\theta }^{{\nu ,j}}}),\quad j = 1, \ldots ,N_{\theta }^{\nu },\quad \nu = 1, \ldots ,L.$

В этом случае функционал (1.14) примет вид

(1.20)
$\mathcal{I}{\kern 1pt} \left( y \right) = \mathop \sum \limits_{{{i}_{1}} = 1}^{N_{q}^{1}} \cdots \mathop \sum \limits_{{{i}_{L}} = 1}^{N_{q}^{L}} \,\mathop \sum \limits_{{{j}_{1}} = 1}^{N_{\theta }^{1}} \cdots \mathop \sum \limits_{{{j}_{L}} = 1}^{N_{\theta }^{L}} \,I(y;{{q}^{{1,{{i}_{1}}}}}, \ldots ,{{q}^{{L,{{i}_{L}}}}},{{\theta }^{{1,{{j}_{1}}}}}, \ldots ,{{\theta }^{{L,{{j}_{L}}}}})p_{{{{Q}^{1}}}}^{{{{i}_{1}}}} \ldots ~p_{{{{Q}^{L}}}}^{{{{i}_{L}}}} \cdot p_{{{{{\Theta }}^{1}}}}^{{{{j}_{1}}}} \ldots p_{{{{{\Theta }}^{L}}}}^{{{{j}_{L}}}}.$

В практических приложениях встречается случай, когда обратная связь с точками замера состояния (смещения) мембраны и воздействия стабилизаторов может осуществляться лишь в окрестностях заданных дискретных моментов времени ${{\tau }_{n}}$, $n = 1, \ldots ,{{N}_{m}}$. Предлагаемый подход можно распространить и на такую постановку задачи.

Отметим следующие особенности полученной задачи синтеза управления процессом стабилизации колебаний.

Во-первых, синтезированное управление определяется конечномерным вектором $y \in {{{\text{R}}}^{N}}$. Во-вторых, в задаче оптимизируются как координаты размещения стабилизаторов ${{\eta }^{i}} \in {\Omega }_{c}^{i} \subset {\Omega }$, так и точки замеров ${{\xi }^{j}} \in {\Omega }_{o}^{j} \subset {\Omega }$, определяемые для всевозможных значений интенсивности внешних точечных воздействий и точек их сосредоточения. В-третьих, несмотря на то, что исходная задача оптимального управления относительно уравнения (1.1) и функционала (1.8), (1.9) при заданных точках размещения стабилизаторов выпукла, полученная задача из-за нелинейного участия в уравнении (1.11) оптимизируемых параметров обратной связи, в общем случае, может быть невыпуклой, а следовательно, многоэкстремальной. Четвeртая особенность задачи обусловлена тем, что исследуемый процесс описывается нагруженным дифференциальным уравнением гиперболического типа. Пятая особенность задачи связана с ограничением (1.5) на управляющие воздействия стабилизаторов. В силу (1.11) ограничение (1.13) на управление переходит в совместное ограничение на фазовую функцию $u\left( {x,t} \right)$ в точках замера ${{\xi }^{j}}$, $j = 1, \ldots ,{{N}_{o}}$, и параметры обратной связи $k$, $z$. Шестая особенность рассматриваемой постановки заключается в том, что мощности и точки сосредоточения внешних воздействий на процесс заданы не точно, поэтому целевой функционал оценивает качество параметров обратной связи в среднем по всевозможным значениям внешних воздействий. Следовательно, можно ожидать, что полученное оптимальное управление будет робастно по отношению к малым изменениям исходных данных задачи. Эта особенность получаемых решений рассматриваемой задачи будет проиллюстрирована далее на тестовой задаче.

2. МЕТОД И ФОРМУЛЫ ДЛЯ РЕШЕНИЯ ЗАДАЧИ СИНТЕЗА УПРАВЛЕНИЯ ПРОЦЕССОМ СТАБИЛИЗАЦИИ

Прежде всего рассмотрим ограничения (1.6), (1.7) с учетом формулы (1.11). Будем предполагать, что область ${\Omega \;}$ имеет простую структуру (прямоугольник, круг, эллипс и т.п.), и оператор проектирования точек пространства ${{{\text{R}}}^{2}}$ на эту область имеет конструктивный характер.

Ограничения (1.6) с учетом (1.11) и обозначений

$\begin{gathered} g_{i}^{0}{\kern 1pt} \left( {{{\tau }_{s}};y} \right) = \frac{{\overline {{{\vartheta }_{i}}} + \underline {{{\vartheta }_{i}}} }}{2} - \mathop \sum \limits_{j = 1}^{{{N}_{o}}} \,{{k}^{{ij}}}\left[ {\int\limits_{{{\mathcal{O}}_{{{{\varepsilon }_{t}}}}}({{\tau }_{s}})} {\iint\limits_{{{\mathcal{O}}_{{{{\varepsilon }_{x}}}}}({{\xi }^{j}})} {u(\hat {x},\hat {t})\delta (\hat {x};{{\mathcal{O}}_{{{{\varepsilon }_{x}}}}}({{\xi }^{j}}))\delta (\hat {t};{{\mathcal{O}}_{{{{\varepsilon }_{t}}}}}({{\tau }_{s}}))d\hat {x}d\hat {t} - {{z}^{{ij}}}}} } \right], \\ i = 1, \ldots ,{{N}_{c}},\quad s = 1, \ldots ,{{N}_{t}}, \\ \end{gathered} $
запишем в компактной форме:

(2.1)
${{g}_{i}}{\kern 1pt} \left( {{{\tau }_{s}};y} \right) = \left| {g_{i}^{0}{\kern 1pt} \left( {{{\tau }_{s}};y} \right)} \right| - \frac{{\overline {{{\vartheta }_{i}}} - \underline {{{\vartheta }_{i}}} }}{2} \leqslant 0,\quad i = 1, \ldots ,{{N}_{c}},\quad s = 1, \ldots ,{{N}_{t}}.$

Для учета ограничений (2.1) в задаче оптимизации параметров обратной связи $y$ используем метод внешнего штрафа (см. [16], [17]). В подынтегральную функцию целевого функционала (1.14) прибавим штрафное слагаемое

(2.2)
${{\mathcal{I}}_{r}}{\kern 1pt} \left( y \right) = \int\limits_Q {\iint\limits_{\Theta } {{{{\tilde {I}}}_{r}}{\kern 1pt} \left( {y;q,\theta } \right){{\rho }_{{\Theta }}}{\kern 1pt} \left( \theta \right){{\rho }_{Q}}{\kern 1pt} \left( q \right)d\theta dq}} ,$
(2.3)
${{\tilde {I}}_{r}}{\kern 1pt} \left( {y;q,\theta } \right) = I{\kern 1pt} \left( {y;q,\theta } \right) + rG{\kern 1pt} \left( y \right).$
Здесь использованы обозначения:

$\begin{gathered} G{\kern 1pt} \left( y \right) = \mathop \sum \limits_{s = 1}^{{{N}_{t}}} \,\mathop \sum \limits_{i = 1}^{{{N}_{c}}} \,{{[g_{i}^{ + }{\kern 1pt} \left( {{{\tau }_{s}};y} \right)]}^{2}}, \\ g_{i}^{ + }{\kern 1pt} \left( {{{\tau }_{s}};y} \right) = \left\{ \begin{gathered} 0,\quad {{g}_{i}}{\kern 1pt} \left( {{{\tau }_{s}};y} \right) \leqslant 0, \hfill \\ {{g}_{i}}{\kern 1pt} \left( {{{\tau }_{s}};y} \right),\quad {{g}_{i}}{\kern 1pt} \left( {{{\tau }_{s}};y} \right) > 0,\quad i = 1, \ldots ,{{N}_{c}},\quad s = 1, \ldots ,{{N}_{t}}. \hfill \\ \end{gathered} \right. \\ \end{gathered} $

В (2.3) параметр $r > 0$ является коэффициентом штрафа, причем при численных расчетах необходимо, чтобы $r$ стремился к $ + \infty $.

Для учета ограничений (1.7), (1.13) используем операторы проектирования на ${\Omega }_{c}^{i}$, ${\Omega }_{o}^{j}$, $i = 1, \ldots ,{{N}_{c}}$, $j = 1, \ldots ,{{N}_{o}}$. В целом для численного решения задачи синтеза параметров $y$ используем метод проекции градиента штрафного функционала. Итерационная процедура для построения минимизирующей последовательности имеет следующий вид (см. [16]):

(2.4)
${{y}^{{m + 1}}} = {{\mathcal{P}}_{{(1.7),(1.13)}}}[{{y}^{m}} - {{\alpha }_{m}}\operatorname{grad} {{\mathcal{I}}_{r}}({{y}^{m}})],\quad m = 0,1,2, \ldots \;.$
Здесь $\operatorname{grad} {{\mathcal{I}}_{r}}{\kern 1pt} \left( y \right)$ – градиент функционала (2.2), вычисленный в точке $y \in {{{\text{R}}}^{N}}$ при заданном коэффициенте штрафа $r$; ${{\mathcal{P}}_{{\left( {1.7} \right),\left( {1.13} \right)}}}[\, \cdot \,]$ – оператор проектирования компонентов вектора $y$ (более конкретно – его компоненты $\xi $ и $\eta $) на подобласти ${\Omega }_{c}^{i}$ и ${\Omega }_{o}^{j}$, $i = 1, \ldots ,{{N}_{c}}$, $j = 1, \ldots ,{{N}_{o}}$; ${{\alpha }_{m}}$ – величина шага в направлении спроектированного на ограничения (1.7), (1.13) антиградиента штрафной функции, при котором должно быть выполнено условие ${{\mathcal{I}}_{r}}({{y}^{{m + 1}}}) \leqslant {{\mathcal{I}}_{r}}({{y}^{m}})$ (см. [16]).

Сформулируем теорему, в которой приведены формулы для компонент градиента функционала ${{\mathcal{I}}_{r}}{\kern 1pt} \left( y \right)$, необходимых для реализации процедуры (2.4). В ней использована характеристическая функция ${{\chi }_{{[{{T}_{f}},{{T}_{1}}]}}}(t)$, равная 0 при $t \notin [{{T}_{f}},{{T}_{1}}]$ и 1 при $t \in [{{T}_{f}},{{T}_{1}}]$.

Теорема 1. Для компонент градиента функционала (1.14) по параметрам $y = \left( {k,z,\xi ,\eta } \right) \in {{{\text{R}}}^{N}}$ линейной обратной связи (1.10), (1.11) имеют место формулы:

(2.5)
$\begin{gathered} \frac{{\partial {{\mathcal{I}}_{r}}(y)}}{{\partial {{k}^{{ij}}}}} = \int\limits_Q {\int\limits_{\Theta } {\left\{ { - \mathop \sum \limits_{s = 1}^{{{N}_{t}}} \left[ {\int\limits_{{{\mathcal{O}}_{{{{\varepsilon }_{t}}}}}({{\tau }_{s}})} {\iint\limits_{{{\mathcal{O}}_{{{{\varepsilon }_{x}}}}}({{\eta }^{i}})} {\psi (x,t)\delta (x;{{\mathcal{O}}_{{{{\varepsilon }_{x}}}}}({{\eta }^{i}}))\delta (t;{{\mathcal{O}}_{{{{\varepsilon }_{t}}}}}({{\tau }_{s}}))dxdt + 2rg_{i}^{ + }({{\tau }_{s}};y)\operatorname{sgn} (g_{i}^{0}({{\tau }_{s}};y))}} } \right]} \right.} } \times \\ \times \;\left. {\left[ {\int\limits_{{{\mathcal{O}}_{{{{\varepsilon }_{t}}}}}({{\tau }_{s}})} {\iint\limits_{{{\mathcal{O}}_{{{{\varepsilon }_{x}}}}}({{\xi }^{j}})} {u(\hat {x},\hat {t})\delta (\hat {x};{{\mathcal{O}}_{{{{\varepsilon }_{x}}}}}({{\xi }^{j}}))\delta (\hat {t};{{\mathcal{O}}_{{{{\varepsilon }_{t}}}}}({{\tau }_{s}}))d\hat {x}d\hat {t}}} - {{z}^{{ij}}}} \right] + 2{{\varepsilon }_{1}}({{k}^{{ij}}} - {{{\hat {k}}}^{{ij}}})} \right\}{{\rho }_{{\Theta }}}(\theta ){{\rho }_{Q}}(q)d\theta dq, \\ \end{gathered} $
(2.6)
$\begin{gathered} \frac{{\partial {{\mathcal{I}}_{r}}(y)}}{{\partial {{z}^{{ij}}}}} = \int\limits_Q {\iint\limits_{\Theta } {\left\{ {\mathop \sum \limits_{s = 1}^{{{N}_{t}}} \left[ {\int\limits_{{{\mathcal{O}}_{{{{\varepsilon }_{t}}}}}({{\tau }_{s}})} {\iint\limits_{{{\mathcal{O}}_{{{{\varepsilon }_{x}}}}}({{\eta }^{i}})} {\psi (x,t)\delta (x;{{\mathcal{O}}_{{{{\varepsilon }_{x}}}}}({{\eta }^{i}}))\delta (t;{{\mathcal{O}}_{{{{\varepsilon }_{t}}}}}({{\tau }_{s}}))dxdt}} + 2rg_{i}^{ + }({{\tau }_{s}};y)\operatorname{sgn} (g_{i}^{0}({{\tau }_{s}};y))} \right]{{k}^{{ij}}}} \right.}} + \\ + \left. {\mathop {2{{\varepsilon }_{2}}}\limits_{\mathop {}\limits_{}^{} }^{} ({{z}^{{ij}}} - {{{\hat {z}}}^{{ij}}})} \right\}{{\rho }_{{\Theta }}}(\theta ){{\rho }_{Q}}(q)d\theta dq, \\ \end{gathered} $
(2.7)
$\begin{gathered} \frac{{\partial {{\mathcal{I}}_{r}}(y)}}{{\partial \xi _{\gamma }^{j}}} = \int\limits_Q {\iint\limits_{\Theta } {\left\{ { - \mathop \sum \limits_{s = 1}^{{{N}_{t}}} \mathop \sum \limits_{i = 1}^{{{N}_{c}}} \left[ {\int\limits_{{{\mathcal{O}}_{{{{\varepsilon }_{t}}}}}({{\tau }_{s}})} {\iint\limits_{{{\mathcal{O}}_{{{{\varepsilon }_{x}}}}}({{\eta }^{i}})} {\psi (x,t)\delta (x;{{\mathcal{O}}_{{{{\varepsilon }_{x}}}}}({{\eta }^{i}}))\delta (t;{{\mathcal{O}}_{{{{\varepsilon }_{t}}}}}({{\tau }_{s}}))dxdt}} + 2rg_{i}^{ + }({{\tau }_{s}};y)\operatorname{sgn} (g_{i}^{0}({{\tau }_{s}};y))} \right]} \right.}} \; \times \\ \times \left. {\;{{k}^{{ij}}}\int\limits_{{{\mathcal{O}}_{{{{\varepsilon }_{t}}}}}({{\tau }_{s}})} {\iint\limits_{{{\mathcal{O}}_{{{{\varepsilon }_{x}}}}}({{\xi }^{j}})} {\frac{{\partial u(\hat {x},\hat {t})}}{{\partial {{{\hat {x}}}_{\gamma }}}}\delta (\hat {x};{{\mathcal{O}}_{{{{\varepsilon }_{x}}}}}({{\xi }^{j}}))\delta (\hat {t};{{\mathcal{O}}_{{{{\varepsilon }_{t}}}}}({{\tau }_{s}}))d\hat {x}d\hat {t}}} + 2{{\varepsilon }_{3}}(\xi _{\gamma }^{j} - \hat {\xi }_{\gamma }^{j})} \right\}{{\rho }_{{\Theta }}}(\theta ){{\rho }_{Q}}(q)d\theta dq, \\ \end{gathered} $
(2.8)
$\begin{gathered} \frac{{\partial {{\mathcal{I}}_{r}}(y)}}{{\partial \eta _{\gamma }^{i}}} = \int\limits_Q {\iint\limits_{\Theta } {\left\{ { - \mathop \sum \limits_{s = 1}^{{{N}_{t}}} \,\int\limits_{{{\mathcal{O}}_{{{{\varepsilon }_{t}}}}}({{\tau }_{s}})} {\iint\limits_{{{\mathcal{O}}_{{{{\varepsilon }_{x}}}}}({{\eta }^{i}})} {\frac{{\partial \psi (x,t)}}{{\partial {{x}_{\gamma }}}}\delta (x;{{\mathcal{O}}_{{{{\varepsilon }_{x}}}}}({{\eta }^{i}}))\delta (t;{{\mathcal{O}}_{{{{\varepsilon }_{t}}}}}({{\tau }_{s}}))dxdt}} } \right.}} \; \times \\ \times \;\left. {\mathop \sum \limits_{j = 1}^{{{N}_{o}}} \,{{k}^{{ij}}}\left[ {\int\limits_{{{\mathcal{O}}_{{{{\varepsilon }_{t}}}}}({{\tau }_{s}})} {\iint\limits_{{{\mathcal{O}}_{{{{\varepsilon }_{x}}}}}({{\xi }^{j}})} {u(\hat {x},\hat {t})\delta (\hat {x};{{\mathcal{O}}_{{{{\varepsilon }_{x}}}}}({{\xi }^{j}}))\delta (\hat {t};{{\mathcal{O}}_{{{{\varepsilon }_{t}}}}}({{\tau }_{s}}))d\hat {x}d\hat {t}}} - {{z}^{{ij}}}} \right] + 2{{\varepsilon }_{4}}(\eta _{\gamma }^{i} - \hat {\eta }_{\gamma }^{i})} \right\}{{\rho }_{{\Theta }}}(\theta ){{\rho }_{Q}}(q)d\theta dq, \\ \end{gathered} $
где $i = 1, \ldots ,{{N}_{c}}$, $j = 1, \ldots ,{{N}_{o}}$, $\gamma = 1,2$. Функция $\psi \left( {x,t} \right)$ является решением сопряженной начально-краевой задачи:

(2.9)
$\begin{gathered} {{\psi }_{{tt}}}(x,t) = {{a}^{2}}\mathcal{L}\psi (x,t) + \lambda {{\psi }_{t}}(x,t) - 2u(x,t;y,q,\theta ){{\chi }_{{[{{T}_{f}},{{T}_{1}}]}}}(t) + \mathop \sum \limits_{s = 1}^{{{N}_{t}}} \,\delta (t;{{\mathcal{O}}_{{{{\varepsilon }_{t}}}}}({{\tau }_{s}}))\mathop \sum \limits_{j = 1}^{{{N}_{o}}} \,\delta (x;{{\mathcal{O}}_{{{{\varepsilon }_{x}}}}}({{\xi }^{j}})) \times \\ \, \times \mathop \sum \limits_{i = 1}^{{{N}_{c}}} \,{{k}^{{ij}}}\left[ {\int\limits_{{{\mathcal{O}}_{{{{\varepsilon }_{t}}}}}({{\tau }_{s}})} {\iint\limits_{{{\mathcal{O}}_{{{{\varepsilon }_{x}}}}}({{\eta }^{i}})} {\psi (\hat {x},\hat {t})\delta (\hat {x};{{\mathcal{O}}_{{{{\varepsilon }_{x}}}}}({{\eta }^{i}}))\delta (\hat {t};{{\mathcal{O}}_{{{{\varepsilon }_{t}}}}}({{\tau }_{s}}))d\hat {x}d\hat {t} + 2rg_{i}^{ + }({{\tau }_{s}};y)\operatorname{sgn} (g_{i}^{0}({{\tau }_{s}};y))}} } \right], \\ ~x \in {\Omega },\quad ~t \in \left[ {0,{{T}_{1}}} \right],~ \\ \end{gathered} $
(2.10)
$\psi {\kern 1pt} \left( {x,{{T}_{1}}} \right) = 0,\quad {{\psi }_{t}}{\kern 1pt} \left( {x,{{T}_{1}}} \right) = 0,\quad x \in {\Omega },$
(2.11)
$\psi {\kern 1pt} \left( {x,t} \right) = 0,\quad x \in {\Gamma },\quad t \in \left[ {0,{{T}_{1}}} \right].$

Доказательство. Учитывая, что для $\nu = 1, \ldots ,L$ значения возмущений ${{q}^{\nu }}$ и места точек ${{\theta }^{\nu }}$ воздействия внешних источников не зависимы как между собой, так и не зависят от синтезируемых параметров $y$, для градиента функционала (1.14) будет иметь место

(2.12)
${{\operatorname{grad} }_{y}}{{\mathcal{I}}_{r}}(y) = {{\operatorname{grad} }_{y}}\int\limits_Q {\iint\limits_{\Theta } {{{{\tilde {I}}}_{r}}{\kern 1pt} \left( {y;q,\theta } \right){{\rho }_{{\Theta }}}{\kern 1pt} \left( \theta \right){{\rho }_{Q}}{\kern 1pt} \left( q \right)d\theta dq}} = \int\limits_Q {\iint\limits_{\Theta } {{{{\operatorname{grad} }}_{y}}{{{\tilde {I}}}_{r}}{\kern 1pt} \left( {y;q,\theta } \right){{\rho }_{{\Theta }}}{\kern 1pt} \left( \theta \right){{\rho }_{Q}}{\kern 1pt} \left( q \right)d\theta dq}} .$

В связи с этим, предполагая заданными значения внешних возмущений ${{q}^{\nu }}$ и точек их приложения ${{\theta }^{\nu }}$, $\nu = 1, \ldots ,L$, достаточно получить формулы для компонент

${{\operatorname{grad} }_{y}}{{\tilde {I}}_{r}}{\kern 1pt} \left( {y;q,\theta } \right) = \left( {\frac{{\partial {{{\tilde {I}}}_{r}}{\kern 1pt} \left( {y;q,\theta } \right)}}{{\partial k}};\frac{{\partial {{{\tilde {I}}}_{r}}{\kern 1pt} \left( {y;q,\theta } \right)}}{{\partial z}};\frac{{\partial {{{\tilde {I}}}_{r}}{\kern 1pt} \left( {y;q,\theta } \right)}}{{\partial \xi }};\frac{{\partial {{{\tilde {I}}}_{r}}{\kern 1pt} \left( {y;q,\theta } \right)}}{{\partial \eta }}} \right).$

В дифференциальном уравнении (1.12) оптимизируемые параметры $y$ содержатся только в третьем слагаемом правой части. Обозначим это слагаемое через

(2.13)
$\begin{gathered} V{\kern 1pt} \left( {x,t;y,\tau } \right) = \\ = \mathop \sum \limits_{s = 1}^{{{N}_{t}}} \,\delta (t;{{\mathcal{O}}_{{{{\varepsilon }_{t}}}}}({{\tau }_{s}}))\mathop \sum \limits_{i = 1}^{{{N}_{c}}} \,\delta (x;{{\mathcal{O}}_{{{{\varepsilon }_{x}}}}}({{\eta }^{i}}))\mathop \sum \limits_{j = 1}^{{{N}_{o}}} \,{{k}^{{ij}}}\left[ {\int\limits_{{{\mathcal{O}}_{{{{\varepsilon }_{t}}}}}({{\tau }_{s}})} {\iint\limits_{{{\mathcal{O}}_{{{{\varepsilon }_{x}}}}}({{\xi }^{j}})} {u(\hat {x},\hat {t})\delta (\hat {x};{{\mathcal{O}}_{{{{\varepsilon }_{x}}}}}({{\xi }^{j}}))\delta (\hat {t};{{\mathcal{O}}_{{{{\varepsilon }_{t}}}}}({{\tau }_{s}}))d\hat {x}d\hat {t} - {{z}^{{ij}}}}} } \right], \\ \end{gathered} $
и будем считать его агрегированным управлением.

Уравнение (1.12) запишем в виде

(2.14)
${{u}_{{tt}}}{\kern 1pt} \left( {x,t} \right) = {{a}^{2}}\mathcal{L}u{\kern 1pt} \left( {x,t} \right) - \lambda {{u}_{t}}{\kern 1pt} \left( {x,t} \right) + V{\kern 1pt} \left( {x,t;y,\tau } \right),\quad x \in {\Omega },\quad t \in \left[ {0,{{T}_{1}}} \right],$

Для получения искомых формул для компонент градиента целевого функционала используем метод приращения функционала Лагранжа рассматриваемой задачи, получаемого за счет приращения независимых параметров $y$. Составим функционал Лагранжа. Для этого перенесем правую часть уравнения (2.14) влево и умножим обе части уравнения на пока произвольную функцию $\psi {\kern 1pt} \left( {x,t} \right)$, условия на которую будут наложены далее в ходе доказательства. Проинтегрируем полученное выражение, равное нулю, по $x \in {\Omega }$, $t \in \left[ {0,{{T}_{1}}} \right]$ и прибавим к функционалу (2.3) левую часть полученного соотношения. Получим

(2.15)
$\begin{gathered} {{{\tilde {I}}}_{r}}{\kern 1pt} \left( {y;q,\theta } \right) = I{\kern 1pt} \left( {y;q,\theta } \right) + rG{\kern 1pt} \left( y \right) + \int\limits_0^{{{T}_{1}}} {\iint\limits_{\Omega } {\psi {\kern 1pt} \left( {x,t} \right)\left( {{{u}_{{tt}}}(x,t) - {{a}^{2}}\mathcal{L}u(x,t) + \lambda {{u}_{t}}(x,t)} \right)dxdt}} - \\ \, - \mathop \sum \limits_{s = 1}^{{{N}_{t}}} \,\mathop \sum \limits_{i = 1}^{{{N}_{c}}} \,\int\limits_{{{\mathcal{O}}_{{{{\varepsilon }_{t}}}}}({{\tau }_{s}})} {\iint\limits_{{{\mathcal{O}}_{{{{\varepsilon }_{x}}}}}({{\eta }^{i}})} {\psi {\kern 1pt} \left( {x,t} \right)\delta (x;{{\mathcal{O}}_{{{{\varepsilon }_{x}}}}}({{\eta }^{i}}))\delta (t;{{\mathcal{O}}_{{{{\varepsilon }_{t}}}}}({{\tau }_{s}}))dxdt}} \times \\ \, \times \mathop \sum \limits_{j = 1}^{{{N}_{o}}} \,{{k}^{{ij}}}\left[ {\int\limits_{{{\mathcal{O}}_{{{{\varepsilon }_{t}}}}}({{\tau }_{s}})} {\iint\limits_{{{\mathcal{O}}_{{{{\varepsilon }_{x}}}}}({{\xi }^{j}})} {u(\hat {x},\hat {t})\delta (\hat {x};{{\mathcal{O}}_{{{{\varepsilon }_{x}}}}}({{\xi }^{j}}))\delta (\hat {t};{{\mathcal{O}}_{{{{\varepsilon }_{t}}}}}({{\tau }_{s}}))d\hat {x}d\hat {t} - {{z}^{{ij}}}}} } \right]. \\ \end{gathered} $

Ясно, что изменение значений параметров $y$ прежде всего приведет к изменению значения агрегированного управления $V{\kern 1pt} \left( {x,t;y,\tau } \right)$.

Пусть управление $V{\kern 1pt} \left( {x,t;y,\tau } \right)$ получило приращение $\Delta V{\kern 1pt} \left( {x,t;y,\tau } \right)$ за счет изменения вектора синтезируемых параметров $y = \left( {k,z,\xi ,\eta } \right)$ на величину $\Delta y = \left( {\Delta k,\Delta z,\Delta \xi ,\Delta \eta } \right)$. Обозначим через ${{\Delta }_{k}}V{\kern 1pt} \left( {x,t;y,\tau } \right)$, ${{\Delta }_{z}}V{\kern 1pt} \left( {x,t;y,\tau } \right)$, ${{\Delta }_{\xi }}V{\kern 1pt} \left( {x,t;y,\tau } \right)$, ${{\Delta }_{\eta }}V{\kern 1pt} \left( {x,t;y,\tau } \right)$ приращения управляющего слагаемого $V{\kern 1pt} \left( {x,t;y,\tau } \right)$, получаемые за счет приращения $\Delta k$, $\Delta z$, $\Delta \xi $, $\Delta \eta $ соответствующих компонент вектора $y$. В силу взаимной независимости компонент $y$ приращение ${\Delta }V{\kern 1pt} \left( {x,t;y,\tau } \right)$ определяется в виде

$\begin{gathered} {\Delta }V{\kern 1pt} \left( {x,t;y,\tau } \right) = V{\kern 1pt} \left( {x,t;y + \Delta y,\tau } \right) - V{\kern 1pt} \left( {x,t;y,\tau } \right) = \\ = {{\Delta }_{k}}V{\kern 1pt} \left( {x,t;y,\tau } \right) + {{\Delta }_{z}}V{\kern 1pt} \left( {x,t;y,\tau } \right) + {{\Delta }_{\xi }}V{\kern 1pt} \left( {x,t;y,\tau } \right) + {{\Delta }_{\eta }}V{\kern 1pt} \left( {x,t;y,\tau } \right). \\ \end{gathered} $

Аналогично приращение функционала ${{\tilde {I}}_{r}}{\kern 1pt} \left( {y;q,\theta } \right)$, соответствующее приращению $\Delta y = \left( {\Delta k,\Delta z,\Delta \xi ,\Delta \eta } \right)$ $\Delta y = \left( {\Delta k,\Delta z,\Delta \xi ,\Delta \eta } \right)$, определится формулой

$\begin{gathered} \Delta {{{\tilde {I}}}_{r}}{\kern 1pt} \left( {y;q,\theta } \right) = {{{\tilde {I}}}_{r}}{\kern 1pt} \left( {y + \Delta y;q,\theta } \right) - {{{\tilde {I}}}_{r}}{\kern 1pt} \left( {y;q,\theta } \right) = \\ = {{\Delta }_{k}}{{{\tilde {I}}}_{r}}{\kern 1pt} \left( {y;q,\theta } \right) + {{\Delta }_{z}}{{{\tilde {I}}}_{r}}{\kern 1pt} \left( {y;q,\theta } \right) + {{\Delta }_{\xi }}{{{\tilde {I}}}_{r}}{\kern 1pt} \left( {y;q,\theta } \right) + {{\Delta }_{\eta }}{{{\tilde {I}}}_{r}}{\kern 1pt} \left( {y;q,\theta } \right), \\ \end{gathered} $
где ${{\Delta }_{k}}{{\tilde {I}}_{r}}{\kern 1pt} \left( {y;q,\theta } \right)$, ${{\Delta }_{z}}{{\tilde {I}}_{r}}{\kern 1pt} \left( {y;q,\theta } \right)$, ${{\Delta }_{\xi }}{{\tilde {I}}_{r}}{\kern 1pt} \left( {y;q,\theta } \right)$, ${{\Delta }_{\eta }}{{\tilde {I}}_{r}}{\kern 1pt} \left( {y;q,\theta } \right)$ – приращения функционала, полученные за счет приращений соответствующих компонент вектора $y$.

Тогда приращение решения начально-краевой задачи (1.12), (1.2), (1.3) имеет вид, которое обознaчим

$\Delta u\left( {x,t} \right) = \Delta u\left( {x,t;y} \right) = u\left( {x,t;y + \Delta y} \right) - u\left( {x,t;y} \right)$
и будет являться решением начально-краевой задачи

(2.16)
$\Delta {{u}_{{tt}}}{\kern 1pt} \left( {x,t} \right) = {{a}^{2}}\mathcal{L}\Delta u{\kern 1pt} \left( {x,t} \right) - \lambda \Delta {{u}_{t}}{\kern 1pt} \left( {x,t} \right) + {\Delta }V{\kern 1pt} \left( {x,t;y,\tau } \right),\quad x \in {\Omega },\quad t \in \left[ {0,{{T}_{1}}} \right],~~$
(2.17)
$\Delta u{\kern 1pt} \left( {x,0} \right) = 0,\quad \Delta {{u}_{t}}{\kern 1pt} \left( {x,0} \right) = 0,\quad x \in {\Omega },$
(2.18)
$\Delta u{\kern 1pt} \left( {x,t} \right) = 0,\quad x \in {\Gamma },\quad t \in \left[ {0,{{T}_{1}}} \right].$

Получим формулу $\Delta {{\tilde {I}}_{r}}{\kern 1pt} \left( {q,\theta ;y} \right)$ для приращения функционала (2.15), соответствующего приращению агрегированного управления $\Delta V\left( {x,t;y,\tau } \right)$, которое с точностью малых второго порядка записывается в виде

$\begin{gathered} \Delta {{{\tilde {I}}}_{r}}{\kern 1pt} \left( {y;q,\theta } \right) = \int\limits_{{{T}_{f}}}^{{{T}_{1}}} {\iint\limits_{\Omega } {\left[ {\frac{{\partial {{{\tilde {I}}}_{r}}{\kern 1pt} \left( {y;q,\theta } \right)}}{{\partial k}}\Delta k + \frac{{\partial {{{\tilde {I}}}_{r}}{\kern 1pt} \left( {y;q,\theta } \right)}}{{\partial z}}\Delta z + \frac{{\partial {{{\tilde {I}}}_{r}}{\kern 1pt} \left( {y;q,\theta } \right)}}{{\partial \xi }}\Delta \xi + \frac{{\partial {{{\tilde {I}}}_{r}}{\kern 1pt} \left( {y;q,\theta } \right)}}{{\partial \eta }}\Delta \eta } \right]}} \,dxdt + \\ + \;o\left( {{{{\left\| {\Delta k} \right\|}}_{{{{{\text{R}}}^{{{{N}_{c}}{{N}_{o}}}}}}}}} \right) + o\left( {{{{\left\| {\Delta z} \right\|}}_{{{{{\text{R}}}^{{{{N}_{c}}{{N}_{o}}}}}}}}} \right) + o\left( {{{{\left\| {\Delta \xi } \right\|}}_{{{{{\text{R}}}^{{2{{N}_{t}}{{N}_{o}}}}}}}}} \right) + o\left( {{{{\left\| {\Delta \eta } \right\|}}_{{{{{\text{R}}}^{{2{{N}_{t}}{{N}_{c}}}}}}}}} \right). \\ \end{gathered} $

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

$\begin{gathered} \Delta {{{\tilde {I}}}_{r}}{\kern 1pt} \left( {y;q,\theta } \right) = 2\int\limits_{{{T}_{f}}}^{{{T}_{1}}} {\iint\limits_{\Omega } {\mu {\kern 1pt} \left( x \right)u{\kern 1pt} \left( {x,t} \right)\Delta u{\kern 1pt} \left( {x,t} \right)dxdt}} + \\ + \;\int\limits_0^{{{T}_{1}}} {\iint\limits_{\Omega } {\left[ {{{\psi }_{{tt}}}{\kern 1pt} \left( {x,t} \right) - {{a}^{2}}\mathcal{L}\psi {\kern 1pt} \left( {x,t} \right) - \lambda {{\psi }_{t}}{\kern 1pt} \left( {x,t} \right)} \right]\Delta u{\kern 1pt} \left( {x,t} \right)dxdt}} + \iint\limits_{\Omega } {\psi {\kern 1pt} \left( {x,{{T}_{1}}} \right)\Delta {{u}_{t}}{\kern 1pt} \left( {x,{{T}_{1}}} \right)dx} + \\ \end{gathered} $
(2.19)
$\begin{gathered} + \;\iint\limits_{\Omega } {\left( {{{\psi }_{t}}{\kern 1pt} \left( {x,{{T}_{1}}} \right) - \lambda \psi {\kern 1pt} \left( {x,{{T}_{1}}} \right)} \right)\Delta u{\kern 1pt} \left( {x,{{T}_{1}}} \right)dx} - {{a}^{2}}\mathop \smallint \limits_0^{{{T}_{1}}} \mathop \smallint \limits_{\Gamma }^{} \psi {\kern 1pt} \left( {x,t} \right)\frac{{\partial \Delta u{\kern 1pt} \left( {x,t} \right)}}{{\partial {\text{n}}}}dxdt + \\ + \;{{a}^{2}}\mathop \smallint \limits_0^{{{T}_{1}}} \mathop \smallint \limits_{\Gamma }^{} \frac{{\partial \psi {\kern 1pt} \left( {x,t} \right)}}{{\partial {\text{n}}}}{\Delta }u{\kern 1pt} \left( {x,t} \right)dxdt - \iint\limits_{\Omega } {\psi {\kern 1pt} \left( {x,0} \right)\Delta {{u}_{t}}{\kern 1pt} \left( {x,0} \right)dx} + \iint\limits_{\Omega } {\left( {{{\psi }_{t}}{\kern 1pt} \left( {x,0} \right) - \lambda \psi {\kern 1pt} \left( {x,0} \right)} \right)\Delta u{\kern 1pt} \left( {x,0} \right)dx} - \\ \end{gathered} $
$\begin{gathered} - \;\int\limits_0^{{{T}_{1}}} {\iint\limits_{\Omega } {\psi {\kern 1pt} \left( {x,t} \right){\Delta }V{\kern 1pt} \left( {x,t;y,\tau } \right)dxdt}} + r\Delta G{\kern 1pt} \left( y \right) + 2{{\varepsilon }_{1}}\left\langle {k - \hat {k},\Delta k} \right\rangle + 2{{\varepsilon }_{2}}\left\langle {z - \hat {z},\Delta z} \right\rangle + \\ + \;2{{\varepsilon }_{3}}\left\langle {\xi - \hat {\xi },\Delta \xi } \right\rangle + 2{{\varepsilon }_{4}}\left\langle {\eta - \hat {\eta },\Delta \eta } \right\rangle + o\left( {{{{\left\| {\Delta u\left( {x,t} \right)} \right\|}}_{{{{L}_{2}}\left( {{\Omega } \times \left[ {0,{{T}_{1}}} \right]} \right)}}}} \right) + o\left( {{{{\left\| {\Delta y} \right\|}}_{{{{{\text{R}}}^{N}}}}}} \right). \\ \end{gathered} $

В силу произвольности функции $\psi \left( {x,t} \right)$ потребуем от нее, чтобы она являлась решением сопряженной начально-краевой задачи (2.9)–(2.11). Тогда в силу (2.16)–(2.18) из (2.19) будем иметь

$\begin{gathered} \Delta {{{\tilde {I}}}_{r}}{\kern 1pt} \left( {y;q,\theta } \right) = - \int\limits_0^{{{T}_{1}}} {\iint\limits_{\Omega } {\psi {\kern 1pt} \left( {x,t} \right){\Delta }V{\kern 1pt} \left( {x,t;y,\tau } \right)dxdt + r\Delta G{\kern 1pt} \left( y \right)}} + 2{{\varepsilon }_{1}}\left\langle {k - \hat {k},\Delta k} \right\rangle + 2{{\varepsilon }_{2}}\left\langle {z - \hat {z},\Delta z} \right\rangle + \\ \, + 2{{\varepsilon }_{3}}\left\langle {\xi - \hat {\xi },\Delta \xi } \right\rangle + 2{{\varepsilon }_{4}}\left\langle {\eta - \hat {\eta },\Delta \eta } \right\rangle + o\left( {{{{\left\| {\Delta u\left( {x,t} \right)} \right\|}}_{{{{L}_{2}}\left( {{\Omega } \times \left[ {0,{{T}_{1}}} \right]} \right)}}}} \right) + o\left( {{{{\left\| {\Delta y} \right\|}}_{{{{{\text{R}}}^{N}}}}}} \right). \\ \end{gathered} $

Ясно, что:

$\begin{gathered} \int\limits_0^{{{T}_{1}}} {\iint\limits_{\Omega } {\psi {\kern 1pt} \left( {x,t} \right){\Delta }V{\kern 1pt} \left( {x,t;y,\tau } \right)dxdt}} = \\ = \int\limits_0^{{{T}_{1}}} {\iint\limits_{\Omega } {\psi {\kern 1pt} \left( {x,t} \right)\left( {{{\Delta }_{k}}V{\kern 1pt} \left( {x,t;y,\tau } \right),{{\Delta }_{z}}V{\kern 1pt} \left( {x,t;y,\tau } \right),{{{\Delta }}_{\xi }}V{\kern 1pt} \left( {x,t;y,\tau } \right),{{\Delta }_{\eta }}V{\kern 1pt} \left( {x,t;y,\tau } \right)} \right)dxdt}} . \\ \end{gathered} $

С учетом обозначения (2.13) имеют место следующие формулы:

(2.20)
$\begin{gathered} \int\limits_0^{{{T}_{1}}} {\iint\limits_{\Omega } {\psi {\kern 1pt} \left( {x,t} \right){{\Delta }_{k}}V{\kern 1pt} \left( {x,t;y,\tau } \right)dxdt}} = \mathop \sum \limits_{s = 1}^{{{N}_{t}}} \,\mathop \sum \limits_{i = 1}^{{{N}_{c}}} \,\int\limits_{{{\mathcal{O}}_{{{{\varepsilon }_{t}}}}}\left( {{{\tau }_{s}}} \right)} {\iint\limits_{{{\mathcal{O}}_{{{{\varepsilon }_{x}}}}}\left( {{{\eta }^{i}}} \right)} {\psi {\kern 1pt} \left( {x,t} \right)\delta (x;{{\mathcal{O}}_{{{{\varepsilon }_{x}}}}}({{\eta }^{i}}))\delta (t;{{\mathcal{O}}_{{{{\varepsilon }_{t}}}}}({{\tau }_{s}}))dxdt}} \times \\ \times \;\mathop \sum \limits_{j = 1}^{{{N}_{o}}} \left[ {\int\limits_{{{\mathcal{O}}_{{{{\varepsilon }_{t}}}}}({{\tau }_{s}})} {\iint\limits_{{{\mathcal{O}}_{{{{\varepsilon }_{x}}}}}({{\xi }^{j}})} {(u(\hat {x},\hat {t})\Delta {{k}^{{ij}}} + {{\Delta }_{{{{k}^{{ij}}}}}}u(\hat {x},\hat {t}){{k}^{{ij}}})\delta (\hat {x};{{\mathcal{O}}_{{{{\varepsilon }_{x}}}}}({{\xi }^{j}}))\delta (\hat {t};{{\mathcal{O}}_{{{{\varepsilon }_{t}}}}}({{\tau }_{s}}))d\hat {x}d\hat {t} - {{z}^{{ij}}}\Delta {{k}^{{ij}}}}} } \right] + o\left( {{{{\left\| {\Delta k} \right\|}}_{{{{{\text{R}}}^{{{{N}_{c}}{{N}_{o}}}}}}}}} \right), \\ \end{gathered} $
(2.21)
$\begin{gathered} \int\limits_0^{{{T}_{1}}} {\iint\limits_\Omega {\psi {\kern 1pt} \left( {x,t} \right){{\Delta }_{z}}V{\kern 1pt} \left( {x,t;y,\tau } \right)dxdt}} = - \mathop \sum \limits_{s = 1}^{{{N}_{t}}} \,\mathop \sum \limits_{i = 1}^{{{N}_{c}}} \,\int\limits_{{{\mathcal{O}}_{{{{\varepsilon }_{t}}}}}({{\tau }_{s}})} {\iint\limits_{{{\mathcal{O}}_{{{{\varepsilon }_{x}}}}}({{\eta }^{i}})} {\psi {\kern 1pt} \left( {x,t} \right)\delta (x;{{\mathcal{O}}_{{{{\varepsilon }_{x}}}}}({{\eta }^{i}}))\delta (t;{{\mathcal{O}}_{{{{\varepsilon }_{t}}}}}({{\tau }_{s}}))dxdt}} \times \\ \, \times \mathop \sum \limits_{j = 1}^{{{N}_{o}}} \left[ {{{k}^{{ij}}}\Delta {{z}^{{ij}}} + \int\limits_{{{\mathcal{O}}_{{{{\varepsilon }_{t}}}}}({{\tau }_{s}})} {\iint\limits_{{{\mathcal{O}}_{{{{\varepsilon }_{x}}}}}({{\xi }^{i}})} {{{\Delta }_{{{{z}^{{ij}}}}}}u(\hat {x},\hat {t}){{k}^{{ij}}}\delta (\hat {x};{{\mathcal{O}}_{{{{\varepsilon }_{x}}}}}({{\xi }^{j}}))\delta (\hat {t};{{\mathcal{O}}_{{{{\varepsilon }_{t}}}}}({{\tau }_{s}}))d\hat {x}d\hat {t}}} } \right] + o\left( {{{{\left\| {\Delta z} \right\|}}_{{{{{\text{R}}}^{{{{N}_{c}}{{N}_{o}}}}}}}}} \right), \\ \end{gathered} $
(2.22)
$\begin{gathered} \int\limits_0^{{{T}_{1}}} {\iint\limits_{\Omega } {\psi {\kern 1pt} \left( {x,t} \right){{\Delta }_{\xi }}V{\kern 1pt} \left( {x,t;y,\tau } \right)dxdt}} = - \mathop \sum \limits_{s = 1}^{{{N}_{t}}} \,\mathop \sum \limits_{i = 1}^{{{N}_{c}}} \,\int\limits_{{{\mathcal{O}}_{{{{\varepsilon }_{t}}}}}\left( {{{\tau }_{s}}} \right)} {\iint\limits_{{{\mathcal{O}}_{{{{\varepsilon }_{x}}}}}({{\eta }^{i}})} {\psi (x,t)\delta (x;{{\mathcal{O}}_{{{{\varepsilon }_{x}}}}}({{\eta }^{i}}))\delta (t;{{\mathcal{O}}_{{{{\varepsilon }_{t}}}}}({{\tau }_{s}}))dxdt}} \times \\ \, \times \mathop \sum \limits_{j = 1}^{{{N}_{o}}} \,{{k}^{{ij}}}\left[ {\int\limits_{{{\mathcal{O}}_{{{{\varepsilon }_{t}}}}}\left( {{{\tau }_{s}}} \right)} {\iint\limits_{{{\mathcal{O}}_{{{{\varepsilon }_{x}}}}}({{\xi }^{j}})} {({{{\operatorname{grad} }}_{x}}u(\hat {x},\hat {t}),\Delta {{\xi }^{j}} + {{\Delta }_{{{{\xi }^{j}}}}}u(\hat {x},\hat {t}))\delta (\hat {x};{{\mathcal{O}}_{{{{\varepsilon }_{x}}}}}({{\xi }^{j}}))\delta (\hat {t};{{\mathcal{O}}_{{{{\varepsilon }_{t}}}}}({{\tau }_{s}}))d\hat {x}d\hat {t}}} } \right] + o\left( {{{{\left\| {\Delta \xi } \right\|}}_{{{{{\text{R}}}^{{2{{N}_{o}}}}}}}}} \right), \\ \end{gathered} $
(2.23)
$\begin{gathered} \int\limits_0^{{{T}_{1}}} {\iint\limits_{\Omega } {\psi {\kern 1pt} \left( {x,t} \right){{\Delta }_{\eta }}V{\kern 1pt} \left( {x,t;y,\tau } \right)dxdt}} = - \mathop \sum \limits_{s = 1}^{{{N}_{t}}} \,\mathop \sum \limits_{i = 1}^{{{N}_{c}}} \,\int\limits_{{{\mathcal{O}}_{{{{\varepsilon }_{t}}}}}\left( {{{\tau }_{s}}} \right)} {\iint\limits_{{{\mathcal{O}}_{{{{\varepsilon }_{x}}}}}({{\eta }^{i}})} {\left\langle {{{{\operatorname{grad} }}_{x}}\psi {\kern 1pt} \left( {x,t} \right),\Delta {{\eta }^{i}}} \right\rangle \delta (x;{{\mathcal{O}}_{{{{\varepsilon }_{x}}}}}({{\eta }^{i}}))\delta (t;{{\mathcal{O}}_{{{{\varepsilon }_{t}}}}}({{\tau }_{s}}))dx}} \times \\ \, \times \mathop \sum \limits_{j = 1}^{{{N}_{o}}} \,{{k}^{{ij}}}\left[ {\int\limits_{{{\mathcal{O}}_{{{{\varepsilon }_{t}}}}}\left( {{{\tau }_{s}}} \right)} {\iint\limits_{{{\mathcal{O}}_{{{{\varepsilon }_{x}}}}}({{\xi }^{j}})} {(u(\hat {x},\hat {t}) + {{\Delta }_{{{{\eta }^{i}}}}}u(\hat {x},\hat {t}))\delta (\hat {x};{{\mathcal{O}}_{{{{\varepsilon }_{x}}}}}({{\xi }^{j}}))\delta (\hat {t};{{\mathcal{O}}_{{{{\varepsilon }_{t}}}}}({{\tau }_{s}}))d\hat {x}d\hat {t} - {{z}^{{ij}}}}} } \right] + o\left( {{{{\left\| {\Delta \eta } \right\|}}_{{{{{\text{R}}}^{{2{{N}_{c}}}}}}}}} \right). \\ \end{gathered} $
Здесь $\left\langle { \cdot , \cdot } \right\rangle $ обозначает скалярное произведение двухмерных векторов.

Займемся приращением штрафного члена

$\begin{gathered} \Delta G{\kern 1pt} \left( y \right) = G{\kern 1pt} \left( {y + \Delta y} \right) - G{\kern 1pt} \left( y \right) = - 2\mathop \sum \limits_{s = 1}^{{{N}_{t}}} \,\mathop \sum \limits_{i = 1}^{{{N}_{c}}} \,g_{i}^{ + }{\kern 1pt} \left( {{{\tau }_{s}};y} \right)\operatorname{sgn} (g_{i}^{0}({{\tau }_{s}};y)) \times \\ \, \times \left( {\mathop \sum \limits_{j = 1}^{{{N}_{o}}} \left[ {\int\limits_{{{\mathcal{O}}_{{{{\varepsilon }_{t}}}}}\left( {{{\tau }_{s}}} \right)} {\iint\limits_{{{\mathcal{O}}_{{{{\varepsilon }_{x}}}}}({{\xi }^{j}})} {u(\hat {x},\hat {t})\delta (\hat {x};{{\mathcal{O}}_{{{{\varepsilon }_{x}}}}}({{\xi }^{j}})){\kern 1pt} \delta (\hat {t};{{\mathcal{O}}_{{{{\varepsilon }_{t}}}}}({{\tau }_{s}}))d\hat {x}d\hat {t} - {{z}^{{ij}}}}} } \right]\Delta {{k}^{{ij}}} - \mathop \sum \limits_{j = 1}^{{{N}_{o}}} \,{{k}^{{ij}}}\Delta {{z}^{{ij}}} + } \right. \\ \end{gathered} $
$\begin{gathered} + \;\mathop \sum \limits_{j = 1}^{{{N}_{o}}} \,{{k}^{{ij}}}\left[ {\int\limits_{{{\mathcal{O}}_{{{{\varepsilon }_{t}}}}}\left( {{{\tau }_{s}}} \right)} {\iint\limits_{{{\mathcal{O}}_{{{{\varepsilon }_{x}}}}}({{\xi }^{j}})} {\left\langle {{{{\operatorname{grad} }}_{x}}u(\hat {x},\hat {t}),\Delta {{\xi }^{j}}} \right\rangle }} {\kern 1pt} \delta (\hat {x};{{\mathcal{O}}_{{{{\varepsilon }_{x}}}}}({{\xi }^{j}}))\delta (\hat {t};{{\mathcal{O}}_{{{{\varepsilon }_{t}}}}}({{\tau }_{s}}))d\hat {x}d\hat {t}} \right] + \\ \left. { + \;\mathop \sum \limits_{j = 1}^{{{N}_{o}}} \,{{k}^{{ij}}}\int\limits_{{{\mathcal{O}}_{{{{\varepsilon }_{t}}}}}\left( {{{\tau }_{s}}} \right)} {\iint\limits_{{{\mathcal{O}}_{{{{\varepsilon }_{x}}}}}({{\xi }^{j}})} {{{\Delta }_{y}}u(\hat {x},\hat {t})\delta (\hat {x};{{\mathcal{O}}_{{{{\varepsilon }_{x}}}}}({{\xi }^{j}})){\kern 1pt} \delta (\hat {t};{{\mathcal{O}}_{{{{\varepsilon }_{t}}}}}({{\tau }_{s}}))d\hat {x}d\hat {t}}} } \right) + o\left( {{{{\left\| {\Delta y} \right\|}}_{{{{{\text{R}}}^{N}}}}}} \right). \\ \end{gathered} $

Отсюда, исходя из того, что компоненты градиента функционала определяются линейной частью его приращения относительно каждой из компонент и из формул (2.20)–(2.23), следует справедливость формул (2.5)–(2.8).

Аналогично можно получить формулы для компонент градиента (1.20) в случае, если возможные значения мощностей и мест размещения точечных источников внешних возмущений заданы дискретными множествами (1.16), (1.17).

Теорема 2. Компоненты градиента функционала (1.20) в случае, когда возможные значения мощностей и мест размещения локальных воздействий в начальный момент получают свои значения в дискретных множествах (1.16), (1.17) с вероятностями (1.18), (1.19) определяются следующими формулами:

$\begin{gathered} \frac{{\partial{ \mathcal{I}}(y)}}{{\partial {{k}^{{ij}}}}} = \mathop \sum \limits_{{{i}_{1}} = 1}^{N_{q}^{1}} \cdots \mathop \sum \limits_{{{i}_{L}} = 1}^{N_{q}^{L}} \,\mathop \sum \limits_{{{j}_{1}} = 1}^{N_{\theta }^{1}} \cdots \mathop \sum \limits_{{{j}_{L}} = 1}^{N_{\theta }^{L}} \left\{ { - \mathop \sum \limits_{s = 1}^{{{N}_{t}}} \left[ {\int\limits_{{{\mathcal{O}}_{{{{\varepsilon }_{t}}}}}\left( {{{\tau }_{s}}} \right)} {\iint\limits_{{{\mathcal{O}}_{{{{\varepsilon }_{x}}}}}({{\eta }^{i}})} {\psi (x,t)\delta (x;{{\mathcal{O}}_{{{{\varepsilon }_{x}}}}}({{\eta }^{i}}))\delta (t;{{\mathcal{O}}_{{{{\varepsilon }_{t}}}}}({{\tau }_{s}}))dxdt}} + {\text{\;}}} \right.} \right. \\ \left. {\mathop + \limits_{\mathop {}\limits_{_{{}}}^{} }^{} \;2rg_{i}^{ + }({{\tau }_{s}};y)\operatorname{sgn} (g_{i}^{0}({{\tau }_{s}};y))} \right]\left. {\left[ {\int\limits_{{{\mathcal{O}}_{{{{\varepsilon }_{t}}}}}\left( {{{\tau }_{s}}} \right)} {\iint\limits_{{{\mathcal{O}}_{{{{\varepsilon }_{x}}}}}({{\xi }^{j}})} {u(\hat {x},\hat {t})\delta (\hat {x};{{\mathcal{O}}_{{{{\varepsilon }_{x}}}}}({{\xi }^{j}}))\delta (\hat {t};{{\mathcal{O}}_{{{{\varepsilon }_{t}}}}}({{\tau }_{s}}))d\hat {x}d\hat {t}}} - {{z}^{{ij}}}} \right] + 2{{\varepsilon }_{1}}({{k}^{{ij}}} - {{{\hat {k}}}^{{ij}}})} \right\} \times \\ \times \;p_{{{{Q}^{1}}}}^{{{{i}_{1}}}} \cdots ~p_{{{{Q}^{L}}}}^{{{{i}_{L}}}} \cdot p_{{{{{\Theta }}^{1}}}}^{{{{j}_{1}}}} \cdots p_{{{{{\Theta }}^{L}}}}^{{{{j}_{L}}}}, \\ \end{gathered} $
$\begin{gathered} \frac{{\partial{ \mathcal{I}}(y)}}{{\partial {{z}^{{ij}}}}} = \mathop \sum \limits_{{{i}_{1}} = 1}^{N_{q}^{1}} \cdots \mathop \sum \limits_{{{i}_{L}} = 1}^{N_{q}^{L}} \,\mathop \sum \limits_{{{j}_{1}} = 1}^{N_{\theta }^{1}} \cdots \mathop \sum \limits_{{{j}_{L}} = 1}^{N_{\theta }^{L}} \left\{ {\mathop \sum \limits_{s = 1}^{{{N}_{t}}} \left[ {\int\limits_{{{\mathcal{O}}_{{{{\varepsilon }_{t}}}}}\left( {{{\tau }_{s}}} \right)} {\iint\limits_{{{\mathcal{O}}_{{{{\varepsilon }_{x}}}}}({{\eta }^{i}})} {\psi (x,t)\delta (x;{{\mathcal{O}}_{{{{\varepsilon }_{x}}}}}({{\eta }^{i}}))\delta (t;{{\mathcal{O}}_{{{{\varepsilon }_{t}}}}}({{\tau }_{s}}))dxdt}} + {\text{\;}}} \right.} \right. \\ \left. {\left. {\mathop + \limits_{\mathop {}\limits_{_{{}}}^{} }^{} \;2rg_{i}^{ + }({{\tau }_{s}};y)\operatorname{sgn} (g_{i}^{0}({{\tau }_{s}};y))} \right]{{k}^{{ij}}} + 2{{\varepsilon }_{2}}({{z}^{{ij}}} - {{{\hat {z}}}^{{ij}}})} \right\}p_{{{{Q}^{1}}}}^{{{{i}_{1}}}} \cdots ~p_{{{{Q}^{L}}}}^{{{{i}_{L}}}} \cdot p_{{{{{\Theta }}^{1}}}}^{{{{j}_{1}}}} \cdots p_{{{{{\Theta }}^{L}}}}^{{{{j}_{L}}}}, \\ \end{gathered} $
$\begin{gathered} \frac{{\partial{ \mathcal{I}}(y)}}{{\partial \xi _{\gamma }^{j}}} = \mathop \sum \limits_{{{i}_{1}} = 1}^{N_{q}^{1}} \cdots \mathop \sum \limits_{{{i}_{L}} = 1}^{N_{q}^{L}} \,\mathop \sum \limits_{{{j}_{1}} = 1}^{N_{\theta }^{1}} \cdots \mathop \sum \limits_{{{j}_{L}} = 1}^{N_{\theta }^{L}} \left\{ { - \mathop \sum \limits_{s = 1}^{{{N}_{t}}} \,\mathop \sum \limits_{i = 1}^{{{N}_{c}}} \left[ {\int\limits_{{{\mathcal{O}}_{{{{\varepsilon }_{t}}}}}\left( {{{\tau }_{s}}} \right)} {\iint\limits_{{{\mathcal{O}}_{{{{\varepsilon }_{x}}}}}({{\eta }^{i}})} {\psi (x,t)\delta (x;{{\mathcal{O}}_{{{{\varepsilon }_{x}}}}}({{\eta }^{i}}))\delta (t;{{\mathcal{O}}_{{{{\varepsilon }_{t}}}}}({{\tau }_{s}}))dxdt}} + {\text{\;}}} \right.} \right. \\ \left. {\left. {\mathop + \limits_{\mathop {}\limits_{_{{}}}^{} }^{} \;2rg_{i}^{ + }({{\tau }_{s}};y)\operatorname{sgn} (g_{i}^{0}({{\tau }_{s}};y))} \right]{{k}^{{ij}}}\int\limits_{{{\mathcal{O}}_{{{{\varepsilon }_{t}}}}}\left( {{{\tau }_{s}}} \right)} {\iint\limits_{{{\mathcal{O}}_{{{{\varepsilon }_{x}}}}}({{\xi }^{j}})} {\frac{{\partial u(\hat {x},\hat {t})}}{{\partial {{{\hat {x}}}_{\gamma }}}}\delta (\hat {x};{{\mathcal{O}}_{{{{\varepsilon }_{x}}}}}({{\xi }^{j}}))\delta (\hat {t};{{\mathcal{O}}_{{{{\varepsilon }_{t}}}}}({{\tau }_{s}}))d\hat {x}d\hat {t}}} + 2{{\varepsilon }_{3}}(\xi _{\gamma }^{j} - \hat {\xi }_{\gamma }^{j})} \right\} \times \\ \times \;p_{{{{Q}^{1}}}}^{{{{i}_{1}}}} \cdots ~p_{{{{Q}^{L}}}}^{{{{i}_{L}}}} \cdot p_{{{{{\Theta }}^{1}}}}^{{{{j}_{1}}}} \cdots p_{{{{{\Theta }}^{L}}}}^{{{{j}_{L}}}}, \\ \end{gathered} $
$\begin{gathered} \frac{{\partial{ \mathcal{I}}(y)}}{{\partial \eta _{\gamma }^{i}}} = \mathop \sum \limits_{{{i}_{1}} = 1}^{N_{q}^{1}} \cdots \mathop \sum \limits_{{{i}_{L}} = 1}^{N_{q}^{L}} \,\mathop \sum \limits_{{{j}_{1}} = 1}^{N_{\theta }^{1}} \cdots \mathop \sum \limits_{{{j}_{L}} = 1}^{N_{\theta }^{L}} \left\{ { - \mathop \sum \limits_{s = 1}^{{{N}_{t}}} \,\int\limits_{{{\mathcal{O}}_{{{{\varepsilon }_{t}}}}}\left( {{{\tau }_{s}}} \right)} {\iint\limits_{{{\mathcal{O}}_{{{{\varepsilon }_{x}}}}}({{\eta }^{i}})} {\frac{{\partial \psi (x,t)}}{{\partial {{x}_{\gamma }}}}\delta (x;{{\mathcal{O}}_{{{{\varepsilon }_{x}}}}}({{\eta }^{i}}))\delta (t;{{\mathcal{O}}_{{{{\varepsilon }_{t}}}}}({{\tau }_{s}}))dxdt}} } \right. \times \\ \left. { \times \;\mathop \sum \limits_{j = 1}^{{{N}_{o}}} \,{{k}^{{ij}}}\left[ {\int\limits_{{{\mathcal{O}}_{{{{\varepsilon }_{t}}}}}\left( {{{\tau }_{s}}} \right)} {\iint\limits_{{{\mathcal{O}}_{{{{\varepsilon }_{x}}}}}({{\xi }^{j}})} {u(\hat {x},\hat {t})\delta (\hat {x};{{\mathcal{O}}_{{{{\varepsilon }_{x}}}}}({{\xi }^{j}}))\delta (\hat {t};{{\mathcal{O}}_{{{{\varepsilon }_{t}}}}}({{\tau }_{s}}))d\hat {x}d\hat {t}}} - {{z}^{{ij}}}} \right] + 2{{\varepsilon }_{4}}(\eta _{\gamma }^{i} - \hat {\eta }_{\gamma }^{i})} \right\}p_{{{{Q}^{1}}}}^{{{{i}_{1}}}} \cdots ~p_{{{{Q}^{L}}}}^{{{{i}_{L}}}} \cdot p_{{{{{\Theta }}^{1}}}}^{{{{j}_{1}}}} \cdots p_{{{{{\Theta }}^{L}}}}^{{{{j}_{L}}}}, \\ \end{gathered} $
где $i = 1, \ldots ,{{N}_{c}}$, $j = 1, \ldots ,{{N}_{o}}$, $~\gamma = 1,2$, а $\psi \left( {x,t} \right)$ является решением начально-краевой задачи (2.9)–(2.11).

3. РЕЗУЛЬТАТЫ ЧИСЛЕННЫХ ЭКСПЕРИМЕНТОВ

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

${\Omega } = \left\{ {x \in {{{\text{R}}}^{2}}{\kern 1pt} :\;\;~0 \leqslant {{x}_{i}} \leqslant 1,\;i = 1,2} \right\},\quad {{T}_{f}} = 3,\quad \Delta T = 0.3,$
$a = 1,\quad \lambda = 0.001,\quad {{N}_{c}} = 2,\quad {{N}_{o}} = 3,\quad {{\underset{\raise0.3em\hbox{$\smash{\scriptscriptstyle-}$}}{\vartheta } }_{i}} = - 0.05,\quad \overline {{{\vartheta }_{i}}} = 0.05,\quad i = 1, \ldots ,{{N}_{c}},\quad L = 2,$
${{N}_{t}} = 10,\quad {{\tau }_{s}} = 0.3s,\quad s = 1, \ldots ,{{N}_{t}},$
${\Omega }_{o}^{1} = \left\{ {x \in {\Omega }{\kern 1pt} :\;\;0.12 \leqslant {{x}_{1}} \leqslant 0.32,\;0.28 \leqslant {{x}_{2}} \leqslant 0.48} \right\},$
${\Omega }_{o}^{2} = \left\{ {x \in {\Omega }{\kern 1pt} :\;\;0.71 \leqslant {{x}_{1}} \leqslant 0.89,\;0.05 \leqslant {{x}_{2}} \leqslant 0.22} \right\},$
${\Omega }_{o}^{3} = \left\{ {x \in {\Omega }{\kern 1pt} :\;\;0.44 \leqslant {{x}_{1}} \leqslant 0.64,\;0.45 \leqslant {{x}_{2}} \leqslant 0.63} \right\},$
${\Omega }_{c}^{1} = \left\{ {x \in {\Omega }{\kern 1pt} :\;\;0.58 \leqslant {{x}_{1}} \leqslant 0.78,\;0.25 \leqslant {{x}_{2}} \leqslant 0.42} \right\},$
${\Omega }_{c}^{2} = \left\{ {x \in {\Omega }{\kern 1pt} :\;\;0.19 \leqslant {{x}_{1}} \leqslant 0.39,\;0.59 \leqslant {{x}_{2}} \leqslant 0.78} \right\},$
${{q}_{1}} \in {{Q}^{1}} = \left\{ {0.050;\;0.051;\;0.052;\;0.053} \right\},$
${{q}_{2}} \in {{Q}^{2}} = \left\{ {0.049;\;0.050;\;0.051;\;0.052} \right\},$
${{\theta }^{1}} \in {{{\Theta }}^{1}} = \left\{ {x \in {\Omega }{\kern 1pt} :\;\;0.22 \leqslant {{x}_{1}} \leqslant 0.34,\;0.20 \leqslant {{x}_{2}} \leqslant 0.38} \right\},$
${{\theta }^{2}} \in {{{\Theta }}^{2}} = \left\{ {x \in {\Omega }{\kern 1pt} :\;\;0.65 \leqslant {{x}_{1}} \leqslant 0.78,\;0.68 \leqslant {{x}_{2}} \leqslant 0.81} \right\}.$

Значения мощностей внешних воздействий имеют равномерные распределения в ${{Q}^{1}}$ и ${{Q}^{2}}$, а их возможные точки воздействия равномерно распределены в заданных допустимых областях ${{{\Theta }}^{1}}$ и ${{{\Theta }}^{2}}$. Множества возможных точек размещения ${{{\Theta }}^{\nu }}$ и значений мощностей внешних воздействий ${{Q}^{\nu }}$ аппроксимируем следующими дискретными множествами точек:

${{{\Theta }}^{1}} = \left\{ {\left( {0.26;0.28} \right),\;\left( {0.27;0.29} \right),\;\left( {0.25;0.25} \right),\;\left( {0.32;0.35} \right)} \right\},$
${{{\Theta }}^{2}} = \left\{ {\left( {0.75;0.75} \right),\;\left( {0.70;0.78} \right),\;\left( {0.75;0.79} \right),\;\left( {0.76,0.80} \right)} \right\}.$

Каждое из дискретных множеств состоит из четырех элементов, а вероятности получения этих значений, учитывая равномерность вероятности для непрерывных множеств, равны

$p_{{{{Q}^{1}}}}^{\gamma } = p_{{{{Q}^{2}}}}^{\gamma } = 0.25,\quad \gamma = 1, \ldots ,4,$
$p_{{{{{\Theta }}^{1}}}}^{\gamma } = p_{{{{{\Theta }}^{2}}}}^{\gamma } = 0.25,\quad \gamma = 1, \ldots ,4.$

В этом случае вместо функционала (2.2), учитывая (1.20), будет использован следующий функционал:

${{\mathcal{I}}_{r}}(y) = \frac{1}{{256}}\mathop \sum \limits_{{{i}_{1}} = 1}^4 \,\mathop \sum \limits_{{{i}_{2}} = 1}^4 \,\mathop \sum \limits_{{{j}_{1}} = 1}^4 \,\mathop \sum \limits_{{{j}_{2}} = 1}^4 \,{{\tilde {I}}_{r}}(y;{{q}^{{{{i}_{1}}}}},{{q}^{{{{i}_{2}}}}},{{\theta }^{{{{j}_{1}}}}},{{\theta }^{{{{j}_{2}}}}}).$

Оптимизируемый вектор параметров управления обратной связью при выше выбранных параметрах задачи имеет размерность $N = 22$. Множества возможных точек размещений стабилизаторов ${\Omega }_{c}^{i}$ и датчиков ${\Omega }_{o}^{j}$, как это принято в практических приложениях, находятся внутри мембраны, т.е. они не могут размещаться на границе ${\Gamma }$.

Опишем общую схему реализации итерационной процедуры (2.4) для минимизации функционала (2.2) с применением методов штрафной функции и проекции градиента.

Учитывая, что допустимые области параметров $\xi $, $\eta $ являются прямоугольными, то операторы проектирования на эти области очевидны и имеют простой вид (см. [16]).

При каждом значении коэффициента штрафа $r$ проводилась регуляризация функционала с применением известных схем (см. [16], [17]). При этом параметры регуляризации изменялись трижды, а именно при начальном значении $\varepsilon = 0.1$ оно уменьшалось в 5 раз, а в качестве $\hat {y}$ назначалось полученное оптимальное значение у на предыдущем шаге. Начальное значение коэффициента штрафа было назначено равным 5, которое на каждом последующем этапе увеличивалось в 5 раз. Эти этапы проводились до тех пор, пока на двух последовательных этапах значение основного функционала задачи (1.14), (1.15) отличалось более, чем на 0.005.

Для решения двухмерных прямой и сопряженной начально-краевых задач (1.12), (1.2), (1.3) и (2.9)–(2.11) использовался метод переменных направлений (см. [18]), приводящий к решению одномерных нагруженных задач. Для решения нагруженных начально-краевых задач использовалась неявная конечно-разностная схема аппроксимации, исследованная в работах [12], [15], [20]–[22]. Для решения конечно-разностно аппроксимированных начально-краевых задач использовались численные методы, предложенные в работах [13]–[15]. Шаги для аппроксимации по пространственной переменной выбирались равными ${{h}_{{{{x}_{1}}}}} = {{h}_{{{{x}_{2}}}}} = 0.01$, по временной переменной ${{h}_{t}} = 0.005$.

Функция $\delta {\kern 1pt} \left( {x;{{\mathcal{O}}_{{{{\varepsilon }_{x}}}}}{\kern 1pt} \left( 0 \right)} \right)$ была задана в виде следующей “гауссоподобной” всюду гладкой функции (см. [1], [19]):

$\delta {\kern 1pt} \left( {x;{{\mathcal{O}}_{{{{\varepsilon }_{x}}}}}{\kern 1pt} \left( 0 \right)} \right) = \left\{ \begin{gathered} 0,\quad \left| {{{x}_{1}}} \right| > {{\sigma }_{{{{x}_{1}}}}}~\quad {\text{или}}~\quad \left| {{{x}_{2}}} \right| > {{\sigma }_{{{{x}_{2}}}}}, \hfill \\ \mathop \prod \limits_{i = 1}^2 \frac{1}{{2{{\sigma }_{{{{x}_{i}}}}}}}\left[ {1 + \sin \left( {\frac{{2x + {{\sigma }_{{{{x}_{i}}}}}}}{{2{{\sigma }_{{{{x}_{i}}}}}}}\pi } \right)} \right],\quad \left| {{{x}_{1}}} \right| \leqslant {{\sigma }_{{{{x}_{1}}}}}\quad ~{\text{и}}\quad ~\left| {{{x}_{2}}} \right| \leqslant {{\sigma }_{{{{x}_{2}}}}}. \hfill \\ \end{gathered} \right.$

Таким образом, ${{\varepsilon }_{x}}$-окрестностью точки начала координат является квадрат со стороной, равной ${{\sigma }_{{{{x}_{1}}}}}$ и ${{\sigma }_{{{{x}_{2}}}}}$. В численных расчетах ${{\sigma }_{{{{x}_{1}}}}}$ и ${{\sigma }_{{{{x}_{2}}}}}$ выбирались равными $3{{h}_{{{{x}_{1}}}}}$ и $3{{h}_{{{{x}_{2}}}}}$, т.е. $\delta {\kern 1pt} \left( {x;{{\mathcal{O}}_{{{{\varepsilon }_{x}}}}}{\kern 1pt} \left( 0 \right)} \right)$ принимает отличные от нуля значения в 49 ячейках сеточной области, соседних в данном случае с точкой $\left( {0;0} \right)$. Такой выбор вида функции $\delta {\kern 1pt} \left( {x;{{\mathcal{O}}_{{{{\varepsilon }_{x}}}}}{\kern 1pt} \left( 0 \right)} \right)$ обеспечивает определенную гладкость функционала ${{\mathcal{I}}_{r}}{\kern 1pt} \left( y \right)$ по оптимизируемым координатам ${{\xi }^{j}}$, ${{\eta }^{i}}$, $i = 1, \ldots ,{{N}_{c}}$, $j = 1, \ldots ,{{N}_{o}}$ (см. [19]).

Окрестность момента времени $\tilde {\tau }$ определялась временным промежутком ${{O}_{{{{\varepsilon }_{t}}}}}{\kern 1pt} \left( {\tilde {\tau }} \right) = \left[ {\tilde {\tau } - 2{{h}_{t}},\tilde {\tau } + {{h}_{t}}} \right]$, а функция$~\delta {\kern 1pt} \left( {t;{{\mathcal{O}}_{{{{\varepsilon }_{t}}}}}{\kern 1pt} \left( {\tilde {\tau }} \right)} \right)$ задавалась в виде непрерывной несимметричной треугольноподобной функции

$\delta {\kern 1pt} \left( {t;{{\mathcal{O}}_{{{{\varepsilon }_{t}}}}}{\kern 1pt} \left( {\tilde {\tau }} \right)} \right) = \left\{ \begin{gathered} 0,\quad t \notin {{O}_{{{{\varepsilon }_{t}}}}}{\kern 1pt} \left( {\tilde {\tau }} \right), \hfill \\ \left( {t + ~(2{{h}_{t}} - \tilde {\tau })} \right){\text{/}}3h_{t}^{2},\quad t \in \left[ {\tilde {\tau } - 2{{h}_{t}},\tilde {\tau }} \right], \hfill \\ \left( { - 2t + 2(\tilde {\tau } + {{h}_{t}})} \right){\text{/}}3h_{t}^{2},\quad t \in \left[ {\tilde {\tau },\tilde {\tau } + {{h}_{t}}} \right]. \hfill \\ \end{gathered} \right.$

Легко проверить, что

$\mathop \smallint \limits_0^{{{T}_{f}}} \delta {\kern 1pt} \left( {t;{{\mathcal{O}}_{{{{\varepsilon }_{t}}}}}{\kern 1pt} \left( {\tilde {\tau }} \right)} \right)dt = \int\limits_{{{O}_{{{{\varepsilon }_{t}}}}}\left( {\tilde {\tau }} \right)} {\delta \mathcal{O}{\kern 1pt} \left( {t;{{\mathcal{O}}_{{{{\varepsilon }_{t}}}}}{\kern 1pt} \left( {\tilde {\tau }} \right)} \right)dt} = 1.$

В табл. 1, 2 приведены результаты расчетов, в которых в качестве начального приближения для итерационного процесса использовались два значения: $y_{1}^{0}$, $y_{2}^{0}$. В табл. 1 значения матриц $k$ и $z$ приведены в следующем порядке: $({{k}^{{11}}}, \ldots ,{{k}^{{1{{N}_{o}}}}}, \ldots ,{{k}^{{{{N}_{c}}1}}}, \ldots ,{{k}^{{{{N}_{c}}{{N}_{o}}}}})$, $(z, \ldots ,{{z}^{{1{{N}_{o}}}}}, \ldots ,{{z}^{{{{N}_{c}}1}}}, \ldots ,{{z}^{{{{N}_{c}}{{N}_{o}}}}})$.

Таблица 1.  

Полученные решения тестовой задачи из двух начальных точек $y_{1}^{0}$ и $y_{2}^{0}$

  $K$ $Z~$ $\xi $ $\eta $ $\mathcal{I}(y)$
$y_{1}^{0}$ 0 –0.5412 –0.8412 0.5745 –0.0084 –0.0075 0.0086 (0.1418; 0.2914) (0.7608; 0.2631) 0.994966
–0.8259 0.8482 0.3751 –0.0035 0.0022 0.0031 (0.8724; 0.1008) (0.3725; 0.6045)  
            (0.6332; 0.6028)    
3 0.2989 0.3821 –0.2567 –0.0231 –0.0332 0.0268 (0.1378; 0.3858) (0.7256; 0.2500) 0.088040
0.5525 0.1080 –0.3657 –0.3171 0.1315 0.1779 (0.8519; 0.0873) (0.3323; 0.7800)  
            (0.4986; 0.4500)    
6 0.2964 0.3315 –0.1984 0.0047 0.0105 –0.0050 (0.2180; 0.3882) (0.6709; 0.3036) 0.001564
0.2865 0.4418 –0.2215 0.0074 0.0065 –0.0050 (0.7591; 0.1923) (0.2840; 0.6804)  
            (0.5175; 0.4744)    
10 0.3068 0.3486 –0.2102 0.0028 0.0075 –0.0026 (0.2059; 0.3967 (0.6734; 0.2997) 0.000090
0.3355 0.3874 –0.2490 0.0030 0.0065 –0.0027 (0.7639; 0.1825) (0.2968; 0.6893)  
            (0.5215; 0.4707)    
$y_{2}^{0}$ 0 –0.0412 –0.4182 0.7455 0.4008 0.2805 0.3006 (0.3105; 0.2914) (0.7524; 0.4135) 2.158796
–0.2589 –0.7521 0.3848 0.8128 –0.2070 0.3001 (0.7248; 0.2153) (0.2015; 0.7549)  
            (0.4687; 0.6215)    
2 –0.4801 –0.2316 0.3194 0.0794 0.0851 0.0285 (0.1200; 0.2800) (0.7800; 0.4200) 0.217512
–0.5411 –0.1267 0.2196 0.0062 –0.0294 0.0475 (0.7429; 0.0500) (0.3900; 0.7800)  
            (0.4400; 0.6300)    
4 –0.5252 –0.1788 0.2785 –0.0028 0.0104 0.0269 (0.3200; 0.2889) (0.5988; 0.3994) 0.001553
–0.4903 –0.1925 0.3133 0.0412 –0.0273 0.0442 (0.8317; 0.0793) (0.3777; 0.6342)  
            (0.6373; 0.4623)    
6 –0.5259 –0.1830 0.2802 0.0083 0.0167 0.0217 (0.3388; 0.2948) (0.6012; 0.3929) 0.000091
–0.4922 –0.1949 0.3130 0.0415 –0.0264 0.0457 (0.8400; 0.0840) (0.3740; 0.6324)  
            (0.6400; 0.4634)    
Таблица 2.  

Решения тестовой задачи, полученные из начальной точки $y_{1}^{0}$ при величинах погрешности $\zeta $ в замерах в 1%, 2%, 5%

${{y}_{1}}$ $K$ $Z~$ $\xi $ $\eta $ $\mathcal{I}(y)$
1% 0.3066 0.3487 –0.2103 0.0028 0.0074 –0.0025 (0.2051; 0.3965) (0.6732; 0.2997) 0.000091
0.3367 0.3860 –0.2496 0.0015 0.0082 –0.0020 (0.7631; 0.1816) (0.2974; 0.6895)  
            (0.5208; 0.4706)    
2% 0.3065 0.3482 –0.2101 0.0030 0.0077 –0.0027 (0.2062; 0.3973) (0.6738; 0.3000) 0.000092
0.3352 0.3877 –0.2488 0.0020 0.0078 –0.0023 (0.7636; 0.1819) (0.2962; 0.6889)  
            (0.5214; 0.4707)    
5% 0.3068 0.3485 –0.2104 0.0031 0.0072 –0.0028 (0.2058; 0.3973) (0.6732; 0.2996) 0.000095
0.3357 0.3871 –0.2496 0.0028 0.0070 –0.0026 (0.7637; 0.1826) (0.2964; 0.6890)  
            (0.5215; 0.4705)    

В табл. 1 приведены результаты некоторых итераций решения задачи, полученные с использованием приведенных двух начальных приближений.

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

Были проведены компьютерные эксперименты по наблюдению за процессом гашения колебаний при оптимальных значениях синтезированных параметров обратной связи при предположении, что замеры проводятся с погрешностями (помехами), а именно:

$\tilde {u}_{s}^{j} = \int\limits_{{{\mathcal{O}}_{\varepsilon }}\left( {{{\tau }_{s}}} \right)} {\iint\limits_{{{\mathcal{O}}_{\varepsilon }}({{\xi }^{j}})} {u(x,t)[1 + {{\chi }^{j}}\left( t \right)]{\kern 1pt} \delta (x;{{\mathcal{O}}_{{{{\varepsilon }_{x}}}}}({{\xi }^{j}}))\delta (t;{{\mathcal{O}}_{{{{\varepsilon }_{t}}}}}({{\tau }_{s}}))dxdt}} ,\quad j = 1, \ldots ,{{N}_{o}},\quad s = 1, \ldots ,{{N}_{t}}.$
Здесь ${{\chi }^{j}}{\kern 1pt} \left( t \right)$ при каждом $t$ есть случайная величина, равномерно распределенная на отрезке $\left[ { - \zeta ;\zeta } \right]$. В проведенных экспериментах значения $\zeta $ выбирались равными 0.01; 0.02; 0.05, что соответствовало погрешности замеров в 1%, 2% и 5% от значения замеряемой величины.

В табл. 2 приведены результаты, полученные на шести итерациях решения синтеза параметров обратной связи при наличии погрешности в проводимых замерах. Как видно из сравнения полученных значений параметров обратной связи, ориентировочно они различаются пропорционально погрешностям проводимых замеров.

Важным показателем качества управления процессом гашения при параметрах обратной связи $y$ является функция

$E{\kern 1pt} \left( {T;y{\kern 1pt} {\text{*}}} \right) = \int\limits_Q {\iint\limits_{\Theta } {\left[ {\int\limits_T^{T + \Delta T} {\iint\limits_{\Omega } {\mu {\kern 1pt} \left( x \right){{{\left[ {u{\kern 1pt} \left( {x,t;y{\kern 1pt} {\text{*}},q,\theta } \right)} \right]}}^{2}}dxdt}} } \right]{{\rho }_{{\Theta }}}{\kern 1pt} \left( \theta \right){{\rho }_{Q}}{\kern 1pt} \left( q \right)d\theta dq}} ,\quad T \geqslant 0,$
численно характеризующая результат управления процессом в среднем при всех возможных значениях внешних воздействий. На фиг. 1 приведены графики функции $E\left( {T;y{\kern 1pt} {\text{*}}} \right)$, полученные при оптимальных параметрах обратной связи $y{\kern 1pt} {\text{*}}$ и ${{T}_{f}} = 3$ при уровнях погрешности в замерах, равных 0% (без погрешности), 1%, 2% и 5%. Из этих графиков видно, что качество управления процессом стабилизации соответствует величине погрешности проводимых замеров состояния процесса. На фиг. 2 приведен график функции $u{\kern 1pt} \left( {x,t} \right) = u{\kern 1pt} \left( {x,t;y{\kern 1pt} {\text{*}},q,\theta } \right)$, $x \in {\Omega }$, определяющий состояние мембраны на момент времени окончания процесса управления при $t = {{T}_{f}} = 3$ и ${{q}_{1}} = 0.52$, ${{q}_{2}} = 0.49$, ${{\theta }_{1}} = \left( {0.25,~0.25} \right)$, ${{\theta }_{2}} = \left( {0.75,~0.75} \right)$.

Фиг. 1.

Графики функции $E\left( {T;y{\text{*}}} \right)$ при разных уровнях помех $\zeta $ ($------$ – 0%, $ - \cdot - \cdot - $ – 2%, $ - - - $ – 5%).

Фиг. 2.

График функции $u{\kern 1pt} \left( {x,t} \right)$ при $t = 3$.

ЗАКЛЮЧЕНИЕ

В работе предложен подход к оптимальному синтезу сосредоточенных управляющих воздействий в системах с распределенными параметрами. В качестве примера рассмотрена задача синтеза управления сосредоточенными стабилизаторами при гашении колебаний мембраны. Режимы функционирования стабилизаторов определяются линейной зависимостью от замеров состояния мембраны в окрестностях точек замера. Оптимизируемыми в задаче являются следующие: 1) параметры линейной обратной связи, определяющей режимы работы стабилизаторов; 2) места размещения стабилизаторов; 3) места размещения точек замера состояния мембраны.

Рассматриваемая задача приведена к параметрической задаче оптимального управления системой с распределенными параметрами. Получены формулы градиента функционала задачи в пространстве синтезируемых параметров. Формулы позволили для численного решения задачи синтеза использовать эффективные методы оптимизации первого порядка.

В работе приводятся результаты численных экспериментов и проведен анализ влияния погрешностей измерения на процесс стабилизации мембраны.

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

  1. Бутковский А.Г. Методы управления системами с распределенными параметрами. М.: Наука, 1975. 568 с.

  2. Айда-заде К.Р., Абдуллаев В.М. Об одном подходе к синтезу управления процессами с распределенными параметрами // Автоматика и телемехан. 2012. № 9. С. 3–19.

  3. Ray W.H. Advanced Process Control. McGraw-Hill Book Company, 2002. 368 p.

  4. Поляк Б.Т., Щербаков П.С. Робастная устойчивость и управление. М.: Наука, 2002. 303 с.

  5. Поляк Б.Т., Хлебников М.В., Рапопорт Л.Б. Математическая теория автоматического управления. М.: ЛЕНАНД, 2019. 500 с.

  6. Красовский А.А. (ред.). Справочник по теории автоматического управления. М.: Наука, 1987. 712 с.

  7. Антипин А.С., Хорошилова Е.В. О синтезе обратной связи для задачи терминального управления // Ж. вычисл. матем. и матем. физ. 2018. Т. 58. № 12. С. 1973–1991.

  8. Егоров А.И. Основы теории управления. М.: Физматлит, 2004. 504 с.

  9. Тихонов А.Н., Самарский А.А. Уравнения математической физики. М.: Наука, 1977. 735 с.

  10. Лионс Ж.-Л., Мадженес Э. Неоднородные граничные задачи и их приложения. М.: Мир, 1971. 372 с.

  11. Нахушев А.М. Нагруженные уравнения и их применение. М.: Наука, 2012. 232 с.

  12. Алиханов А.А., Березгов А.М., Шхануков-Лафишев М.Х. Краевые задачи для некоторых классов нагруженных дифференциальных уравнений и разностные методы их численной реализации // Ж. вычисл. матем. и матем. физ. 2008. Т. 48. № 9. С. 1619–1628.

  13. Абдуллаев В.М., Айда-заде К.Р. Численный метод решения нагруженных нелокальных граничных задач для обыкновенных дифференциальных уравнений // Ж. вычисл. матем. и матем. физ. 2014. Т. 54. № 7. С. 1096–1109.

  14. Aida-zade K.R. An approach for solving nonlinearly loaded problems for linear ordinary differential equations // Proceeding of the Institute Mathematics and Mechanics NAS Azerbaijan. 2018. V. 4. N 2. P. 338–350.

  15. Абдуллаев В.М., Айда-заде К.Р. Конечноразностные методы решения нагруженных параболических уравнений // Ж. вычисл. матем. и матем. физ. Т. 56. № 1. 2016. С. 99–112.

  16. Васильев Ф.П. Методы оптимизации. М.: Факториал Пресс, 2002. 824 с.

  17. Евтушенко Ю.Г. Методы решения экстремальных задач и их применение в системах оптимизации. М.: Наука, 1982. 432 с.

  18. Самарский А.А. Теория разностных схем. М.: Наука, 1989. 616 с.

  19. Айда-заде К.Р., Багиров А.Г. О задаче размещения нефтяных скважин и управления их дебитами // АиТ. 2006. № 1. С. 52–62.

  20. Айда-заде К.Р., Абдуллаев В.М. Оптимизация размещения точек контроля при синтезе управления процессом нагрева // Автоматика и телемехан. № 9. 2017. С. 49–66.

  21. Абдуллаев В.М., Айда-заде К.Р. Оптимизация мест нагружения для стационарных систем // Ж. вычисл. матем. и матем. физ. Т. 57. № 4. 2017. С. 633–644.

  22. Абдуллаев В.М., Айда-заде К.Р. Численное решение задачи определения количества и мест замеров состояния при управлении процессом нагрева с обратной связью // Ж. вычисл. матем. и матем. физ. 2018. Т. 58. № 1. С. 83–94.

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