[論文レビュー] Initial-boundary value problem for distributed order time-fractional diffusion equations

Zhiyuan Li, Yavar Kian+1 more|arXiv (Cornell University)|Sep 20, 2017

Fractional Differential Equations Solutions参考文献 12被引用数 3

ひとこと要約

本稿は、一般の重み関数を伴う分散型時間分数拡散方程式の初期境界値問題に対する弱解の存在、一意性、および連続的依存性を確立する。ラプラス変換とスペクトル解析を用いて、適切な源項の条件下で解の時間的解析性を証明し、単一の次数の分数モデルを超える正則性結果を拡張する。

ABSTRACT

We examine initial-boundary value problems for diffusion equations with distributed order time-fractional derivatives. We prove existence and uniqueness results for the weak solution to these systems, together with its continuous dependency on initial value and source term. Moreover, under suitable assumption on the source term, we establish that the solution is analytic in time.

研究の動機と目的

• 一般の重み関数を伴う分散型時間分数拡散方程式に対する弱解の存在と一意性を確立すること。
• 初期データおよび源項に対する解の連続的依存性を証明すること。
• 解の正則性、特に適切な源項の仮定の下での時間的解析性を調査すること。
• 既存の収束または形式的解に関する結果を超えて、分散型分数拡散の理論的枠組みを拡張すること。

提案手法

• ヒルベルト空間設定における抽象的時間発展積分微分方程式として問題を定式化すること。
• 時間に関するラプラス変換を用いて、弱解をリゾルベント型方程式の逆ラプラス変換として特徴付けること。
• 楕円型作用素 $\mathcal{A}$ のスペクトル理論を用いてリゾルベントを解析し、解カーネルの減衰推定を得ること。
• 重み関数 $\mu(\alpha)$ と正弦積分 $\sin(\pi\alpha)$ に関する推定を用いて、ラプラス領域におけるリゾルベントの振る舞いを制御すること。
• ロルの定理と漸近解析を用いて、$r^\alpha$ および $\mu(\alpha)$ を含む積分の境界を導出し、逆ラプラス変換の収束を保証すること。
• ラプラス変換の解が無限大で任意の多項式よりも速く減衰することを証明することで、解の時間的解析性を確立すること。

実験結果

リサーチクエスチョン

• RQ1 ディリクレ境界条件を伴う分散型時間分数拡散方程式に対して、弱解が存在する条件は何か？
• RQ2 $L^2$-枠組みにおいて、解は初期データおよび源項に対してどのように連続的に依存するか？
• RQ3 源項が時間的に解析的であると仮定した場合、解は時間的に解析的とみなせるか？また、どのような仮定が必要か？
• RQ4 重み関数 $\mu(\alpha)$ は、解の正則性および減衰特性を決定づける役割を果たすか？

主な発見

• 係数に関する標準的仮定および $\mu\in L^\infty(0,1)$ の下で、弱解は $L^2(0,T;H^1_0(\Omega))$ 框組み内に存在し、一意的である。
• 初期データ $u_0$ および源項 $F$ に対して、解は連続的に依存し、重み関数 $\mu$ に一様な安定性推定が成り立つ。
• 源項 $F$ が時間的に解析的であれば、解 $u$ は $[0,T]$ 上で時間的に解析的である。
• 解のラプラス変換は、無限大で任意の多項式よりも速く減衰するリゾルベント型方程式を満たし、これにより $u$ の時間的解析性が示唆される。
• 証明の鍵となる推定は、$\int_{a_n}^{\infty} \frac{\Phi_n(r)}{r} dr \leq \frac{C}{\lambda_n}$（$n$ が十分大きい場合）であり、逆ラプラス変換の収束と正則性の制御を可能にする。
• 解析により、解の減衰および正則性は、$\alpha_0 \in (0,1)$ における $\mu(\alpha)$ の下界に支配され、$\mu(\alpha_0) > 0$ がモーメント母関数の十分な成長を保証する。