[論文レビュー] Minimal time control of exact synchronization for parabolic systems

Lijuan Wang, Qishu Yan|arXiv (Cornell University)|Mar 1, 2018

Stability and Controllability of Differential Equations参考文献 16被引用数 3

ひとこと要約

本稿は、線形放物型系における正確な同期の最小時間制御について、必要十分条件を確立する。最適制御が存在するための条件は、制御ノルムが初期状態に依存する臨界閾値を超える場合に限ることを証明している。主な貢献は、状態制約付き放物型PDEの時間最適制御フレームワークを用いて、最小時間制御と最小ノルム制御問題の間の双対性に基づく特徴付けを提供することにある。

ABSTRACT

This paper studies a kind of minimal time control problems related to the exact synchronization for a controlled linear system of parabolic equations. Each problem depends on two parameters: the bound of controls and the initial state. The purpose of such a problem is to find a control (from a constraint set) synchronizing components of the corresponding solution vector for the controlled system in the shortest time. In this paper, we build up a necessary and sufficient condition for the optimal time and the optimal control; we also obtain how the existence of optimal controls depends on the above mentioned two parameters.

研究の動機と目的

• 有界な制御を伴う線形放物型系における正確な同期の最小時間制御問題に取り組む。
• 最短時間でシステムの各成分を同期させる最適制御の存在と特徴付けを特定する。
• 放物型系における最小時間制御と最小ノルム制御問題の間の双対性を確立する。
• 初期状態と制御バウンドに依存する最適制御の存在に関する必要十分条件を導出する。
• 最適時間と制御が初期状態および制御ノルム制約にどのように依存するかを分析する。

提案手法

• ドメインの部分領域に分布する制御を伴う、ディリクレ境界条件を満たす線形放物型系の最小時間制御問題を定式化する。
• 制御制約集合 $\mathcal{U}_M$ を定義し、$L^2$-ノルムが $M > 0$ で有界であるとし、すべての成分が等しい状態の集合 $S$ を同期状態のターゲット集合とする。
• 差分を表す演算子 $D$ を導入し、$D\bm{y} = \bm{0}$ が正確な同期を特徴付ける。
• 双対性理論を適用して、最小時間制御問題を、初期データが $D\bm{y}_0$ である変換済み系 $\bm{z}_t - \Delta \bm{z} + A\bm{z} = \chi_\omega B\bm{u}$ における最小ノルム制御問題に関連付ける。
• ポントレヤーギンの最大原理と時間反転技術を用いて、最小時間問題の最適性条件を導出する。
• 関数 $N(T, \bm{y}_0)$ を通じて、最小時間問題の最適制御と最小ノルム問題の最適制御の間の同値性を確立する。ここで $N(T, \bm{y}_0)$ は、時間 $T$ までに同期を達成するために必要な最小 $L^2$-ノルムを表す。

実験結果

リサーチクエスチョン

• RQ1 与えられた制御バウンドを持つ放物型系の正確な同期に最小時間制御が存在する条件は何か？
• RQ2 最適時間は初期状態および制御ノルム制約にどのように依存するか？
• RQ3 放物型系の文脈において、最小時間制御と最小ノルム制御の関係は何か？
• RQ4 最小時間問題の最適制御は、最小ノルム制御問題との双対性によって特徴付けられるか？
• RQ5 同期のための最適制御の存在を保証する制御ノルム $M$ の正確な閾値は何か？

主な発見

• 最適時間 $T(M, \bm{y}_0)$ が有限であるのは、$M > M(\bm{y}_0)$ のときに限る。ここで $M(\bm{y}_0)$ は同期を達成するために必要な最小 $L^2$-ノルムである。
• 最小時間問題における最適制御が存在するのは、制御ノルム $M$ が初期状態 $\bm{y}_0$ に依存する閾値 $M(\bm{y}_0)$ を超えるときである。
• $(TP)_M^{\bm{y}_0}$ の最適制御 $\bm{u}^*$ は、$\|\bm{u}^*\|_{L^2(0,\infty;L^2(\Omega)^m)} = N(T(M, \bm{y}_0), \bm{y}_0)$ を満たし、最小時間問題と最小ノルム問題を結びつける。
• 最適時間 $T(M, \bm{y}_0)$ は、$T(M, \bm{y}_0) = T(N(T(M, \bm{y}_0), \bm{y}_0), \bm{y}_0)$ を満たし、時間とノルムの最小化の間の自己整合的双対性を示している。
• 最適制御 $\bm{u}^*$ は、$(0, T(M, \bm{y}_0))$ の正の測度の集合上で非ゼロであるため、同期プロセス全体を通して制御が有効に作用していることが確認される。
• 問題は適切に定式化されている：$M > M(\bm{y}_0)$ ならば、$T(M, \bm{y}_0) > 0$ であり、最適制御は一意的であり、変換済み系の最小ノルム制御によって特徴付けられる。