Nonlocal problems with Hardy-Littlewood-Sobolev critical exponent and Hardy potential

本文利用变分法研究了一类带有 Hardy 势和 Hardy-Littlewood-Sobolev 临界指数的非局部 Brezis-Nirenberg 型问题，在光滑有界域上获得了存在性结果并推导了相关估计。

要点

这篇论文听起来充满了高深的数学符号，但如果我们把它想象成一个关于**“寻找平衡点”**的故事，就会变得有趣得多。

想象一下，你正在一个**有围墙的花园（数学上的“有界区域”）**里玩一个复杂的物理游戏。

1. 游戏的核心：寻找“完美平衡”

在这个花园里，有一个看不见的力场在拉扯着一切。我们的目标是找到一种特殊的“状态”（数学上叫解），让所有的力达到完美的平衡，既不崩塌也不飞走。

这个状态由三个主要角色决定：

• 角色 A：扩散的冲动（拉普拉斯算子 $-\Delta u$）
  想象你往花园里扔了一团墨水。墨水天生喜欢扩散，想均匀地铺满整个花园。这是自然的趋势，它想变得平坦。
• 角色 B：中心的黑洞（Hardy 势 $\frac{\mu}{|x|^2}$）
  在花园的正中心（原点），有一个超级黑洞。它有一个奇怪的属性：离它越近，吸力越大，而且这种吸力是“无限大”的（在数学奇点处）。这个黑洞试图把墨水死死地吸向中心，甚至可能把墨水撕碎。
• 角色 C：遥远的共鸣（Choquard 项/非局部项）
  这是最神奇的部分。花园里的每一滴墨水，不仅受身边邻居的影响，还能瞬间感应到花园另一端墨水的存在。它们之间有一种“心灵感应”（通过积分项 $\int \frac{|u(y)|}{|x-y|} dy$ 连接）。如果花园这一头墨水很浓，那一头也会感受到压力。这种感应是非局部的，意味着它们跨越空间在“对话”。

论文的挑战：
这三个角色在打架。

• 墨水想扩散（A）。
• 黑洞想吸走（B）。
• 远处的墨水在互相拉扯（C）。
  而且，这种拉扯的力度非常极端，达到了数学上的**“临界状态”**（Critical Exponent）。就像一根橡皮筋被拉到了极限，稍微多一点力就会断，少一点力就缩回去。在这种极限状态下，数学上的“紧性”（Compactness）消失了，意味着解可能会在某个瞬间突然“逃逸”或“爆炸”，变得难以捉摸。

2. 作者的武器：变分法（寻找最低谷）

作者没有直接去解这个复杂的方程，而是换了一种思路：能量最小化。

想象这个花园的地形是一个起伏的山地。

• 扩散让地形变平。
• 黑洞在中心挖了一个深坑。
• 共鸣让地形变得像波浪一样复杂。

作者要做的，就是在这个复杂的地形上，找到一个**“马鞍点”（Mountain Pass）**。

• 如果你站在山脚（能量低），往高处走，会遇到一个山脊。
• 如果你翻过山脊，就能到达另一个山谷。
• 作者证明了，在这个特定的“临界”地形上，确实存在一个最低的山脊，翻过去就能找到一个稳定的平衡点（即方程的解）。

3. 论文的三个主要发现（通俗版）

作者研究了三种不同的“干扰项”（也就是在花园里额外加了一些规则），并证明了在这些规则下，平衡点依然存在：

发现一：简单的线性干扰（The Linear Perturbation）

• 场景：我们在花园里加了一个温和的推力（$\lambda u$），就像一阵微风。
• 结果：只要这阵微风不是太强（$\lambda$ 小于某个值），无论黑洞多强，只要它还在安全范围内，我们总能找到一个平衡状态。
• 比喻：就像在狂风（黑洞）中，只要风不是大到把树连根拔起，你总能找到一棵树，让它既不被吹倒，也不被吸进树洞里。

发现二：强烈的非线性干扰（Superlinear Perturbation）

• 场景：这次加的推力不是均匀的，而是**“越推越强”**（$\lambda u^q$）。如果你推得轻，它反应小；推得重，它反应巨大。
• 结果：这取决于花园的大小（维度 $N$）和推力的强度。
  • 如果花园够大，或者推力足够大，我们依然能找到平衡。
  • 如果花园太小，推力必须非常非常大，才能压住那种“临界”的不稳定性，从而找到解。
• 比喻：这就像在平衡木上，如果你轻轻推一下，可能晃一下就停了；但如果你用特定的力度猛推，反而能利用惯性找到一个更稳固的站立姿势。

发现三：非局部的“共鸣”干扰（Nonlocal Superlinear Perturbation）

