[论文解读] Nonexistence of positive solutions for Henon equation

Jorge García-Melián|arXiv (Cornell University)|Mar 13, 2017

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

一句话总结

本文证明了在 $N \geq 3$，$\alpha > -2$，且 $1 < p < \frac{N+2\alpha+2}{N-2}$ 时，Hénon 方程 $-\Delta u = |x|^\alpha u^p$ 在 $\mathbb{R}^N$ 中不存在正解，从而完全解决了长期悬而未决的猜想。此外，本文在临界情形 $p = \frac{N+2\alpha+2}{N-2}$ 下对 $-2 < \alpha < 0$ 的所有正解进行了分类，证明其形式为 $u(x) = C \left( \frac{\mu}{\mu^2 + |x|^{2+\alpha}} \right)^{\frac{N-2}{2+\alpha}}$。证明方法依赖于移动平面法、稳定性分析以及第一特征值的变分刻画。

ABSTRACT

We consider the semilinear elliptic equation $$ -Δu = |x|^αu^p \quad \hbox{in } \mathbb{R}^N, $$ where $N\ge 3$, $α&gt;-2$ and $p&gt;1$. We show that there are no positive solutions provided that the exponent $p$ additionally verifies $$ 1

研究动机与目标

• 为完全子临界范围 $1 < p < \frac{N+2\alpha+2}{N-2}$ 内 Hénon 方程正解不存在性猜想 A 提供证明。
• 在 $p = \frac{N+2\alpha+2}{N-2}$ 且 $-2 < \alpha < 0$ 的条件下，刻画所有正解。
• 将此前针对 $\alpha < 0$ 和 $\alpha > 0$ 的独立结果统一到一个通用的证明框架中。
• 证明即使不假设径向对称性或有界性，也不存在正解，从而推广了先前的结果。

提出的方法

• 通过 Kelvin 变换在双曲几何设置下应用移动平面法，分析解的对称性与单调性。
• 利用线性化算子 $-\Delta - p|x|^\alpha u^{p-1}$ 的第一特征值的稳定性条件，推导出正解的不存在性。
• 通过变分刻画第一特征值 $\lambda_1^\Omega(-p|x|^\alpha u^{p-1}) > 0$，建立解 $u$ 的稳定性。
• 分析 $|x|^\beta u(x)$ 在 $\beta = \frac{2+\alpha}{p-1}$ 下的行为，推导出单调性与有界性性质。
• 结合强最大值原理与爆破分析，排除在对称平面上导数为零或负的解。
• 将问题转化为柱坐标系，分析径向对称性，并在 $t$-变量上应用移动平面法。

实验结果

研究问题

• RQ1 在 $1 < p < \frac{N+2\alpha+2}{N-2}$ 且 $\alpha > -2$ 时，Hénon 方程 $-\Delta u = |x|^\alpha u^p$ 在 $\mathbb{R}^N$ 中是否存在任何正解？
• RQ2 当 $p = \frac{N+2\alpha+2}{N-2}$ 且 $-2 < \alpha < 0$ 时，Hénon 方程的所有正解是否均为径向对称的，且形式为 $u(x) = C \left( \frac{\mu}{\mu^2 + |x|^{2+\alpha}} \right)^{\frac{N-2}{2+\alpha}}$？
• RQ3 正解不存在性结果能否超越径向对称情形与有界解的限制？
• RQ4 稳定性条件在子临界区域排除正解中起到何种作用？
• RQ5 函数 $|x|^\beta u(x)$ 在 $\beta = \frac{2+\alpha}{p-1}$ 下的行为如何揭示解在原点与无穷远处的结构特征？

主要发现

• 在 $N \geq 3$，$\alpha > -2$，且 $1 < p < \frac{N+2\alpha+2}{N-2}$ 时，Hénon 方程 $-\Delta u = |x|^\alpha u^p$ 在 $\mathbb{R}^N$ 中不存在正解，完全证实了猜想 A 的普遍性。
• 当 $-2 < \alpha < 0$ 且 $p = \frac{N+2\alpha+2}{N-2}$ 时，所有正解均为径向对称的，且显式表示为 $u(x) = \left( \frac{4}{(\alpha+2)^2} \right)^{-\frac{N-2}{4}} (N(N-2))^{\frac{N-2}{4}} \left( \frac{\mu}{\mu^2 + |x|^{2+\alpha}} \right)^{\frac{N-2}{2+\alpha}}$，其中 $\mu > 0$。
• 在子临界假设下，解 $u$ 在 $\mathbb{R}^N$ 中是稳定的，表现为对所有有界区域 $\Omega$ 都有 $\lambda_1^\Omega(-p|x|^\alpha u^{p-1}) > 0$。
• 函数 $|x|^\beta u(x)$ 在 $\beta = \frac{2+\alpha}{p-1}$ 下关于 $|x|$ 是非减的，表明其单调性，有助于移动平面法的论证。
• 在变换后的柱坐标系中应用移动平面法，表明 $u$ 必须关于任意平面 $\{x \cdot \nu = \lambda_0\}$ 对称，当 $-2 < \alpha < 0$ 时，这导致径向对称性。
• 在临界情形下，当 $-2 < \alpha < 0$ 时，有 $\int_{\mathbb{R}^N} |x|^\alpha u(x)^{p+1} dx < \infty$，结合已知结果，可推出 $u$ 的显式形式。