[论文解读] 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

一句话总结

本文為僅在單側邊界施加控制的一維一階線性雙曲系統的精確控制所需最小時間，建立了明確且可計算的公式。該方法基於系統的新型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.

研究动机与目标

• 確定當所有控制僅作用於單一邊界時，一維一階線性雙曲系統實現精確邊界可控性的最小時間。
• 推導出僅依賴於系統耦合參數與特徵值結構的明確、可計算的最小時間公式。
• 在僅於單一邊界施加控制的約束下，確立最小時間，解決雙曲系統耦合帶來的關鍵挑戰。
• 基於UL分解與緊緻性-唯一性法，發展一種新的分析框架，以解決可控時間問題。

提出的方法

• 引入系統係數矩陣的規範UL分解，以解耦動態並簡化可控性分析。
• 應用緊緻性-唯一性法，將可控性問題轉化為對偶系統中的唯一性問題。
• 透過矩陣值函數 $\Psi^k(x)$ 建構變換，以對角化耦合結構並消除非必要耦合。
• 推導出變換後系統，使耦合矩陣 $\widetilde{M}$ 滿足 $\widetilde{M}^k(x) = \partial_x \Lambda^k(x)$，進而實現時間的明確計算。
• 利用特徵值 $\lambda_i(x)$ 的結構，其中 $p$ 個為負，$m$ 個為正，並假設相等特徵值在全域上一致。
• 透過變數變換建立原系統與變換後系統的等價性，並保持可控性性質不變。

实验结果

研究问题

• RQ1 當所有控制僅作用於單一邊界時，一維一階線性雙曲系統實現精確控制所需的最小時間為何？
• RQ2 系統的耦合參數，特別是矩陣 $M(x)$ 與邊界耦合 $Q$，如何影響最小可控時間？
• RQ3 最小可控時間能否表示為僅依賴於系統結構參數的明確、可計算公式？
• RQ4 UL分解在簡化具有混合特徵速度的雙曲系統可控性分析中扮演何種角色？
• RQ5 緊緻性-唯一性法如何在此背景下實現最小時間估計的精確性？

主要发现

• 推導出僅依賴於特徵值 $\lambda_i(x)$、耦合矩陣 $M(x)$ 與邊界耦合 $Q$ 的最小可控時間明確公式。
• 最小時間由全域內最大特徵傳播時間決定，並透過UL分解調整耦合結構。
• 最小時間為有限且嚴格大於零，其公式可直接由系統參數計算，無需求解PDE。
• 該結果在相等特徵值全域一致的假設下成立，此假設確保一致分解的存在。
• 緊緻性-唯一性法成功透過證明對偶問題中的唯一性，確立時間估計的精確性。
• 透過 $\Psi^k(x)$ 的變換，確保變換後系統的耦合矩陣 $\widetilde{M}$ 符合 $\Lambda$ 的微分形式，進而簡化分析。