Liouville-type theorems for the stationary fractional Navier-Stokes equations in $\mathbb{R}^n$

Abstract: We establish Liouville-type theorems for the stationary fractional Navier-Stokes equations in $\mathbb{R}<sup>n$ under suitable integrability conditions on the velocity field $u$ and a large-scale Morrey-type bound on the fractional energy. As a corollary, these assumptions are automatically satisfied if $u \in \dot{H}<sup>{\fracα{2}}(\mathbb{R}<sup>n)$, yielding Liouville-type results under the finite fractional energy condition for $\frac{n}{3} \le α&lt; \frac{n+2}{3}$, where $α$ denotes the order of the fractional Laplacian $(-Δ)<sup>{\fracα{2}}$. This range reflects a scaling-critical correspondence between Liouville-type theorems in the finite-energy setting and the threshold arising in partial regularity theory. The proof relies on direct kernel estimates for the commutator of the fractional Laplacian, based on a dyadic decomposition of the tail term, which remain valid in the hyper-dissipative case. The argument also uses a bootstrap argument that propagates integrability from near the scaling-invariant exponent down to lower exponents, including the Sobolev embedding exponent.

• The paper proves that any smooth, decaying solution in the critical dissipation range is trivial under natural fractional energy and integrability conditions.
• It introduces a direct kernel commutator approach and a bootstrap argument to control nonlocal nonlinear effects without relying on extension techniques.
• The results extend to coupled systems like stationary fractional MHD equations, offering a unified framework for various dissipation regimes.

Liouville-Type Theorems for the Stationary Fractional Navier–Stokes Equations in $\mathbb{R}^n$

Overview and Motivation

The paper "Liouville-type theorems for the stationary fractional Navier-Stokes equations in $\mathbb{R}^n$" (2606.28959) investigates the triviality of solutions—Liouville-type results—for stationary fractional Navier–Stokes equations under natural decay and integrability conditions. This classical problem’s interest extends beyond the integer-order case; it targets diverse dissipation regimes controlled by a fractional Laplacian of order $\alpha \in (0,4)$. The focus is on the critical regime from the viewpoint of partial regularity theory, connecting the range of $\alpha$ with specific scaling properties and embedding considerations.

Liouville-type theorems, asserting that any smooth solution decaying at infinity with finite (fractional) energy must be identically zero, are fundamental for the qualitative understanding of fluid models, especially regarding the (non)existence of nontrivial steady states. These results are tight with respect to the criticality inherent in the underlying functional and scaling properties.

Main Results

The paper establishes Liouville-type theorems for the stationary fractional Navier–Stokes equations:

$$( -\Delta )^{\frac{\alpha}{2}} u + (u \cdot \nabla) u + \nabla p = 0, \quad \nabla \cdot u = 0$$

in $\mathbb{R}^n$, $n \geq 3$, where the velocity $u$ satisfies $u(x) \to 0$ as $|x| \to \infty$, and appropriate integrability and fractional energy conditions.

Critical Dissipation Range

The main theorem asserts that for $\mathbb{R}^n$0, if $\mathbb{R}^n$1 and $\mathbb{R}^n$2, then any smooth, decaying solution is trivial:

• This regime reflects the balance at which Sobolev embedding allows control of the nonlinear term via $\mathbb{R}^n$3 integrability.
• The endpoint $\mathbb{R}^n$4 is shown to be critical, corresponding exactly to the Sobolev exponent matching the scaling-invariant Lebesgue exponent for the nonlinear term.

Equivalent results are established for the hyper-dissipative case ($\mathbb{R}^n$5) in higher dimensions, specifically $\mathbb{R}^n$6.

Generalizations and Corollaries

The results hold under a more general Morrey-type fractional energy bound: $\mathbb{R}^n$7 for $\mathbb{R}^n$8, and appropriate $\mathbb{R}^n$9 integrability. In particular, $\alpha \in (0,4)$0 automatically satisfies this.

