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

Gaston Vergara-Hermosilla

arxiv: 2604.06527 · v2 · pith:RWZI4U3Onew · submitted 2026-04-07 · 🧮 math.AP

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

Gaston Vergara-Hermosilla This is my paper

Pith reviewed 2026-05-22 10:59 UTC · model grok-4.3

classification 🧮 math.AP

keywords stationary Navier-StokesLiouville theoremsvariable exponent Lebesgue spacesintegrability conditionsasymptotic behaviorweak solutions

0 comments

The pith

Stationary Navier-Stokes solutions in R^3 vanish under a variable-exponent integrability condition strictly above 9/2.

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

The paper establishes that weak solutions of the stationary Navier-Stokes equations in three space dimensions must be identically zero once the velocity satisfies an integrability condition in a variable-exponent Lebesgue space whose exponent lies strictly above the classical 9/2 threshold. The same conclusion holds when the improved integrability is required only outside a compact set. This shows that the mechanism producing triviality depends solely on the behavior at infinity. The proof proceeds from a general uniqueness theorem that applies to spaces in which the integrability exponent can vary from point to point.

Core claim

Any weak solution u of the stationary Navier-Stokes system in R^3 belonging to the variable-exponent space L^{9/2 + ε(·)}(R^3) with ε(·) > 0 everywhere must be the zero vector field. The identical conclusion holds when the same integrability condition is imposed only at large distances, without any restriction on the behavior of u inside a bounded region.

What carries the argument

A general uniqueness theorem for stationary Navier-Stokes equations in Lebesgue spaces with variable exponents that accommodates different integrability regimes across the domain.

If this is right

The classical global L^{9/2} integrability assumption of Galdi can be relaxed to a variable-exponent condition that is only slightly supercritical.
Triviality follows from an integrability requirement imposed solely outside an arbitrary compact set.
The asymptotic decay at infinity alone is sufficient to force the solution to be zero.
No extra regularity assumptions inside any bounded region are required.

Where Pith is reading between the lines

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

The same variable-exponent approach may permit similar sharpenings of critical integrability thresholds in related stationary or time-dependent fluid models.
Numerical construction of candidate non-trivial solutions could be restricted to the exact L^{9/2} borderline case to probe sharpness.
Local singularities or irregularities inside a bounded region cannot obstruct the global triviality conclusion provided far-field integrability holds.

Load-bearing premise

The velocity satisfies the stationary Navier-Stokes equations in the weak sense and lies in a variable-exponent Lebesgue space whose exponent is everywhere strictly larger than 9/2.

What would settle it

Existence of a single non-zero weak solution whose velocity belongs to L^{9/2 + ε(·)}(R^3) for some positive variable exponent ε(·) would disprove the claim.

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 L^{9/2} threshold for stationary Navier-Stokes Liouville theorems by allowing a variable exponent slightly above 9/2, plus a localized-at-infinity version, but the argument depends on a uniqueness result whose conditions on ε(·) need close checking.

read the letter

This paper shows that stationary Navier-Stokes solutions in R^3 must be trivial if the velocity belongs to L^{9/2 + ε(·)} with ε(·) positive everywhere. It also concludes that the same conclusion holds when the integrability condition is imposed only outside a large ball, with no control required inside any compact set. The main novelty is the use of variable-exponent spaces to weaken the classical fixed-exponent assumption while keeping the conclusion intact. The localized statement is a clean consequence and makes explicit that the mechanism is asymptotic rather than local. The approach routes through a general uniqueness lemma in these spaces, which is presented as independent of the specific Navier-Stokes data. That framing is reasonable and lets the variable-exponent setting handle mixed integrability regimes across the domain. The estimates on the convective term appear to close under the stated assumptions, at least on the surface. The soft spot is the regularity required of ε(·). Standard theory for variable-exponent Lebesgue spaces needs log-Hölder continuity or at least boundedness plus continuity to guarantee density of smooth compactly supported functions and to control the dual-space estimates without extra factors. The abstract states only that ε(·) > 0. If the paper does not add this or prove the estimates survive without it, the uniqueness step could fail when ε oscillates or approaches zero too quickly at some points. I would want to see the precise hypotheses and the handling of the nonlinear term in the full text. This work is aimed at researchers focused on Liouville theorems and regularity questions for the stationary Navier-Stokes system. Readers already comfortable with variable-exponent spaces will see the most direct value. It is worth sending to a serious referee because the relaxation and the localized result are fresh enough to matter in the subfield, even if the technical conditions on the exponent require clarification or strengthening.

Referee Report

1 major / 2 minor

Summary. The paper claims to prove new Liouville theorems for the stationary Navier-Stokes equations in R^3. Specifically, any weak solution u belonging to the variable-exponent space L^{9/2 + ε(·)}(R^3) with ε(·)>0 must be identically zero. As a consequence, a localized version holds: the integrability condition need only be imposed at spatial infinity, with no control required on compact sets. The argument proceeds via a general uniqueness result for weak solutions in these variable-exponent spaces.

