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

Полный текст

Введение

Известно, что линейно-квадратичная задача слежения ставится следующим образом (см., например, [1]). Рассматривается управляемая система вида

$\dot{X}\mathrm{<mo>=</mo>}\mathbb{A}\mathrm{<mo\; stretchy="false">(</mo>}t\mathrm{<mo\; stretchy="false">)</mo>}X+\mathbb{B}\mathrm{<mo\; stretchy="false">(</mo>}t\mathrm{<mo\; stretchy="false">)</mo>}u+F\mathrm{<mo\; stretchy="false">(</mo>}t\mathrm{<mo\; stretchy="false">)</mo>,<mi>\; </mi><mi>\; </mi>}X\mathrm{<mo\; stretchy="false">(</mo>}{t}_0\mathrm{<mo\; stretchy="false">)</mo><mo>=</mo>}{X}_0\mathrm{,}$ (1)

$Y\mathrm{<mo>=</mo>}ℂ\mathrm{<mo\; stretchy="false">(</mo>}t\mathrm{<mo\; stretchy="false">)</mo>}X\mathrm{.}$ (2)

Здесь $X$ $—$ вектор состояния системы, вектор $Y$ $—$ вектор наблюдаемых параметров, $u$ $—$ вектор управляющих параметров, $F$ $—$ вектор внешних возмущений. Эталонное движение задается в явном виде $\xi \mathrm{<mo>=</mo>}\xi \mathrm{<mo\; stretchy="false">(</mo>}t\mathrm{<mo\; stretchy="false">)</mo>}$, а функционал качества имеет вид

$J\mathrm{<mo>=</mo>}{\displaystyle \underset{t_0}{\overset{t_1}{\int }}}\left[{\left(ℂ\mathrm{<mo\; stretchy="false">(</mo>}t\mathrm{<mo\; stretchy="false">)</mo>}X\mathrm{<mo\; stretchy="false">(</mo>}t\mathrm{<mo\; stretchy="false">)</mo><mo\; stretchy="false">)</mo>}-\xi \mathrm{<mo\; stretchy="false">(</mo>}t\mathrm{<mo\; stretchy="false">)</mo>}\right)}^T\mathbb{Q}\mathrm{<mo\; stretchy="false">(</mo>}t\mathrm{<mo\; stretchy="false">)</mo>}\left(ℂ\mathrm{<mo\; stretchy="false">(</mo>}t\mathrm{<mo\; stretchy="false">)</mo>}X\mathrm{<mo\; stretchy="false">(</mo>}t\mathrm{<mo\; stretchy="false">)</mo><mo\; stretchy="false">)</mo>}-\xi \mathrm{<mo\; stretchy="false">(</mo>}t\mathrm{<mo\; stretchy="false">)</mo>}\right)+u^T\mathrm{<mo\; stretchy="false">(</mo>}t\mathrm{<mo\; stretchy="false">)</mo>}ℝ\mathrm{<mo\; stretchy="false">(</mo>}t\mathrm{<mo\; stretchy="false">)</mo>}u\mathrm{<mo\; stretchy="false">(</mo>}t\mathrm{<mo\; stretchy="false">)</mo>}\right]dt$ (3)

или

$J\mathrm{<mo>=</mo>}{\displaystyle \underset{t_0}{\overset{t_1}{\int }}}\left[{\left(Y\mathrm{<mo\; stretchy="false">(</mo>}t\mathrm{<mo\; stretchy="false">)</mo>}-\xi \mathrm{<mo\; stretchy="false">(</mo>}t\mathrm{<mo\; stretchy="false">)</mo>}\right)}^T\mathbb{Q}\mathrm{<mo\; stretchy="false">(</mo>}t\mathrm{<mo\; stretchy="false">)</mo>}\left(Y\mathrm{<mo\; stretchy="false">(</mo>}t\mathrm{<mo\; stretchy="false">)</mo>}-\xi \mathrm{<mo\; stretchy="false">(</mo>}t\mathrm{<mo\; stretchy="false">)</mo>}\right)+u^T\mathrm{<mo\; stretchy="false">(</mo>}t\mathrm{<mo\; stretchy="false">)</mo>}ℝ\mathrm{<mo\; stretchy="false">(</mo>}t\mathrm{<mo\; stretchy="false">)</mo>}u\mathrm{<mo\; stretchy="false">(</mo>}t\mathrm{<mo\; stretchy="false">)</mo>}\right]dt\mathrm{.}$ (4)

В дальнейшем будем предполагать, что все матричные функции, входящие в (1)$–$(3) непрерывно дифференцируемы при $t\in \mathrm{<mo\; stretchy="false">[</mo>}{t}_0\mathrm{,}{t}_1\mathrm{<mo\; stretchy="false">]</mo>}$, тогда решение данной задачи дается следующей формулой для оптимального управления 

$u_{opt}\mathrm{<mo>=</mo>}-{ℝ}^{-1}{\mathbb{B}}^T\mathrm{<mo\; stretchy="false">(</mo>}Px+\chi \mathrm{<mo\; stretchy="false">)</mo>.}$

Здесь $P$ $–$ решение матричного дифференциального уравнения Риккати 

$\dot{P}+P\mathbb{A}+{\mathbb{A}}^{T}P-P\mathbb{S}P+\mathbb{M}\mathrm{<mo>=</mo>0,<mi>\; </mi><mi>\; </mi>}P\mathrm{<mo\; stretchy="false">(</mo>}{t}_1\mathrm{<mo\; stretchy="false">)</mo><mo>=</mo>0,}$

$\mathbb{S}\mathrm{<mo>=</mo>}\mathbb{B}{ℝ}^{-1}{\mathbb{B}}^T$, $\mathbb{M}\mathrm{<mo>=</mo>}{ℂ}^T\mathbb{Q}ℂ$, а $\chi$ $–$ решение линейной дифференциальной системы

$\dot{\chi }\mathrm{<mo>=</mo>}-{\mathrm{<mo\; stretchy="false">(</mo>}\mathbb{A}-\mathbb{S}P\mathrm{<mo\; stretchy="false">)</mo>}}^T\chi +{ℂ}^T\mathbb{Q}\xi -PF\mathrm{<mo>=</mo>0,<mi>\; </mi><mi>\; </mi>}\chi \mathrm{<mo\; stretchy="false">(</mo>}{t}_1\mathrm{<mo\; stretchy="false">)</mo><mo>=</mo>0.}$

Рассмотрим управляемую систему вида

$\epsilon \ddot{x}-A\mathrm{<mo\; stretchy="false">(</mo>}t\mathrm{<mo\; stretchy="false">)</mo>}x-H\mathrm{<mo\; stretchy="false">(</mo>}t\mathrm{<mo\; stretchy="false">)</mo>}\dot{x}\mathrm{<mo>=</mo>}B\mathrm{<mo\; stretchy="false">(</mo>}t\mathrm{<mo\; stretchy="false">)</mo>}u+f\mathrm{<mo\; stretchy="false">(</mo>}t\mathrm{<mo\; stretchy="false">)</mo>.}$

$y\mathrm{<mo>=</mo>}C\mathrm{<mo\; stretchy="false">(</mo>}t\mathrm{<mo\; stretchy="false">)</mo>}x\mathrm{,<mi>\; </mi><mi>\; </mi>}x\mathrm{<mo\; stretchy="false">(</mo>}{t}_0\mathrm{<mo\; stretchy="false">)</mo><mo>=</mo>}{x}_{10}\mathrm{,<mi>\; </mi><mi>\; </mi>}\dot{x}\mathrm{<mo\; stretchy="false">(</mo>}{t}_0\mathrm{<mo\; stretchy="false">)</mo><mo>=</mo>}{x}_{20}\mathrm{.}$

