[論文レビュー] Quadratures of Pontryagin Extremals for Optimal Control Problems

Eugénio M. Rocha, Delfim F. M. Torres|ArXiv.org|Nov 14, 2005

Differential Equations and Boundary Problems参考文献 15被引用数 5

ひとこと要約

本稿では、ノーターの対称性定理とコズロフ＝コレスニコフ可積分性定理を組み合わせることで、制御が開集合上にある最適制御問題に対する有効な第一積分を計算する手法を提示している。制御が開集合上にある場合の四則積分による可解性の十分条件を提供する。主な貢献は、ハミルトニアン系の明示的積分を可能にする非自明な第一積分を体系的に特定するアプローチを提供することであり、特に(2,3,5)ケースを含むサブリーマン型ノルム的系に適用した。

ABSTRACT

We obtain a method to compute effective first integrals by combining Noether's principle with the Kozlov-Kolesnikov integrability theorem. A sufficient condition for the integrability by quadratures of optimal control problems with controls taking values on open sets is obtained. We illustrate our approach on some problems taken from the literature. An alternative proof of the integrability of the sub-Riemannian nilpotent Lie group of type (2,3,5) is also given.

研究の動機と目的

• 制御が開集合上にある最適制御問題における有効な第一積分を体系的に特定する手法の開発。
• 可積分性の定義における曖昧さを解消し、四則積分による可解性を主たる目的として焦点を当てる。
• 対称性と代数的還元技術を用いて、四則積分による可積分性の十分条件を提供する。
• サブリーマン型ノルム的リー群(2,3,5)型の可解性に対する代替的で構成的な証明を提供する。
• 標準的手法が失敗する高次元ノルム的系、例えば(2,3,5,8)および(2,3,5,8,14)系への可積分性手法の適用範囲を拡張する。

提案手法

• ノーターの対称性定理とコズロフ＝コレスニコフ可積分性定理を組み合わせ、有効な第一積分を生成する。
• ノーターの定理が提供する第一積分のパラメトリック族から、代数方程式系を構築し、非有効なものをふnowる。
• コズロフ＝コレスニコフ定理を適用して、得られた第一積分が四則積分による可解性を導くことを検証する。
• ポントレヤーギン最大原理を用いて、最適制御問題から真のハミルトニアン系を導出する。
• リー代数的構造と括弧関係を用いて、ノルム的系における保存量を同定する。
• 既知の問題、特に(2,3,5)サブリーマン系に対して手法を検証し、既知の第一積分を回復し、可換性を確認する。

実験結果

リサーチクエスチョン

• RQ1 制御が開集合上にある最適制御問題において、自明でない第一積分と自明なものとを体系的に区別する手法を開発可能か？
• RQ2 対称性に基づく第一積分を用いて、最適制御問題が四則積分によって可解であることを保証する十分条件は何か？
• RQ3 コズロフ＝コレスニコフ定理を効果的にノーターの定理と組み合わせることで、可積分性解析をどのように向上できるか？
• RQ4 提案手法により、サブリーマン型ノルム的(2,3,5)系の可解性に対する代替的証明が可能か？
• RQ5 標準的な計算ツールが失敗する高次元ノルム的系、例えば(2,3,5,8,14)系において、十分な第一積分を求める理論的道筋はあるか？

主な発見

• 本手法は、サブリーマン型ノルム的(2,3,5)系に対して、5つの有効な第一積分を明確に特定した：ハミルトニアン、ψ₂ + βψ₅x₃、ψ₃、αψ₄、およびβψ₅。
• (2,3,5)ケースの可解性に対する代替的証明が、第一積分 F = −ψ₁ψ₅ + ψ₂ψ₄ − (ψ₃ + ½ψ₅x₂)x₂ψ₅ を構成することで提供された。この第一積分と他の積分を組み合わせることで、可換な集合が形成された。
• この系がリウヴィル的であることが確認された。すなわち、その解は初等関数と積分の形で表現可能である。
• 本手法により、(2,3,5,8)系と(2,3,5,8,14)系の可解性にそれぞれ8つおよび14つの有効な第一積分が必要であることが特定されたが、ここでは未計算のままとした。
• 前回の研究で使用されたMapleパッケージは、(2,3,5,8,14)ケースにおいて十分な第一積分を同定できなかった。これは、純粋なアルゴリズム的探索を超える理論的進展の必要性を示している。
• 本手法は、高次元ノルム的系における純粋なアルゴリズム的手法の限界を回避する構成的フレームワークを提供する。