arxiv: 2604.06527 · v1 · submitted 2026-04-07 · 🧮 math.AP

Recognition: 2 theorem links

· Lean Theorem

Liouville Theorems Above the Critical 9/2 Threshold for Stationary Navier-Stokes Equations

Gaston Vergara-Hermosilla

Authors on Pith no claims yet

Pith reviewed 2026-05-10 18:21 UTC · model grok-4.3

classification 🧮 math.AP

keywords Liouville theoremsstationary Navier-Stokes equationsvariable exponent Lebesgue spacesintegrability conditionsasymptotic behavior at infinitycritical threshold 9/2

0 comments

The pith

Stationary Navier-Stokes flows in three dimensions are necessarily zero when their velocity is integrable to an order strictly above 9/2.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper establishes Liouville theorems for stationary Navier-Stokes equations in R^3 by relaxing the integrability assumption on the velocity field. It proves that if the velocity belongs to a Lebesgue space with exponent 9/2 plus a positive variable amount, the solution must be trivial. The result further shows that this condition need only be checked at infinity, allowing arbitrary behavior in any bounded region. The approach uses uniqueness theorems valid in spaces with variable exponents to handle the transition between integrability levels. This indicates that the triviality is driven by the solution's behavior far from the origin.

Core claim

The central claim is that weak solutions of the stationary Navier-Stokes equations in R^3 are trivial if the velocity field lies in L^{9/2 + ε(·)}(R^3) for a positive variable exponent ε(·). This extends the L^{9/2} threshold and provides a version where the integrability is required solely outside compact sets.

What carries the argument

Uniqueness result in Lebesgue spaces with variable exponents, allowing the proof to combine different integrability regimes in different parts of space.

If this is right

If u is in L^{9/2 + ε(·)} globally then u is identically zero.
The integrability condition can be restricted to |x| > R for large R, with no assumptions inside the ball of radius R.
Triviality is determined by the asymptotic properties of u as |x| tends to infinity.
The variable exponent framework permits the integrability to improve gradually away from the origin.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

One could investigate whether adding a logarithmic factor allows the result to reach exactly the 9/2 exponent.
Analogous statements might hold for other fluid equations or higher dimensions.
Experimental or computational searches for non-trivial solutions could focus on those with borderline integrability.

Load-bearing premise

The solution must satisfy the weak formulation of the stationary Navier-Stokes equations, and the variable exponent must meet the technical requirements that make the variable-exponent uniqueness theorem applicable.

What would settle it

A non-zero weak solution with velocity in L^{9/2 + ε(·)} for some ε(·) > 0 would serve as a counterexample and falsify the theorem.

read the original abstract

We establish new Liouville-type theorems for the stationary Navier--Stokes equations in $\mathbb{R}^3$. A central open problem in this context is whether the classical $L^{9/2}(\mathbb{R}^3)$ condition of G.~Galdi can be relaxed. In this note we show that this global integrability requirement can indeed be weakened. More precisely, we prove that triviality already follows under assumptions of the form $u \in L^{9/2 + \varepsilon(\cdot)}(\mathbb{R}^3)$, where $\varepsilon(\cdot)>0$. As a consequence, we obtain a localized Liouville theorem: it is sufficient to impose this integrability condition only at infinity, with no additional assumptions on the behavior of $u$ inside a compact set. This highlights that the mechanism enforcing triviality is purely asymptotic. Our approach relies on a general uniqueness result in the framework of Lebesgue spaces with variable exponents, which naturally captures the coexistence of different integrability regimes across the domain.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This relaxes Galdi's fixed L^{9/2} threshold to a variable exponent above 9/2 and claims a localized-at-infinity version, but the localized claim rests on an unshown step that turns tail integrability into the global condition needed for uniqueness.

read the letter

