[论文解读] Control issues and linear projection constraints on the control and on the controlled trajectory

Sylvain Ervedoza|arXiv (Cornell University)|Sep 4, 2019

Stability and Controllability of Differential Equations参考文献 22被引用 4

一句话总结

本文確立了在抽象線性控制系統中對控制與受控軌跡施加線性投影約束時，可實現近似、精確與零可控性的條件。證明若某種新型唯一延拓性質成立於對偶系統，則可達成這些可控性類型，而該性質已被證明在多種設定下成立，包括拋物型與雙曲型PDE。

ABSTRACT

The goal of this article is to discuss controllability properties for an abstract linear system of the form $y' = Ay + Bu$ under some additional linear projection constraints on the control $u$ or / and on the controlled trajectory $y$. In particular, we discuss the possibility of imposing the linear projections of the controlled trajectory and of the control, in the context of approximate controllability, exact controllability and null-controllability. As it turns out, in all these settings, for being able to impose linear projection constraints on the trajectory and on the control, we will strongly rely on a unique continuation property for the adjoint system which, to our knowledge, has not been identified so far, and which does not seem classical. We shall therefore provide several instances in which this unique continuation property can be checked.

研究动机与目标

• 研究當對控制輸入與系統軌跡同時施加線性投影約束時，是否可達成近似、精確與零可控性。
• 識別實現此類約束可控性的最小結構條件——特別是對偶系統的一種新型唯一延拓性質。
• 將經典可控性理論擴展至控制與軌跡必須在函數空間中滿足指定投影的設定。
• 提供可驗證的條件，以確保該新型唯一延拓性質在PDE情境（如熱方程與波方程）中成立。
• 透過分析投影約束控制的成本與可行性，為實際應用（如對參數變化的不敏感性與有界控制集）奠定基礎。

提出的方法

• 在Hilbert空間中建立抽象線性系統 $ y' = Ay + Bu $ 的控制問題，透過正交投影至閉子空間 $ \mathscr{G} \subset L^2(0,T;U) $ 與 $ \mathscr{W} \subset L^2(0,T;H) $，對控制 $ u $ 與軌跡 $ y $ 施加約束。
• 引入對偶系統的一種新型唯一延拓性質：若對 $ z' + A^*z = w $ 的解 $ z $ 滿足 $ B^*z = g $ 在 $ (0,T) $ 上成立，則必有 $ z_T = 0 $、$ g = 0 $、$ w = 0 $，此性質對約束可控性至關重要。
• 運用對偶論證與泛函分析技術，將約束可控性問題轉化為涉及對偶系統的某類優化問題的可解性。
• 使用變分法構造滿足投影約束的控制，同時實現狀態的近似、精確或零可控性。
• 透過已知的Carleman估計與譜方法，在具體PDE模型（如含時變位勢的熱方程與波方程）中驗證唯一延拓性質。
• 將框架擴展至無界控制運算子，並探討其在Banach空間與凸控制約束下的可能推廣，提出未來研究方向。

实验结果

研究问题

• RQ1 在何種條件下，線性控制系統可實現近似可控性，同時對控制與軌跡施加線性投影約束？
• RQ2 對偶系統的新型唯一延拓性質在實現約束可控性中扮演何種角色？其在實際中如何驗證？
• RQ3 當控制與軌跡分別需投影至特定子空間 $ \mathscr{G} $ 與 $ \mathscr{W} $ 時，能否實現精確或零可控性？
• RQ4 控制在 $ \mathscr{G} $ 與 $ \mathscr{W} $ 上的投影成本如何變化？能否以系統參數表示其量化？
• RQ5 當控制空間由非指數函數張成時，能否將矩量法適應於求解約束可控性問題？

主要发现

• 若對偶系統的新型唯一延拓性質成立，且 $ \mathscr{W} $ 為有限維，則對控制與軌跡同時施加投影約束的近似可控性是可能的。
• 約束可控性的關鍵條件是對偶系統的唯一延拓性質：若 $ B^*z = g $ 在 $ (0,T) $ 上成立，且 $ z(T) = z_T $，則必有 $ z_T = 0 $、$ g = 0 $、$ w = 0 $，此條件確保滿足約束的控制存在。
• 該唯一延拓性質已在含時變位勢的熱方程與在適當幾何與譜條件下的波方程中驗證。
• 當 $ B $ 為可容許時，結果可擴展至無界控制運算子，且主要定理仍成立。
• 該框架允許控制約束位於任意閉子空間 $ \mathscr{G} $ 上，包括由指數函數張成的有限維空間等。
• 本文識別出與矩量控制方法及成本量化相關的開放問題，特別是在非指數控制子空間下，提示未來研究的潛力方向。