Lions' Exponent: Critical Navier–Stokes Thresholds

• Lions' exponent is a critical threshold in fractional Navier–Stokes equations and Sobolev embeddings that marks the boundary for energy-class uniqueness and compactness.
• It identifies the precise dissipation power (α = 5/4 or m = 5/2 in 3D) where classical methods guarantee unique Leray–Hopf solutions while below it non-uniqueness phenomena emerge.
• The threshold plays a key role in both fluid-dynamical well-posedness and concentration-compactness results, offering practical insights into scaling invariance and variable-exponent analysis.

Lions’ exponent denotes a threshold associated with J.-L. Lions that appears in more than one analytical context. In the theory of fractional or hyperviscous Navier–Stokes equations, the three-dimensional Lions exponent is the dissipation power $\alpha_L=5/4$, equivalently $m_L=5/2$ when the diffusion is written as $\Lambda^m=( -\Delta)^{m/2}$; it is the $L^2$-energy-critical boundary and the first exponent at which uniqueness in the energy class holds by classical methods. In fractional Sobolev theory, the expression also occurs in the critical Sobolev-Lions exponent $p_s^*=\frac{Np}{N-sp}$ and in the variable-exponent analogue $p_s^*(x)=\frac{N\,p(x)}{N-s\,p(x)}$ (Yamazaki, 2020, Yamazaki, 23 Aug 2025, Bahrouni et al., 2020).

1. Definitions, notation, and scope

In the fluid-mechanical literature represented here, the generalized incompressible Navier–Stokes system on $\mathbb{R}^3$, $\mathbb{T}^3$, or $\mathbb{R}^d$ is obtained by replacing the Laplacian by a fractional power. One standard form is

$$\partial_t u + (u\cdot\nabla)u + \nabla p + (-\Delta)^\alpha u = f,\qquad \nabla\cdot u=0,$$

with $m_L=5/2$0; in this notation, larger $m_L=5/2$1 gives stronger dissipation, $m_L=5/2$2 is the classical Navier–Stokes case, and $m_L=5/2$3 formally corresponds to Euler (Yamazaki, 2020).

A notational variant writes the dissipative term as $m_L=5/2$4. In that convention Lions’ threshold is $m_L=5/2$5, whereas in the $m_L=5/2$6 convention the same threshold becomes $m_L=5/2$7. For $m_L=5/2$8, this yields $m_L=5/2$9 and $\Lambda^m=( -\Delta)^{m/2}$0; one paper states explicitly that “because his notation differs by a half-power one finds in our notation $\Lambda^m=( -\Delta)^{m/2}$1” (Yamazaki, 23 Aug 2025, Yamazaki, 2020).

The same name also occurs in concentration-compactness and embedding theory. For $\Lambda^m=( -\Delta)^{m/2}$2 and $\Lambda^m=( -\Delta)^{m/2}$3, the classical fractional Sobolev space $\Lambda^m=( -\Delta)^{m/2}$4 carries the critical Sobolev-Lions exponent

$\Lambda^m=( -\Delta)^{m/2}$5

while in the variable-exponent setting the corresponding local critical exponent is

$\Lambda^m=( -\Delta)^{m/2}$6

These exponents govern Lions-type vanishing lemmas and compactness statements rather than fluid-dynamical well-posedness (Bahrouni et al., 2020).

2. Scaling and the energy-critical threshold

For the hyperdissipative Navier–Stokes equation on $\Lambda^m=( -\Delta)^{m/2}$7,

$\Lambda^m=( -\Delta)^{m/2}$8

the natural parabolic scaling is

$\Lambda^m=( -\Delta)^{m/2}$9

Under this scaling, $L^2$0 is critical precisely at $L^2$1; for $L^2$2 it is subcritical, while for $L^2$3 it is supercritical (Li et al., 2022).

The same conclusion appears in the $L^2$4 notation. If

$L^2$5

then under $L^2$6, $L^2$7 one sets

$L^2$8

and the $L^2$9-energy scales as $p_s^*=\frac{Np}{N-sp}$0. Energy invariance therefore requires $p_s^*=\frac{Np}{N-sp}$1, hence $p_s^*=\frac{Np}{N-sp}$2 and, in dimension three, $p_s^*=\frac{Np}{N-sp}$3 (Yamazaki, 23 Aug 2025).

A complementary heuristic in dimension three balances “gain $p_s^*=\frac{Np}{N-sp}$4 derivatives from dissipation” against “lose $p_s^*=\frac{Np}{N-sp}$5 derivatives from nonlinearity,” yielding the condition $p_s^*=\frac{Np}{N-sp}$6, i.e. $p_s^*=\frac{Np}{N-sp}$7 (Yamazaki, 2020). In the deterministic hyper-viscous setting, this is also the point at which the nonlinear term can be absorbed by the dissipative term through suitable Sobolev embeddings; one summary states that at $p_s^*=\frac{Np}{N-sp}$8 “this balance is exactly sharp” (Cao et al., 2024).