The central advance is showing triviality for stationary Navier-Stokes weak solutions when the velocity lies in L^{9/2 + ε(·)}(R^3) with ε(·) > 0, plus the statement that the same integrability need only hold outside a compact set. This is new relative to Galdi's classical result and the fixed-exponent literature that followed it. The variable-exponent framework lets the integrability requirement vary across space, which is a modest but concrete loosening of the global condition. The localized version is presented as a direct consequence, and the abstract correctly notes that this would mean the mechanism is purely asymptotic. That framing is clean and worth having on record if the details hold up. The paper does well by invoking an existing uniqueness theorem in variable-exponent Lebesgue spaces rather than reproving everything from scratch; that keeps the argument short and ties it to established functional-analytic tools. The technical conditions on ε(·) are left to the general theory, which is reasonable if those conditions are standard. The soft spot is exactly the one flagged in the stress-test note. The uniqueness result almost certainly requires the modular integral over all of R^3 to be finite. The localized hypothesis only controls the tail, so some additional argument—cut-off, interior regularity for weak solutions, or unique continuation—must convert the tail condition into global membership or directly force u ≡ 0 inside the ball. The abstract calls it a consequence without spelling out that step, and the provided text does not include the full proof. If that bridging argument is missing or relies on an unstated property, the localized claim does not follow. This is not a fatal flaw, but it is the load-bearing part that needs explicit verification. The paper is for specialists in Liouville theorems and regularity questions for the stationary Navier-Stokes system. Readers already working with variable-exponent spaces or following the Galdi-type results will see the most value. It is coherent on its own terms and engages the literature directly, so it deserves a serious referee to check the bridging step and the precise hypotheses on ε(·). I would send it to peer review rather than desk-reject.

Referee Report

2 major / 1 minor

Summary. The manuscript establishes Liouville-type theorems for the stationary Navier-Stokes equations in R^3. It proves that weak solutions u satisfying u ∈ L^{9/2 + ε(·)}(R^3) with ε(·) > 0 are necessarily trivial. As a consequence, a localized version holds: the integrability condition need only be imposed for |x| large, with no assumptions required on u inside any fixed compact set. The proof invokes a general uniqueness result in variable-exponent Lebesgue spaces to capture non-uniform integrability regimes.

Significance. If the claims hold, the work meaningfully relaxes Galdi's classical L^{9/2} threshold by allowing a positive variable perturbation ε(·) above criticality, while showing that triviality is enforced purely by asymptotic behavior. This has potential implications for decay and regularity questions at infinity. The use of variable-exponent spaces is a clear strength, as it flexibly handles coexistence of different integrability regimes without reducing to a fixed exponent; this is a conceptual advance over uniform-space approaches.

major comments (2)

[Abstract] Abstract (localized Liouville theorem): The claim that tail integrability u ∈ L^{9/2 + ε(·)} only for |x| > R suffices for u ≡ 0 is presented as a direct consequence of the global uniqueness result. However, the invoked uniqueness theorem requires global membership, i.e., finiteness of the modular ∫_{R^3} |u|^{9/2 + ε(x)} dx. The localized hypothesis supplies only the tail integral; an explicit bridging argument (cut-off, interior regularity, or unique continuation) is needed to upgrade to global membership or directly obtain triviality. This step is load-bearing for the stronger localized statement and is not outlined.
[Abstract] Abstract (variable-exponent framework): The general uniqueness result is invoked under 'technical conditions' on ε(·) > 0, but the manuscript does not specify these conditions (e.g., log-Hölder continuity, boundedness, or range restrictions) nor verify that they are compatible with the stationary Navier-Stokes weak-solution class. Without this, applicability of the uniqueness theorem to the localized setting remains unconfirmed.

minor comments (1)

The abstract refers to 'standard properties of stationary Navier-Stokes weak solutions' without citing the precise weak formulation or pressure term used; adding a brief recall in the introduction would improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and for identifying two points where the presentation of the localized result and the variable-exponent hypotheses requires additional detail. We address each comment below and will incorporate the necessary clarifications and arguments in the revised manuscript.

