[論文レビュー] Minimal time for the exact controllability of one-dimensional first-order linear hyperbolic systems by one-sided boundary controls

Long Hu, Guillaume Olive|arXiv (Cornell University)|Jan 17, 2019

Stability and Controllability of Differential Equations参考文献 11被引用数 13

ひとこと要約

本稿では、片側境界制御のみを用いて1次元1階線形双曲型系を正確に制御するために必要な最小時間について、明示的かつ計算可能な公式を確立する。この手法は、システムの新しいUL分解とコンパクト性・一意性法に依拠しており、最小時間はシステムの結合パラメータおよび固有値構造に明示的に依存する。

ABSTRACT

In this article we study the minimal time for the exact controllability of one-dimensional first-order linear hyperbolic systems when all the controls are acting on the same side of the boundary. We establish an explicit and easy-to-compute formula for this time with respect to all the coupling parameters of the system. The proof relies on the introduction of a canonical $UL$-decomposition and the compactness-uniqueness method.

研究の動機と目的

• すべての制御が1つの境界にのみ作用する場合に、1次元1階線形双曲型系の正確な境界可制御性に要する最小時間を特定すること。
• この最小時間の明示的かつ計算可能な公式を、システムの結合パラメータおよび固有値構造に依存する形で導出すること。
• 制御が1つの境界にのみ適用されるという制約下で最小時間の評価を確立し、結合を伴う双曲型系における主要な課題に対処すること。
• UL分解とコンパクト性・一意性法に基づく、可制御時間問題を解くための新しい解析的枠組みを構築すること。

提案手法

• システムの係数行列の標準的UL分解を導入し、ダイナミクスを分離して可制御性解析を単純化する。
• コンパクト性・一意性法を適用して、可制御性問題を双対系における一意性問題に還元する。
• 行列値関数 $\Psi^k(x)$ を用いた変換を構築し、結合構造を対角化し、不必要な結合を排除する。
• 結合行列 $\widetilde{M}$ が $\widetilde{M}^k(x) = \partial_x \Lambda^k(x)$ を満たすように変換されたシステムを導出し、明示的な時間計算を可能にする。
• 固有値 $\lambda_i(x)$ の構造（$p$ 個の負、$m$ 個の正）を用い、等しい固有値は全域で一致すると仮定する。
• 変数変換により元のシステムと変換済みシステムの等価性を確立し、可制御性の性質を保持する。

実験結果

リサーチクエスチョン

• RQ1 すべての制御が1つの境界にのみ作用する場合に、1次元1階線形双曲型系を正確に制御するために必要な最小時間は何か？
• RQ2 特に行列 $M(x)$ と境界結合 $Q$ によって、システムの最小可制御時間はどのように影響を受けるか？
• RQ3 最小可制御時間は、システムの構造的パラメータにのみ依存する明示的かつ計算可能な公式として表現可能か？
• RQ4 UL分解は、混合特徴速度を伴う双曲型系の可制御性解析をどのように簡素化するか？
• RQ5 コンパクト性・一意性法は、この文脈において、鋭い最小時間推定値を導出するためにどのように機能するか？

主な発見

• 最小可制御時間の明示的公式が導出され、固有値 $\lambda_i(x)$、結合行列 $M(x)$、境界結合 $Q$ のみに依存する。
• 最小時間は、ドメイン全体を横断する最大特徴的伝播時間であり、UL分解を通じて結合構造が調整される。
• 最小時間は有限かつ正であり、PDEを解くことなく、システムのパラメータから直接計算可能である。
• 等しい固有値が全域で一致するという仮定の下で、一貫した分解が存在することが保証される。
• コンパクト性・一意性法は、双対問題における一意性の証明により、時間推定値の鋭さを明確に示している。
• $\Psi^k(x)$ を用いた変換により、変換済みシステムの結合行列 $\widetilde{M}$ が $\Lambda$ の微分と一致し、解析が簡素化される。