• 场景：这次加的干扰也是跨越空间的“心灵感应”（$\lambda (\int |u|^p) |u|^{p-1}$）。
• 结果：这比前两种更复杂，因为干扰本身也带有“远距离感应”的特性。作者发现，只要这种感应的强度（$\lambda$）足够大，或者花园的维度满足特定条件，依然能找到解。
• 比喻：想象花园里的每个人不仅受中心黑洞影响，还受远处人群情绪的感染。如果这种情绪传染足够强烈，反而能形成一种新的、稳定的集体行为模式。

4. 为什么这很重要？（数学界的“金矿”）

在数学上，处理这种**“双重临界”**（Hardy 势 + 临界指数）的问题就像在刀尖上跳舞。

• 难点：通常，当问题达到“临界”状态时，数学工具会失效，解会“跑掉”（失去紧性）。
• 突破：作者通过精细的估算（Estimates），证明了虽然解可能会“跑”，但在特定的能量水平下，它们会被“困”在某个范围内，从而保证了解的存在。

总结来说：
这篇论文就像是一位**“平衡大师”，在充满黑洞引力、远距离心灵感应和极限张力的复杂花园里，通过精密的数学计算，证明了“只要条件合适，总能找到一个完美的平衡点”**。

这不仅解决了纯数学上的难题，也为理解物理世界中（如量子力学、分子物理）那些涉及长程相互作用和奇异势场的现象提供了理论基石。

技术摘要

这是一份关于论文《Nonlocal problems with Hardy-Littlewood-Sobolev critical exponent and Hardy potential》（带有 Hardy-Littlewood-Sobolev 临界指数和 Hardy 势的非局部问题）的详细技术总结。

1. 研究问题 (Problem)

本文研究定义在光滑有界区域 $\Omega \subset \mathbb{R}^N$ ($N \ge 3$) 上的非局部椭圆方程，该方程结合了Hardy 势和Choquard 型非线性项，且非线性项处于Hardy-Littlewood-Sobolev (HLS) 不等式的临界指数下。

核心方程 (1.1) 为：
$$\begin{cases} -\Delta u - \mu \frac{u}{|x|^2} = \left( \int_{\Omega} \frac{|u(y)|^{2^*_{\alpha}}}{|x-y|^{\alpha}} dy \right) |u|^{2^*_{\alpha}-2}u + \lambda f(u), & x \in \Omega, \\ u = 0, & x \in \partial \Omega, \end{cases}$$
其中：

• Hardy 势：$-\mu \frac{u}{|x|^2}$，其中 $0 < \mu < \bar{\mu} = \frac{(N-2)^2}{4}$。由于$0 \in \Omega$，该项引入了奇异性。
• 临界指数：$2^*_{\alpha} = \frac{2N-\alpha}{N-2}$ 是 HLS 不等式意义下的上临界指数。
• 非局部项：$\left( \int_{\Omega} \frac{|u(y)|^{2^*_{\alpha}}}{|x-y|^{\alpha}} dy \right) |u|^{2^*_{\alpha}-2}u$，这是 Choquard 方程的核心特征。
• 扰动项：$f(u)$ 可以是线性项 ($\lambda u$)、超线性项 ($\lambda u^q$) 或非局部超线性项。

主要难点：

1. 双重临界性：方程同时包含 Hardy 势（导致算子谱的临界性）和 HLS 临界指数（导致 Sobolev 嵌入的临界性）。
2. 缺乏紧性：由于临界指数的存在，变分泛函不满足 Palais-Smale (PS) 条件，且 Hardy 势使得极值函数（Extremal functions）的具体表达式在 $\mu \neq 0$ 时未知，难以直接构造测试函数。
3. 相互作用：局部奇异项（Hardy 势）与非局部卷积项之间的竞争效应增加了分析的复杂性。

2. 方法论 (Methodology)

文章主要采用变分方法 (Variational Methods)，具体步骤如下：

1. 能量泛函构建：
   定义能量泛函 $I(u)$，其临界点对应方程的弱解。泛函形式包含 Dirichlet 能量、Hardy 势项、非局部临界项和扰动项。
   $$I(u) = \frac{1}{2}\|u\|_\mu^2 - \frac{1}{2 \cdot 2^*_{\alpha}} \iint \frac{|u(x)|^{2^*_{\alpha}}|u(y)|^{2^*_{\alpha}}}{|x-y|^{\alpha}} dxdy - \lambda \int F(u) dx$$

