Ground state solutions to Born-Infeld-Choquard problem

技术摘要：Born-Infeld-Choquard 问题的基态解

问题陈述
本文研究了 $\mathbb{R}^N$ ($N \geq 3$) 中非局部 Born-Infeld-Choquard 方程存在基态解（非平凡最小能量解）及其定性性质的问题：
$$\begin{cases} -\text{div}\left(\frac{\nabla u}{\sqrt{1 - |\nabla u|^2}}\right) + \omega u = (I_\alpha * |u|^p)|u|^{p-2}u, & \text{in } \mathbb{R}^N, \\ u(x) \to 0, & \text{as } |x| \to +\infty, \end{cases}$$
其中 $0 < \alpha < N$, $p > \frac{N+\alpha}{N}$, 且 $\omega \in \{0, 1\}$。左侧算子是洛伦兹-闵可夫斯基空间中的平均曲率算子，源自 Born-Infeld 非线性电动力学，它施加了物理约束 $|\nabla u| \leq 1$。右侧代表一种 Choquard 型非局部非线性，涉及 Riesz 势 $I_\alpha$。本研究涵盖两种情况：正质量情况 ($\omega = 1$) 和零质量情况 ($\omega = 0$)。

方法论挑战与途径
分析该问题的主要困难源于 Born-Infeld 算子。由于梯度约束 $|\nabla u| \leq 1$ 以及被积函数在 $|\nabla u| \to 1$ 时的奇异行为，其相关的能量泛函在其自然定义域上不属于 $C^1$ 类。因此，无法直接应用经典的变分技术（如标准的山路引理）。

为了克服这一点，作者采用了非光滑临界点理论框架（基于 Szulkin 的工作）。该方法包括：

1. 泛函设置：定义一个反射 Banach 空间 $X_\omega$ 和满足梯度约束的有效定义域 $D(\Psi_0)$。能量泛函被分解为一个凸的、下半连续的部分 $\Psi$（Born-Infeld 项）和一个 $C^1$ 部分 $\Phi$（质量项和非局部项）。
2. Pohožaev 流形：构造一个 Pohožaev 型流形 $\mathcal{M}_\omega = \{u \in D(\Psi_0) \setminus \{0\} : P_\omega(u) = 0\}$，其中 $P_\omega$ 是由方程的缩放性质导出的 Pohožaev 泛函。基态能级 $c_\omega$ 被定义为能量泛函在该流形上的下确界。
3. 紧性集中（Concentration-Compactness）：利用针对非局部设置及 Born-Infeld 算子特定约束而调整的剖面分解（profile decomposition）。这包括证明一种非局部 Brezis-Lieb 型引理以及处理 $\mathbb{R}^N$ 中缺乏紧性问题的消失引理（vanishing lemma）。
4. 抽象临界点定理：证明在 Pohožaev 流形上的极小值对应于非光滑泛函在凸意义下的临界点，这意味着它是原方程的一个弱解。

主要贡献与结果

• 基态解的存在性（正质量, $\omega=1$）：
  作者证明，对于 $p > \frac{N+\alpha}{N}$，下确界 $c_1$ 由函数 $u_1 \in \mathcal{M}_1$ 实现。该极小值是一个经典基态解。证明过程依赖于证明极小序列是有界的，并且在平移意义下强收敛于一个非平凡极限。

• 基态解的存在性与 Sobolev 不等式（零质量, $\omega=0$）：
  对于零质量情况，当 $p > \frac{N+\alpha}{N-2}$ 时，建立了基态解的存在性。此外，作者刻画了非局部 Sobolev 型不等式的最佳常数 $C_{p,\alpha}$：
  $$\int_{\mathbb{R}^N} \left(1 - \sqrt{1 - |\nabla u|^2}\right) dx \geq C_{p,\alpha} \left( \int_{\mathbb{R}^N} (I_\alpha * |u|^p)|u|^p dx \right)^{\frac{N}{N+\alpha+2p}}.$$
  他们表明，该不等式的极小值函数正是 $\omega=0$ 时方程的基态解。

• 定性性质：
  本文确定了任何基态解 $u$ 都具有以下性质：

  • 符号恒定：$u$ 在 $\mathbb{R}^N$ 上要么严格为正，要么严格为负。
  • 径向对称性：$u$ 关于 $\mathbb{R}^N$ 中的某点 $x_0$ 呈径向对称。
  • 单调衰减：$u$ 随 $|x| \to \infty$ 单调衰减至零。
    这些性质是通过使用极化技术（polarization techniques）和强极大值原理，并将其应用于非光滑和非局部语境中而得出的。

• 临界情况下的非存在性：
  作者展示了在临界情况 $p = \frac{N+\alpha}{N}$（对于 $\omega=1$）和 $p = \frac{N+\alpha}{N-2}$（对于 $\omega=0$）下，若梯度项满足特定的可积性条件，则不存在非平凡弱解。

意义与主张
本文声称解决了 Born-Infeld-Choquard 问题的基态存在性问题，由于相对论性梯度约束与非局部非线性的结合，这一问题此前一直处于开放状态。作者强调，他们的方法将非光滑临界点理论扩展到了强不定问题和非局部设置中。

具体而言，论文强调了：

1. 所开发的关于合适集合上约束极小值的抽象引理（引理 A.1）不仅适用于 Born-Infeld-Choquard 问题，也适用于 Szulkin 和 Weth 框架下的强不定 Schrödinger 方程。
2. 研究结果首次证明了 Born-Infeld 方程在局部情况（$\alpha=0$）下基态解的径向对称性和单调衰减性，这一性质在以往文献中尚未建立（特别引用了 [7]）。
3. 该工作弥合了局部 Born-Infeld 问题与非局部 Choquard 问题之间的鸿沟，为由闵可夫斯基空间中平均曲率算子驱动的方程提供了一个统一的变分框架。

作者并未在数学范围之外提出实验应用或未来的影响。