[論文レビュー] Necessary Optimality Conditions for Fractional Action-Like Problems with Intrinsic and Observer Times

Gastão S. F. Frederico, Delfim F. M. Torres|ArXiv.org|Dec 2, 2007

Optimization and Variational Analysis被引用数 6

ひとこと要約

本稿は、内在的時間と観測者時間を含む分数階作用類変分問題（FALVA）に対して、高階のオイラー＝ラグランジュおよびデュボア＝レームォン必要最適性条件を確立する。先行研究を拡張し、高階導関数を含むFALVA問題の定常条件を導出し、ハミルトニアン形式を用いた二時刻最適制御フレームワークを構築し、弱い最大原理および分数階系における一般化されたデュボア＝レームォン条件を証明する。

ABSTRACT

We prove higher-order Euler-Lagrange and DuBois-Reymond stationary conditions to fractional action-like variational problems. More general fractional action-like optimal control problems are also considered.

研究の動機と目的

• 分数階作用類変分問題（FALVA）のオイラー＝ラグランジュ方程式を、高階導関数を含む形に一般化すること。
• 内在的時間および観測者時間を含むFALVA問題に対して、高階のデュボア＝レームォン定常条件を確立すること。
• ハミルトニアン形式を用いて、FALVAフレームワーク内での二時刻最適制御問題を定式化・分析すること。
• FALVA型最適制御問題に対して、弱いポントレヤーギン最大原理を証明すること。
• 二時刻最適制御の文脈において、FALVA極値曲線に対する一般化されたデュボア＝レームォン条件を導出すること。

提案手法

• リーマン＝リウヴィル分数階積分を含む積分関数の変分原理を適用し、観測者時間 $ t $ および内在的時間 $ \theta $ を用いて、FALVA問題の高階オイラー＝ラグランジュ方程式を導出する。
• 関数の一次変分に対して繰り返し部分積分を適用し、境界項を消去することで、定常性の必要条件を導出する。
• 制御ダイナミクスを組み込んだハミルトニアンを用いて、問題を拡張された関数に還元することで、二時刻最適制御の定式化を導入する。
• 先行研究から得られた分数階オイラー＝ラグランジュ条件を、拡張されたハミルトニアン関数に適用し、弱い最大原理を導出する。
• ハミルトニアンの全時間微分を分析し、時間依存性と関連付けることで、デュボア＝レームォン条件を導出する。
• L が自立的であっても、核 $ (t - \theta)^{\alpha - 1} $ が非自立的行動を引き起こすため、FALVA関数の構造を用いて、$ \alpha \neq 1 $ の場合にエネルギーが保存されないことを示す。

実験結果

リサーチクエスチョン

• RQ1 内在的時間および観測者時間を含む状況下で、高階導関数を含むFALVA問題に対して、オイラー＝ラグランジュ方程式をどのように拡張できるか？
• RQ2 このようなFALVA問題における高階のデュボア＝レームォン定常条件の形は何か？
• RQ3 FALVAフレームワーク内での二時刻最適制御問題に対して、弱い最大原理を確立できるか？
• RQ4 核 $ (t - \theta)^{\alpha - 1} $ の影響により非自立的ダイナミクスを示すFALVA問題において、ハミルトニアン形式はどのように適応されるか？
• RQ5 FALVA系においてハミルトニアンが保存される条件は何か？これは古典力学とはどのように異なるか？

主な発見

• 本稿では、$ m $ 階導関数を含むFALVA問題に対して、高階のオイラー＝ラグランジュ方程式が導出され、エル＝ナブリシ（2005）の1階結果が一般化されている。
• 高階のデュボア＝レームォン定常条件が確立され、高階導関数を含むFALVA問題における最適性の必要条件を提供する。
• 二時刻最適制御FALVA問題に対して、弱いポントレヤーギン最大原理が証明され、極値曲線に沿ってハミルトニアン系および定常性条件が成立することが示された。
• 一般化されたデュボア＝レームォン条件は $ \frac{d\mathcal{H}}{d\theta} = \partial_1 \mathcal{H} $ として導出され、核 $ (t - \theta)^{\alpha - 1} $ の影響によりハミルトニアンが明示的に時間依存であっても成立する。
• ハミルトニアンは $ \alpha \neq 1 $ の場合に保存されない。これは、L およびダイナミクスが自立的であっても、核が明示的な時間依存性を導入するためである。
• 結果として、FALVA系では、分数階積分核が内在的時間依存性を導入するため、エネルギー保存が成立しないことが示され、これは古典的最適制御と明確に異なる。