Здесь $x\in {ℝ}^n\mathrm{,}$ эталонное движение задается функцией $\xi \mathrm{<mo>=</mo>}\xi \mathrm{<mo\; stretchy="false">(</mo>}t\mathrm{<mo\; stretchy="false">)</mo>}$, а функционал качества имеет вид

null (5)

Полагая $\dot{x}\mathrm{<mo>=</mo>}{x}_1$, приходим к задаче вида (1)$–$(3) при

$X\mathrm{<mo>=</mo>}\left(\begin{array}{c}x\\ x_1\end{array}\right)\mathrm{,<mi>\; </mi><mi>\; </mi>}\mathbb{A}\mathrm{<mo>=</mo>}\left(\begin{array}{cc}0& I\\ {\epsilon }^{-1}A& {\epsilon }^{-1}H\end{array}\right)\mathrm{,<mi>\; </mi><mi>\; </mi>}\mathbb{B}\mathrm{<mo>=</mo>}\left(\begin{array}{c}0\\ {\epsilon }^{-1}B\end{array}\right)\mathrm{,<mi>\; </mi><mi>\; </mi>}ℂ\mathrm{<mo>=</mo>}\left(\begin{array}{cc}C& 0\end{array}\right)\mathrm{,<mi>\; </mi><mi>\; </mi>}$

null

Представим $P$ и $\chi$ в следующем виде:

$P\mathrm{<mo>=</mo>}\left(\begin{array}{cc}{P}_1& \epsilon P_2\\ \epsilon P_2^T& \epsilon P_3\end{array}\right)\mathrm{,<mi>\; </mi><mi>\; </mi>}\chi \mathrm{<mo>=</mo>}\left(\begin{array}{c}{\chi }_1\\ \epsilon {\chi }_2\end{array}\right)\mathrm{.}$

Тогда для матриц $P_1$, $P_2$, $P_3$ получается нелинейная система матричных уравнений вида

$\begin{array}{rrr}\hfill {\dot{P}}_1\mathrm{<mo>=</mo>}-P_{2}A-A^T{P}_2^T+P_{2}S{P}_2^T-M_1\mathrm{<mo>=</mo>}{F}_1\mathrm{<mo\; stretchy="false">(</mo>}{P}_1\mathrm{,}{P}_2\mathrm{,}t\mathrm{,}\epsilon \mathrm{<mo\; stretchy="false">)</mo>,}& \hfill & \hfill \\ \hfill \epsilon {\dot{P}}_2\mathrm{<mo>=</mo>}-P_1-P_{2}H-A^T{P}_3+P_{2}S{P}_3\mathrm{<mo>=</mo>}f\mathrm{<mo\; stretchy="false">(</mo>}{P}_1\mathrm{,}{P}_2\mathrm{,}{P}_3\mathrm{,}t\mathrm{,}\epsilon \mathrm{<mo\; stretchy="false">)</mo>,}& \hfill & \hfill \\ \hfill \epsilon {\dot{P}}_3\mathrm{<mo>=</mo>}-P_{3}H-A_4^T{P}_3+P_{3}S{P}_3-\epsilon \mathrm{<mo\; stretchy="false">(</mo>}{P}_2^T+P_2\mathrm{<mo\; stretchy="false">)</mo><mo>=</mo>}{F}_3\mathrm{<mo\; stretchy="false">(</mo>}{P}_2\mathrm{,}{P}_3\mathrm{,}t\mathrm{,}\epsilon \mathrm{<mo\; stretchy="false">)</mo>}& \hfill & \hfill \end{array}$ (6)

с граничными условиями

$P_1\mathrm{<mo\; stretchy="false">(</mo>}{t}_1\mathrm{<mo\; stretchy="false">)</mo><mo>=</mo>0,}{P}_2\mathrm{<mo\; stretchy="false">(</mo>}{t}_1\mathrm{<mo\; stretchy="false">)</mo><mo>=</mo>0,}{P}_3\mathrm{<mo\; stretchy="false">(</mo>}{t}_1\mathrm{<mo\; stretchy="false">)</mo><mo>=</mo>0,}$

а система уравнений для ${\chi }_1$ и ${\chi }_2$ имеет вид

${\dot{\chi }}_1\mathrm{<mo>=</mo>}-{\mathrm{<mo\; stretchy="false">(</mo>}A-S{P}_2^T\mathrm{<mo\; stretchy="false">)</mo>}}^T{\chi }_2+C_1^{T}Q\xi -P_{2}f\mathrm{,}$ (7)

$\epsilon {\dot{\chi }}_2\mathrm{<mo>=</mo>}-{\chi }_1-{\mathrm{<mo\; stretchy="false">(</mo>}H-S{P}_3\mathrm{<mo\; stretchy="false">)</mo>}}^T{\chi }_2-P_{3}f$ (8)

с граничными условиями

${\chi }_1\mathrm{<mo\; stretchy="false">(</mo>}{t}_1\mathrm{<mo\; stretchy="false">)</mo><mo>=</mo>0,}{\chi }_2\mathrm{<mo\; stretchy="false">(</mo>}{t}_1\mathrm{<mo\; stretchy="false">)</mo><mo>=</mo>0.}$

Для анализа задач управления с сингулярными возмущениями обычно применяется метод пограничных функций Васильевой (см. обзоры [2-4]). В настоящей статье будет применен метод декомпозиции [5]. Суть метода декомпозиции состоит в следующем. При некоторых естественных предположениях о гладкости и нормальной гиперболичности сингулярно возмущенная система

$\dot{X}\mathrm{<mo>=</mo>}F\mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{,}Y\mathrm{,}t\mathrm{,}\epsilon \mathrm{<mo\; stretchy="false">)</mo>,}\epsilon \dot{Y}\mathrm{<mo>=</mo>}G\mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{,}Y\mathrm{,}t\mathrm{,}\epsilon \mathrm{<mo\; stretchy="false">)</mo>}$

преобразованием

$Y\mathrm{<mo>=</mo>}Z+L\mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{,}t\mathrm{,}\epsilon \mathrm{<mo\; stretchy="false">)</mo>,<mi>\; </mi><mi>\; </mi>}X+V+\epsilon \Pi \mathrm{<mo\; stretchy="false">(</mo>}V\mathrm{,}Z\mathrm{,}t\mathrm{,}\epsilon \mathrm{<mo\; stretchy="false">)</mo><mi>\; </mi><mi>\; </mi><mo\; stretchy="false">(</mo>}\Pi \mathrm{<mo\; stretchy="false">(</mo>}V\mathrm{,0,}t\mathrm{,}\epsilon \mathrm{<mo\; stretchy="false">)</mo>}\equiv \mathrm{0<mo\; stretchy="false">)</mo>}$

приводится к виду