read point-by-point responses

Referee: [Abstract] Abstract (localized Liouville theorem): The claim that tail integrability u ∈ L^{9/2 + ε(·)} only for |x| > R suffices for u ≡ 0 is presented as a direct consequence of the global uniqueness result. However, the invoked uniqueness theorem requires global membership, i.e., finiteness of the modular ∫_{R^3} |u|^{9/2 + ε(x)} dx. The localized hypothesis supplies only the tail integral; an explicit bridging argument (cut-off, interior regularity, or unique continuation) is needed to upgrade to global membership or directly obtain triviality. This step is load-bearing for the stronger localized statement and is not outlined.

Authors: We agree that the manuscript does not currently supply an explicit bridging argument between the tail integrability hypothesis and the global membership required by the uniqueness theorem. In the revision we will insert a short but self-contained paragraph (immediately after the statement of the localized theorem) that proceeds as follows: let η be a smooth cut-off equal to 1 for |x| > 2R and supported in |x| > R; the function ηu satisfies the stationary Navier–Stokes equations outside a compact set and belongs to the variable-exponent space globally because the local integrability of u on |x| < 2R is guaranteed by the standard local regularity theory for weak solutions (u ∈ L^3_loc and ∇u ∈ L^2_loc). Consequently the modular of ηu is finite, the uniqueness theorem applies, and ηu ≡ 0, hence u ≡ 0 outside |x| > R. This argument will be written out in full and will not rely on unique continuation. revision: yes
Referee: [Abstract] Abstract (variable-exponent framework): The general uniqueness result is invoked under 'technical conditions' on ε(·) > 0, but the manuscript does not specify these conditions (e.g., log-Hölder continuity, boundedness, or range restrictions) nor verify that they are compatible with the stationary Navier-Stokes weak-solution class. Without this, applicability of the uniqueness theorem to the localized setting remains unconfirmed.

Authors: We accept that the technical hypotheses on ε(·) must be stated explicitly rather than left as 'technical conditions.' The uniqueness theorem we cite requires ε(·) to be log-Hölder continuous, bounded between two positive constants, and to satisfy 9/2 + ε(x) > 3 for all x. In the revised version we will list these three conditions verbatim in the abstract and in the paragraph introducing the variable-exponent space. We will also add a one-sentence verification that they are compatible with the weak-solution class: because the stationary Navier–Stokes equations are considered in the distributional sense and the variable exponent appears only in the integrability assumption (not in the equation itself), the standard local integrability properties of weak solutions remain unaffected. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The derivation invokes an external general uniqueness theorem in variable-exponent Lebesgue spaces to obtain triviality for u in L^{9/2 + ε(·)}(R^3) with ε(·)>0, then states the localized version (integrability only at infinity) as a consequence. No step reduces a claimed prediction or conclusion to its own inputs by construction, nor does any load-bearing premise collapse to a self-citation chain or self-definitional equivalence. The uniqueness result is presented as an independent general fact rather than derived or fitted within the paper, and the argument uses standard weak-solution properties without renaming known results or smuggling ansatzes. The chain is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on standard functional-analytic properties of variable-exponent Lebesgue spaces and the definition of weak solutions to stationary Navier-Stokes; no free parameters, new entities, or ad-hoc axioms are introduced beyond those.

axioms (2)

domain assumption Lebesgue spaces with variable exponents L^{p(·)} admit a well-defined norm and support uniqueness results for the stationary Navier-Stokes system when p(·) > 9/2.
Invoked to justify the general uniqueness result that underpins both the global and localized theorems.
domain assumption Weak solutions to the stationary Navier-Stokes equations in R^3 satisfy the integral identities needed for the Liouville argument.
Standard background assumption for the entire class of results.

pith-pipeline@v0.9.0 · 5475 in / 1584 out tokens · 59449 ms · 2026-05-10T18:21:20.869199+00:00 · methodology

discussion (0)

Forward citations

