[論文レビュー] Existence of solutions for a fractional semilinear parabolic equation with singular initial data

Kotaro Hisa, Kazuhiro Ishige|arXiv (Cornell University)|Jul 5, 2016

Nonlinear Partial Differential Equations参考文献 14被引用数 3

ひとこと要約

本稿は、容量に基づく推定と熱核解析を用いて、特異な初期データを伴う分数階半線形放物型方程式の解の存在に関する必要十分条件を確立する。$λ \to 0^+$ のとき、初期データが $|x|^{-A}$ のように減衰する場合の解の最適な生存期間推定を提供し、分数階ラプラシアンに対する古典的 Fujita 型結果を精緻化するとともに、特異測度および臨界的減衰率を示す関数への可解性理論を拡張する。

ABSTRACT

In this paper we obtain necessary conditions and sufficient conditions on the initial data for the solvability of the Cauchy problem $$ \partial_t u+(-Δ)^{\fracθ{2}}u=u^p,\quad x\in{\bf R}^N,\,\,t>0, \qquad u(0)=μ\ge 0\quad\mbox{in}\quad{\bf R}^N, $$ where $N\ge 1$, $01$ and $μ$ is a Radon measure or a measurable function in ${\bf R}^N$. Our conditions lead optimal estimates of the life span of the solution with $μ$ behaving like $λ|x|^{-A}$ ($A>0$) at the space infinity, as $λ o +0$.

研究の動機と目的

• 分数階ラプラシアン $(-\Delta)^{\theta/2}$ を含む初期値問題の可解性について、$p>1$ の下で初期データに必要な十分条件を特定すること。
• 無限遠における特異的挙動を示す初期データを分析することで、分数階拡散への古典的 Fujita 型理論を拡張すること。
• 初期データ $\mu = \lambda \phi$ で $\phi(x) \sim |x|^{-A}$ かつ $\lambda \to 0^+$ のとき、解の生存期間に対する最適推定を提供すること。
• 非負解の初期トレースの存在と一意性を確立し、局所的場合（$\theta = 2$）の結果を分数階数に一般化すること。

提案手法

• 線形分数階放物型方程式の基本解 $G(x,t)$ を用いて、積分的定式化による弱解の定義。
• ポテンシャル論からの容量推定（Meyers の容量）を応用し、可解性のための初期データに関する必要条件を導出。
• 分数階拡散スケーリングに適合した、初期データの $L^{r,\infty}$-ノルム推定を用いた十分条件の導出。
• スケーリング下での解の挙動の分析、特に初期データ $\mu(x) \sim \lambda |x|^{-A}$ の場合に、同次性および対数補正を用いる。
• 比較原理およびエネルギー型推定を用いて、解の生存期間の上界および下界を評価。
• 非線形項 $u^p$ の成長と初期データの減衰および分数階拡散率のバランスを取ることで、鋭い生存期間推定を確立。

実験結果

リサーチクエスチョン

• RQ1 分数階半線形放物型方程式 $\partial_t u + (-\Delta)^{\theta/2}u = u^p$ の非負解の存在について、Radon 測度または可測関数 $\mu$ に必要な十分条件は何か？
• RQ2 初期データ $\phi(x) \sim |x|^{-A}$ が無限遠で成り立つとき、$\lambda \to 0^+$ のとき解の生存期間 $T(\lambda\phi)$ はどのように振る舞うか？
• RQ3 古典的 Fujita 型臨界指数 $p_* = 1 + 2/N$ を分数階の場合 $0 < \theta \leq 2$ に一般化できるか？また、$\theta$ は臨界的減衰率にどのように寄与するか？
• RQ4 初期データの減衰率 $A$ が解の生存期間に与える正確な依存関係は何か、特に $p = p_\theta$ および $A = \theta/(p-1)$ の境界ケースにおいて。
• RQ5 初期データに対数補正がある場合、$A = N$ または $A = \theta/(p-1)$ のとき、爆発時間にどのような影響を与えるか？

主な発見

• $p > p_\theta = 1 + \theta/N$ のとき、初期データ $\mu$ が $\sup_{x \in \mathbb{R}^N} \int_{B(x,\sigma)} \mu(y)\,dy \leq \gamma \sigma^{N - \frac{2}{p-1}}$ を満たす限り、$\sigma > 0$ が十分小さいとき、局所的時間解が存在する。ここで $\gamma$ は $N$, $p$, $\theta$ に依存する。
• $p = p_\theta$ のとき、可解性のための必要条件は、$\sigma > 0$ が十分小さいとき $\sup_{x \in \mathbb{R}^N} \mu(B(x,\sigma)) \leq \gamma |\log \sigma|^{-N/\theta}$ である。これは古典的対数容量条件を一般化する。
• 初期データ $\mu(x) = \lambda \phi(x)$ で $\phi(x) \sim |x|^{-A}$ のとき、生存期間 $T(\lambda\phi)$ は $A \neq N$ のとき $T(\lambda\phi) \geq C \lambda^{-\left(\frac{1}{p-1} - \frac{1}{\theta} \min\{A,N\}\right)^{-1}}$ を満たし、$A = N$ のときは対数補正が現れ、減衰率に鋭い依存関係を示す。
• 臨界ケース $p = p_\theta$ および $A = N$ では、$\log T(\lambda\phi) \leq C \lambda^{-\frac{p-1}{p}}$ を満たし、二重対数的爆発時間スケーリングを示す。
• $1 < p < p_\theta$ のとき、$A = N$ ならば生存期間は上界 $T(\lambda\phi) \leq C_2 \left( \frac{\lambda^{-1}}{\log \lambda^{-1}} \right)^{\left(\frac{1}{p-1} - \frac{N}{\theta}\right)^{-1}}$ で抑えられ、超臨界ケースよりも遅い爆発を示す。
• 本稿では、任意の非負解の初期トレースが一意な Radon 測度であることを証明し、特に $\mu \in L^1_{\text{loc}} \setminus L^\infty$ の特異ケースにおいても、解が存在する初期データの完全な特徴付けを提供する。