$\dot{V}\mathrm{<mo>=</mo>}F\mathrm{<mo\; stretchy="false">(</mo>}V\mathrm{,}L\mathrm{<mo\; stretchy="false">(</mo>}V\mathrm{,}t\mathrm{,}\epsilon \mathrm{<mo\; stretchy="false">)</mo>,<mi>\; </mi><mi>\; </mi>}\epsilon \dot{Z}\mathrm{<mo>=</mo>}W\mathrm{<mo\; stretchy="false">(</mo><mo\; stretchy="false">(</mo>}V\mathrm{,}Z\mathrm{,}t\mathrm{,}\epsilon \mathrm{<mo\; stretchy="false">)</mo><mi>\; </mi><mi>\; </mi><mo\; stretchy="false">(</mo>}W\mathrm{<mo\; stretchy="false">(</mo>}V\mathrm{,0,}t\mathrm{,}\epsilon \mathrm{<mo\; stretchy="false">)</mo>}\equiv \mathrm{0<mo\; stretchy="false">)</mo>,}$

в котором первое уравнение не зависит от быстрой переменной, а решениями второго уравнения являются так называемые правые пограничные функции, для которых справедливы оценки типа $\parallel Z\mathrm{<mo\; stretchy="false">(</mo>}t\mathrm{,}\epsilon \mathrm{<mo\; stretchy="false">)</mo>}\parallel \le$ $\le C\exp \left(c\mathrm{<mo\; stretchy="false">(</mo>}t-t_1\mathrm{<mo\; stretchy="false">)</mo><mo>/</mo>}\epsilon \right)$, $t_0\le t\le t_1$ при не зависящих от малого параметра числах $c$ и $C$ ( $\mathrm{0<mo><</mo>}c$, $1\le C$ ). При этом $L$ соответствует медленному интегральному многообразию исходной системы, а $\epsilon \Pi$ $—$ быстрому многообразию некоторой вспомогательной системы. При этом переменная $V$ соответствует регулярной составляющей решения исходной системы, а переменная $Z$ $—$ погранслойной составляющей. Важно отметить, что если $Z\mathrm{<mo>=</mo>}O\mathrm{<mo\; stretchy="false">(</mo>}\epsilon \mathrm{<mo\; stretchy="false">)</mo>}$ при $t\mathrm{<mo>=</mo>}{t}_1$, то и функция $Z$ содержит в качестве множителя малый параметр. Матричная функция $L$ удовлетворяет так называемому уравнению инвариантности

$\epsilon \frac{\partial L}{\partial t}+\epsilon \frac{\partial L}{\partial X}F\mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{,}L\mathrm{,}t\mathrm{,}\epsilon \mathrm{<mo\; stretchy="false">)</mo><mo>=</mo>}G\mathrm{<mo\; stretchy="false">(</mo>}X\mathrm{,}L\mathrm{,}t\mathrm{,}\epsilon \mathrm{<mo\; stretchy="false">)</mo>.}$

Следует отметить, что применение в реальных системах управления управляющих воздействий с использованием пограничных функций далеко не всегда целесообразно, так как предполагает резкое изменение напряжения в цепях управления на очень коротком промежутке времени. С другой стороны, отказ от использования таких функций может незначительно сказываться на погрешности функционала качества. Ниже будет показано, что субоптимальное управление, не содержащее правых пограничных функций, приводит к погрешности порядка $O\mathrm{<mo\; stretchy="false">(</mo>}{\epsilon }^2\mathrm{<mo\; stretchy="false">)</mo>}$ в функционале (5), что вполне приемлемо с прикладной точки зрения.

1. Оценка погрешности функционала

Для оценки погрешности при построении субоптимального управления функционал (3) можно представить в следующем виде:

$J\mathrm{<mo>=</mo>}{\displaystyle \underset{0}{\overset{t_f}{\int }}}\left[{\left(C\mathrm{<mo\; stretchy="false">(</mo>}t\mathrm{<mo\; stretchy="false">)</mo>}x\mathrm{<mo\; stretchy="false">(</mo>}t\mathrm{<mo\; stretchy="false">)</mo>}-\xi \mathrm{<mo\; stretchy="false">(</mo>}t\mathrm{<mo\; stretchy="false">)</mo>}\right)}^{T}Q\mathrm{<mo\; stretchy="false">(</mo>}t\mathrm{<mo\; stretchy="false">)</mo>}\left(C\mathrm{<mo\; stretchy="false">(</mo>}t\mathrm{<mo\; stretchy="false">)</mo>}x\mathrm{<mo\; stretchy="false">(</mo>}t\mathrm{<mo\; stretchy="false">)</mo><mo\; stretchy="false">)</mo>}-\xi \mathrm{<mo\; stretchy="false">(</mo>}t\mathrm{<mo\; stretchy="false">)</mo>}\right)+u^T\mathrm{<mo\; stretchy="false">(</mo>}t\mathrm{<mo\; stretchy="false">)</mo>}R\mathrm{<mo\; stretchy="false">(</mo>}t\mathrm{<mo\; stretchy="false">)</mo>}u\mathrm{<mo\; stretchy="false">(</mo>}t\mathrm{<mo\; stretchy="false">)</mo>}\right]dt\mathrm{<mo>=</mo>}$

$\mathrm{<mo>=</mo>}{\displaystyle \underset{0}{\overset{t_f}{\int }}}\left[{\left(u+R^{-1}{B}^T\mathrm{<mo\; stretchy="false">(</mo>}t\mathrm{<mo\; stretchy="false">)</mo>}P\mathrm{<mo\; stretchy="false">(</mo>}t\mathrm{<mo\; stretchy="false">)</mo>}x\mathrm{<mo\; stretchy="false">(</mo>}t\mathrm{<mo\; stretchy="false">)</mo>}+R^{-1}{B}^T\mathrm{<mo\; stretchy="false">(</mo>}t\mathrm{<mo\; stretchy="false">)</mo>}\chi \mathrm{<mo\; stretchy="false">(</mo>}t\mathrm{<mo\; stretchy="false">)</mo>}\right)}^{T}R\mathrm{<mo\; stretchy="false">(</mo>}t\mathrm{<mo\; stretchy="false">)</mo>}\left(u+R^{-1}{B}^T\mathrm{<mo\; stretchy="false">(</mo>}t\mathrm{<mo\; stretchy="false">)</mo>}P\mathrm{<mo\; stretchy="false">(</mo>}t\mathrm{<mo\; stretchy="false">)</mo>}x\mathrm{<mo\; stretchy="false">(</mo>}t\mathrm{<mo\; stretchy="false">)</mo>}+R^{-1}{B}^T\mathrm{<mo\; stretchy="false">(</mo>}t\mathrm{<mo\; stretchy="false">)</mo>}\chi \mathrm{<mo\; stretchy="false">(</mo>}t\mathrm{<mo\; stretchy="false">)</mo>}\right)\right]dt+$

$+x^T\mathrm{<mo\; stretchy="false">(</mo>0<mo\; stretchy="false">)</mo>}P\mathrm{<mo\; stretchy="false">(</mo>0<mo\; stretchy="false">)</mo>}x\mathrm{<mo\; stretchy="false">(</mo>0<mo\; stretchy="false">)</mo>}+2x^T\mathrm{<mo\; stretchy="false">(</mo>0<mo\; stretchy="false">)</mo>}\chi \mathrm{<mo\; stretchy="false">(</mo>0<mo\; stretchy="false">)</mo>}+\kappa \mathrm{<mo\; stretchy="false">(</mo>0<mo\; stretchy="false">)</mo>.}$

Здесь

$\dot{\kappa }\mathrm{<mo>=</mo>}{\chi }^{T}S\chi -{\xi }^{T}Q\xi -2f^T\chi$

с условием на конце рассматриваемого промежутка $\kappa \mathrm{<mo\; stretchy="false">(</mo>}{t}_f\mathrm{<mo\; stretchy="false">)</mo><mo>=</mo>0,}$ т. е.

$\kappa \mathrm{<mo\; stretchy="false">(</mo>0<mo\; stretchy="false">)</mo><mo>=</mo>}-{\displaystyle \underset{0}{\overset{t_f}{\int }}}\left[{\chi }^{T}S\chi -{\xi }^{T}Q\xi -2f^T\chi \right]dt\mathrm{.}$

