[論文レビュー] The heat equation for the Dirichlet fractional Laplacian with Hardy's potentials: properties of minimal solutions and blow-up

Ali BenAmor|arXiv (Cornell University)|Jun 6, 2016

Nonlinear Partial Differential Equations参考文献 9被引用数 5

ひとこと要約

本稿は、Dirichlet分数階ラプラシアンにHardy型ポテンシャル $\frac{c}{|x|^\alpha}$ を加えた熱方程式の最小解について、局所的および大域的で鋭い推定を確立する。熱核推定と調和関数による変換を用いて、$c > c^*$ のとき非負解が完全かつ即時的に爆発することを証明し、一般の領域における未解決問題を解決するとともに、亜臨界定域と超過臨界定域を統一的に扱う。

ABSTRACT

Local and global properties of minimal solutions for the heat equation generated by the Dirichlet fractional Laplacian negatively perturbed by Hardy's potentials on open subsets of $\R^d$ are analyzed. As a byproduct we obtain instantaneous blow-up of nonnegative solutions in the supercritical case.

研究の動機と目的

• 開集合 $\mathbb{R}^d$ 上のDirichlet分数階ラプラシアンとHardy型ポテンシャルを有する熱方程式の最小解の局所的および大域的性質を分析すること。
• 任意の領域（特に有界リプシッツ領域に限らない）に対して、非負解が超臨界定域（$c > c^*$）で即時的に爆発するかどうかという未解決問題を解明すること。
• 原点付近における最小解の鋭い点ごとの推定を確立し、解の $L^p$ 正則性特性を導出すること。
• $L^2$-半群を $L^p$-空間へ拡張するための最適な初期データのクラスを熱核解析により特定すること。

提案手法

• 変換により摂動された形をDirichlet型形式に変換することで、亜臨界定域（$c \leq c^*$）における摂動分数階ラプラシアン半群の熱核の存在および性質を導出する。
• 改善されたHardy–Sobolev不等式とDynkin–Hunt公式を用いて、原点付近における熱核の鋭い上界および下界を確立する。
• 鋭い熱核推定を用いて、原点付近における最小解の正確な点ごとの挙動を導出し、$x=0$ に固定された特異性があることを示す。
• 最小解にDuhamelの公式を適用し、コンパクト集合上で $p_t^{L_{V_c}^\Omega}(x,y) \geq \kappa_t w_c(x)w_c(y)$ という下界を活用して爆発推定を得る。
• 背理法により爆発を証明する：$c > c^*$ のとき非負解が存在すると仮定し、$|y|^{-\alpha} w_{c^*}^2(y)$ を含む発散積分を導出することで矛盾を導く。
• 既知の鋭い熱核推定（[BGJP19] より）を用い、球への比較により有界領域への拡張を可能とし、一様な爆発結果を得る。

実験結果

リサーチクエスチョン

• RQ1 任意の開領域 $\Omega$ に対して、Dirichlet分数階ラプラシアンとHardyポテンシャル $\frac{c}{|x|^\alpha}$ を有する熱方程式の最小解は、$c > c^*$ のとき即時的に爆発するか？
• RQ2 亜臨界定域（$c \leq c^*$）において、特に $x=0$ における特異性に近い原点付近での最小解の正確な点ごとの挙動は何か？
• RQ3 $L^2$-半群が摂動分数階ラプラシアンによって生成される場合、$L^p$-空間へ拡張可能か？その拡張に適した初期データの最適クラスは何か？
• RQ4 有界領域における熱核推定と球における推定との関係は何か？また、これらを用いて大域的正則性および爆発特性を導出可能か？

主な発見

• $c > c^*$ のとき、熱方程式には非負解が存在せず、最小解は領域の正則性や有界性にかかわらず完全かつ即時に爆発する。
• 亜臨界定域（$c \leq c^*$）において、最小解は原点付近で a.e. で $u(t,x) \geq c_t w_c(x)$ を満たし、原点に固定された特異性があることが確認される。
• コンパクト部分集合 $K \subset \Omega$ 上で、熱核は $p_t^{L_{V_c}^\Omega}(x,y) \geq \kappa_t w_c(x)w_c(y)$ を満たし、$t>0$ に対して一様に成り立つ。これにより最小解の正値性と特異性が保証される。
• $L^2$-半群は $p \in [1,\infty]$ に対して $L^p$-空間へ拡張可能であり、最適な初期データクラスは重み $w_c(x) = |x|^{-(d-\alpha)/2}$ によって特定される。
• 爆発は発散積分 $\int_{B'} w_{c^*}^2(y) |y|^{-\alpha} dy = \infty$ を通じて証明される。これはDuhamelの公式と下界を繰り返し適用することで得られる。
• 臨界定数 $c^* = \frac{2^\alpha \Gamma^2((d+\alpha)/4)}{\Gamma^2((d-\alpha)/4)}$ は鋭い：爆発は $c > c^*$ のときにのみ発生し、超過臨界定域では解は存在しない。