arxiv: 2605.05647 · v1 · submitted 2026-05-07 · 🧮 math.AP

Recognition: unknown

Liouville Theorems for Stationary Navier-Stokes Equations via the Radial Velocity Component

Gaston Vergara-Hermosilla

Authors on Pith no claims yet

Pith reviewed 2026-05-08 07:42 UTC · model grok-4.3

classification 🧮 math.AP

keywords stationary Navier-StokesLiouville theoremradial velocityintegrability conditionhomogeneous Sobolev spaceuniquenesswhole spacethree dimensions

0 comments

The pith

Any Ḣ¹ solution to the stationary Navier-Stokes equations in R³ vanishes if its radial velocity component lies in L^p for 3/2 < p ≤ 3.

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

The paper establishes Liouville-type theorems showing that solutions to the stationary Navier-Stokes equations on all of three-dimensional space must be identically zero when they belong to the homogeneous Sobolev space Ḣ¹ and their radial velocity component satisfies an L^p integrability condition with 3/2 < p ≤ 3. This matters because the condition applies only to one directional component rather than the full velocity field and requires no additional decay or smallness assumptions at infinity. The analysis further yields a uniqueness result in which an L^6-type integrability condition is needed only inside a bounded region while the exponent relaxes toward the critical value 3 at large distances. A sympathetic reader would care because the results indicate that the equations' structure can enforce rigidity through localized and partial information on the velocity alone.

Core claim

Any solution u belonging to Ḣ¹(R³) that satisfies the stationary Navier-Stokes equations in the distributional sense and has its radial velocity component u_ρ in L^p(R³) for 3/2 < p ≤ 3 must be identically zero. A related uniqueness statement holds when the integrability condition is imposed only on a bounded region with a variable exponent that equals 6 inside that region and approaches the critical value 3 at infinity.

What carries the argument

The radial velocity component u_ρ, whose L^p integrability is used to control the nonlinear term and pressure via integral identities and thereby force the full velocity field to vanish.

If this is right

Nontrivial stationary solutions in the energy space cannot exist once the radial velocity meets the stated integrability threshold.
Rigidity of the system can be recovered from conditions that are imposed only on a single velocity component.
Uniqueness holds when integrability requirements are localized in space and variable in strength.
The pressure and convective terms can be controlled without uniform global bounds on the full velocity field.

Where Pith is reading between the lines

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

Similar radial-component conditions could be tested for time-dependent or forced Navier-Stokes problems where global decay is unavailable.
The approach may connect to other elliptic systems in which one directional derivative or component yields sufficient control to conclude vanishing.
Numerical checks of stationary flows could monitor radial integrability alone to detect whether a computed solution must be trivial.

Load-bearing premise

The velocity field satisfies the stationary Navier-Stokes equations in the distributional sense over all of R³ and belongs to the homogeneous Sobolev space Ḣ¹.

What would settle it

Exhibiting a nonzero vector field u in Ḣ¹(R³) that solves the stationary Navier-Stokes equations distributionally while having its radial component in L^p for some p between 3/2 and 3 would falsify the vanishing claim.

read the original abstract

We study Liouville-type results for the stationary Navier--Stokes equations in $\mathbb{R}^3$. We prove that any $\dot{H}^1(\mathbb{R}^3)$ solution is trivial under an integrability condition imposed only on the radial component of the velocity, namely $u_\rho(x) \in L^p(\mathbb{R}^3)$ with $3/2 < p \leq 3$. We also establish a uniqueness result in a variable-exponent setting, where an $L^6$-type condition is required only on a bounded region, while the exponent approaches the critical value $3$ at infinity. Our analysis reveals that the rigidity of the stationary Navier--Stokes system can be driven by localized and radial integrability properties, rather than uniform global conditions.

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

The paper relaxes Liouville conditions for stationary Navier-Stokes to radial velocity integrability in L^p (3/2 < p ≤ 3) plus dot H1, with a variable-exponent extension, but the radial projection step needs verification for uncontrolled remainders.

read the letter

