[论文解读] Liouville type theorems, a priori estimates and existence of solutions for critical order Hardy-Hénon equations in $\mathbb{R}^{n}$

Wenxiong Chen, Wei Dai+1 more|arXiv (Cornell University)|Aug 20, 2018

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

一句话总结

本文建立了偶数维 $n \geq 4$ 下临界阶 Hardy-Hénon 方程的首个 Liouville 定理，证明了方程 $(-\Delta)^{n/2}u(x) = u^p(x)/|x|^a$ 的唯一非负解为 $u \equiv 0$。利用此结果，作者获得了统一的先验估计，并通过基于爆破与重缩放技术的度理论论证，证明了有界区域上临界阶 Navier 问题正解的存在性。

ABSTRACT

In this paper, we consider the critical order Hardy-Hénon equations \begin{equation*} (-Δ)^{\frac{n}{2}}u(x)=\frac{u^{p}(x)}{|x|^{a}}, \,\,\,\,\,\,\,\,\,\,\, x \, \in \,\, \mathbb{R}^{n}, \end{equation*} where $n\geq4$ is even, $-\infty

研究动机与目标

• 建立偶数 $n \geq 4$ 下临界阶 Hardy-Hénon 方程 $(-\Delta)^{n/2}u = u^p/|x|^a$ 在 $\mathbb{R}^n$ 上的 Liouville 型定理。
• 利用 Liouville 定理，为有界区域上临界阶 Lane-Emden 方程的正解推导先验估计。
• 通过拓扑度理论证明有界区域上临界阶 Navier 问题正解的存在性。
• 将结果推广至超临界阶 Hardy-Hénon 方程与不等式。
• 解决 $(-\Delta)^{n/2}$ 的变号基本解所带来的挑战，该特性使得标准积分表示方法无法直接应用。

提出的方法

• 通过局部化的移动平面法证明 Liouville 定理，表明唯一非负解为 $u \equiv 0$。
• 将 Liouville 定理作为关键工具，推导有界区域中解的统一先验估计。
• 应用爆破与重缩放论证分析解序列的行为，并从非紧性中导出矛盾。
• 在巴拿赫空间设定下使用度理论，结合 Schauder 不动点定理证明解的存在性。
• 通过参数 $t$ 构造同伦，将原问题连接至一个扰动问题，并利用先验估计确保解算子的紧性。
• 利用 $n$ 阶 Dirichlet 问题的特征函数，在假设解无界时通过谱间隙 $\lambda_1$ 导出矛盾。

实验结果

研究问题

• RQ1 在偶数 $n \geq 4$ 下，临界阶 Hardy-Hénon 方程 $(-\Delta)^{n/2}u = u^p/|x|^a$ 在 $\mathbb{R}^n$ 中是否存在非平凡的非负解？
• RQ2 能否利用 Liouville 型结果为有界区域上临界阶 Lane-Emden 方程的正解建立先验估计？
• RQ3 在所推导的先验估计下，有界区域上临界阶 Navier 问题正解的存在性是否得到保证？
• RQ4 超临界阶 Hardy-Hénon 方程与不等式在 Liouville 型定理与先验估计方面表现如何？
• RQ5 $(-\Delta)^{n/2}$ 的变号基本解在何种程度上阻碍了标准积分表示方法的应用？

主要发现

• 对于偶数 $n \geq 4$，方程 $(-\Delta)^{n/2}u = u^p/|x|^a$ 在 $\mathbb{R}^n$ 中的唯一非负解为平凡解 $u \equiv 0$，从而首次为该类方程建立了 Liouville 定理。
• 基于 Liouville 定理与重缩放论证，为有界区域中临界阶 Lane-Emden 方程的正解推导出关于扰动参数 $t$ 的统一先验估计。
• 通过度理论证明了临界阶 Navier 问题 $(-\Delta)^{n/2}u = u^p$ 在零边界条件下正解的存在性，所用方法依赖于统一的先验界。
• 证明了先验估计在参数 $t \in [0, C_2)$ 上一致，确保了解算子的紧性，从而支持度理论方法的应用。
• 通过特征函数比较与谱间隙 $\lambda_1$ 的矛盾论证方法，在假设解无界时导出矛盾，从而确认了统一有界性。
• 结果可推广至超临界阶 Hardy-Hénon 方程与不等式，建立了相应的 Liouville 定理与先验估计。