[論文レビュー] Necessary optimality conditions for the calculus of variations on time scales

Rui A. C. Ferreira, Delfim F. M. Torres|ArXiv.org|Apr 4, 2007

Nonlinear Differential Equations Analysis参考文献 13被引用数 3

ひとこと要約

本稿では、ラグランジアンにおける $ y^\sigma $ の代わりに $ y $ を用いることで、時刻スケール上の変分法のより自然な定式化を導入し、高階のデルタ微分への系統的な一般化を可能にした。主な貢献は、高階問題および時刻スケール上のラグランジュ問題に対して、正規および異常な極値が成り立つ一般化された必要最適性条件（オイラー＝ラグランジュ方程式およびハミルトニアン形式）を導出したことにある。

ABSTRACT

We study more general variational problems on time scales. Previous results are generalized by proving necessary optimality conditions for (i) variational problems involving delta derivatives of more than the first order, and (ii) problems of the calculus of variations with delta-differential side conditions (Lagrange problem of the calculus of variations on time scales).

研究の動機と目的

• 時刻スケール上での高階変分問題の体系的定式化の欠如、特にラグランジアンが高階デルタ微分に依存する場合に焦点を当てる。
• 従来、1階問題に限定されていた既存の必要最適性条件を、時刻スケール上の基本変分法へ一般化する。
• 時刻スケール上のラグランジュ問題に理論を拡張し、デルタ微分の側面制約を組み込む。
• ラグランジアンに $ y^\sigma $ の代わりに $ y $ を用いることで、オイラー＝ラグランジュ方程式および横断的条件の導出を簡素化する統一的枠組みを提供する。
• 時刻スケール上での高階および制約付き変分問題における正規および異常な極値に対する必要条件を確立する。

提案手法

• ラグランジアンに $ y(t) $ を用いることで、より自然で一般化を容易にする新しい変分問題の定式化を提案する。
• $ y^{\Delta^r} $ を含む問題に対して、$ \Delta $-積分形式の高階オイラー＝ラグランジュ方程式（定理4）を導出する。境界条件は $ a $ および $ \rho^{r-1}(b) $ に設定される。
• 基本問題（2）において、自由端点（自然境界条件）の横断的条件を導出し、従来の定式化と比較してより簡潔な形であることを示す。
• 時刻スケール上での一般最適制御問題（16）を導入し、ハミルトニアン形式での必要条件（定理3）を導出する。これには共役方程式および最大原理が含まれる。
• 定式化（1）と（2）の相互作用を活用して結果を一般化し、特に $ y(t) = y^\sigma(t) - \mu(t)y^\Delta(t) $ の関係を活用する。
• 離散的ケース $ \mathbb{T} = [a,b] \cap \mathbb{Z} $ に応用し、デルタ微分形の古典的離散オイラー＝ラグランジュ方程式を回復する。

実験結果

リサーチクエスチョン

• RQ1 なぜ時刻スケール上の変分法の標準的定式化では $ y $ の代わりに $ y^\sigma $ を用いるのか？この選択は最適なのか？
• RQ2 古典的オイラー＝ラグランジュ方程式は、時刻スケール上での高階デルタ微分にどのように一般化できるか？
• RQ3 デルタ微分の制約を伴う時刻スケール上のラグランジュ問題の必要最適性条件は何か？
• RQ4 新しい定式化（2）と古典的定式化（1）との間で、自由端点の横断的条件はどのように比較できるか？
• RQ5 ハミルトニアン形式は、高階および制約付き変分問題の時刻スケール上に拡張可能か？

主な発見

• ラグランジアンに $ y(t) $ を用いる定式化（2）は、古典的形に非常に近い、より簡潔で自然な高階オイラー＝ラグランジュ方程式を導く。
• 本稿では、$ r $ 階デルタ微分および $ a $ および $ \rho^{r-1}(b) $ における境界条件を含む問題に対して、$ \Delta $-積分形式の高階オイラー＝ラグランジュ方程式（定理4）を導出した。
• 自由端点の横断的条件は、$ y(b) $ が自由である場合、従来の定式化と比較してより簡潔で古典的ケースに類似した形であることが示された。
• デルタ微分の側面制約を伴う時刻スケール上のラグランジュ問題に対して、共役方程式および最大原理を含むハミルトニアン形式での必要最適性条件（定理3）を確立した。
• 離 discrete ケース $ \mathbb{T} = [a,b] \cap \mathbb{Z} $ において、導出された高階オイラー＝ラグランジュ方程式は、標準的な離散オイラー＝ラグランジュ方程式のデルタ微分形に還元される。
• 本稿では、新しい定式化（2）が古典的定式化（1）と同等であるが、高階および制約付き問題への一般化において、明確さと汎用性に顕著な利点を有することを証明した。