[論文レビュー] Variational Optimal-Control Problems with Delayed Arguments on Time Scales

Thabet Abdeljawad, Fahd Jarad+1 more|ArXiv.org|Dec 14, 2009

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

ひとこと要約

本稿は、時刻スケール上での遅れ状態変数を伴う変分的最適制御問題に対して、ナブラ微分を用いて最適性の必要条件を導出する。連続的、離散的、量子的微積分を統合的に扱うため、H-時刻スケール（ρ(t) = qt − h）上でオイラー＝ラグランジュ方程式および最適制御条件を導出し、特殊な場合に既知の結果が回復され、分野を跨ぐ遅れ動的システムの統一的枠組みを提供する。

ABSTRACT

This article deals with variational optimal-control problems on time scales in the presence of delay in the state variables. The problem is considered on a time scale unifying the discrete, the continuous and the quantum cases. Two examples in the discrete and quantum cases are analyzed to illustrate our results.

研究の動機と目的

• 遅れを含む状態変数を扱う統一的な変分的最適制御フレームワークを時刻スケール上で構築すること。
• 既存の変分法および最適制御理論を、離散的・連続的・量子的動的システムを統合するH-時刻スケール（ρ(t) = qt − h）に拡張すること。
• 遅れを伴う状態変数を有する問題に対して、特にオイラー＝ラグランジュ方程式および随伴方程式を含む最適性の必要条件を導出すること。
• 提案されたフレームワークの特殊ケースとして、連続的・離散的・量子的微積分設定における先行研究の結果を回復・一般化すること。
• 離散的および量子的（q-微積分）状況における詳細な例を通じて、理論の適用可能性を示すこと。

提案手法

• q > 0 および h ≥ 0 を満たす H-時刻スケール（ρ(t) = qt − h）上で、特にナブラ微分を用いて動的システムをモデル化する。
• 単変数およびn次元の場合の両方において、遅れを伴う状態変数およびそのナブラ微分を含む関数のためのオイラー＝ラグランジュ方程式を導出する。
• 時刻スケール上の変分法を用いて、最適性の必要条件（随伴方程式および境界条件を含む）を導出する。
• 状態方程式および性能指標がqシフトされた引数に依存する、遅れを伴う変分的最適制御問題を定式化する。
• 最適性の完全な必要条件の体系を導出する：随伴方程式、制御変数における停留条件、境界条件。
• 2つの詳細な例を通じてフレームワークの妥当性を検証する：1つは離散的状況（hZ）で、もう1つは量子的状況（q-微積分）である。遅れが除去された場合に既知の結果と整合することが示される。

実験結果

リサーチクエスチョン

• RQ1 遅れを伴う状態変数を有する変分的最適制御問題を、統一的な時刻スケールフレームワーク上でどのように定式化できるか？
• RQ2 H-時刻スケール上でのこのような問題に対して、最適性の必要条件（オイラー＝ラグランジュ方程式および随伴方程式）は何か？
• RQ3 導出された条件は、連続的（q=1, h=0）、離散的（q=1, h>0）、量子的（0<q<1, h=0）の場合に、どのように既知の結果に還元されるか？
• RQ4 後退ジャンプ作用素 ρ(t) = qt − h が、異なる動的システムを統合し、遅れを伴う動的システムを可能にする役割は何か？
• RQ5 このフレームワークは、遅れなしおよび非遅れ最適制御問題における先行して確立された結果を回復できるか？

主な発見

• 本稿は、H-時刻スケール上での遅れを伴う状態変数を有する関数に対するオイラー＝ラグランジュ方程式を導出し、δ微分およびナブラ微分の結果を一般化する。
• n次元の場合、最適性の必要条件は、遅れのある引数を含むナブラ微分方程式系として表現される。
• 量子的状況（q-微積分）では、必要条件はq差分方程式に簡略化され、随伴方程式はqシフトされた引数を含む。
• 最適制御条件には、制御変数における停留条件 ∂L/∂u(qx) = λ(qx)∂G/∂u(qx) が含まれ、これが最適性を保証する。
• 遅れが存在しない場合（α₀ = 0）、導出された系は2階のq差分方程式に還元され、漸近的に2階線形微分方程式 y'' − (r² + 1)y = 0 に近づく。
• q差分方程式の解をべき級数に展開すると、指数関数的解 exp(±√(r² + 1)x) に収束し、連続的動的システムの極限において整合性が確認される。