3. Lions’ theorem and the Leray–Hopf regime

A Leray–Hopf solution of the forced fractional Navier–Stokes system is a divergence-free field

$p_s^*=\frac{Np}{N-sp}$9

that satisfies the weak form of the equation, attains the initial data in the strong $p_s^*(x)=\frac{N\,p(x)}{N-s\,p(x)}$0 sense, and obeys the energy inequality

$p_s^*(x)=\frac{N\,p(x)}{N-s\,p(x)}$1

for almost every $p_s^*(x)=\frac{N\,p(x)}{N-s\,p(x)}$2 (Khor et al., 2023).

Lions’ classical result asserts that for the forced system on $p_s^*(x)=\frac{N\,p(x)}{N-s\,p(x)}$3 or $p_s^*(x)=\frac{N\,p(x)}{N-s\,p(x)}$4, if $p_s^*(x)=\frac{N\,p(x)}{N-s\,p(x)}$5, then for any $p_s^*(x)=\frac{N\,p(x)}{N-s\,p(x)}$6 and sufficiently regular forcing $p_s^*(x)=\frac{N\,p(x)}{N-s\,p(x)}$7, there exists a unique global-in-time Leray–Hopf solution. In the torus setting, one formulation gives, for divergence-free $p_s^*(x)=\frac{N\,p(x)}{N-s\,p(x)}$8 with zero mean and $p_s^*(x)=\frac{N\,p(x)}{N-s\,p(x)}$9, a unique global weak solution

$\mathbb{R}^3$0

satisfying the distributional equation and the energy equality

$\mathbb{R}^3$1

(Luo et al., 2018, Khor et al., 2023).

Later work refines this energy-class picture through generalized Ladyzhenskaya–Prodi–Serrin criteria. For the hyper-viscous scaling

$\mathbb{R}^3$2

the mixed space $\mathbb{R}^3$3 is scaling-invariant when

$\mathbb{R}^3$4

One summary states that if a solution lies in such a scaling-invariant regime with $\mathbb{R}^3$5 and $\mathbb{R}^3$6, then it must coincide with the unique Leray–Hopf solution; taking $\mathbb{R}^3$7 recovers Lions’ well-posedness for $\mathbb{R}^3$8 (Cao et al., 2024).

4. Sharpness below $\mathbb{R}^3$9

The modern sharpness theory shows that the threshold $\mathbb{T}^3$0 is not merely an artifact of Lions’ argument. For the periodic hyperviscous Navier–Stokes equation, Luo–Titi proved that whenever $\mathbb{T}^3$1 there exist infinitely many weak solutions

$\mathbb{T}^3$2

to

$\mathbb{T}^3$3

which can realize a prescribed compactly supported energy profile and, in particular, yield infinitely many weak solutions with zero initial data (Luo et al., 2018).

A stronger result in the Leray–Hopf class was obtained for the forced fractional Navier–Stokes equation. For every $\mathbb{T}^3$4, there exists a forcing $\mathbb{T}^3$5 and two distinct Leray–Hopf solutions

$\mathbb{T}^3$6

with $\mathbb{T}^3$7, so uniqueness fails for every $\mathbb{T}^3$8 in the forced energy class (Khor et al., 2023).

The stochastic theory reaches the same threshold from a different direction. For the three-dimensional stochastic generalized Navier–Stokes equations with additive noise or linear multiplicative noise, Yamazaki proved non-uniqueness in law on finite time intervals for $\mathbb{T}^3$9, extending convex-integration methods together with a probabilistic gluing or stopping-time argument (Yamazaki, 2020). Across these results, the common conclusion is that the Lions exponent is sharp for uniqueness questions tied to the classical energy framework.

5. Beyond the Lions exponent: supercritical spaces and non-Leray–Hopf solutions

The statement “$\mathbb{R}^d$0 implies uniqueness” is correct only in the Leray–Hopf or, more generally, the LPS-critical framework. Above the Lions exponent, recent work shows that uniqueness can fail in supercritical spaces even though the classical Leray–Hopf solution remains unique.

For $\mathbb{R}^d$1 on $\mathbb{R}^d$2, Li–Qu–Zeng–Zhang proved strong non-uniqueness in mixed spaces $\mathbb{R}^d$3 whenever the generalized Ladyženskaja–Prodi–Serrin condition is breached:

$\mathbb{R}^d$4

They identified two sharp endpoints,

$\mathbb{R}^d$5

and constructed infinitely many weak solutions that coincide with the unique Leray–Hopf solution near the initial time, remain arbitrarily close in the supercritical norm, and are smooth outside a fractal set of singular times with zero Hausdorff $\mathbb{R}^d$6 measure (Li et al., 2022).

