A topological approach to an elliptic problem

技术摘要：一种针对椭圆问题的拓扑方法

问题陈述
本文研究了一个由 $p$-Laplacian、势阱以及奇异项与临界项组合驱动的拟线性椭圆边界值问题。所研究的具体方程为：
$$\begin{cases} -\Delta_p u + \mu V(x)|u|^{p-2}u = \beta|u|^{p^*-2}u + \lambda|u|^{-\gamma-1}u & \text{in } \Omega, \\ u = 0 & \text{on } \partial\Omega, \end{cases}$$
其中 $\Omega \subset \mathbb{R}^N$ ($N \ge 3$) 是一个具有光滑边界的有界区域，$1 < p < N$，且 $p^* = \frac{Np}{N-p}$ 是临界 Sobolev 指数。参数满足 $\mu, \beta, \lambda > 0$ 且 $0 < \gamma < 1$。势函数 $V \in L^\infty(\Omega)$ 是非负的，其零集内部 $\tilde{\Omega} = \text{int}(V^{-1}(0))$ 为非空。

该问题呈现出两个主要的分析挑战：

1. 临界增长： 项 $|u|^{p^*-2}u$ 导致了 Sobolev 嵌入中紧性的缺失，这是一个通常通过集中紧性原理（concentration-compactness principle）来解决的难题。
2. 奇异非线性： 项 $|u|^{-\gamma-1}u$ 在零点附近引入了能量泛函的退化，使得该泛函在整个 Sobolev 空间 $W^{1,p}_0(\Omega)$ 上是未定义的。

方法论
作者采用了一种不同于处理凹凸问题时常用的标准变分方法（如 Nehari 流形分解）的拓扑方法。其核心方法论依赖于利用上同调指数（cohomological indices）和亏格理论（genus theory）的抽象临界点理论。

1. 函数空间： 问题是在加权空间 $W_\mu$ 中进行分析的，该空间是 $C_0^\infty(\Omega)$ 在范数 $\|u\|_\mu^p = \int_\Omega (|\nabla u|^p + \mu V(x)|u|^p) dx$ 下的闭包。该空间是一个可反型的 Banach 空间。
2. 临界点定理：
   • Perera 定理： 作者利用 Perera 关于上同调指数的一个定理，通过建立具有特定指数的对称集的临界值来确立存在多个解的结论。该定理允许识别与特定指数相关的临界值 $c_k^*$。
   • Rabinowitz 对称山路定理： 为了证明存在无穷多解，本文采用了 Rabinowitz 的定理，该定理要求泛函是偶函数、满足 Palais-Smale 条件，并在有限维子空间上表现出特定的几何行为。
3. 正则性分析： 为了处理奇异性，作者首先建立弱解是本质有界的（$L^\infty$）。这是通过以下手段实现的：
   • 通过对正超解使用 Moser 迭代，推导出一个弱 Harnack 型不等式，从而提供紧集上的正下界。
   • 使用 De Giorgi 型迭代来证明 $L^\infty$ 有界性。
   • 一旦建立有界性，奇异项在局部变为有界的，从而允许应用经典的 Tolksdorf 和 Lieberman 正则性结果，将解提升至 $C^{1,\alpha}_{loc}(\Omega)$。

主要结果
本文确立了关于弱解的存在性和多重性的主要结果：

1. 对于大 $\beta$ 的多重性： 对于任何 $\beta \ge \beta^*$，该问题存在 $m$ 对具有正临界值的不同弱解对。
   • 具体而言，对于 $k \ge 2$，存在具有临界能量 $c_k^*$ 的无穷多个临界点。
   • 对于 $k=1$，存在恰好两个临界点 $u$ 和 $-u$。
2. 无穷多重性： 不论参数 $\beta > 0$ 的取值如何，该问题都存在无穷多个解。
3. 正则性： 每个正弱解 $u$ 属于 $C^{1,\alpha}_{loc}(\Omega)$（对于某个 $\alpha \in (0,1)$）。这通过证明非线性项 $f(x) = \beta u^{p^*-1} + \lambda u^{-\gamma} - \mu V(x)u^{p-1}$ 属于 $L^\infty_{loc}(\Omega)$ 来实现，从而有效地将方程在局部视为具有有界右侧项的 $p$-Laplace 方程。
4. 解集的独立性： 作者指出，通过 Rabinowitz 定理（使用有限维紧对称集）和 Perera 定理（使用具有上同调指数的集合）获得的解集可能会有所不同，即使它们共享相同的临界能量水平，这是由于在特定能量水平上存在多个解。

意义与主张
本文声称提供了一个拓扑框架，用于求解结合了奇异项和临界项的椭圆问题，而在这些领域，由于缺乏紧性和在零点处泛函未定义，标准的变分技术往往面临困难。

• 方法论贡献： 通过从 Nehari 流形分析转向上同调指数理论，作者展示了一种稳健的方法，用于处理凹性（奇异）与凸性（临界）效应之间的竞争。
• 正则性： 该工作明确地弥合了存在弱解与在存在奇异项的情况下其正则性之间的鸿沟，证明了奇异性不会阻止解在局部达到 $C^{1,\alpha}$ 级。
• 极限行为： 文中提到了一个参数趋于 8 的极限情况，该情况产生了一个不同问题的解，在该问题中势阱效应变得可以忽略不计，尽管对这一特定极限的详细分析并非所提供的文本证明的主要焦点。

作者将他们的工作定位为先前关于半线性及拟线性问题研究（引用了 Ambrosetti-Brezis-Cerami, Giacomoni 等人的著作）的扩展，特别是通过拓扑工具专门处理奇异项与临界项之间的相互作用。