Furthermore, the paper extends the approach to coupled systems such as the stationary magnetohydrodynamics (MHD) equations, yielding analogous Liouville-type results for the MHD system in $\alpha \in (0,4)$1 under joint $\alpha \in (0,4)$2 and fractional energy assumptions.

Methodology and Proof Techniques

Kernel and Commutator Estimates

Unlike the extension methods based on the Caffarelli–Silvestre theory commonly used in prior works, this analysis is built upon direct kernel estimates for commutators of the nonlocal operator with cutoffs, capitalizing on precise decay and cancellation. This approach is advantageous in the hyper-dissipative regime ($\alpha \in (0,4)$3), where traditional extension formulations are not available or cumbersome.

A detailed dyadic decomposition of large-scale contributions is employed to estimate nonlocal effects—particularly for the tail terms outside large balls—leveraging decay from fractional Morrey-type bounds.

Bootstrap Argument and Sobolev Embedding

A crucial technical ingredient involves a bootstrapping procedure wherein integrability of $\alpha \in (0,4)$4 is recursively improved. Starting near the scaling-invariant exponent, the argument iteratively applies the Hardy–Littlewood–Sobolev inequality to propagate integrability down to the minimal exponents allowed by Sobolev embedding, including the $\alpha \in (0,4)$5 or gradient-based exponents required to apply the final vanishing argument.

The iteration is specifically adapted to the nonlinear structure of the stationary fractional Navier–Stokes equations and is shown to be effective strictly in the identified critical dissipation range, with the endpoint case requiring distinct methods.

Scaling and Criticality

The thresholds for $\alpha \in (0,4)$6 emerge from scaling considerations. The lower bound $\alpha \in (0,4)$7 ensures that the Sobolev embedding yields at least $\alpha \in (0,4)$8-integrability, controlling the nonlinearity. The upper threshold, $\alpha \in (0,4)$9, marks the matching of the nonlinear invariance exponent and the Sobolev exponent, signaling the precise onset of possible nontrivial behavior.

Implications, Contrasts, and Numerical Strength

• Sharpness: The results close much of the gap left by classical results for the integer ($\alpha$0) stationary Navier–Stokes equations, where corresponding Liouville-type theorems remain challenging, especially in three dimensions.
• Broad Applicability: The direct kernel methodology inherently accommodates both subcritical, critical, and hyper-dissipative models, giving a unified framework that applies for a wide range of dissipation exponents.
• Nonlinear Structure: The analysis fundamentally exploits the commutator structure and scaling properties of the nonlinearity, providing new strategies that could apply to other nonlocal PDEs.
• Extension to Coupled Systems: The appendices treat stationary fractional MHD systems, demonstrating that the kernel-based and bootstrapping arguments naturally extend to the technically richer coupled model, yielding nonexistence for critical regimes of fractional viscosity and resistivity.

Connections and Future Directions

This study positions the critical thresholds for the vanishing of stationary solutions in fractional fluid models as a lynchpin for understanding partial regularity and global qualitative behavior in high-dimensional and high-dissipation regimes. Potential directions for further development include:

• Endpoint Analysis: The endpoint $\alpha$1 remains delicate; alternative techniques (beyond bootstrapping) are needed to characterize solutions at or near this threshold.
• Higher Dimensions: While the argument extends in part to $\alpha$2, tuning these results to settings with even larger $\alpha$3 or exploring extremelimit behaviors as $\alpha$4 would be natural.
• Random/Time-Dependent Models: Understanding whether analogous Liouville-type properties hold for statistically stationary or time-dependent fractional Navier–Stokes, possibly under weaker integrability.
• Further Coupled Systems: Generalizations to more complex coupled PDEs (e.g., with variable density or additional fields) and degenerate or anisotropic fractional operators.

Conclusion

This work rigorously settles the triviality of smooth, decaying stationary solutions to the fractional Navier–Stokes and MHD systems in a sharp range of the fractional dissipation parameter. The combination of kernel commutator techniques, fine bootstrapping, and clear scaling analysis yields a robust, direct approach circumventing extension methods and provides a powerful paradigm for analogous results in the analysis of nonlocal PDEs (2606.28959).