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

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

Problem Statement
This paper investigates the existence of nontrivial, continuously differentiable periodic solutions to the nonlinear Dirac equation on the three-dimensional flat torus $\mathbb{T}^3$. The equation is given by:
$$-\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$$
where $m > 0$ is the mass, $a \in (0, m)$ is a spectral parameter, $h \in C^\infty(\mathbb{T}^3, \mathbb{R})$ is a positive bounded function, and the nonlinearity exponent satisfies $\nu \in (1, 3/2)$. The term $|\bar{\psi}\psi|^\nu$ represents a Soler-type nonlinearity, which depends on the Lorentz-invariant quantity $\bar{\psi}\psi = \langle \gamma_0\psi, \psi \rangle$.

The primary mathematical challenges are twofold:

1. Strong Indefiniteness: The linear Dirac operator $D$ is self-adjoint but has an unbounded spectrum extending to both $+\infty$ and $-\infty$, rendering the associated energy functional strongly indefinite.
2. Lack of Coercivity and Compactness: The Soler nonlinearity $|\bar{\psi}\psi|^\nu$ does not control the full $L^{2\nu}$-norm of the spinor $\psi$ (since $\bar{\psi}\psi$ can vanish or cancel out even when $|\psi|$ is large). Consequently, the energy functional fails to satisfy the Palais–Smale (PS) condition directly, and standard variational methods are obstructed by the lack of compactness.

Methodology
The author employs a variational approach combined with a perturbation strategy and refined spectral analysis:

1. Perturbation of the Functional: To recover the Palais–Smale condition, the author introduces a small coercive perturbation term $-\varepsilon \int |\psi|^{2\nu}$ to the energy functional $J$, creating a perturbed functional $J_\varepsilon$. This term ensures that $J_\varepsilon$ satisfies the PS condition for any fixed $\varepsilon > 0$.
2. Linking Geometry and Pseudo-Gradient Flows: Working in the fractional Sobolev space $H^{1/2}(\mathbb{T}^3, \mathbb{C}^4)$, the author utilizes the spectral decomposition of the Dirac operator into positive and negative subspaces ($H^{1/2}_+$ and $H^{1/2}_-$). Following the framework of [22], an admissible pseudo-gradient flow is constructed to define a linking geometry. This allows for the definition of a minimax level $c_\varepsilon(m, a)$ for the perturbed functional.
3. Uniform Energy Bounds: The core technical effort involves proving that the minimax levels $c_\varepsilon(m, a)$ remain uniformly bounded as $\varepsilon \to 0^+$. This is achieved by establishing a "subthreshold" condition where the upper bound of the minimax level (derived from testing with specific spinors) is strictly below a critical blow-up threshold $c_\infty(m, a)$.
4. Refined Spectral Estimates: A crucial step is the estimation of a constant $\kappa(m, a)$, defined as the infimum of the $L^{\nu^*}$-norm of a potential $V$ for which a nontrivial spinor $\phi$ exists satisfying $(D-a)\phi = V\gamma_0\phi$ and the null-cone condition $\bar{\phi}\phi = 0$. The author proves a uniform positive lower bound $\kappa(m, a) \geq \kappa^*(m)$ independent of $a$, utilizing a projection argument onto the kernel of $D-m$ and the specific structure of the null-cone condition.
5. Blow-up Analysis and Limit Passage: By assuming a contradiction (that the sequence of solutions blows up), the author derives a lower bound for the minimax levels that contradicts the established upper bound, provided $a$ lies in a specific interval. This ensures the uniform boundedness of the perturbed solutions $\psi_\varepsilon$ in $H^1$. Finally, compactness arguments (Rellich embedding and Schauder theory) are used to pass to the limit $\varepsilon \to 0$, yielding a solution to the original unperturbed equation.

Key Results

• Existence Theorem: The paper establishes the existence of a nontrivial $C^1$ periodic solution for the equation for any spectral parameter $a$ in the interval $(a^*, m)$, where $a^*$ is an explicitly defined constant depending on the mass $m$, the volume of the torus, and the bounds of the function $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)$$
• Uniform Bounds: The author proves that the sequence of perturbed critical points $\psi_\varepsilon$ is uniformly bounded in $H^1(\mathbb{T}^3)$ as $\varepsilon \to 0$, preventing blow-up.
• Regularity: The limiting solution $\psi_0$ is shown to be continuously differentiable ($C^1$) via elliptic regularity and Schauder estimates, leveraging the specific range of the exponent $\nu \in (1, 3/2)$.

Significance and Claims
The paper claims to provide a new existence result for periodic solutions on the flat torus $\mathbb{T}^3$ specifically for Soler-type nonlinearities, which are mathematically more delicate than standard power-type nonlinearities due to the lack of control over the $L^2$ norm.

The work complements recent studies on stationary solutions on compact manifolds (specifically [22]) by adapting the variational framework to the periodic setting and refining the estimates for the pure Soler case. The author emphasizes that the proof relies on a combination of critical point theory for strongly indefinite functionals, refined spectral estimates involving the null-cone condition, and a careful blow-up analysis to handle the vanishing perturbation. The result holds for every spectral parameter in an explicit interval below the mass, offering a concrete condition for existence in terms of the physical parameters of the system.