Для доказательства этого факта достаточно использовать непосредственно проверяемое равенство

${\left(C\mathrm{<mo\; stretchy="false">(</mo>}t\mathrm{<mo\; stretchy="false">)</mo>}x\mathrm{<mo\; stretchy="false">(</mo>}t\mathrm{<mo\; stretchy="false">)</mo>}-\xi \mathrm{<mo\; stretchy="false">(</mo>}t\mathrm{<mo\; stretchy="false">)</mo>}\right)}^{T}Q\mathrm{<mo\; stretchy="false">(</mo>}t\mathrm{<mo\; stretchy="false">)</mo>}\left(C\mathrm{<mo\; stretchy="false">(</mo>}t\mathrm{<mo\; stretchy="false">)</mo>}x\mathrm{<mo\; stretchy="false">(</mo>}t\mathrm{<mo\; stretchy="false">)</mo><mo\; stretchy="false">)</mo>}-\xi \mathrm{<mo\; stretchy="false">(</mo>}t\mathrm{<mo\; stretchy="false">)</mo>}\right)+u^T\mathrm{<mo\; stretchy="false">(</mo>}t\mathrm{<mo\; stretchy="false">)</mo>}R\mathrm{<mo\; stretchy="false">(</mo>}t\mathrm{<mo\; stretchy="false">)</mo>}u\mathrm{<mo\; stretchy="false">(</mo>}t\mathrm{<mo\; stretchy="false">)</mo><mo>=</mo>}$

$\mathrm{<mo>=</mo>}{\left(u+R^{-1}{B}^T\mathrm{<mo\; stretchy="false">(</mo>}t\mathrm{<mo\; stretchy="false">)</mo>}x\mathrm{<mo\; stretchy="false">(</mo>}t\mathrm{<mo\; stretchy="false">)</mo>}+R^{-1}{B}^T\mathrm{<mo\; stretchy="false">(</mo>}t\mathrm{<mo\; stretchy="false">)</mo>}\chi \mathrm{<mo\; stretchy="false">(</mo>}t\mathrm{<mo\; stretchy="false">)</mo>}\right)}^{T}R\mathrm{<mo\; stretchy="false">(</mo>}t\mathrm{<mo\; stretchy="false">)</mo>}\left(u+R^{-1}{B}^T\mathrm{<mo\; stretchy="false">(</mo>}t\mathrm{<mo\; stretchy="false">)</mo>}x\mathrm{<mo\; stretchy="false">(</mo>}t\mathrm{<mo\; stretchy="false">)</mo>}+R^{-1}{B}^T\mathrm{<mo\; stretchy="false">(</mo>}t\mathrm{<mo\; stretchy="false">)</mo>}\chi \mathrm{<mo\; stretchy="false">(</mo>}t\mathrm{<mo\; stretchy="false">)</mo>}\right)-$

$-\frac{d}{dt}\left(x^T\mathrm{<mo\; stretchy="false">(</mo>}t\mathrm{<mo\; stretchy="false">)</mo>}P\mathrm{<mo\; stretchy="false">(</mo>}t\mathrm{<mo\; stretchy="false">)</mo>}x\mathrm{<mo\; stretchy="false">(</mo>}t\mathrm{<mo\; stretchy="false">)</mo>}+2x^T\mathrm{<mo\; stretchy="false">(</mo>}t\mathrm{<mo\; stretchy="false">)</mo>}\chi \mathrm{<mo\; stretchy="false">(</mo>}t\mathrm{<mo\; stretchy="false">)</mo>}+\kappa \mathrm{<mo\; stretchy="false">(</mo>}t\mathrm{<mo\; stretchy="false">)</mo>}\right)\mathrm{.}$

Легко видеть, что минимальное значение $J_{opt}$ определяется равенством

$J_{opt}\mathrm{<mo>=</mo>}{x}^T\mathrm{<mo\; stretchy="false">(</mo>0<mo\; stretchy="false">)</mo>}P\mathrm{<mo\; stretchy="false">(</mo>0<mo\; stretchy="false">)</mo>}x\mathrm{<mo\; stretchy="false">(</mo>0<mo\; stretchy="false">)</mo>}+2x^T\mathrm{<mo\; stretchy="false">(</mo>0<mo\; stretchy="false">)</mo>}\chi \mathrm{<mo\; stretchy="false">(</mo>0<mo\; stretchy="false">)</mo>}+\kappa \mathrm{<mo\; stretchy="false">(</mo>0<mo\; stretchy="false">)</mo>.}$

Пусть каким-либо способом построено субоптимальное управление

$u_s\mathrm{<mo>=</mo>}-R^{-1}{B}^T\mathrm{<mo\; stretchy="false">(</mo>}{P}_s{x}_s+{\chi }_s\mathrm{<mo\; stretchy="false">)</mo>}$

с соответствующими приближенными выражениями для вектора состояния ( $x_s$ ), коэффициента усиления ( $P_s$ ) и вектора $\chi$ ( ${\chi }_s$ ) (вместо индекса ${}_{subopt}$ используется индекс ${}_s$ ). Введем следующие обозначения:

$\Delta x\mathrm{<mo>=</mo>}{x}_s-x_{opt}\mathrm{,<mi>\; </mi>}\Delta P\mathrm{<mo>=</mo>}{P}_s-P_{opt}\mathrm{,<mi>\; </mi>}\Delta \chi \mathrm{<mo>=</mo>}{\chi }_s-{\chi }_{opt}\mathrm{,<mi>\; </mi>}\Delta J\mathrm{<mo>=</mo>}{J}_s-J_{opt}\mathrm{.}$

Отсюда следует, что если вместо оптимального управления используется приближенное (субоптимальное) управление

$u\mathrm{<mo>=</mo>}-R^{-1}{B}^T\mathrm{<mo\; stretchy="false">(</mo>}{P}_s{x}_s+{\chi }_s\mathrm{<mo\; stretchy="false">)</mo>,}$

то возникающая при этом погрешность функционала качества $\Delta J$ представима в следующем виде:

$\Delta J\mathrm{<mo>=</mo>}{J}_s-J_{opt}\mathrm{<mo>=</mo>}{\displaystyle \underset{0}{\overset{t_f}{\int }}}\mathrm{<mo\; stretchy="false">[</mo><mo\; stretchy="false">(</mo>}{R}^{-1}{B}^T\mathrm{<mo\; stretchy="false">(</mo>}\Delta P{x}_s+\Delta \chi {\mathrm{<mo\; stretchy="false">)</mo><mo\; stretchy="false">)</mo>}}^{T}R\mathrm{<mo\; stretchy="false">(</mo>}{R}^{-1}{B}^T\mathrm{<mo\; stretchy="false">(</mo>}\Delta P{x}_s+\Delta \chi \mathrm{<mo\; stretchy="false">)</mo><mo\; stretchy="false">)</mo><mo\; stretchy="false">]</mo>}dt+$

$+x_s^T\mathrm{<mo\; stretchy="false">(</mo>0<mo\; stretchy="false">)</mo>}{P}_s\mathrm{<mo\; stretchy="false">(</mo>0<mo\; stretchy="false">)</mo>}{x}_s\mathrm{<mo\; stretchy="false">(</mo>0<mo\; stretchy="false">)</mo>}+2x_s^T\mathrm{<mo\; stretchy="false">(</mo>0<mo\; stretchy="false">)</mo>}{\chi }_s\mathrm{<mo\; stretchy="false">(</mo>0<mo\; stretchy="false">)</mo>}+{\kappa }_s\mathrm{<mo\; stretchy="false">(</mo>0<mo\; stretchy="false">)</mo>}-$

