Фундаментальная матрица $Y(t)$ не является матрицантом, поэтому сформулируем вспомогательную задачу:
Построить область управляемости — множество точек, из которых можно попасть в начало координат за промежуток времени $[T; 0]$, используя управление ограниченной интенсивности: \[ \int\limits_T^0 u^*(t) u(t) dt \leqslant \mu, \quad \mu \gt 0. \]
Нетрудно видеть, что фундаментальная матрица $Y(t)$ в этом случае будет матрицантом.
Пусть $x_0 \in \mathcal{A}$. Система полностью управляема, поэтому можно построить программное управление для точек $(x_0, \vb{0})$ в виде \[ u(t) = B^*(t) C. \]
Так как $x_1 = \vb{0}$, то \[ \eta = \cancel{Y^{-1}(0) \underbrace{x_1}_{=0}} - x_0 - \cancel{ \int\limits_T^0 Y^{-1}(\tau) \underbrace{f(\tau)}_{\equiv 0} d\tau } = - x_0. \] Из теоремы о полной управляемости линейной системы следует невырожденность матрицы $A$, поэтому $C = A^{-1} \eta$, а управление запишется в виде \[ u(t) = B^*(t) C = B^*(t) A^{-1} \eta = - B^*(t) A^{-1} x_0. \] Подставим его в уравнение интенсивности: \[ \begin{aligned} \int\limits_T^0 u^*(\tau) u(\tau) d\tau &= \int\limits_T^0 x_0^* (A^{-1})^* \overbrace{B(\tau) B^*(\tau)}^{=A} A^{-1} x_0 d\tau \\ &= x_0^* (A^{-1})^* A A^{-1} x_0 \\ &= x_0^* (A^{-1})^* x_0 \\ &= x_0^* (A^*)^{-1} x_0 \\ &= x_0^* A^{-1} x_0 \leqslant \mu. \end{aligned} \] В нашем случае \[ A^{-1} = \left[ \begin{matrix} \frac{1}{a_1} & 0 \\ 0 & \frac{1}{a_2} \end{matrix} \right], \] поэтому уравнение области управляемости принимает вид \[ \frac{1}{a_1} x^2 + \frac{1}{a_2} y^2 \leqslant \mu, \quad \text{где} \quad x_0 = \left[ \begin{matrix} x \\ y \end{matrix} \right] \]
В связи с этим можно оценить функционал для произвольного допустимого управления $u$: \[ J(x_0, u_0) \leqslant J(x_0, u) \lt +\infty. \]