[論文レビュー] Fractional Optimal Control in the Sense of Caputo and the Fractional Noether's Theorem

Frederico, Gastao S. F., Delfim F. M. Torres|ArXiv.org|Dec 11, 2007

Fractional Differential Equations Solutions参考文献 30被引用数 149

ひとこと要約

この論文は、Caputo微分の意味において、分数階最適制御問題に対するノネル型定理を確立し、古典的ノネルの定理を分数変分法へと拡張する。対称性条件の下で、ハミルトニアン、一般化運動量、および状態のCaputo微分を含む分数階保存則が導かれ、古典的状況（α=1）ではエネルギー保存に帰着する。

ABSTRACT

The study of fractional variational problems with derivatives in the sense of Caputo is a recent subject, the main results being Agrawal's necessary optimality conditions of Euler-Lagrange and respective transversality conditions. Using Agrawal's Euler-Lagrange equation and the Lagrange multiplier technique, we obtain here a Noether-like theorem for fractional optimal control problems in the sense of Caputo.

研究の動機と目的

• Caputo微分の意味において、分数階最適制御問題にノネルの定理を拡張すること。
• 分数階微積分の文脈において、時間および状態変数の連続的変換に関して不変な系に対して保存則を確立すること。
• 非保存系における保存則の欠如を、分数階微分を組み込むことによって解決すること。
• 特に非整数階動的系に対して、古典的ノネル理論の結果を分数階設定に一般化すること。
• ハミルトニアンがα≠1の分数階系では、一般化運動量とCaputo微分の積を含む項によって修正されない限り保存されないことを示すこと。

提案手法

• AgrawalのEuler-Lagrange方程式をCaputo分数階微分に適応し、最適性条件を導出する。
• 状態制約を分数階最適制御枠組みに組み込むためにラグランジュ乗数法を適用する。
• 時間および状態変数の連続的変換における作用積分の不変性を分析することで、ノネルに類似した定理を導出する。
• ハミルトニアン、一般化運動量、および状態軌道のCaputo微分を含む一般化保存則を導入する。
• 分数階Euler-Lagrange方程式および対称性条件を用いて、分数階微分表現の形で保存量を導出する。
• 2つの例を通じて結果を検証する：空間並進に対する不変性（運動量保存をもたらす）および時間並進に対する不変性（修正されたエネルギー則をもたらす）。

実験結果

リサーチクエスチョン

• RQ1 Caputo微分の意味で定式化された分数階最適制御問題に対して、ノネルの定理を拡張することは可能か？
• RQ2 ラグランジアンが時間または状態の並進に関して不変である場合、分数階系における保存則はどのような形をとるか？
• RQ3 なぜ古典的ハミルトニアンはα≠1の分数階系では保存されないのか？
• RQ4 新しい分数階保存則は、古典的エネルギー保存則とどのように異なるか？
• RQ5 Caputo微分は、自己同次系における保存量の修正にどのような役割を果たすか？

主な発見

• Caputoの意味における分数階最適制御問題に対してノネル型定理が確立され、非整数階動的系への古典的結果の一般化がなされた。
• 系が空間並進（ξ=1, τ=0）に関して不変であるとき、一般化運動量pは任意のα∈(0,1]に対して分数階保存則である。
• 自己同次系（時間並進に関して不変）では、古典的ハミルトニアンは保存されない。代わりに、量H − (1−α)p·D_C^α q が保存される。
• 新しい保存則は、分数階の次数αおよび状態軌道のCaputo微分に明示的に依存しており、非保存的効果を反映している。
• 古典的極限（α=1）において、分数階保存則は標準的なエネルギー保存則に還元され、古典力学と整合性を保つことが確認された。
• 本研究の結果は、従来の保存則が成立しない分野において、物理学および工学分野の非保存系を分数階微積分を用いて厳密にモデル化するためのフレームワークを提供する。