$-\mathrm{<mo\; stretchy="false">[</mo>}{x}_0^T\mathrm{<mo\; stretchy="false">(</mo>}{P}_s\mathrm{<mo\; stretchy="false">(</mo>0<mo\; stretchy="false">)</mo>}-\Delta P\mathrm{<mo\; stretchy="false">(</mo>0<mo\; stretchy="false">)</mo><mo\; stretchy="false">)</mo>}{x}_0+2x_0^T\mathrm{<mo\; stretchy="false">(</mo>}{\chi }_s\mathrm{<mo\; stretchy="false">(</mo>0<mo\; stretchy="false">)</mo>}-\Delta \chi \mathrm{<mo\; stretchy="false">(</mo>0<mo\; stretchy="false">)</mo><mo\; stretchy="false">)</mo>}+{\kappa }_s\mathrm{<mo\; stretchy="false">(</mo>0<mo\; stretchy="false">)</mo>}-\Delta {\kappa }_s\mathrm{<mo\; stretchy="false">(</mo>0<mo\; stretchy="false">)</mo><mo\; stretchy="false">]</mo>.}$

Для краткости аргументы у функций под знаком интеграла опущены.

Полагая $x_s\mathrm{<mo\; stretchy="false">(</mo>0<mo\; stretchy="false">)</mo><mo>=</mo>}{x}_0$ и используя выражение для $\kappa$, получаем

$\begin{array}{rrr}\Delta J=\underset{0}{\overset{t_f}{\int }}(\Delta P{x}_s+\Delta \chi ){)}^{T}S(\Delta P{x}_s+\Delta \chi )\left)\right]dt+& & \\ +x_0^T\Delta P\left(0\right)x_0+2x_0^T\Delta \chi \left(0\right)+\underset{0}{\overset{t_f}{\int }}\left[2{\chi }^{T}S\Delta \chi -2f^T\Delta \chi \right]dt.& & \end{array}$ (9)

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

Если, например, рассмотреть случай регулярной зависимости матричных и векторных функций, входящих в (1), (2) и (3) от малого параметра, в предположении, что эти функции достаточное число раз дифференцируемы по своим аргументам, то можно применить эту формулу для оценки погрешности функционала при применении простейшего варианта метода малого параметра. При этом проявляется некоторое отличие от задач оптимального управления, связанное с зависимостью погрешности от $\Delta \chi$.

В рассматриваемом случае формула (9) с учетом выражений

$\Delta P{x}_s\mathrm{<mo>=</mo>}\left(\begin{array}{c}\Delta P_1{x}_{1s}+\epsilon \Delta P_2{x}_{2s}\\ \epsilon \Delta P_2{x}_{1s}+\epsilon \Delta P_3{x}_{2s}\end{array}\right)\mathrm{,<mi>\; </mi><mi>\; </mi>}\Delta \chi \mathrm{<mo>=</mo>}\left(\begin{array}{c}\Delta {\chi }_1\\ \epsilon \Delta {\chi }_2\end{array}\right)$

имеет вид

$\begin{array}{rrr}\hfill \Delta J\mathrm{<mo>=</mo>}{\displaystyle \underset{0}{\overset{t_f}{\int }}}{\Delta }_2^{T}S{\Delta }_{2}dt+x_{10}^T\Delta P_1\mathrm{<mo\; stretchy="false">(</mo>0<mo\; stretchy="false">)</mo>}{x}_{10}+\epsilon \mathrm{<mo\; stretchy="false">(</mo>}{x}_{20}^T\Delta P_2{\mathrm{<mo\; stretchy="false">(</mo>0<mo\; stretchy="false">)</mo>}}^T{x}_{10}+x_{10}^T\Delta P_2\mathrm{<mo\; stretchy="false">(</mo>0<mo\; stretchy="false">)</mo>}{x}_{20}+& \hfill & \hfill \\ \hfill +x_{20}^T\Delta P_3\mathrm{<mo\; stretchy="false">(</mo>0<mo\; stretchy="false">)</mo>}{x}_{20}\mathrm{<mo\; stretchy="false">)</mo>}+2x_{10}^T\Delta {\chi }_1\mathrm{<mo\; stretchy="false">(</mo>0<mo\; stretchy="false">)</mo>}+2\epsilon x_{20}^T\Delta {\chi }_2\mathrm{<mo\; stretchy="false">(</mo>0<mo\; stretchy="false">)</mo>}+2{\displaystyle \underset{0}{\overset{t_f}{\int }}}\mathrm{<mo\; stretchy="false">(</mo>}{\chi }_2^{T}S\Delta {\chi }_2-\epsilon f^T\Delta {\chi }_2\mathrm{<mo\; stretchy="false">)</mo>}dt\mathrm{.}& \hfill & \hfill \end{array}$ (10)

Нетрудно видеть, что пренебрежение регулярными членами порядка $O\mathrm{<mo\; stretchy="false">(</mo>}{\epsilon }^2\mathrm{<mo\; stretchy="false">)</mo>}$ и правыми пограничными функциями, содержащими в качестве множителя малый параметр, в представлении переменных $P_1\mathrm{,}{P}_2\mathrm{,}{P}_3$ и ${\chi }_1\mathrm{,}{\chi }_2$ приводит к погрешности порядка $O\mathrm{<mo\; stretchy="false">(</mo>}{\epsilon }^2\mathrm{<mo\; stretchy="false">)</mo>}$ в функционале качества.

2. Декомпозиция системы уравнений Риккати

Будем предполагать, что все собственные числа матрицы $H$ на рассматриваемом отрезке имеют положительные вещественные части. Полагая в последних двух уравнениях системы матричных дифференциальных уравнений (6) малый параметр равным нулю, получим уравнения

$\mathrm{0<mo>=</mo>}-P_1-P_{2}H-A^T{P}_3+P_{2}S{P}_3\mathrm{,<mi>\; </mi><mi>\; </mi>0<mo>=</mo>}-P_{3}H-H^T{P}_3+P_{3}S{P}_3\mathrm{.}$

Отсюда следует, что медленное интегральное многообразие этой системы имеет вид

$P_2\mathrm{<mo>=</mo>}\Phi \mathrm{<mo\; stretchy="false">(</mo>}{P}_1\mathrm{,}t\mathrm{,}\epsilon \mathrm{<mo\; stretchy="false">)</mo><mo>=</mo>}-P_1{H}^{-1}+\epsilon {\Phi }_1\mathrm{<mo\; stretchy="false">(</mo>}{P}_1\mathrm{,}t\mathrm{<mo\; stretchy="false">)</mo>}+{\epsilon }^2\dots \mathrm{,<mi>\; </mi><mi>\; </mi>}{P}_3\mathrm{<mo>=</mo>}\epsilon \Psi \mathrm{<mo\; stretchy="false">(</mo>}{P}_1\mathrm{,}t\mathrm{,}\epsilon \mathrm{<mo\; stretchy="false">)</mo><mo>=</mo>}\epsilon {\Psi }_1\mathrm{<mo\; stretchy="false">(</mo>}{P}_1\mathrm{,}t\mathrm{<mo\; stretchy="false">)</mo>}+{\epsilon }^2\dots \mathrm{.}$

Приравнивая в соответствующих уравнениях инвариантности члены, содержащие множителем первую степень малого параметра, получим соотношения для определения матричных функций ${\Phi }_1\mathrm{<mo\; stretchy="false">(</mo>}{P}_1\mathrm{,}t\mathrm{<mo\; stretchy="false">)</mo>}$

