Nonlinear Schrödinger equations with a critical, inverse-square potential

技术摘要：带有临界反平方势的非线性薛定谔方程

问题陈述
本文研究了带有临界反平方势（Hardy 型势）和周期非线性项的非线性薛定谔方程（NLS）的驻波解的存在性。所研究的具体方程为：
$$-\Delta u + V(x)u - \frac{(N-2)^2}{4|x|^2}u = f(x, u), \quad x \in \mathbb{R}^N \setminus \{0\}$$
其中 $N \ge 3$。势函数 $V(x)$ 和非线性项 $f(x, u)$ 被假定为 $\mathbb{Z}^N$-周期的。奇异项的系数是临界的，等于 Hardy 不等式中的最佳常数，即 $\mu = \frac{(N-2)^2}{4}$。非线性项 $f$ 满足 Carathéodory 条件，具有超线性性质，并表现出次临界增长（幂次 $p \in (2, 2^*)$，其中 $2^* = \frac{2N}{N-2}$）。

方法论与函数空间设定
作者采用变分法寻找相关能量泛函的临界点。解决的一个主要挑战是由奇异势项 $\frac{1}{|x|^2}$ 引起的平移不变性缺失，这阻碍了在周期 NLS 问题中直接应用标准的紧性论证。

1. 非标准函数空间（$X^1(\mathbb{R}^N)$）：
   由于 Hardy 不等式中的临界系数，标准的 $H^1(\mathbb{R}^N)$ 范数与问题的自然能量范数不等价。作者将空间 $X^1(\mathbb{R}^N)$ 定义为 $H^1(\mathbb{R}^N)$ 在以下范数下的完备化：
   $$\|u\|_{X^1}^2 = \int_{\mathbb{R}^N} \left( |\nabla u|^2 - \frac{(N-2)^2}{4|x|^2}u^2 + u^2 \right) dx$$
   该空间是一个希尔伯特空间，连续嵌入到 $H^s(\mathbb{R}^N)$（其中 $s \in (0, 1)$）以及 $L^t(\mathbb{R}^N)$（其中 $t \in [2, 2^*)$）。作者利用了一个特定的范数 $\|u\|^2 = [u]^2 + \int V(x)u^2 dx$，在假设 $V$ 具有正的本质下确界的情况下，该范数等价于 $\|\cdot\|_{X^1}$。

2. 变分框架：
   能量泛函 $J: X^1(\mathbb{R}^N) \to \mathbb{R}$ 定义为：
   $$J(u) = \frac{1}{2}\|u\|^2 - \int_{\mathbb{R}^N} F(x, u) dx$$
   其中 $F$ 是 $f$ 的原函数。作者利用一个基于文献 [1] 的抽象定理，在 Nehari 流形上生成 Cerami 序列。关于 $f$ 的假设（超线性、次临界增长以及 $f(x,u)/|u|$ 的单调性）确保了泛函满足产生此类序列所需的几何条件。

3. 剖面分解：
   由于 $X^1(\mathbb{R}^N)$ 中缺乏平移不变性，Palais-Smale 条件和 Cerami 紧性条件均不满足，因此作者开发了一种适用于该特定结构的新的剖面分解。

   • 他们证明了 $X^1(\mathbb{R}^N)$ 中的任意有界 Cerami 序列 $(u_n)$ 可以分解为一个弱极限 $u_0$（原方程的解）和有限个“气泡”$u_i$（定义在 $H^1(\mathbb{R}^N)$ 上的极限方程的解，不含奇异势）。
   • 关键在于，他们证明了对于平移后的气泡，奇异势项在极限下消失。通过比较原始泛函 $J$ 的能量水平与极限泛函 $J_0$（对应于方程 $-\Delta u + V(x)u = f(x,u)$）的能量水平，他们证明了在基态能量水平上不可能存在非平凡气泡。

主要贡献与结果

• 基态解的存在性： 主要结果（定理 1.1）在假设 (V) 和 (F1)–(F4) 下，确立了方程 (1.2) 基态解的存在性。
• 新的剖面分解： 本文引入了一个技术复杂的剖面分解定理（定理 4.4），专门针对空间 $X^1(\mathbb{R}^N)$ 设计。该分解通过表明平移序列的任何弱极限必须是仅定义在 $H^1(\mathbb{R}^N)$ 上的极限泛函的临界点，来处理奇异势的非平移不变性。
• 紧性恢复： 通过比较能量水平（原问题的 $c$ 和极限问题的 $c_0$），作者证明了 $c < c_0$。这一不等式迫使剖面分解中非平凡气泡的数量 ($m$) 为零，从而恢复了 Cerami 序列到基态的强收敛性。

意义与主张
本文声称解决了周期背景下带有临界反平方势的 NLS 方程的存在性问题，与次临界情况（其中 $\mu < \frac{(N-2)^2}{4}$）相比，该情形引入了显著的困难。作者指出，临界常数破坏了自然范数与经典 $H^1$ 范数的等价性，并打破了平移不变性，使得标准的紧性工具不再适用。

其意义在于开发了适应 $X^1(\mathbb{R}^N)$ 非平移不变结构的新的剖面分解。这种方法使作者能够利用奇异问题与非奇异问题之间的能量间隙，排除非平凡弱极限。这项工作建立在并扩展了关于次临界 Hardy 势（例如 [13], [15]）的研究，以及在该特定函数设定下对 Berestycki–Lions 方程的研究（例如 [3]）。本文并未提出新的物理应用，而是为求解此类奇异椭圆问题提供了严格的数学框架。