Finite-mass soliton-type rigidity and four-channel reduction for the three-dimensional nonradial focusing energy-critical nonlinear Schrödinger equation

Technical Summary: Finite-mass soliton-type rigidity and four-channel reduction for the 3D nonradial focusing energy-critical NLS

Problem Statement
This paper investigates the global well-posedness and scattering behavior of the three-dimensional focusing energy-critical nonlinear Schrödinger equation (NLS):
$$i\partial_t u + \Delta u + |u|^4 u = 0, \quad (t, x) \in I \times \mathbb{R}^3.$$
The study focuses on initial data $u_0$ lying below the ground-state threshold, specifically satisfying $E(u_0) < E(W)$ and $\|\nabla u_0\|_2 < \|\nabla W\|_2$, where $W$ is the Aubin–Talenti ground state. While the defocusing case and the focusing case in dimensions $d \ge 4$ (and radial focusing in $d=3$) have established scattering theories, the nonradial focusing problem in $d=3$ remains obstructed by specific concentration mechanisms. The central difficulty lies in the coexistence of negative potential energy, the lack of finite mass (since $W \notin L^2(\mathbb{R}^3)$ in $d=3$), and the potential for arbitrary spatial drift of the concentration core without symmetry constraints.

Methodology
The authors employ the concentration-compactness/rigidity framework, originally developed by Kenig and Merle. The strategy involves assuming the failure of scattering to construct a "minimal critical element"—a solution with minimal energy that does not scatter and possesses a precompact orbit modulo scaling and translation symmetries.

The paper proceeds through the following methodological steps:

1. Four-Channel Decomposition: The authors classify any potential minimal critical element into four mutually exclusive channels based on its lifespan ($T_+$), frequency scale ($N(t)$), and mass properties:

   • FT (Finite-Time): $T_+ < \infty$.
   • RC (Rapid Cascade): $T_+ = \infty$ and $\int_0^\infty N(t)^{-1} dt < \infty$.
   • FM (Finite-Mass Bounded-Scale): $T_+ = \infty$, $N(t)$ is bounded above and below, and the solution has finite mass ($u(t_0) \in L^2$) at some time.
   • RQ (Residual Quasi-Soliton): The complement of the above, characterized by unbounded scale or infinite mass.

2. Exclusion of FT and RC:

   • The FT channel is excluded by combining the "no-waste" Duhamel formula with frequency-localized mass estimates, showing that a finite-time blow-up implies the solution must be zero.
   • The RC channel is excluded by demonstrating that a finite scale integral forces the frequency scale to diverge ($N(t) \to \infty$). This divergence, combined with low-frequency mass recovery estimates, leads to a contradiction with mass conservation for a non-zero solution.

3. Rigidity of the FM Channel (Main Contribution):
   The core technical innovation addresses the FM channel, where the solution has finite mass but the spatial center $x(t)$ may drift arbitrarily (no sublinear drift assumption, no zero momentum, no symmetry).

   • Self-Interaction Morawetz Functional: Instead of fixing a spatial center or assuming a specific velocity, the authors construct a self-interaction Morawetz functional depending only on the difference variable $x-y$. This avoids the need to track the drifting center.
   • Logarithmic Averaging: To handle the lack of a fixed physical radius, the authors average the interaction kernel logarithmically over scales $R \in [R_0, e^J R_0]$. This reduces boundary errors to $O(J^{-1})$.
   • Local Galilean Covariance: A critical obstacle in the focusing case is the negative potential energy. The authors introduce an optimal local Galilean transformation within each spatial ball. By subtracting the local momentum $P_{R,c}$ from the local kinetic energy, they recover a positive definite "covariance" term. This effectively removes the momentum defect and restores coercivity below the ground-state threshold.
   • Contradiction: The combination of the positive main block (derived from the Galilean-corrected energy) and the controlled error terms (via logarithmic averaging) yields a linear growth in time for the Morawetz functional. However, the finite mass and bounded scale assumptions bound the functional uniformly in time, leading to a contradiction unless the solution is identically zero.

Key Contributions and Results

• Theorem 1.1 (Bounded-scale finite-mass rigidity): The paper proves that any global strong solution to the 3D focusing energy-critical NLS that is almost periodic modulo scaling and translation, has bounded frequency scale, and possesses finite mass at one time, must be identically zero. Crucially, this result holds without assuming radial symmetry, zero total momentum, differentiability of the spatial center, or sublinear drift ($|x(t)| = o(t)$).
• Theorem 1.2 (Exclusion of three channels): It is rigorously established that any minimal counterexample to below-threshold scattering cannot belong to the FT, RC, or FM channels.
• Corollary 1.3 (Residual-channel criterion): The full problem of below-threshold scattering for general nonradial data is reduced to the non-existence of the Residual Quasi-Soliton (RQ) channel. If a minimal counterexample exists, it must lie in the RQ channel, which implies either unbounded frequency scale or infinite mass at every time.

Significance
The paper isolates and eliminates the finite-mass bounded-scale obstruction in the homogeneous three-dimensional nonradial focusing equation. Previous works (e.g., Kenig-Merle for radial data, Dodson for $d=4$, Killip-Visan for $d \ge 5$) relied on specific symmetries, logarithmic $L^2$ endpoints, or negative regularity arguments that do not directly apply to the $d=3$ nonradial finite-mass case.

The significance of this work lies in:

1. Removing Drift Assumptions: It resolves the rigidity problem for finite-mass solutions without requiring the concentration center to move slowly or have zero momentum, a significant departure from prior conditional results.
2. Novel Rigidity Mechanism: The use of a difference-variable self-interaction functional combined with local Galilean covariance provides a new mechanism to recover positivity in the presence of negative potential energy and arbitrary center drift.
3. Reduction of the Problem: By closing the first three channels, the paper narrows the remaining obstruction to the RQ channel. This clarifies that any potential failure of scattering in the 3D nonradial case must manifest as a solution with infinite mass or unbounded scale, effectively characterizing the nature of any potential counterexample.

The authors explicitly state that their results are complementary to, rather than nested within, their companion papers (which treat fixed-center or cylindrical symmetry cases). This work specifically targets the "pure" nonradial finite-mass endpoint, closing a gap in the energy-critical theory for the 3D focusing NLS.