[論文レビュー] The turnpike property in semilinear control

Darío Pighin|arXiv (Cornell University)|Apr 7, 2020

Stability and Controllability of Differential Equations参考文献 52被引用数 6

ひとこと要約

本稿では、放物型PDEに従う半線形最適制御問題に対して、初期データの小規模性を仮定しない条件下でも指数的ターニケート性を確立する。目標が小さい場合、最適軌道は時間区間の大部分において定常解に指数的に近接する。大規模な目標の場合、制御が領域全体に作用する条件下で弱いターニケート結果が得られ、平均コストが定常解のコストに収束することが示される。

ABSTRACT

An exponential turnpike property for a semilinear control problem is proved. The state-target is assumed to be small, whereas the initial datum can be arbitrary. Turnpike results are also obtained for large targets, requiring that the control acts everywhere. In this case, we prove the convergence of the infimum of the averaged time-evolution functional towards the steady one. Numerical simulations are performed.

研究の動機と目的

• 初期データが小さいことを仮定しない半線形最適制御問題における指数的ターニケート性の確立。これにより、従来の制限を課さない結果が得られる。
• 時間区間が無限大に近づく際、半線形放物方程式に従う最適制御系の長期間挙動の分析。
• 制御が領域全体に作用する条件下で、大規模な目標に対する弱いターニケート結果の証明。
• 時間区間に依存しない、最適状態の時間微分に関するL²における一様バウンドの導出。
• 理論的結果を裏付ける数値シミュレーションの提供、特に半線形系におけるターニケート行動の予測と一致する。

提案手法

• 制御が部分領域 ω に作用する半線形熱方程式の最適制御問題を分析。目的関数は制御項と追従項を含む二次的コスト関数を最小化する。
• 変分法の直接法を用いて、最適制御問題におけるグローバル最小解の存在を証明する。
• Gâteaux微分可能性とFermatの停留条件を用いて、最適制御を u^T = -q^T χ_ω として特徴づける。ここで (y^T, q^T) は最適性系を満たす。
• エネルギー推定とGronwall型不等式を用いて、時間区間における状態および随伴状態のL∞ノルムに対する一様バウンドを導出する。
• 初期および最終境界層を含む準最適戦略を導入。この戦略により、状態は時間区間の大部分において定常解に近接する。
• 制御が全域に作用し、かつ目標が大きい条件下で、時間発展汎関数の平均下限が定常解コスト関数に収束することを確立する。

実験結果

リサーチクエスチョン

• RQ1 初期データが小さいことを仮定しない半線形制御問題において、指数的ターニケート性を確立できるか？
• RQ2 目標が小さい場合でないとき、ターニケート性はどのように変化するか。また、制御の作用（局所的 vs 全域的）はこの性質にどのように影響するか？
• RQ3 時間区間が無限大に近づく際、時間発展最適制御問題の平均コストが定常解コストに収束するか？
• RQ4 時間区間に依存しない、最適状態の時間微分に関する一様バウンドを導出できるか？
• RQ5 非線形項 f(y) の構造は、半線形放物系におけるターニケート行動にどのように影響を与えるか？

主な発見

• 目標 z が L∞(ω₀) で小さい場合、初期データ y₀ が任意であっても、半線形制御問題における指数的ターニケート性が証明される。
• 最適状態および最適制御は、時間区間の大部分において定常解に指数的に近接する。初期および最終の薄い境界層のみが存在する。
• 大規模な目標の場合、弱いターニケート結果が確立される。T → ∞ のとき、時間発展汎関数の平均下限が定常解コストに収束する。
• 時間区間 T に依存しない、最適状態の時間微分に関する一様L²バウンドが得られる。
• 時間発展問題の最小コストは、|J_T(u^*) - T·inf_{L²(ω)} J_s| ≤ K を満たす。ここで定数 K は T に依存しない。
• 数値的シミュレーションにより理論的予測が裏付けられ、最適軌道が速やかに定常解に収束し、時間の大部分にわたりその近傍に留まることが確認された。