[論文レビュー] $L^1$-Minimization for Mechanical Systems

Zheng Chen, Jean‐Baptiste Caillau+1 more|arXiv (Cornell University)|Jun 1, 2015

Optimization and Variational Analysis参考文献 18被引用数 6

ひとこと要約

本稿は、ポテンシャル駆動の漂移を有する2次系機械的系における$L^1$-最小化を検討し、燃料消費を最小化する最適制御戦略に注目する。ノールール条件を用いて折れ線 extremal の十分最適性条件を確立し、2次特異軌道の解析を実施。2体問題に対する詳細な取り扱いと、宇宙力学における数値的検証を含む。

ABSTRACT

Second order systems whose drift is defined by the gradient of a given potential are considered, and minimization of the $L^1$-norm of the control is addressed. An analysis of the extremal flow emphasizes the role of singular trajectories of order two [25,29]; the case of the two-body potential is treated in detail. In $L^1$-minimization, regular extremals are associated with controls whose norm is bang-bang; in order to assess their optimality properties, sufficient conditions are given for broken extremals and related to the no-fold conditions of [20]. An example of numerical verification of these conditions is proposed on a problem coming from space mechanics.

研究の動機と目的

• ポテンシャル勾配によって駆動される漂移を有する2次系機械的系における$L^1$-最小化を扱う。
• 特に宇宙ミッション設計の文脈において、2次特異軌道が最適制御に与える役割を分析する。
• ノールール条件を用いて、$L^1$-最小化問題における折れ線 extremal の十分最適性条件を導出する。
• 宇宙力学の文脈において、最適性条件の数値的検証フレームワークを提供する。
• スパarsityと制御構造の解析を通じて、$L^1$-最小化の低推力宇宙ミッションへの適用範囲を拡張する。

提案手法

• 最大原理を適用し、機械的系における$L^1$-最小化の最適性に必要な条件を導出する。
• 正則 extremal が、ノルムがゼロと制約上限の間を切り替えるバンガバンガ制御構造を有することを特徴付ける。
• ハミルトニアンの構造と制御制約の結果生じる2次特異軌道を導入し、それらを解析する。
• 文献[20]のノールール条件を、$L^1$-設定における折れ線 extremal の最適性の十分条件として用いる。
• 線形化された系と基本解$\Phi_t$を用いたシンプレクティックかつ変分的枠組みを採用し、横断性と非共役性を検証する。
• 正則化手続きとラグランジュ部分多様体技術を用いて、最小限の仮定のもとで$C^0$-局所最適性を確立する。

実験結果

リサーチクエスチョン

• RQ1 2次特異軌道は、$L^1$-最小化された機械的系における最適制御の構造にどのように影響を与えるか？
• RQ2 2次系動力学を有する$L^1$-最小化問題において、折れ線 extremal の最適性の十分条件は何か？
• RQ3 ノールール条件は、宇宙力学の問題において数値的に検証可能であり、最適性の妥当性確認に応用可能か？
• RQ4 $L^1$-ノルム最小化によって、制御のスパarsity（ゼロと最大出力の期間）はどのように機械的系で生じるか？
• RQ5 定常質量モデルは、最適低推力宇宙ミッションにおける完全な質量変動問題をどの程度正確に近似できるか？

主な発見

• 本稿では、機械的系における$L^1$-最小化において、正則 extremal が、ノルムがゼロと許容最大値の間を切り替えるバンガバンガ制御と関連していることを確立した。
• 2次特異軌道が extremal 流において極めて重要な役割を果たすことが示され、特に2体問題のような系において顕著である。
• 文献[20]のノールール条件を用いて、折れ線 extremal の十分最適性条件が導出され、宇宙力学の例で数値的に検証された。
• 非共役性条件（B1）は、基準 extremal 沿いの変分系におけるランクテストを通じて、数値的に検証可能であることが示された。
• レジェンドル型の条件を仮定せず、シンプレクティック幾何学とラグランジュ部分空間の横断性に依拠することで、extremal の$C^0$-局所最適性が証明された。
• Poincaré-Cartan形式が正確であるようなラグランジュ部分多様体$\mathscr{L}_0$の構成が可能であり、弱い仮定のもとで局所最適性を保証する。