$-F_1\mathrm{<mo\; stretchy="false">(</mo>}{P}_1\mathrm{,}-P_1{H}^{-1}\mathrm{,}t\mathrm{,0<mo\; stretchy="false">)</mo>}-P_1\frac{d}{dt}\left(H^{-1}\right)\mathrm{<mo>=</mo>}-{\Phi }_{1}H-A^T{\Psi }_1-P_1{H}^{-1}S{\Psi }_1\mathrm{,}$

и ${\Psi }_1\mathrm{<mo\; stretchy="false">(</mo>}{P}_1\mathrm{,}t\mathrm{<mo\; stretchy="false">)</mo>}$

$\mathrm{0<mo>=</mo>}-{\Psi }_{1}H-H^T{\Psi }_1+P_1{H}^{-1}+{\left(P_1{H}^{-1}\right)}^T\mathrm{.}$ (11)

Последнее равенство представляет собой однозначно разрешимое матричное уравнение Ляпунова. После подстановки найденного решения ${\Psi }_1$ в предыдущее уравнение матрица ${\Phi }_1$ находится путем умножения на $H^{-1}$ соответствующих слагаемых, т. е.

${\Phi }_1\mathrm{<mo>=</mo>}\left(F_1\mathrm{<mo\; stretchy="false">(</mo>}{P}_1\mathrm{,}-P_1{H}^{-1}\mathrm{,}t\mathrm{,0<mo\; stretchy="false">)</mo>}+P_1\frac{d}{dt}\left(H^{-1}\right)-A^T{\Psi }_1-P_1{H}^{-1}S{\Psi }_1\right)H^{-1}\mathrm{.}$ (12)

При необходимости аналогичным образом определяются соответствующие матричные коэффициенты при более высоких степенях малого параметра.

Важно отметить, что при $t\mathrm{<mo>=</mo>}{t}_1$ матричные функции $P_1\mathrm{,}{P}_2\mathrm{,}{P}_3$ обращаются в нуль. Отсюда следует, что правые пограничные функции $Z_2$, $Z_3$ в представлении матриц $P_2$, $P_3$ должны содержать в качестве множителя малый параметр. Это означает, что если при построении закона управления пренебречь правыми пограничными функциями, то в силу формулы (10) погрешность функционала качества не превысит величину $O\mathrm{<mo\; stretchy="false">(</mo>}{\epsilon }^2\mathrm{<mo\; stretchy="false">)</mo>}$.

3. Декомпозиция линейной системы уравнений

Обратимся к системе (7)$–$(8) и сначала рассмотрим соответствующую однородную систему, не содержащую правых пограничных функций $Z_1$, $Z_2$, $Z_3$ и членов порядка $o\mathrm{<mo\; stretchy="false">(</mo>}\epsilon \mathrm{<mo\; stretchy="false">)</mo>}$ у регулярных матричных функций $V_2$, $V_3$:

${\dot{\chi }}_1\mathrm{<mo>=</mo>}-{\mathrm{<mo\; stretchy="false">(</mo>}A-S{V}_2^T\mathrm{<mo\; stretchy="false">)</mo>}}^T{\chi }_2\mathrm{,<mi>\; </mi><mi>\; </mi>}\epsilon {\dot{\chi }}_2\mathrm{<mo>=</mo>}-{\chi }_1-{\mathrm{<mo\; stretchy="false">(</mo>}H-V_3\mathrm{<mo\; stretchy="false">)</mo>}}^T{\chi }_2\mathrm{,}$

где $V_2\mathrm{<mo>=</mo>}\Phi \mathrm{<mo\; stretchy="false">(</mo>}{V}_1\mathrm{,}t\mathrm{,}\epsilon \mathrm{<mo\; stretchy="false">)</mo><mo>=</mo>}-V_1{H}^{-1}+\epsilon {\Phi }_1\mathrm{<mo\; stretchy="false">(</mo>}{V}_1\mathrm{,}t\mathrm{<mo\; stretchy="false">)</mo><mo\; stretchy="false">)</mo>}+O\mathrm{<mo\; stretchy="false">(</mo>}{\epsilon }^2\mathrm{<mo\; stretchy="false">)</mo>}$, $V_3\mathrm{<mo>=</mo>}\epsilon \Psi \mathrm{<mo\; stretchy="false">(</mo>}{V}_1\mathrm{,}t\mathrm{,}\epsilon \mathrm{<mo\; stretchy="false">)</mo><mo>=</mo>}\epsilon {\Psi }_1\mathrm{<mo\; stretchy="false">(</mo>}{V}_1\mathrm{,}t\mathrm{<mo\; stretchy="false">)</mo>}+O\mathrm{<mo\; stretchy="false">(</mo>}{\epsilon }^2\mathrm{<mo\; stretchy="false">)</mo>}$.

Для декомпозиции этой линейной системы можно применить известный метод приведения к блочно-диагональной форме. С этой целью сначала вводится новая быстрая переменная $y_2\mathrm{<mo>=</mo>}{\chi }_2-l{\chi }_1$. Используемая в этой формуле матричная функция $l\mathrm{<mo>=</mo>}l\mathrm{<mo\; stretchy="false">(</mo>}t\mathrm{,}\epsilon \mathrm{<mo\; stretchy="false">)</mo>}$ удовлетворяет несимметричному матричному дифференциальному уравнению Риккати

$\epsilon \dot{l}+\epsilon l\mathrm{<mo\; stretchy="false">[</mo>}-{\mathrm{<mo\; stretchy="false">(</mo>}A-S{\Phi }^T\mathrm{<mo\; stretchy="false">)</mo>}}^{T}l\mathrm{<mo\; stretchy="false">]</mo><mo>=</mo>}I-{\mathrm{<mo\; stretchy="false">(</mo>}H-\epsilon \Psi S\mathrm{<mo\; stretchy="false">)</mo>}}^{T}l\mathrm{,}$

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

$l\mathrm{<mo>=</mo>}{l}_0\mathrm{<mo\; stretchy="false">(</mo>}t\mathrm{<mo\; stretchy="false">)</mo>}+\epsilon l_1\mathrm{<mo\; stretchy="false">(</mo>}t\mathrm{<mo\; stretchy="false">)</mo>}+{\epsilon }^2\dots \mathrm{,}$

где

$l_0\mathrm{<mo>=</mo>}-{\mathrm{<mo\; stretchy="false">(</mo>}{H}^T\mathrm{<mo\; stretchy="false">)</mo>}}^{-1}\mathrm{,<mi>\; </mi><mi>\; </mi>}{l}_1\mathrm{<mo>=</mo><mo\; stretchy="false">(</mo>}{H}^T{\mathrm{<mo\; stretchy="false">)</mo>}}^{-1}\left[\frac{d{l}_0}{dt}-l_0\mathrm{<mo\; stretchy="false">(</mo>}{A}^T+{\mathrm{<mo\; stretchy="false">(</mo>}{H}^T\mathrm{<mo\; stretchy="false">)</mo>}}^{-1}{V}_{1}S\mathrm{<mo\; stretchy="false">)</mo>}{l}_0-{\Psi }_{1}S\right]\mathrm{.}$

Для переменных ${\chi }_1$, $y_2$ получаем систему

${\dot{\chi }}_1\mathrm{<mo>=</mo><mo\; stretchy="false">[</mo>}-{\mathrm{<mo\; stretchy="false">(</mo>}A-S{\Phi }^T\mathrm{<mo\; stretchy="false">)</mo>}}^T\mathrm{<mo\; stretchy="false">]</mo><mo\; stretchy="false">(</mo>}l{\chi }_1+y_2\mathrm{<mo\; stretchy="false">)</mo>,}$

