[论文解读] Singular solutions of fractional elliptic equations with absorption

Huyuan Chen, Лаурент Верон|arXiv (Cornell University)|Feb 6, 2013

Nonlinear Partial Differential Equations参考文献 19被引用 8

一句话总结

本文研究带有吸收项的分数阶椭圆方程的奇异解，具体为方程 $(-\Delta)^\alpha u + |u|^{p-1}u = 0$ 在 $\Omega \setminus \{0\}$ 上，边界外为零狄利克雷条件，且在原点处无限爆破。本文根据指数 $p$ 的不同，建立了解的存在性、唯一性以及精确的渐近行为，确定了 $p$ 的临界阈值，以区分解在奇点附近的行为是类似于 $|x|^{-2\alpha/(p-1)}$ 还是 $|x|^{2\alpha - N}$。

ABSTRACT

The aim of this paper is to study the singular solutions to fractional elliptic equations with absorption $$ \left\{\arraycolsep=1pt \begin{array}{lll} (-Δ)^αu+|u|^{p-1}u=0,\quad & m{in}\quadΩ\setminus\{0\},\\[2mm] u=0,\quad & m{in}\quad \R^N\setminusΩ,\\[2mm] \lim_{x o 0}u(x)=+\infty, \end{array} ight. $$ where $p>0$, $Ω$ is an open, bounded and smooth domain of $\R^N\ (N\ge2)$ with $0\inΩ$. We analyze the existence, nonexistence, uniqueness and asymptotic behavior of the solutions.

研究动机与目标

• 分析在包含原点的有界区域 $\Omega$ 中，带有吸收项的分数阶椭圆方程奇异解的存在性与渐近行为。
• 确定解在原点孤立奇点附近的精确爆破速率，特别是针对分数阶拉普拉斯算子 $(-\Delta)^\alpha$ 且 $\alpha \in (0,1)$ 的情形。
• 建立关于具有中间或非临界爆破速率的奇异解的非存在性结果，排除特定幂律形式。
• 刻画区分奇异解存在与非存在区域的临界指数 $p$。

提出的方法

• 作者采用上下解方法，构造能捕捉原点附近正确渐近行为的障碍函数。
• 他们分析了形式为 $|x|^{-\tau}$ 的函数，其中 $\tau \in (-N, 0)$，特别关注 $\tau = \frac{2\alpha}{p-1}$ 和 $\tau = N - 2\alpha$，以匹配预期的爆破速率。
• 通过其积分表示处理分数阶拉普拉斯算子 $(-\Delta)^\alpha$，并利用Riesz核的性质及 $|x|^{-\tau}$ 的正则性，推导出逐点估计。
• 关键技术在于构造显式的上解 $W_{\mu,t}$ 和 $U_{\mu,t}$，使其在原点附近控制解，并在弱意义下满足方程。
• 证明依赖于比较原理，通过反证法证明不存在具有非临界爆破速率的解，对不同 $t$ 值使用不同的上解。
• 分析根据 $p$ 的值分为三种情形：$1 + \frac{2\alpha}{N} < p < \frac{N}{N-2\alpha}$，$0 < p < \frac{N}{N-2\alpha}$，以及 $p \geq \frac{N}{N-2\alpha}$，每种情形具有不同的渐近行为。

实验结果

研究问题

• RQ1 对于哪些 $p > 0$ 值，分数阶椭圆方程 $(-\Delta)^\alpha u + |u|^{p-1}u = 0$ 允许存在在原点爆破的正奇异解？
• RQ2 此类奇异解在孤立奇点 $x=0$ 附近的精确渐近行为是什么？
• RQ3 是否存在爆破速率既非 $|x|^{-2\alpha/(p-1)}$ 也非 $|x|^{2\alpha - N}$ 的解？若不存在，原因是什么？
• RQ4 临界指数 $p = 1 + \frac{2\alpha}{N}$ 和 $p = \frac{N}{N-2\alpha}$ 如何影响奇异解的存在性与唯一性？

主要发现

• 当 $1 + \frac{2\alpha}{N} < p < \frac{N}{N-2\alpha}$ 时，存在唯一的正解 $u$，使得 $\lim_{x \to 0} u(x) |x|^{2\alpha/(p-1)} = C$ 对某个 $C > 0$ 成立，且该解在下极限-上极限条件意义下唯一。
• 当 $0 < p < \frac{N}{N-2\alpha}$ 时，对任意 $t > 0$，存在一个正解满足 $\lim_{x \to 0} u(x) |x|^{N - 2\alpha} = t$，表明存在一个以 $t$ 为参数的解族，具有该爆破速率。
• 对于任意 $\tau \in (-N, 0) \setminus \{2\alpha - N, -\frac{2\alpha}{p-1}\}$，不存在满足 $\liminf_{x \to 0} u(x) |x|^{-\tau} > 0$ 且 $\limsup_{x \to 0} u(x) |x|^{-\tau} < \infty$ 的解，证明了非临界爆破速率下的非存在性。
• 当 $p \geq \frac{N}{N-2\alpha}$ 时，即使临界速率 $\tau = 2\alpha - N$ 也无法支持具有有限正下极限-上极限的解，表明存在性存在一个严格阈值。
• 当 $\frac{2\alpha}{N - 2\alpha} < p < \frac{N}{N - 2\alpha}$ 时，解满足改进估计 $\left| t|x|^{2\alpha - N} - u(x) \right| \leq C |x|^{\tau_1}$，其中 $\tau_1 = 2\alpha - (N - 2\alpha)p < 0$，表明解收敛于主导项。
• 情形 (i) 中的解 $u$ 满足对所有 $x \in \Omega \setminus \{0\}$ 有 $|u(x) - C_1 |x|^{-2\alpha/(p-1)}| < C_2$，确认了解被奇异型态一致逼近。