The stochastic hyper-viscous theory exhibits an analogous phenomenon. For any deterministic divergence-free initial datum $\mathbb{R}^d$7 and any $\mathbb{R}^d$8, Cao–Zeng–Zhang constructed infinitely many probabilistically strong and analytically weak solutions in

$\mathbb{R}^d$9

for $$\partial_t u + (u\cdot\nabla)u + \nabla p + (-\Delta)^\alpha u = f,\qquad \nabla\cdot u=0,$$0 lying in two supercritical regimes $$\partial_t u + (u\cdot\nabla)u + \nabla p + (-\Delta)^\alpha u = f,\qquad \nabla\cdot u=0,$$1 strictly beyond the LPS critical line. The same summary states that outside the LPS-critical spaces one sees non-uniqueness even though $$\partial_t u + (u\cdot\nabla)u + \nabla p + (-\Delta)^\alpha u = f,\qquad \nabla\cdot u=0,$$2, whereas within the scaling-invariant LPS regimes one retains classical uniqueness relative to the Leray–Hopf solution (Cao et al., 2024).

The stochastic endpoint $$\partial_t u + (u\cdot\nabla)u + \nabla p + (-\Delta)^\alpha u = f,\qquad \nabla\cdot u=0,$$3 also supports a distinct positive theory. For the three-dimensional Navier–Stokes equations forced by space-time white noise and diffused by $$\partial_t u + (u\cdot\nabla)u + \nabla p + (-\Delta)^\alpha u = f,\qquad \nabla\cdot u=0,$$4, Yamazaki proved a unique global-in-time mild solution for almost every noise realization and, separately, uniqueness of a high-low weak solution formulation for $$\partial_t u + (u\cdot\nabla)u + \nabla p + (-\Delta)^\alpha u = f,\qquad \nabla\cdot u=0,$$5 initial data (Yamazaki, 23 Aug 2025). This indicates that the endpoint behavior depends decisively on the solution class and on whether one works inside or outside the energy/LPS-critical framework.

6. Extensions to magnetohydrodynamics and to Sobolev compactness theory

The Lions threshold extends to generalized magnetohydrodynamics. In the deterministic MHD system

$$\partial_t u + (u\cdot\nabla)u + \nabla p + (-\Delta)^\alpha u = f,\qquad \nabla\cdot u=0,$$6

$$\partial_t u + (u\cdot\nabla)u + \nabla p + (-\Delta)^\alpha u = f,\qquad \nabla\cdot u=0,$$7

Wu extended Lions’ result by showing uniqueness whenever both $$\partial_t u + (u\cdot\nabla)u + \nabla p + (-\Delta)^\alpha u = f,\qquad \nabla\cdot u=0,$$8; in $$\partial_t u + (u\cdot\nabla)u + \nabla p + (-\Delta)^\alpha u = f,\qquad \nabla\cdot u=0,$$9, this means $m_L=5/2$00 (Yamazaki, 2024). In the stochastic additive-noise setting, Yamazaki then used convex integration with temporal intermittency to prove non-uniqueness from prescribed initial data for $m_L=5/2$01, constructing infinitely many adapted weak-analytic, strong-probabilistic solutions (Yamazaki, 2024).

In a separate analytical lineage, the “Lions exponent” refers not to fluid dissipation but to an embedding threshold. For $m_L=5/2$02 and $m_L=5/2$03, the critical Sobolev-Lions exponent

$m_L=5/2$04

controls the classical fractional Lions vanishing lemma: if $m_L=5/2$05 is bounded and

$m_L=5/2$06

for some $m_L=5/2$07, then $m_L=5/2$08 in $m_L=5/2$09 for every $m_L=5/2$10 (Bahrouni et al., 2020).

Bahrouni–Ounaïes generalized this structure to fractional Sobolev spaces with variable exponents. For

$m_L=5/2$11

with symmetric $m_L=5/2$12, the local critical exponent becomes

$m_L=5/2$13

Their Lions-type lemma states that if $m_L=5/2$14 is bounded in $m_L=5/2$15 and its local $m_L=5/2$16 mass vanishes for some $m_L=5/2$17 satisfying $m_L=5/2$18, then $m_L=5/2$19 in $m_L=5/2$20 for every $m_L=5/2$21 with $m_L=5/2$22. Under radiality assumptions, they also obtain the compact embedding

$m_L=5/2$23

for every such $m_L=5/2$24 (Bahrouni et al., 2020).

Taken together, these usages show that Lions’ exponent functions as a threshold notion: in fluid equations it separates regimes of energy-based uniqueness, sharp non-uniqueness, and supercritical ill-posedness phenomena; in Sobolev analysis it marks the critical boundary for vanishing and compactness mechanisms.