Cited by 3 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

Liouville Theorems for Stationary Navier-Stokes Equations via the Radial Velocity Component
math.AP 2026-05 unverdicted novelty 7.0

Any Ḣ¹ solution to the stationary Navier-Stokes equations in R³ is identically zero when its radial velocity component lies in L^p(R³) for 3/2 < p ≤ 3.
Notes on Liouville-type theorems for the 3D stationary Navier-Stokes equations
math.AP 2026-05 unverdicted novelty 4.0

The work establishes Liouville-type theorems for stationary Navier-Stokes equations in two additional non-negligible regions of variable Lebesgue spaces under assumptions on the exponent p(·).
Notes on Liouville-type theorems for the 3D stationary Navier-Stokes equations
math.AP 2026-05 unverdicted novelty 4.0

The authors establish Liouville-type theorems for stationary Navier-Stokes in two new non-negligible regions of variable Lebesgue spaces beyond the prior range [3, 9/2].

Reference graph

Works this paper leans on

12 extracted references · 1 canonical work pages · cited by 2 Pith papers

[1]

Chae , Liouville-type theorems for the forced E uler equations and the N avier- S tokes equations , Comm

D. Chae , Liouville-type theorems for the forced E uler equations and the N avier- S tokes equations , Comm. Math. Phys., 326 (2014), pp. 37--48

2014
[2]

Chae and J

D. Chae and J. Wolf , On L iouville type theorems for the steady N avier- S tokes equations in R ^3 , J. Differential Equations, 261 (2016), pp. 5541--5560

2016
[3]

Chamorro, G

D. Chamorro, G. Vergara-Hermosilla, Liouville type theorems for stationary Navier-Stokes equations with Lebesgue spaces of variable exponent, Documenta Mathematica (2025)

2025
[4]

D. V. Cruz-Uribe and A. Fiorenza , Variable L ebesgue spaces: Foundations and harmonic analysis , Springer Science & Business Media, 2013

2013
[5]

Diening, P

L. Diening, P. Harjulehto, P. H \"a st \"o and M. Ruzicka , Lebesgue and Sobolev spaces with variable exponents , Springer, 2011

2011
[6]

Galdi , An introduction to the mathematical theory of the N avier- S tokes equations: Steady-state problems , Springer Science & Business Media, 2011

G. Galdi , An introduction to the mathematical theory of the N avier- S tokes equations: Steady-state problems , Springer Science & Business Media, 2011

2011
[7]

Kozono, Y

H. Kozono, Y. Terasawa, and Y. Wakasugi , A remark on L iouville-type theorems for the stationary N avier- S tokes equations in three space dimensions , J. Funct. Anal., 272 (2017), pp. 804--818

2017
[8]

P. G. Lemari \'e -Rieusset , The N avier- S tokes problem in the 21st century , CRC press, 2016

2016
[9]

Lerner , Wiener Algebras Methods for Liouville Theorems on the Stationary Navier-Stokes System , arXiv preprint arXiv:2601.13916 (2026)

N. Lerner , Wiener Algebras Methods for Liouville Theorems on the Stationary Navier-Stokes System , arXiv preprint arXiv:2601.13916 (2026)

work page arXiv 2026
[10]

Seregin , A Liouville type theorem for steady-state Navier-Stokes equations

G. Seregin , A Liouville type theorem for steady-state Navier-Stokes equations. J. \'E .D.P., Expos \'e no IX, (2016)

2016
[11]

Seregin , Liouville type theorem for stationary N avier- S tokes equations , Nonlinearity, 29 (2016), pp

G. Seregin , Liouville type theorem for stationary N avier- S tokes equations , Nonlinearity, 29 (2016), pp. 2191--2195

2016
[12]

Seregin and W

G. Seregin and W. Wang , Sufficient conditions on L iouville type theorems for the 3 D steady N avier- S tokes equations , Algebra i Analiz, 31 (2019), pp. 269--278

2019