[论文解读] Indefinite fractional elliptic problem and Liouville theorems

Wenxiong Chen, Jiuyi Zhu|arXiv (Cornell University)|Apr 7, 2014

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

一句话总结

该论文针对带有变号权函数 $a(x)$ 的不定分数阶椭圆方程，建立了关于分数阶拉普拉斯算子 $(-Δ)^{\frac{\beta}{2}}$ 的 Liouville 型定理，证明在临界与次临界幂增长 $g(u) \sim u^p$ 条件下，所有正解必为径向对称且仅依赖于延拓变量 $y$，从而通过 Caffarelli-Silvestre 延拓框架下的移动球面法获得了解的先验估计与分类。

ABSTRACT

In this paper, we consider the indefinite fractional elliptic problem. A corresponding Liouville-type theorem for the indefinite fractional elliptic equations is established. Furthermore, we obtain a priori bound for solutions in a bounded domain by blowing-up and re-scaling. We also classify the solutions of some degenerate elliptic equation originated from fractional Laplacian.

研究动机与目标

• 为带有变号权函数 $a(x)$ 和幂次非线性项 $g(u)$ 的不定分数阶椭圆问题建立 Liouville 型定理。
• 通过爆破与重标度技术，推导有界区域中正解的先验估计。
• 通过 Caffarelli-Silvestre 延拓方法，对分数阶拉普拉斯算子导出的退化椭圆方程进行解的分类。
• 分析当最大值出现在界面 $\Gamma = \overline{\Omega^+} \cap \overline{\Omega^-}$ 时解的爆破行为，其中 $a(x)$ 变号。
• 将经典 Liouville 结果推广至具有不定非线性的分数阶拉普拉斯非局部情形。

提出的方法

• 利用 Caffarelli-Silvestre 延拓，将非局部分数阶拉普拉斯问题转化为 $\mathbb{R}^{n+1}_+$ 中的局部退化椭圆问题。
• 在延拓空间中应用移动球面法，借助方程在旋转与 Kelvin 变换下的不变性，证明解的径向对称性。
• 通过分析爆破点位置，利用爆破与重标度论证，推导有界区域中解的先验估计。
• 在证明对称性后，利用解仅依赖于 $y$ 的事实，将问题约化为关于 $y$ 变量的常微分方程。
• 通过在延拓空间中应用最大值原理与法向导数估计，当假设解非径向或非退化时导出矛盾。
• 使用临界与次临界指数条件 $1 < p \leq \frac{n+\alpha}{n-\alpha}$，并通过扩展维度使问题变为超临界情形，从而可应用已知的 Liouville 结果。

实验结果

研究问题

• RQ1 在有界区域 $\Omega$ 中，不定分数阶椭圆方程 $(-\triangle)^{\frac{\alpha}{2}}u = a(x)g(u)$ 的正解在何种条件下存在，其定性性质如何？
• RQ2 能否为在界面 $\Gamma = \overline{\Omega^+} \cap \overline{\Omega^-}$ 处变号的不定权函数 $a(x)$ 的分数阶椭圆方程建立 Liouville 型定理？
• RQ3 当最大值出现在 $a(x)$ 变号的界面 $\Gamma$ 上时，解的爆破行为如何？
• RQ4 当 $p$ 处于临界或次临界范围（相对于 Sobolev 嵌入阈值）时，解的结构如何变化？
• RQ5 在 $\mathbb{R}^{n+1}_+$ 中，扩展退化问题的解在多大程度上仅依赖于延拓变量 $y$？

主要发现

• 不定分数阶椭圆问题的所有正解在延拓空间中关于原点径向对称，意味着解仅依赖于变量 $y$。
• 当 $1 < p \leq \frac{n+\alpha}{n-\alpha}$ 时，扩展问题的解 $w(x,y)$ 仅依赖于 $y$，从而将偏微分方程约化为常微分方程：$w_{yy} + \frac{1-\alpha}{y}w_y = 0$。
• 在边界条件 $-\lim_{y\to 0^+} y^{1-\alpha} w_y = w^p(0)$ 下，解在延拓空间中显式表示为 $w(y) = \frac{a}{\alpha}y^\alpha + b$，其中 $a = b^p$。
• 若解不具有对称性，移动球面法将导致矛盾，从而证明解在延拓空间中必须关于原点径向对称。
• 通过将维度扩展至 $n+m$，使问题变为超临界情形，此时已知的 Liouville 结果适用，从而确认解与空间变量 $x_1, \dots, x_n$ 无关。
• 通过爆破与重标度方法建立了有界区域中解的先验估计，表明若爆破发生在 $\Gamma$ 上将导致矛盾，从而保证了解的有界性。