[论文解读] Further results on Liouville type theorems for some conformally invariant fully nonlinear equations

Aobing Li, Yanyan Li|ArXiv.org|Jan 22, 2003

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

一句话总结

本文建立了关于 $\mathbb{R}^n$ 上共形不变全非线性方程的Liouville型定理，证明了正上次调和解要么为常数，要么为径向Fowler解。证明方法结合了移动球面法、改进的最大值原理论证以及共形不变性，将先前结果推广至全部指数 $p \leq \frac{n+2}{n-2}$ 的范围，对 $p = \frac{n+2}{n-2}$ 实现了解的精确分类，且对 $p < \frac{n+2}{n-2}$ 证明了解的不存在性。

ABSTRACT

We present some further results on Liouville type theorems for some conformally invariant fully nonlinear equations.

研究动机与目标

• 建立关于在Möbius变换下不变的全非线性椭圆方程的精确Liouville型定理。
• 对 $\mathbb{R}^n$ 上方程 $F(A^u) = u^{p - \frac{n+2}{n-2}}$ 的所有正 $C^2$ 上次调和解进行分类，其中 $p \leq \frac{n+2}{n-2}$。
• 统一并扩展Gidas–Spruck、Obata及其他人的先前结果，涵盖 $p = \frac{n+2}{n-2}$ 的情形以及新的 $p < \frac{n+2}{n-2}$ 情形。
• 证明非平凡解仅在 $p = \frac{n+2}{n-2}$ 时存在，且恰好为Fowler解。
• 通过改进的最大值原理技术，证明当 $p < \frac{n+2}{n-2}$ 时，不存在非平凡的正上次调和解。

提出的方法

• 利用移动球面法分析解在 $\mathbb{R}^n$ 中各点关于球面对称反射下的行为，借助方程的共形不变性。
• 应用改进的最大值原理版本（引理1），以控制解在孤立奇点附近的性质。
• 使用变换 $u_{x,\lambda}(y) = \left(\frac{\lambda}{|y-x|}\right)^{n-2} u\left(x + \frac{\lambda^2(y-x)}{|y-x|^2}\right)$ 对解进行反射，并与原解进行比较。
• 通过 $\alpha = \liminf_{|x|\to\infty} |x|^{n-2}u(x)$ 分析解在无穷远处的渐近行为，区分 $\alpha = \infty$ 与 $0 < \alpha < \infty$ 两种情形。
• 对差值 $u - u_{x,\lambda}$ 应用强最大值原理与Hopf引理，证明移动球面过程无法停止，除非 $u$ 为常数或径向对称。
• 利用变换 $w^{(x)} = (u_{\phi^{(x)}})_{\psi}$ 将问题映射到一个在原点具有正则点的新函数上，从而可应用逐点估计。

实验结果

研究问题

• RQ1 对于哪些满足 $p \leq \frac{n+2}{n-2}$ 的指数 $p$，方程 $F(A^u) = u^{p - \frac{n+2}{n-2}}$ 在 $\mathbb{R}^n$ 上存在正上次调和解？
• RQ2 所有此类解是否均为常数或Fowler形式 $u(x) = \left(\frac{a}{1 + b^2|x - \bar{x}|^2}\right)^{\frac{n-2}{2}}$？
• RQ3 当 $p < \frac{n+2}{n-2}$ 时会发生什么？即使缺乏共形不变性，是否仍可实现分类？
• RQ4 移动球面法能否被推广至非共形不变但反射下满足有利不等式的方程？
• RQ5 在何种 $F$ 与 $U$ 的条件下，唯一可能的非平凡解仅出现在 $p = \frac{n+2}{n-2}$ 时？

主要发现

• 当 $p = \frac{n+2}{n-2}$ 时，所有正上次调和解要么为常数，要么为如下形式的径向Fowler解：$u(x) = \left(\frac{a}{1 + b^2|x - \bar{x}|^2}\right)^{\frac{n-2}{2}}$，前提是 $2b^2a^{-2}I \in U$ 且 $F(2b^2a^{-2}I) = 1$。
• 当 $p < \frac{n+2}{n-2}$ 时，不存在非平凡的正上次调和解；唯一解为常数。
• 若 $\alpha = \infty$，移动球面法可无限继续，从而推出 $u$ 必为常数。
• $\alpha = \liminf_{|x|\to\infty} |x|^{n-2}u(x)$ 为有限值，且对所有 $x \in \mathbb{R}^n$ 满足 $\alpha = \bar{\lambda}(x)^{n-2}u(x)$，这是实现分类的关键。
• 函数 $w^{(x)}(0) = \alpha$ 对所有 $x$ 成立，用于证明解必须关于某点 $\bar{x}$ 径向对称，从而导出Fowler形式。
• 证明依赖于：对Fowler解而言，$F(A^u)$ 为常数，但当 $p < \frac{n+2}{n-2}$ 时，$u^{p - \frac{n+2}{n-2}}$ 并非常数，除非 $u$ 本身为常数，否则将导致矛盾。