Significance. If the uniqueness result can be established under the stated hypotheses, the work would be significant: it relaxes Galdi's classical L^{9/2} threshold to a variable exponent strictly above 9/2 and shows that triviality is enforced purely by the asymptotic behavior. The variable-exponent framework is a natural device for capturing non-uniform integrability and could be useful in related problems.

major comments (1)

[Section 3 (Uniqueness lemma)] The uniqueness result (Section 3) is stated for p(·)=9/2+ε(·) with the sole assumption that ε(·)>0 and is measurable. Standard theory of variable-exponent Lebesgue spaces requires log-Hölder continuity of p(·) to guarantee density of C_c^∞, the validity of the generalized Hölder inequality without extra constants, and the embedding of the convective term u⊗u into the dual space L^{p'(·)}. Absent this regularity, the a-priori estimates used to close the uniqueness argument may fail when ε(x) oscillates or approaches zero rapidly; this is load-bearing for the central claim.

minor comments (2)

[Introduction] The introduction should cite the precise statement of Galdi's L^{9/2} theorem (including the original reference) rather than paraphrasing it.
[Section 2] Notation: the precise definition of the variable-exponent norm and the dual exponent p'(·) should be recalled explicitly before the uniqueness argument.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and for the constructive comment on the technical assumptions required for the variable-exponent framework. We address the major comment below.

read point-by-point responses

Referee: [Section 3 (Uniqueness lemma)] The uniqueness result (Section 3) is stated for p(·)=9/2+ε(·) with the sole assumption that ε(·)>0 and is measurable. Standard theory of variable-exponent Lebesgue spaces requires log-Hölder continuity of p(·) to guarantee density of C_c^∞, the validity of the generalized Hölder inequality without extra constants, and the embedding of the convective term u⊗u into the dual space L^{p'(·)}. Absent this regularity, the a-priori estimates used to close the uniqueness argument may fail when ε(x) oscillates or approaches zero rapidly; this is load-bearing for the central claim.

Authors: We agree with the referee that log-Hölder continuity of the exponent is a standard requirement in the theory of variable-exponent Lebesgue spaces to ensure the density of C_c^∞ functions, the validity of the generalized Hölder inequality, and the appropriate embeddings for the convective term. Our original statement omitted this regularity condition, which could indeed lead to issues in the a-priori estimates if ε(·) oscillates wildly or approaches zero too rapidly. In the revised version we will add the assumption that ε(·) is log-Hölder continuous (while remaining positive and measurable). This is a mild and commonly imposed condition that still permits a broad family of exponents strictly above 9/2 and does not alter the main contribution of the paper. We have checked that the uniqueness argument carries through verbatim once this regularity is assumed. revision: yes

Circularity Check

0 steps flagged

No circularity: derivation relies on independent general uniqueness result

full rationale

The paper derives its Liouville theorems by applying a general uniqueness result for weak solutions of the stationary Navier-Stokes equations in the variable-exponent space L^{9/2 + ε(·)}(R^3) with ε(·)>0. This uniqueness framework is presented as capturing different integrability regimes independently of the specific NS data. The main claim follows directly from this application, and the localized version is obtained by restricting the integrability condition to infinity. No quoted steps reduce by construction to the inputs (no self-definitional re-use of the target integrability, no fitted parameters renamed as predictions, and no load-bearing self-citation chain). The argument is self-contained against external benchmarks for variable-exponent spaces and the NS equations.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The claim rests on the existence and properties of a uniqueness result for the stationary Navier-Stokes system inside variable-exponent Lebesgue spaces; no free parameters or new entities are introduced.

axioms (1)

standard math Standard properties of Lebesgue spaces with variable exponents (including duality and embeddings) hold and allow a general uniqueness theorem.
Invoked to capture coexistence of different integrability regimes and to obtain the localized Liouville statement.

pith-pipeline@v0.9.0 · 5703 in / 1216 out tokens · 37668 ms · 2026-05-22T10:59:27.227504+00:00 · methodology

Review history (2 revisions) →

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Theorem 1.2 ... p(x)=6 for |x|<R0, p radially decreasing, p(x)≥9/2, |p(x)-9/2|≤C/|x| for |x|≥R0²; u∈L^{p(·)} implies u≡0
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Proof of Theorem 1.2 uses Hölder inequality in variable-exponent spaces, cut-off φ_R, and Riesz transforms bounded on P_log

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

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 · 12 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

work page 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

work page 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)

work page 2025
[4]

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

work page 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

work page 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

work page 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

work page 2017
[8]

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

work page 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)

work page 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

work page 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

work page 2019

[1] [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

work page 2014

[2] [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

work page 2016

[3] [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)

work page 2025

[4] [4]

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

work page 2013

[5] [5]

Diening, P

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

work page 2011

[6] [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

work page 2011

[7] [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

work page 2017

[8] [8]

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

work page 2016

[9] [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] [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)

work page 2016

[11] [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

work page 2016

[12] [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

work page 2019