[論文レビュー] Cauchy-Lipschitz theory for fractional multi-order dynamics -- State-transition matrices, Duhamel formulas and duality theorems

Loïc Bourdin|arXiv (Cornell University)|Jul 7, 2017

Fractional Differential Equations Solutions被引用数 7

ひとこと要約

本稿は、リーマン＝リウビルおよびキャプート導関数を含む分数階多順序力学系に対するコーシー＝リプシッツ理論を確立する。分数階状態遷移行列を導入し、分数階デュハメル公式を導出し、左および右の状態遷移行列を結ぶ双対性定理を証明することで、非線形分数階コーシー問題の解法における存在性、一意性、構造的結果を裏付ける基盤を提供する。

ABSTRACT

The aim of the present paper is to contribute to the development of the study of Cauchy problems involving Riemann-Liouville and Caputo fractional derivatives. Firstly existence-uniqueness results for solutions of non-linear Cauchy problems with vector fractional multi-order are addressed. A qualitative result about the behavior of local but non-global solutions is also provided. Finally the major aim of this paper is to introduce notions of fractional state-transition matrices and to derive fractional versions of the classical Duhamel formula. We also prove duality theorems relying left state-transition matrices with right state-transition matrices.

研究の動機と目的

• 非線形分数階多順序力学系に、リーマン＝リウビルおよびキャプート導関数を含むコーシー＝リプシッツ理論を構築すること。
• リーマン＝リウビルおよびキャプート形式の両方におけるベクトル分数階コーシー問題の解の存在性と一意性を確立すること。
• 古典的線形系理論を分数階に一般化する分数階状態遷移行列を導入すること。
• 非同次分数階系に適した分数階デュハメル公式の導出。
• 左および右の状態遷移行列を結ぶ双対性定理を証明し、分数階フレームワーク内での構造的一致性を保証すること。

提案手法

• 分数階積分に基づく積分表現を用いて、非線形ベクトル分数階コーシー問題の存在性および一意性結果を形式化する。
• リーマン＝リウビルおよびキャプート分数階積分を含むボルテラ積分方程式を通じて、分数階状態遷移行列を定義する。
• 繰り返し適用された分数階積分作用素と行列の畳み込み構造を用いて、分数階デュハメル公式を導出する。
• 状態遷移行列の恒等式を導出する過程で、ネストされた積分を操作するためにフィビニの定理および変数変換を用いる。
• 対称的積分表現を通じて左および右の状態遷移行列を関連付けることにより、双対性定理を確立する。
• 状態遷移行列の再帰的構造を検証するために、行列の分数階積分恒等式に関する補題およびガンマ関数の性質を用いる。

実験結果

リサーチクエスチョン

• RQ1 リーマン＝リウビルまたはキャプート導関数を含む非線形分数階多順序コーシー問題が、どのような条件下で一意な解を有するか。
• RQ2 多順序導関数を有する分数階系に、状態遷移行列の概念をどのように一般化できるか。
• RQ3 多順序分数階系の文脈において、古典的デュハメル公式の分数階アナログは何か。
• RQ4 分数階系において、左および右の状態遷移行列はどのように関連しているか。また、双対性定理を確立できるか。
• RQ5 局所的だがグローバルでない解の振る舞いは、分数階コーシー問題においてどのように特徴づけられ、古典的ODEとはどのように異なるか。

主な発見

• 動的関数 f がリプシッツ連続性および線形成長条件を満たす限り、ベクトル分数階コーシー問題（VCP）に対してグローバル解の存在性と一意性が確立される。
• キャプート形式（cVCP）に対しては、最大解の存在性と一意性が証明され、局所的だがグローバルでない解の振る舞いに関する定性的な結果も得られている。
• 分数階状態遷移行列は厳密に定義され、次数 α および β の分数階積分を含むボルテラ積分方程式を満たすことが示された。
• 分数階デュハメル公式が導出され、非同次分数階系の解が、外力項と状態遷移行列との畳み込みとして表現されることを示した。
• 双対性定理が証明され、ある系の左状態遷移行列が、別の系の右状態遷移行列と対称的積分恒等式を通じて関連していることが示された。
• 定数係数系に対しては、分数階状態遷移行列が、マイトァグ・レフラー型の核を有するボルテラ積分方程式を満たし、古典的指数関数的解の一般化がなされた。