[論文レビュー] Asymptotic behaviors of fundamental solution and its derivatives related to space-time fractional differential equations

Kyeong-Hun Kim, Sungbin Lim|arXiv (Cornell University)|Apr 28, 2015

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

ひとこと要約

本稿は、$\alpha \in (0,2)$、$\beta > 0$ である空間時間分数階偏微分方程式 $\partial_t^\alpha u = -(-\Delta)^\beta u$ の基本解およびその任意階数の空間時間分数階微分の鋭い漸近的挙動と上界を確立する。Fox H-関数の性質と線積分を用いて、$D_x^n (-\Delta_x)^\gamma D_t^\sigma I_t^\delta p(t,x)$ の精密な推定を導出し、以前の研究で $\alpha=1$ または $\beta=1$ を仮定していた制限を克服し、確率的および決定的偏微分方程式における $L_p$-推定を可能にする。

ABSTRACT

Let $p(t,x)$ be the fundamental solution to the problem $$ \partial_{t}^αu=-(-Δ)^βu, \quad α\in (0,2), \, β\in (0,\infty). $$ In this paper we provide the asymptotic behaviors and sharp upper bounds of $p(t,x)$ and its space and time fractional derivatives $$ D_{x}^{n}(-Δ_x)^γD_{t}^σI_{t}^δp(t,x), \quad \forall\,\, n\in\mathbb{Z}_{+}, \,\, γ\in[0,β],\,\, σ, δ\in[0,\infty), $$ where $D_{x}^n$ is a partial derivative of order $n$ with respect to $x$, $(-Δ_x)^γ$ is a fractional Laplace operator and $D_{t}^σ$ and $I_{t}^δ$ are Riemann-Liouville fractional derivative and integral respectively.

研究の動機と目的

• 一般の $\alpha \in (0,2)$ および $\beta > 0$ に対して、空間時間分数階偏微分方程式 $\partial_t^\alpha u = -(-\Delta)^\beta u$ の基本解 $p(t,x)$ に対する厳密で自己完結的な解析を提供すること。
• 空間的および時間的分数階微分を含む任意階数の微分 $D_x^n (-\Delta_x)^\gamma D_t^\sigma I_t^\delta p(t,x)$ 全体のクラスに対する鋭い上界および漸近的挙動を導出すること。
• 従来の研究が $\alpha=1$ または $\beta=1$ を仮定していた制限を克服し、一般の $\gamma$, $\sigma$, $\delta$ を取り扱えるようにするため、Mellin-Laplace-Fourier 変換に依存しない Fox H-関数に基づく手法を開発すること。

提案手法

• 著者たちは、Fox H-関数による基本解の Mellin-Barnes 積分表現を用いて、その構造および減衰特性を分析する。
• 複素平面における線積分技法を適用し、$t$ および $|x|$ の異なる領域における $p(t,x)$ 及びその微分の漸近的展開を導出する。特に、時間的・空間的スケールの異なる領域での挙動に注目する。
• Fox H-関数の極および成長の詳細な分析を伴い、留数定理や Morera の定理などの性質を用いて解析接続を正当化する。
• Gamma 関数の相反および倍積分公式と、Fox H-関数の関数方程式を用いて、異なるパrameter 範囲を結びつける重要な恒等式を導出する。
• 一般化された微分 $p_{\sigma,\gamma}(t,x)$ のフーリエ変換が $|\xi|^{2\gamma} t^{-\sigma} E_{\alpha,1-\sigma}(-|\xi|^{2\beta} t^\alpha)$ に等しいことを示し、Mittag-Leffler 関数と関連付ける。
• 空間次元 ($d=1$, $d\geq2$) およびパrameter 範囲に応じて別個に分析を行い、特に $\gamma = 0$, $\gamma = \beta$, または $\gamma \in (0,\beta)$ の場合を区別する。

実験結果

リサーチクエスチョン

• RQ1 一般の空間時間分数階偏微分方程式 $\partial_t^\alpha u = -(-\Delta)^\beta u$（$\alpha \in (0,2)$, $\beta > 0$）に対して、基本解 $p(t,x)$ 及びその任意階数の空間時間分数階微分の鋭い漸近的挙動は何か？
• RQ2 時間および空間において、$D_x^n (-\Delta_x)^\gamma D_t^\sigma I_t^\delta p(t,x)$ の上界はどのように振る舞うか。特に、$t$ が小さい場合や $|x|$ が大きい場合の挙動は？
• RQ3 従来の研究が制限を受けていた $\alpha=1$ または $\beta=1$ の場合に限定されていた基本解の微分に対する推定を、一般の状況に拡張できるか？
• RQ4 一般化された微分 $p_{\sigma,\gamma}(t,x)$ のフーリエ変換の正確な構造は何か。Mittag-Leffler 関数とどのように関係しているか？
• RQ5 導出された推定は、非同次分数階発展方程式の $L_q(L_p)$-推定および、乗法的ノイズを伴う確率的偏微分方程式の $L_p$-推定にどのように応用できるか？

主な発見

• 本稿では、すべての $n \in \mathbb{Z}_+$, $\gamma \in [0,\beta]$, $\sigma,\delta \in [0,\infty)$ に対して、$\alpha \in (0,2)$ および $\beta > 0$ に対して有効な $D_x^n (-\Delta_x)^\gamma D_t^\sigma I_t^\delta p(t,x)$ の鋭い上界を確立し、$\alpha=1$ または $\beta=1$ を仮定していた従来の結果を拡張する。
• 一般化された微分 $p_{\sigma,\gamma}(t,x)$ のフーリエ変換が $|\xi|^{2\gamma} t^{-\sigma} E_{\alpha,1-\sigma}(-|\xi|^{2\beta} t^\alpha)$ に等しいことが示され、精密なスペクトル的特徴付けが得られた。
• $d=1$, $\gamma=0$, $\sigma=1$ の場合、基本解は $\mathcal{F}\{p(t,\cdot)\}(\xi) = E_\alpha(-|\xi|^{2\beta} t^\alpha)$ を満たし、既知の結果と整合し、手法の妥当性が裏付けられた。
• Mellin-Barnes 積分における $z = -\gamma/\beta$ における留数が消えるため、解析的かつ一様な推定がパrameter 範囲全体にわたって可能である。
• Mellin-Laplace-Fourier 変換に依存しないため、次元 $d$ やパrameter $\beta, \delta, \gamma, \sigma$ に制限を設けることなく、パrameter 範囲を広くカバーできる。
• 得られた結果は、非同次分数階発展方程式の $L_q(L_p)$-推定および、乗法的ノイズを伴う確率的偏微分方程式の $L_p$-推定の証明に応用され、こうした推定の理論的基盤を確立した。