$\epsilon {\dot{y}}_2\mathrm{<mo>=</mo>}-\mathrm{<mo\; stretchy="false">[</mo><mo\; stretchy="false">(</mo>}H-\epsilon \Psi S{\mathrm{<mo\; stretchy="false">)</mo>}}^T+\epsilon l{\mathrm{<mo\; stretchy="false">(</mo>}A-S{\Phi }^T\mathrm{<mo\; stretchy="false">)</mo>}}^T\mathrm{<mo\; stretchy="false">]</mo>}{y}_2$

или после выполнения транспонирования

${\dot{\chi }}_1\mathrm{<mo>=</mo><mo\; stretchy="false">[</mo>}-\mathrm{<mo\; stretchy="false">(</mo>}{A}^T-\Phi S\mathrm{<mo\; stretchy="false">)</mo><mo\; stretchy="false">]</mo><mo\; stretchy="false">(</mo>}l{\chi }_1+y_2\mathrm{<mo\; stretchy="false">)</mo>,}$

$\epsilon {\dot{y}}_2\mathrm{<mo>=</mo>}-\mathrm{<mo\; stretchy="false">[</mo><mo\; stretchy="false">(</mo>}{H}^T-\epsilon S\Psi \mathrm{<mo\; stretchy="false">)</mo>}+\epsilon l\mathrm{<mo\; stretchy="false">(</mo>}A-\Phi S\mathrm{<mo\; stretchy="false">)</mo><mo\; stretchy="false">]</mo>}{y}_2\mathrm{.}$

На следующем шаге вводится новая медленная переменная $y_1\mathrm{<mo>=</mo>}{\chi }_1-\epsilon p{y}_2$. При этом матричная функция $p\mathrm{<mo>=</mo>}p\mathrm{<mo\; stretchy="false">(</mo>}t\mathrm{,}\epsilon \mathrm{<mo\; stretchy="false">)</mo>}$ удовлетворяет линейному матричному дифференциальному уравнению

$\epsilon \dot{p}-p\mathrm{<mo\; stretchy="false">[</mo><mo\; stretchy="false">(</mo>}{H}^T-\epsilon S\Psi \mathrm{<mo\; stretchy="false">)</mo>}+\epsilon l\mathrm{<mo\; stretchy="false">(</mo>}A-\Phi S\mathrm{<mo\; stretchy="false">)</mo><mo\; stretchy="false">]</mo><mo>=</mo>}-\mathrm{<mo\; stretchy="false">(</mo>}{A}^T-\Phi S\mathrm{<mo\; stretchy="false">)</mo>}-\epsilon \mathrm{<mo\; stretchy="false">(</mo>}{A}^T-\Phi S\mathrm{<mo\; stretchy="false">)</mo>}lp\mathrm{,}$

из которого она может быть легко найдена в виде разложения по степеням малого параметра $p\mathrm{<mo>=</mo>}{p}_0\mathrm{<mo\; stretchy="false">(</mo>}t\mathrm{<mo\; stretchy="false">)</mo>}+\epsilon p_1\mathrm{<mo\; stretchy="false">(</mo>}t\mathrm{<mo\; stretchy="false">)</mo>}+{\epsilon }^2\dots \mathrm{,}$ где $p_0\mathrm{<mo\; stretchy="false">(</mo>}t\mathrm{<mo\; stretchy="false">)</mo><mo>=</mo>}-\mathrm{<mo\; stretchy="false">(</mo>}{A}^T-\Phi S\mathrm{<mo\; stretchy="false">)</mo>}{H}^{-1}\mathrm{.}$

В результате получаются две независимые подсистемы

${\dot{y}}_1\mathrm{<mo>=</mo><mo\; stretchy="false">[</mo>}-\mathrm{<mo\; stretchy="false">(</mo>}{A}^T-\Phi S\mathrm{<mo\; stretchy="false">)</mo>}l\mathrm{<mo\; stretchy="false">]</mo>}{y}_1\mathrm{,}$

$\epsilon {\dot{y}}_2\mathrm{<mo>=</mo>}-\mathrm{<mo\; stretchy="false">[</mo><mo\; stretchy="false">(</mo>}{H}^T-\epsilon S\Psi \mathrm{<mo\; stretchy="false">)</mo>}+\epsilon l\mathrm{<mo\; stretchy="false">(</mo>}A-\Phi S\mathrm{<mo\; stretchy="false">)</mo><mo\; stretchy="false">]</mo>}{y}_2\mathrm{.}$

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

$l\mathrm{<mo>=</mo>}{l}_0+\epsilon l_1+O\mathrm{<mo\; stretchy="false">(</mo>}{\epsilon }^2\mathrm{<mo\; stretchy="false">)</mo>,<mi>\; </mi><mi>\; </mi>}p\mathrm{<mo>=</mo>}{p}_0+O\mathrm{<mo\; stretchy="false">(</mo>}\epsilon \mathrm{<mo\; stretchy="false">)</mo>.}$

Здесь

$p_0\mathrm{<mo>=</mo>}-{\mathrm{<mo\; stretchy="false">[</mo>}A+S{V}_1{H}^{-1}\mathrm{<mo\; stretchy="false">]</mo>}}^T{\mathrm{<mo\; stretchy="false">(</mo>}{H}^T\mathrm{<mo\; stretchy="false">)</mo>}}^{-1}\mathrm{.}$

Применение преобразования

$y_2\mathrm{<mo>=</mo>}{\chi }_2-l{\chi }_1\mathrm{,<mi>\; </mi><mi>\; </mi>}{y}_1\mathrm{<mo>=</mo>}{\chi }_1-\epsilon p{y}_2$ (13)

к неоднородной системе (7), (8) приводит к уравнениям

${\dot{y}}_1\mathrm{<mo>=</mo><mo\; stretchy="false">[</mo>}-{\mathrm{<mo\; stretchy="false">(</mo>}A+S\Phi \mathrm{<mo\; stretchy="false">(</mo>}{V}_1\mathrm{,}t\mathrm{,}\epsilon \mathrm{<mo\; stretchy="false">)</mo><mo\; stretchy="false">)</mo>}}^{T}l\mathrm{<mo\; stretchy="false">]</mo>}{y}_1+f_1$ (14)

и

$\epsilon {\dot{y}}_2\mathrm{<mo>=</mo>}-\mathrm{<mo\; stretchy="false">[</mo><mo\; stretchy="false">(</mo>}H-\epsilon S{\Psi }_1{\mathrm{<mo\; stretchy="false">)</mo>}}^T+\epsilon l_0{\mathrm{<mo\; stretchy="false">(</mo>}A-S{\Phi }_0{\mathrm{<mo\; stretchy="false">(</mo>}t\mathrm{<mo\; stretchy="false">)</mo>}}^T\mathrm{<mo\; stretchy="false">)</mo>}}^T\mathrm{<mo\; stretchy="false">]</mo>}{y}_2+f_2\mathrm{.}$

Здесь

$f_1\mathrm{<mo>=</mo><mo\; stretchy="false">(</mo>}I+\epsilon p_0{L}_0\mathrm{<mo\; stretchy="false">)</mo><mo\; stretchy="false">(</mo>}{C}^{T}Q\xi -\Phi \mathrm{<mo\; stretchy="false">(</mo>}{V}_1\mathrm{,}t\mathrm{,}\epsilon \mathrm{<mo\; stretchy="false">)</mo>}f\mathrm{<mo\; stretchy="false">)</mo>}-p_0\mathrm{<mo\; stretchy="false">(</mo>}-\epsilon {\Psi }_1\mathrm{<mo\; stretchy="false">(</mo>}{V}_1\mathrm{,}t\mathrm{<mo\; stretchy="false">)</mo>}f\mathrm{<mo\; stretchy="false">)</mo>,}$

