Periodic Solutions for a Nonlinear Dirac Equation with Soler-Type Nonlinearity

技术摘要：具有 Soler 型非线性的非线性 Dirac 方程的周期解

问题陈述
本文研究了在三维平坦环面 $\mathbb{T}^3$ 上，具有 Soler 型非线性的非线性 Dirac 方程是否存在非平凡且连续可微的周期解。该方程为：
$$-\sum_{j=1}^3 i\gamma_0\gamma_j\partial_j\psi + m\gamma_0\psi = a\psi + 2h(x)\nu|\bar{\psi}\psi|^{\nu-2}\bar{\psi}\psi \gamma_0\psi$$
其中 $m > 0$ 是质量，$a \in (0, m)$ 是谱参数，$h \in C^\infty(\mathbb{T}^3, \mathbb{R})$ 是正有界函数，非线性指数满足 $\nu \in (1, 3/2)$。项 $|\bar{\psi}\psi|^\nu$ 代表 Soler 型非线性，它依赖于洛伦兹不变量 $\bar{\psi}\psi = \langle \gamma_0\psi, \psi \rangle$。

主要的数学挑战在于两方面：

1. 强不定性（Strong Indefiniteness）： 线性 Dirac 算子 $D$ 是自伴的，但其谱向 $+\infty$ 和 $-\infty$ 两端无限延伸，导致相关的能量泛函具有强不定性。
2. 缺乏强制性与紧性（Lack of Coercivity and Compactness）： Soler 非线性 $|\bar{\psi}\psi|^\nu$ 无法控制旋量 $\psi$ 的全 $L^{2\nu}$ 范数（因为即使当 $|\psi|$ 很大时，$\bar{\psi}\psi$ 也可能趋于零或抵消）。因此，能量泛函本身并不满足 Palais–Smale (PS) 条件，由于缺乏紧性，标准的变分方法受到了阻碍。

方法论
作者采用了一种结合了扰动策略和精细谱分析的变分方法：

1. 泛函的扰动： 为了恢复 Palais–Smale 条件，作者在能量泛函 $J$ 中引入了一个小的强制性扰动项 $-\varepsilon \int |\psi|^{2\nu}$，从而创建一个扰动泛函 $J_\varepsilon$。该项确保了对于任何固定的 $\varepsilon > 0$，$J_\varepsilon$ 都满足 PS 条件。
2. 联结几何与伪梯度流（Linking Geometry and Pseudo-Gradient Flows）： 在分数阶 Sobolev 空间 $H^{1/2}(\mathbb{T}^3, \mathbb{C}^4)$ 中，作者利用 Dirac 算子的谱分解，将其分解为正子空间和负子空间（$H^{1/2}_+$ 和 $H^{1/2}_-$）。遵循文献 [22] 的框架，构造了一个可容许的伪梯度流来定义一个联结几何。这使得可以定义扰动泛函的极小值水平 $c_\varepsilon(m, a)$。
3. 一致能量界限： 核心技术工作在于证明极小值水平 $c_\varepsilon(m, a)$ 在 $\varepsilon \to 0^+$ 时保持一致有界。这是通过建立一个“亚阈值”条件实现的，即通过使用特定的旋量进行测试得到的极小值水平上界，严格低于一个临界爆炸阈值 $c_\infty(m, a)$。
4. 精细谱估计： 一个关键步骤是估计常数 $\kappa(m, a)$，该常数定义为满足 $(D-a)\phi = V\gamma_0\phi$ 且满足零锥条件 $\bar{\phi}\phi = 0$ 的势函数 $V$ 的 $L^{\nu^*}$ 范数的下确界。作者利用向 $D-m$ 核的投影以及零锥条件的特定结构，证明了 $\kappa(m, a) \geq \kappa^*(m)$ 是一个与 $a$ 无关的一致正下界。
5. 爆炸分析与极限传递： 通过假设矛盾（即解序列发生爆炸），作者推导出了极小值水平的一个下界，该下界在 $a$ 位于特定区间时与已建立的上界相矛盾。这确保了扰动解 $\psi_\varepsilon$ 在 $H^1$ 中的一致有界性。最后，利用 Rellich 嵌入和 Schauder 理论进行紧性论证，从而将极限传递到 $\varepsilon \to 0$，得到原未扰动方程的解。

主要结果

• 存在性定理： 本文证明了对于任何谱参数 $a$ 处于区间 $(a^*, m)$ 内的情况，该方程都存在非平凡的 $C^1$ 周期解，其中 $a^*$ 是一个依赖于质量 $m$、环面体积以及函数 $h$ 的界限而显式定义的常数：
  $$a^* := \max\left(0, m - \frac{\kappa^*(m)}{\text{vol}(\mathbb{T}^3)^{1/\nu^*} } \left(\frac{h_{\min}}{h_{\max}}\right)^{1/\nu}\right)$$
• 一致界限： 作者证明了扰动临界点序列 $\psi_\varepsilon$ 在 $\varepsilon \to 0$ 时在 $H^1(\mathbb{T}^3)$ 中是一致有界的，从而防止了爆炸现象。
• 正则性： 通过椭圆正则性和 Schauder 估计，证明了极限解 $\psi_0$ 是连续可微的（$C^1$），这利用了指数 $\nu \in (1, 3/2)$ 的特定范围。

意义与主张
本文声称针对 Soler 型非线性，为平坦环面 $\mathbb{T}^3$ 上的周期解提供了一种新的存在性结果，由于缺乏对 $L^2$ 范数的控制，这类非线性在数学上比标准的幂次型非线性更为微妙。

这项工作通过将变分框架应用于周期性设置并精细化纯 Soler 情况下的估计，补充了近期关于紧致流形上定常解的研究（特别是 [22]）。作者强调，证明过程依赖于对强不定泛函的临界点理论、涉及零锥条件的精细谱估计，以及处理消失扰动的仔细爆炸分析。该结果对于每一个位于质量之下特定区间内的谱参数均成立，为系统的物理参数提供了具体的存在性条件。