Asymptotic behavior of solutions to a planar Hartree equation with isolated singularities

技术摘要：具有孤立奇点的平面 Hartree 方程解的渐近行为

问题陈述
本文研究了具有原点处孤立奇点的平面 Hartree 型方程的奇异解的渐近行为。所研究的主要方程为：
$$-\Delta u(x) = \left( \frac{1}{|x|^\alpha} * e^u \right) e^u(x) \quad \text{在 } B_1 \setminus \{0\} \subset \mathbb{R}^2 \text{ 中},$$
其中 $\alpha > 0$，卷积项定义为 $\frac{1}{|x|^\alpha} * e^u = \int_{B_1 \setminus \{0\}} \frac{e^{u(y)}}{|x-y|^\alpha} dy$。作者关注满足有限总曲率条件：
$$\int_{B_1 \setminus \{0\}} \left( \frac{1}{|x|^\alpha} * e^u \right) e^u(x) dx < +\infty$$
的解 $u \in C^2(B_1 \setminus \{0\})$。该研究的动机在于理解几何问题（如预设高斯曲率）和涉及非局部相互作用的物理模型中的奇异解。虽然对于局部方程（例如 $-\Delta u = e^u$）和高阶 Yamabe 方程已经存在显著结果，但二维空间中 Hartree 项的非局部性质为处理该问题带来了独特的挑战，特别是对于 ODE 方法的可适用性。

方法论
作者采用了一种偏微分方程（PDE）方法，具体是借鉴了用于处理具有孤立奇点的高阶共形方程的方法。其核心方法论包括：

1. 表示公式推导： 作者并未依赖于 ODE 技术（由于卷积项的存在，ODE 技术会失效）或极大值原理（由于非局部性，极大值原理会受到限制），而是建立了奇异解的积分表示公式。这是通过刻画 Poisson 方程的孤立奇点并利用有限总曲率条件来控制解的增长来实现的。
2. 解的分解： 解 $u$ 被分解为三个部分：一个奇异对数项 ($b \ln |x|$)、一个正则调和（或多调和）部分 ($h$) 以及一个由非局部源产生的势函数项 ($v$)。
3. 正则性分析： 作者分析了势函数项 $v$ 的正则性。通过在特定关于指数 $b$ 和 $\alpha$ 的约束条件下，建立源项属于 $L^{p_0}_{loc}$（对于某个 $p_0 > 1$）的结论，他们应用标准的椭圆正则性理论（Sobolev 嵌入和 $W^{k,p}$ 估计）来证明 $v$ 是局部 Hölder 连续的。
4. 向高维及高阶的扩展： 该分析被扩展到维度 $n \ge 3$ 的高阶 Hartree 型方程：
   • 偶数维度 ($n \ge 4$)： 对于方程 $(-\Delta)^{n/2} u = (\frac{1}{|x|^\alpha} * e^u) e^u$。
   • 奇数维度 ($n \ge 3$)： 对于以分布意义解释的同一方程，此时 $(-\Delta)^{n/2}$ 成为一个非局部积分算子。
   • 在高维情况下，需要一个额外的原点附近衰减条件 $\int_{B_r \setminus \{0\}} |u(x)| dx = o(r^{n-2})$，以消除表示公式中的高阶导数项。
5. 泛化： 研究结果通过包含一个一般的非负系数 $K(x) \in L^\infty(B_1)$ 进行了推广。

主要贡献与结果

• 渐近表示 (定理 1.1)： 对于平面情形 ($n=2$)，作者证明了任何满足有限总曲率条件的解 $u$ 都具有如下表示形式：
  $$u(x) = v(x) + h(x) + b \ln |x|,$$
  其中 $h$ 是光滑调和函数，$v$ 是特定的积分势，$b > -2$ 是一个常数。此外，若 $\alpha \in (0, 2)$ 且 $b > \frac{\alpha-4}{2}$，则解在原点附近表现为 $u(x) = \phi(x) + b \ln |x|$，其中 $\phi$ 是一个 Hölder 连续函数。

• 高阶偶数维度 (定理 1.2)： 对于偶数 $n \ge 4$，在满足有限总曲率和附加衰减条件的条件下，存在类似的表示：
  $$u(x) = v(x) + h(x) + b \ln |x|,$$
  其中 $h$ 是多调和的（$(-\Delta)^{n/2} h = 0$）且 $b > -n$。在条件 $b > \frac{\alpha-2n}{2}$ 下，建立了余项的 Hölder 连续性。

• 高阶奇数维度 (定理 1.4)： 对于奇数 $n \ge 3$，在以分布意义处理方程时，导出了相同的渐近结构。作者定义了属于空间 $L^{n/2}(\mathbb{R}^n) \cap C^n(B_1 \setminus \{0\})$ 的解，并在相同的 $b$ 值约束下证明了对数奇异性和 Hölder 连续余项的存在性。

• 奇异系数的有效范围： 本文严格证明了条件 $b > \frac{\alpha-2n}{2}$ 是使有限总曲率条件成立的必要条件。如果 $b \le \frac{\alpha-2n}{2}$，则非局部项的积分会发散，从而与初始假设相矛盾。

• 一般系数扩展 (备注 1.7)： 作者展示了这些结果如何推广到带有一般非负有界系数 $K(x)$ 的方程，并相应地修改 $v$ 的积分表示。

意义与主张
本文声称填补了关于二维具有孤立奇点的 Hartree 型方程文献中的空白。虽然对于局部方程（如预设标量曲率方程）和高阶局部 Yamabe 方程，分类和渐近结果已经存在，但二维空间中 Hartree 项的非局部性质此前尚未得到充分讨论。

作者强调，其基于 PDE 的方法成功绕过了 ODE 方法的局限性（无法处理卷积项）以及由于非局部性导致的极大值原理失效。通过建立表示公式并证明非局部势函数的 Hölder 连续性，他们提供了奇异解在原点附近的渐近行为的完整描述。这项工作也统一了高阶 Hartree 方程在偶数维度和奇数维度的处理方式，将已知结果从局部共形几何扩展到了非局部领域。