$f_2\mathrm{<mo>=</mo>}-\epsilon {\Psi }_1\mathrm{<mo\; stretchy="false">(</mo>}{V}_1\mathrm{,}t\mathrm{,}\epsilon \mathrm{<mo\; stretchy="false">)</mo>}f-\epsilon L_0\mathrm{<mo\; stretchy="false">(</mo>}{C}^{T}Q\xi -{\Phi }_0\mathrm{<mo\; stretchy="false">(</mo>}t\mathrm{<mo\; stretchy="false">)</mo>}f\mathrm{<mo\; stretchy="false">)</mo>.}$

В этих уравнениях и выражениях для функций $f_1$ и $f_2$ опущены правые пограничные функции $Z_1$, $Z_2$, $Z_3$ и члены порядка $o\mathrm{<mo\; stretchy="false">(</mo>}\epsilon \mathrm{<mo\; stretchy="false">)</mo>}$ у регулярных функций. Принимая во внимание, что функция $f_2$ содержит малый параметр в качестве множителя, получаем следующее приближенное выражение для $y_2$:

$y_2\mathrm{<mo>=</mo>}-\epsilon H^{-1}\left({\Psi }_1\mathrm{<mo\; stretchy="false">(</mo>}{V}_1\mathrm{,}t\mathrm{<mo\; stretchy="false">)</mo>}f-L_0\mathrm{<mo\; stretchy="false">(</mo>}{C}_1^{T}Q\xi -{\Phi }_0\mathrm{<mo\; stretchy="false">(</mo>}t\mathrm{<mo\; stretchy="false">)</mo>}f\mathrm{<mo\; stretchy="false">)</mo>}\right)\mathrm{,}$

в котором учтены только регулярные члены порядка $O\mathrm{<mo\; stretchy="false">(</mo>}\epsilon \mathrm{<mo\; stretchy="false">)</mo>}$, а регулярные члены более высоких порядков и правые пограничные функции, которые содержат в качестве множителя малый параметр, опущены. В рассматриваемом случае формула для оптимального управления принимает вид

$u_{opt}\mathrm{<mo>=</mo>}-R^{-1}{B}^T\mathrm{<mo\; stretchy="false">[</mo>}{P}_{2}x+P_3\dot{x}+{\chi }_2\mathrm{<mo\; stretchy="false">]</mo>.}$

Чтобы получить погрешность порядка $O\mathrm{<mo\; stretchy="false">(</mo>}{\epsilon }^2\mathrm{<mo\; stretchy="false">)</mo>}$ при вычислении значения функционала качества для субоптимального управления, следует использовать приближенное выражение

$P_2\mathrm{<mo>=</mo>}\Phi \mathrm{<mo\; stretchy="false">(</mo>}{V}_1\mathrm{,}t\mathrm{,}\epsilon \mathrm{<mo\; stretchy="false">)</mo>}\simeq {\Phi }_0+\epsilon {\Phi }_1\mathrm{<mo>=</mo>}-V_1{H}^{-1}+\epsilon {\Phi }_1\mathrm{<mo\; stretchy="false">(</mo>}{V}_1\mathrm{,}t\mathrm{<mo\; stretchy="false">)</mo>,<mi>\; </mi><mi>\; </mi>}{P}_3\simeq \epsilon {\Psi }_1\mathrm{<mo\; stretchy="false">(</mo>}{V}_1\mathrm{,}t\mathrm{<mo\; stretchy="false">)</mo>.}$ (15)

Что касается ${\chi }_2$, использование представления

${\chi }_2\mathrm{<mo>=</mo>}l{y}_1+\mathrm{<mo\; stretchy="false">(</mo>}I+\epsilon lp\mathrm{<mo\; stretchy="false">)</mo>}{y}_2\mathrm{,}$

которое вытекает из (13), и полученное выше выражение для $y_2$ позволяет применять следующее приближенное выражение:

${\chi }_2\mathrm{<mo>=</mo><mo\; stretchy="false">(</mo>}{l}_0+\epsilon l_1\mathrm{<mo\; stretchy="false">)</mo>}{y}_1-\epsilon H^{-1}\left({\Psi }_1\mathrm{<mo\; stretchy="false">(</mo>}{V}_1\mathrm{,}t\mathrm{<mo\; stretchy="false">)</mo>}f-L_0\mathrm{<mo\; stretchy="false">(</mo>}{C}^{T}Q\xi -{\Phi }_0\mathrm{<mo\; stretchy="false">(</mo>}t\mathrm{<mo\; stretchy="false">)</mo>}f\mathrm{<mo\; stretchy="false">)</mo>}\right)\mathrm{.}$

Таким образом, система (6) имеет медленное интегральное многообразие, которое с точностью до членов порядка $O\mathrm{<mo\; stretchy="false">(</mo>}\epsilon \mathrm{<mo\; stretchy="false">)</mo>}$ включительно описывается уравнениями (15), где ${\Psi }_1$ является решением уравнения Ляпунова (11), ${\Phi }_1$ задается формулой (12), а матрица $V_1$ представляет собой решение матричного дифференциального уравнения

${\dot{P}}_1\mathrm{<mo>=</mo>}-P_{2}A-A^T{P}_2^T+P_{2}S{P}_2^T-M\mathrm{,<mi>\; </mi><mi>\; </mi>}{P}_1\mathrm{<mo\; stretchy="false">(</mo>}{t}_1\mathrm{<mo\; stretchy="false">)</mo><mo>=</mo>0,}$

в котором $P_2$ задается выражением (15). Через $v_2$ обозначим выражение

$v_2\mathrm{<mo>=</mo><mo\; stretchy="false">(</mo>}{l}_0+\epsilon l_1\mathrm{<mo\; stretchy="false">)</mo>}{v}_1-\epsilon H^{-1}\left({\Psi }_1\mathrm{<mo\; stretchy="false">(</mo>}{V}_1\mathrm{,}t\mathrm{<mo\; stretchy="false">)</mo>}f-l_0\mathrm{<mo\; stretchy="false">(</mo>}{C}_1^{T}Q\xi -{\Phi }_0\mathrm{<mo\; stretchy="false">(</mo>}t\mathrm{<mo\; stretchy="false">)</mo>}f\mathrm{<mo\; stretchy="false">)</mo>}\right)\mathrm{,}$ (16)

в котором в качестве $v_1$ следует взять решение уравнения (14) с граничным условием $y_1\mathrm{<mo\; stretchy="false">(</mo>}{t}_1\mathrm{<mo\; stretchy="false">)</mo><mo>=</mo>0}$.

Суммируя вышесказанное, приходим к следующему утверждению.

Теорема. Применение субоптимального управления

$u_s\mathrm{<mo>=</mo>}-R^{-1}{B}^T\mathrm{<mo\; stretchy="false">[</mo>}{V}_{2}x+V_3\dot{x}+v_2\mathrm{<mo\; stretchy="false">]</mo>,}$

где $V_2$ и $V_3$ заданы выражениями (15), а $v_2$ $–$ выражением (16), приводит к погрешности порядка $O\mathrm{<mo\; stretchy="false">(</mo>}{\epsilon }^2\mathrm{<mo\; stretchy="false">)</mo>}$ в функционале (5).

Выводы

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

Об авторах

Владимир Андреевич Соболев

Автор, ответственный за переписку.
Email: v.sobolev@ssau.ru
ORCID iD: 0000-0001-7327-7340

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

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

Дополнительные файлы