[論文レビュー] Initial-boundary value problems for multi-term time-fractional diffusion equations with x-dependent coefficients

Zhiyuan Li, Xinchi Huang+1 more|arXiv (Cornell University)|Feb 17, 2018

Fractional Differential Equations Solutions参考文献 18被引用数 10

ひとこと要約

本稿は、固有関数展開とMittag-Leffler関数を用いて、xに依存する係数を有する多項式時間分数拡散方程式の初期境界値問題に対する解の存在一意性および解析性を確立する。解の長時間における減衰率が最小の分数階微分に支配されることを証明し、この解析性を応用して、1つの内部点観測から分数階数を一意に特定することを可能にする。

ABSTRACT

In this paper, we discuss an initial-boundary value problem (IBVP) for the multi-term time-fractional diffusion equation with x-dependent coefficients. By means of the Mittag-Leffler functions and the eigenfunction expansion, we reduce the IBVP to an equivalent integral equation to show the unique existence and the analyticity of the solution for the equation. Especially, in the case where all the coefficients of the time-fractional derivatives are non-negative, by the Laplace and inversion Laplace transforms, it turns out that the decay rate of the solution for long time is dominated by the lowest order of the time-fractional derivatives. Finally, as an application of the analyticity of the solution, the uniqueness of an inverse problem in determining the fractional orders in the multi-term time-fractional diffusion equations from one interior point observation is established.

研究の動機と目的

• xに依存する係数を有する多項式時間分数拡散方程式の初期境界値問題（IBVP）の適切な定義を確立すること。
• 時間の無限大における解の漸近的挙動を分析し、特に最小の分数階微分に支配される減衰率を特定すること。
• 時間に関する解の解析性を証明し、逆問題の研究を可能にする。
• 1つの内部点観測から、多項式時間分数拡散方程式における分数階数の一意性を確立すること。

提案手法

• 空間的領域における固有関数展開を用いて、IBVPを等価な積分方程式に還元する。
• 時間依存部の解を表すためにMittag-Leffler関数を用い、分数階微分の性質を活用する。
• 一般化されたGronwallの不等式と不動点法を用いて、解の存在一意性および解析性を証明する。
• すべての係数が非負である場合に、長時間における漸近的挙動を解析するため、ラプラス変換および逆ラプラス変換を適用する。
• ラプラス変換に基づく矛盾による証明を用いて、解の解析性を応用し、逆問題における分数階数の一意性を証明する。
• 楕円型方程式の正則性理論およびSobolev埋め込みを用いて、s=0近傍におけるラプラス領域における解の挙動を分析する。

実験結果

リサーチクエスチョン

• RQ1 xに依存する係数を有する多項式時間分数拡散方程式の初期境界値問題が、どのような条件下で一意な解を有するか？
• RQ2 時間の無限大における解の長時間減衰挙動は、時間微分の分数階数にどのように依存するか？
• RQ3 多項式時間分数拡散方程式における分数階数は、1つの内部点観測から一意に特定可能か？
• RQ4 時間変数に関する解の解析性が、このような方程式の逆問題を解く際に果たす役割は何か？
• RQ5 xに依存する係数の存在は、定数係数の場合と比較して、解の構造および減衰特性にどのような影響を与えるか？

主な発見

• 固有関数展開とMittag-Leffler関数を用いて、解が(0, ∞)上で時間に関して一意かつ解析的であることが確立された。
• すべての時間分数微分の係数が非負である場合、解の長時間における減衰率は $ t^{-eta} $ に支配され、ここで $ \beta = \alpha_\ell $ は最小の分数階数である。
• 時間変数に関する解の解析性により、1つの内部点観測から分数階数 $ \alpha_1, \dots, \alpha_\ell $ を一意に特定可能である。
• ラプラス変換と強い最大原理に基づく矛盾による証明により、異なる分数階数は異なる点観測をもたらすことが示され、一意性が保証された。
• s \to 0^+ において、解のラプラス変換は有界であり、変換された解の極限は $ H^2(\Omega) $ 内の非ゼロ関数に収束するため、観測点における非消滅挙動が示唆された。
• xに依存する係数を組み込んだことで、従来の定数係数の場合の結果を拡張し、より一般的な条件下で減衰率および一意性を証明した。