[论文解读] 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

一句话总结

本文针对由狄利克雷分数阶拉普拉斯算子与哈迪型势能 $\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$ 的开子集上，带狄利克雷分数阶拉普拉斯算子与哈迪型势能的热方程最小解的局部与全局性质。
• 解决非负解在超临界情形（$c > c^*$）下对任意区域是否发生瞬时爆破的开放问题，而不仅限于有界利普希茨区域。
• 在原点附近建立最小解的精确点态估计，并推导解的 $L^p$ 正则性性质。
• 通过热核分析确定初始数据的最优类，将 $L^2$-半群扩展至 $L^p$-空间。

提出的方法

• 在次临界情形（$c \leq c^*$）下，利用将修正形式转换为狄利克雷型的变换，推导扰动分数阶拉普拉斯算子半群的热核存在性及其性质。
• 利用改进的哈迪–索博列夫不等式与狄尼-亨特定理，建立热核在零附近的精确上下界。
• 利用精确热核估计，获得最小解在原点附近的精确点态行为，表明在 $x=0$ 处存在驻留奇点。
• 对最小解应用杜哈梅公式，并利用紧集上 $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$，带狄利克雷分数阶拉普拉斯算子与哈迪势 $\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. 在 $x=0$ 附近有 $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$-半群可扩展至 $L^p$-空间（$p \in [1,\infty]$），最优初始数据类由权函数 $w_c(x) = |x|^{-(d-\alpha)/2}$ 确定。
• 爆破通过发散积分证明：$\int_{B'} w_{c^*}^2(y) |y|^{-\alpha} dy = \infty$，该积分源于迭代杜哈梅公式与下界估计。
• 临界阈值 $c^* = \frac{2^\alpha \Gamma^2((d+\alpha)/4)}{\Gamma^2((d-\alpha)/4)}$ 是精确的：当且仅当 $c > c^*$ 时发生爆破，超临界情形下无解存在。