[論文レビュー] Initial-boundary value problems for linear diffusion equation with multiple time-fractional derivatives

Zhiyuan Li, Masahiro Yamamoto|arXiv (Cornell University)|Jun 12, 2013

Fractional Differential Equations Solutions参考文献 31被引用数 9

ひとこと要約

本稿は、固有関数展開と不動点法を用いて、複数の時間分数階微分を含む線形拡散方程式の初期境界値問題に対する解の存在一意性および Hölder 正則性を確立する。同様に、境界の一部で同次ディリクレおよびノイマン条件が与えられた場合、解は恒等的に消えることを示し、ラプラス変換と解析性を用いて一意的拡張性を示している。

ABSTRACT

In this paper, we discuss initial-boundary value problems for linear diffusion equation with multiple time-fractional derivatives. By means of the Mittag-Leffler function and the eigenfunction expansion, we reduce the problem to an integral equation for a solution, and we apply the fixed-point theorem to prove the unique existence and the Hölder regularity of solution. For the case of the homogeneous equation, the solution can be analytically extended to a sector $\{z\in\mathbb{C};z eq0,|\arg z|

研究の動機と目的

• 複数の時間分数階微分を含む線形拡散方程式の初期境界値問題に対する解の存在一意性および Hölder 正則性を確立すること。
• 同次方程式の場合における解の解析的性質、特に複素平面内の領域への解析接続を含む解析的性質を分析すること。
• 一意的拡張性を証明すること：解が境界の一部で同次ノイマン条件を満たし、全境界で同次ディリクレ条件を満たすならば、解は $Ω \times (0,T)$ 内で恒等的に消えること。
• 単一の時間分数階微分から得られる理論的結果を複数の時間分数階微分へと拡張し、級数解の収束性および一意性の証明におけるギャップを埋めること。
• 古典的モデルが長尾型拡散プロファイルを捉えきれない不均質媒質における分数量学的拡散モデルの厳密な枠組みを提供すること。

提案手法

• 空間領域における固有関数展開を用いて、初期境界値問題を積分方程式に還元する。
• 適切な関数空間における解の存在一意性を不動点定理を用いて証明する。
• 複数の分数階時間微分が存在するため、解をミタグ・レフラー関数を用いて表現する。
• 一意的拡張性を確立するために、ラプラス変換および解析接続の技法を用いる。
• 正則関数論および複素解析の理論を用いて、解を複素平面内の領域にまで拡張する。
• 楕円型作用素の特徴と固有関数の構造を用いて、境界条件の下で解が消えることを導出する。

実験結果

リサーチクエスチョン

• RQ1 複数の時間分数階微分を含む線形拡散方程式の初期境界値問題が、どのような条件下で一意な解をもつか。
• RQ2 解が Hölder 正則性を有することが示せるか。また、最良の正則性クラスは何か。
• RQ3 方程式が同次である場合、解は複素平面内の領域 $\{z \in \mathbb{C} \setminus \{0\} : |\arg z| < \pi/2\}$ に解析接続可能か。
• RQ4 解が境界の部分集合 $\Gamma \subset \partial\Omega$ で同次ノイマン条件を満たし、全境界 $\partial\Omega$ で同次ディリクレ条件を満たすならば、解は $Ω \times (0,T)$ 内で恒等的に消える必要があるか。
• RQ5 時間分数階微分の係数が正の定数である場合と変数係数である場合とで、解の性質はどのように変化するか。

主な発見

• 不動点定理を用いて、解が一意に存在し、$H^{2\beta}(\bar{\Omega})$ に値をとる時間方向の Hölder 連続性を示した。ここで $\beta \in (0,1)$ である。
• 同次方程式の場合、解は領域 $\{z \in \mathbb{C} \setminus \{0\} : |\arg z| < \pi/2\}$ に解析接続可能である。
• 解が分数階拡散方程式および $\partial\Omega$ の開部分集合 $\Gamma$ で同次ノイマン条件を満たし、全境界 $\partial\Omega$ で同次ディリクレ条件を満たすならば、解は $Ω \times (0,T)$ 内で恒等的に消える。
• 一意的拡張性の証明は、解の定義域の拡張、ラプラス変換の適用、解析性および楕円型作用素の一意的拡張性の性質に依存する。
• ミタグ・レフラー関数およびスペクトル論理の応用により、固有関数級数解の収束性が厳密に確立された。
• 単一分数階微分に関する先行研究を複数の分数階微分へと拡張し、離散重みを伴う分布型分数量学的拡散方程式のためのフレームワークを提供した。