The main point is that any dot H1 solution to stationary Navier-Stokes in R3 vanishes if the radial velocity component alone sits in L^p for 3/2 < p ≤ 3. They also give a version where an L6-type bound holds only on bounded sets and the exponent drifts to the critical value at infinity. This is a clear weakening of the usual global integrability or smallness hypotheses that appear in earlier Liouville results for the system. The radial reduction and the variable-exponent flexibility are the genuinely new pieces, and they suggest that rigidity can be driven by localized directional information rather than uniform decay on the whole field. That direction is worth pursuing for exterior-domain uniqueness questions. The soft spot is the passage from the vector equation to a usable scalar relation or energy identity for the radial part. Under mere distributional solutions in dot H1, the pressure recovered by Calderón-Zygmund operators and the convective term produce remainders whose integrability is not automatic from an L^p bound on one component. If those terms are not absorbed or shown to vanish, the conclusion does not follow from the stated assumptions. The abstract is clean, but the estimates will need careful checking. This is for people working on Liouville theorems, regularity, and uniqueness for stationary Navier-Stokes in unbounded domains. A reader already familiar with the literature on radial projections or weighted estimates would get the most out of it. The result is specific enough to merit referee time even if revisions are needed on the technical steps.

Referee Report

2 major / 2 minor

Summary. The manuscript proves Liouville-type results for the stationary Navier-Stokes equations in R^3. Any solution u belonging to Ḣ¹(R³) that satisfies the equations in the distributional sense must be identically zero provided the radial component u_ρ lies in L^p(R³) for 3/2 < p ≤ 3. A second result establishes uniqueness in a variable-exponent Lebesgue space where an L^6-type integrability condition is imposed only on a bounded region while the exponent approaches the critical value 3 at infinity.

Significance. If the proofs are complete, the results are significant because they demonstrate that the rigidity of stationary Navier-Stokes solutions can be enforced by integrability on a single (radial) component rather than on the full velocity field or by uniform decay at infinity. The variable-exponent uniqueness statement further shows that localized conditions suffice when combined with critical behavior at large distances. These weakenings of standard assumptions could be useful for future work on partial regularity or asymptotic behavior.

major comments (2)

[Proof of Theorem 1.1] Proof of Theorem 1.1 (radial projection step): the distributional momentum equation is projected onto the radial direction to obtain a scalar equation satisfied by u_ρ. Under mere Ḣ¹ regularity the pressure is recovered via Calderón-Zygmund operators and the convective term lies only in L^{3/2,∞}; the resulting commutator and remainder terms must be shown to vanish or to be absorbed when tested against suitable radial test functions. The manuscript should supply the precise integrability estimates that guarantee these remainders are controlled solely by the given L^p bound on u_ρ (3/2 < p ≤ 3) without additional smallness or decay hypotheses.
[Section 4 (variable-exponent uniqueness)] Variable-exponent uniqueness result: the transition from the local L^6-type condition to the critical exponent 3 at infinity requires a careful cutoff argument. It is not immediately clear whether the error terms produced by the cutoff (which involve gradients of the cutoff function) remain controllable when the exponent varies spatially; an explicit estimate showing that these errors are absorbed by the Ḣ¹ norm would strengthen the argument.

minor comments (2)

[Introduction] Notation: the symbol u_ρ is introduced without an explicit definition in terms of spherical coordinates; a short sentence clarifying u_ρ = u · (x/|x|) would improve readability.
[Theorem 1.2] The statement of the variable-exponent result should specify the precise range of the variable exponent function p(x) near infinity to avoid ambiguity.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and the constructive comments, which have helped clarify several technical points in the proofs. We address each major comment below and have revised the manuscript accordingly.

read point-by-point responses

Referee: [Proof of Theorem 1.1] Proof of Theorem 1.1 (radial projection step): the distributional momentum equation is projected onto the radial direction to obtain a scalar equation satisfied by u_ρ. Under mere Ḣ¹ regularity the pressure is recovered via Calderón-Zygmund operators and the convective term lies only in L^{3/2,∞}; the resulting commutator and remainder terms must be shown to vanish or to be absorbed when tested against suitable radial test functions. The manuscript should supply the precise integrability estimates that guarantee these remainders are controlled solely by the given L^p bound on u_ρ (3/2 < p ≤ 3) without additional smallness or decay hypotheses.