2. 极值常数估计 (Estimates of Extremal Constants)：

   • 定义了全局极值常数 $S_{H,\alpha}$ 和区域上的极值常数 $S_{H,\alpha}(\Omega)$。
   • 利用已知的 HLS 不等式和 Hardy 不等式，建立了 $S_{H,\alpha}$ 与标准 Sobolev 常数 $S$ 及 Hardy-Sobolev 常数 $S_\mu$ 之间的上下界关系。
   • 关键技巧：由于 $\mu \neq 0$ 时极值函数 $u_\mu$ 没有显式公式，作者利用 Guo 和 Tang 关于 $u_\mu$ 的渐近行为估计（$C_1(|x|^{\gamma'} + |x|^\gamma) \le u_\mu \le C_2(\dots)$），构造截断测试函数 $\bar{u}_\varepsilon = \eta(x) u_{\mu, \varepsilon}$，并精细估计各项积分的阶数（$O(\varepsilon^k)$），以证明能量水平低于临界阈值。

3. 山路引理 (Mountain Pass Theorem)：

   • 验证泛函满足山路几何结构（Mountain Pass Geometry）。
   • 证明在能量水平 $c < c^*$（临界能量阈值）下，泛函满足 (PS) 条件。
   • 通过构造特定的测试函数路径，确保极大值严格小于临界阈值，从而克服紧性缺失问题，获得非平凡解。

3. 主要贡献与结果 (Key Contributions & Results)

A. 极值常数估计 (Theorem 1.1)

• 证明了 $S_{H,\alpha}$ 的上下界：$\frac{1}{C(N, \alpha)^{1/2^*_{\alpha}}} S_\mu < S_{H,\alpha} < \frac{1}{C(N, \alpha)^{1/2^*_{\alpha}}} S$。
• 对于 $\mu < 0$ 的情况，证明了区域上的极值常数 $S_{H,\alpha}(\Omega)$ 等于 $\frac{1}{C(N, \alpha)^{1/2^*_{\alpha}}} S$，且不可达（即不存在极值函数）。

B. 线性扰动下的存在性 (Theorem 1.2)

针对方程 $-\Delta u - \mu \frac{u}{|x|^2} = (\dots) + \lambda u$：

• 当 $N \ge 3, 0 < \alpha < N, 0 < \mu \le \bar{\mu}$ 时，对任意 $\lambda \in (0, \lambda_1)$ 存在解。
• 当 $N \ge 3, 0 < \alpha < N-(N-4)^+, 0 < \mu \le \bar{\mu}-1$ 时，对任意 $\lambda \in (0, \lambda_1)$ 存在非平凡解。
• 突破：扩展了 Gao 和 Yang ($\mu=0$) 的结果到 $\mu \neq 0$ 的情形，处理了 Hardy 势带来的额外困难。

C. 超线性扰动下的存在性 (Theorem 1.3)

针对方程 $-\Delta u - \mu \frac{u}{|x|^2} = (\dots) + \lambda u^q$ ($1 < q < 2^*-1$)：

• 给出了存在非平凡解的充分条件，依赖于维数 $N$ 和参数 $\lambda$ 的大小：
  • 若 $N > \frac{2(2a+q+1)}{2a+q-1}$，则对任意 $\lambda > 0$ 存在解。
  • 若 $N < \frac{2(2a+q+1)}{2a+q-1}$，则需 $\lambda$ 足够大 ($\lambda > \lambda_0$)。
• 这里 $a = \sqrt{1 - \frac{4\mu}{(N-2)^2}}$，体现了 Hardy 势参数对临界维数界限的影响。

D. 非局部超线性扰动 (Theorem 1.4)

针对方程包含非局部项 $\lambda \left( \int \frac{|u|^p}{|x-y|^\alpha} \right) |u|^{p-1}$：

• 证明了在类似条件下（$1 < p < 2^*_{\alpha}-1$），方程存在非平凡解。
• 同样给出了关于 $N$ 和 $\lambda$ 的精确界限条件。

4. 意义与影响 (Significance)

1. 理论拓展：
   本文成功将经典的 Brezis-Nirenberg 问题（$\mu=0$）和 Choquard 方程的研究推广到了Hardy 势 ($\mu \neq 0$) 与 HLS 临界指数 共存的情形。这是“双重临界”问题的一个重要进展。

2. 克服分析难点：
   由于 $\mu \neq 0$ 时极值函数没有显式表达式，作者通过利用已知的渐近估计和精细的截断技术，成功构造了满足能量要求的测试函数序列。这为处理带有奇异势的临界非局部问题提供了新的分析框架。

3. 物理背景：
   该模型在量子力学（如非相对论量子力学、分子物理、量子宇宙学）中有重要应用。Hardy 势描述了粒子在奇点附近的相互作用，而 Choquard 项描述了长程多体相互作用。本文的结果为这些物理模型中解的存在性提供了严格的数学保证。

4. 方法论创新：
   文章展示了如何在缺乏显式极值函数的情况下，通过变分估计和渐近分析来处理临界问题，这对未来研究类似的奇异非局部方程具有参考价值。

总结：该论文通过变分法和精细的渐近估计，解决了带有 Hardy 势和 HLS 临界指数的非局部 Choquard 方程的解的存在性问题，填补了 $\mu \neq 0$ 情形下的理论空白，并给出了不同扰动项下的精确存在性条件。