[論文レビュー] Time scales: from Nabla calculus to Delta calculus and vice versa via duality

Michèle Caputo|arXiv (Cornell University)|Oct 1, 2009

Advanced Differential Equations and Dynamical Systems参考文献 12被引用数 28

ひとこと要約

本稿は、時刻スケール上のナブラ微積分とデルタ微積分の間に双対性原理を確立し、片方の微積分の結果を再証明することなく、もう片方の微積分に直接的に翻訳することが可能になる。主な貢献は、時刻反転と符号変更を用いて、時刻スケール、関数、微分、積分を対応付ける体系的な双対性フレームワークであり、時刻スケール上の変分法への応用を含む。

ABSTRACT

In this note we show how one can obtain results from the nabla calculus from results on the delta calculus and vice versa via a duality argument. We provide applications of the main results to the calculus of variations on time scales.

研究の動機と目的

• ナブラ微積分とデルタ微積分の間の厳密な双対性フレームワークを確立し、重複した証明の必要性を排除すること。
• 長年の時間スケール理論における空白である、ナブラ微積分とデルタ微積分の間の結果の翻訳手法の欠如を解消すること。
• 正規および不規則な時刻スケールの両方に対して、片方の微積分における結果を、もう片方の微積分における双対的結果から体系的に導出するための方法を提供すること。
• 双対性原理を、時刻スケール上の変分法、特に必要最適性条件の導出に応用すること。
• 時刻反転と符号変換を用いて、微分、積分、グレインネス、ジャンプ作用素といった主要対象間の双対的関係を形式化すること。

提案手法

• 任意の時刻スケール $\mathbb{T}$ に対して対称的対応物を提供するため、双対時刻スケール $\mathbb{T}^\star = \{-t \mid t \in \mathbb{T}\}$ を定義する。
• 双対関数 $f^\star(s) = f(-s)$ と、$f^\nabla(t) = - (f^\star)^{\hat{\nabla}}(-t)$ を用いた双対微分を導入し、ナブラ微分とデルタ微分を結びつける。
• ジャンプ作用素の双対関係を確立：$\sigma^\star = -\rho$, $\rho^\star = -\sigma$、およびグレインネスの関係：$\mu^\star = \nu$, $\nu^\star = \mu$。
• 測度を保存するように、$\int_a^b f(t)\Delta t = \int_{-b}^{-a} f^\star(s)\hat{\nabla}s$ を用いて双対積分を定義する。
• 変分問題の翻訳を可能にするために、$L^\star(s,x,w) = L(-s,x,-w)$ を用いて双対ラグランジアンを構成する。
• 双対性原理を適用し、例えばワイエルシュトラスの過剰関数を含む、片方の微積分からもう片方の微積分への必要最適性条件の変換を行う。

実験結果

リサーチクエスチョン

• RQ1 ナブラ微積分における結果は、再証明を伴わずに、デルタ微積分における同等の結果から体系的に導出可能か？
• RQ2 時刻スケール上のナブラ微積分とデルタ微積分の間の双対性の正確な数学的構造は何か？
• RQ3 双対性原理は、時刻スケール上の変分法における最適性の必要条件を導出するためにどのように応用可能か？
• RQ4 微分、積分、グレインネス関数などの主要時刻スケール対象の双対変換は何か？
• RQ5 双対性フレームワークは、ワイエルシュトラスの過剰関数や境界条件（トランスバーシャル条件）を含む、変分問題の構造を保存するか？

主な発見

• 双対性原理により、時刻反転と符号変更を用いて、デルタ微積分からナブラ微積分、あるいはその逆への結果の直接的翻訳が可能になる。
• デルタ微分 $f^\Delta(t)$ の双対は $- (f^\star)^{\hat{\nabla}}(-t)$ であり、両微分型の間の明確な対応関係が確立される。
• デルタ積分 $\int_a^b f(t)\Delta t$ の双対はナブラ積分 $\int_{-b}^{-a} f^\star(s)\hat{\nabla}s$ であり、双対性下でも測度が保存される。
• ラグランジアン $L(t,x,v)$ の双対 $L^\star(s,x,w) = L(-s,x,-w)$ により、双対性下でも変分構造が保存される。
• ワイエルシュトラスの過剰関数は $E^\star[s, (\bar{x}^\star)^{\hat{\sigma}}(s), (\bar{x}^\star)^{\hat{\Delta}}(s), q] = E[-s, \bar{x}^\rho(-s), -\bar{x}^\nabla(-s), -q]$ を満たし、双対設定間の最適性条件を結びつける。
• 双対時刻スケール $\mathbb{T}^\star$ 上で $\bar{x}^\star$ が強い局所的最小をとることは、すべての $t \in [a,b]_{\kappa}$ および $q \in \mathbb{R}$ に対して $E[t, \bar{x}^\rho(t), \bar{x}^\nabla(t), -q] \geq 0$ が成り立つこと、つまり変分問題における双対性が確認されることを示す。