Authors: We appreciate the referee highlighting the need for explicit control on the commutator and remainder terms. In the revised manuscript we have inserted a new Lemma 2.3 in Section 2 that supplies the required integrability estimates. Using the Calderón-Zygmund representation of the pressure together with the L^p integrability of u_ρ (p > 3/2) and the Ḣ¹ norm of u, we obtain that the projected convective term and all commutators are bounded in the dual of the test-function space by a constant times ||u_ρ||_p ||∇u||_2. This term is absorbed directly into the left-hand side of the energy identity without invoking smallness or extra decay, thanks to the range 3/2 < p ≤ 3. The details appear in the new Subsection 2.2. revision: yes
Referee: [Section 4 (variable-exponent uniqueness)] Variable-exponent uniqueness result: the transition from the local L^6-type condition to the critical exponent 3 at infinity requires a careful cutoff argument. It is not immediately clear whether the error terms produced by the cutoff (which involve gradients of the cutoff function) remain controllable when the exponent varies spatially; an explicit estimate showing that these errors are absorbed by the Ḣ¹ norm would strengthen the argument.

Authors: We agree that the cutoff errors deserve a more explicit treatment when the exponent is spatially varying. In the revised version we have added an explicit estimate (display (4.12) in the proof of Theorem 1.2) showing that the terms involving ∇η are controlled by the Ḣ¹ norm. Because η is compactly supported and p(x) is bounded away from 3 on that support while p(x) → 3 at infinity, a localized Hölder inequality yields an absorption of the form ε||∇u||_2² + C_ε (local L^6 norm)^6. The local L^6 assumption then absorbs the error, completing the argument. This addition is contained in the expanded Section 4. revision: yes

Circularity Check

0 steps flagged

No circularity: direct PDE theorem with independent analysis

full rationale

The paper states and proves a Liouville-type vanishing theorem for distributional Ḣ¹ solutions of the stationary Navier-Stokes system under an L^p integrability hypothesis imposed only on the radial velocity component. The derivation begins from the weak form of the equations, recovers the pressure via Calderón-Zygmund theory, and proceeds via testing or monotonicity arguments that exploit the radial restriction; none of these steps reduce by definition or by self-citation to the target conclusion. No parameters are fitted to data, no ansatz is imported via prior work of the same authors, and the result is not a renaming of a known empirical pattern. The central claim therefore remains a genuine mathematical implication rather than a tautology or statistical artifact.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The result rests on standard functional-analytic properties of the Navier-Stokes equations (weak formulation, integration by parts, Sobolev embeddings) and the definition of Ḣ¹ solutions; no new entities or fitted parameters are introduced in the abstract.

axioms (2)

domain assumption Solutions satisfy the stationary Navier-Stokes equations in the distributional sense over R³.
Invoked to apply integration-by-parts identities that isolate the radial component.
domain assumption The velocity belongs to Ḣ¹(R³), i.e., ∇u ∈ L²(R³).
Standard energy space for weak solutions of NSE; used to control the linear term.

pith-pipeline@v0.9.0 · 5427 in / 1424 out tokens · 51256 ms · 2026-05-08T07:42:21.222344+00:00 · methodology

discussion (0)

Forward citations

Cited by 2 Pith papers

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

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 · 2 canonical work pages · cited by 1 Pith paper · 1 internal anchor

[1]

Chae , Anisotropic Liouville type theorem for the stationary Navier–Stokes equations in ^3 , Appl

D. Chae , Anisotropic Liouville type theorem for the stationary Navier–Stokes equations in ^3 , Appl. Math. Lett. 142, Paper No. 108655, 5 pp. (2023)

2023
[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 and G

D. Chamorro and 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]

Gilbarg and H.F

D. Gilbarg and H.F. Weinberger , Asymptotic properties of steady plane solutions of the Navier-Stokes equations with bounded Dirichlet integral , Ann. Scuola Norm. Super. Pisa. CI. Sci. 5(4) (1978), 381–404

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

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

G. Vergara-Hermosilla , Liouville theorems above the critical 9/2 Threshold for stationary Navier-Stokes Equations, arXiv preprint arXiv:2604.06527, 2026

work page internal anchor Pith review Pith/arXiv arXiv 2026
[12]

Zhang and Q

Z. Zhang and Q. Zu , Two improved anisotropic Liouville type theorems for the stationary 3D Navier–Stokes equations , Arch. Math. 124 (2025), 571–582

2025