Pith. sign in

REVIEW 1 major objections 1 minor 2 cited by

Small steady 3D Navier-Stokes solutions in exterior domains have next-order asymptotics O(1/|x|^2) set by eigenvalues of a linearized operator around the Landau solution on the sphere.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

T0 review · grok-4.3

2026-06-30 14:53 UTC pith:RJZ5V26Q

load-bearing objection This paper confirms the conjectured O(1/|x|^2) correction to small steady Navier-Stokes solutions and computes it explicitly from the spectrum of the linearized operator on the sphere. the 1 major comments →

arxiv 2605.24200 v1 pith:RJZ5V26Q submitted 2026-05-22 math.AP

Refined asymptotics of the steady Navier Stokes equation around small Landau solutions

Hao Jia , Vladim\'ir \v{S}ver\'ak This is my paper
classification math.AP
keywords Navier-Stokes equationsLandau solutionsasymptoticsexterior domainslinearized operatorsteady solutionsfar-field behavior
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

The paper studies the large-distance behavior of small steady solutions to the 3D Navier-Stokes equations in exterior domains. Earlier work showed the leading term at infinity is a Landau solution; this work confirms the next term decays as O(1/|x|^2) and gives an explicit expansion for it. The expansion coefficients and rates come from the eigenvalues of a linearized operator built around the Landau solution restricted to the unit sphere. Some modes decay exactly at rate 1/|x|^2 while others decay faster. The smallness of the solution keeps nonlinear interactions from changing these second-order terms.

Core claim

We confirm that the next order term is O(1/|x|^2) as x→∞ and we compute the next order asymptotics in terms of eigenvalues of a suitably constructed linearized operator around the Landau solution on the unit sphere. While the decay of some of the terms is precisely O(1/|x|^2), the decay of other terms is slightly accelerated.

What carries the argument

Linearized operator around the Landau solution on the unit sphere, whose eigenvalues control the coefficients and decay rates of the perturbation terms in the far-field expansion.

Load-bearing premise

The smallness of the steady solution ensures that nonlinear terms do not affect the second-order asymptotics and that the perturbation can be fully captured by the spectrum of the linearized operator on the sphere without additional constraints from the exterior domain geometry.

What would settle it

Numerical construction of a small steady Navier-Stokes solution in an exterior domain followed by subtraction of the Landau term and direct measurement of the remaining decay rate at successively larger radii.

Watch this falsifier. Get emailed when new claim-graph text bears on it.

Share X Bluesky LinkedIn Reddit HN

If this is right

  • The far-field expansion of any such small solution is a linear combination of the eigenmodes of the spherical linearized operator.
  • Nonlinear interactions remain negligible at the second order because of the smallness assumption.
  • The precise decay rates are independent of further details of the exterior domain once the leading Landau term is fixed.

Where Pith is reading between the lines

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

  • The same spherical linearization technique may extend to other steady or slowly varying flows whose leading far-field profile is known.
  • Modes with accelerated decay could be used to construct or select solutions with faster overall fall-off.
  • High-resolution numerical solvers for exterior problems could test the predicted spectrum by fitting large-radius data to the eigenmode basis.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

1 major / 1 minor

Summary. The manuscript studies the large-distance asymptotics of small steady solutions to the 3D Navier-Stokes equations in exterior domains. Building on the leading-term result of Korolev-Sverak, it confirms the conjecture that the next-order term is O(1/|x|^2) and computes the coefficients explicitly in terms of eigenvalues of a linearized operator around the Landau solution restricted to the unit sphere, noting that some correction terms decay at precisely this rate while others are slightly faster.

Significance. If the spectral computation and error control hold, the result supplies a concrete far-field expansion beyond the Landau solution, which is useful for understanding steady exterior flows and could inform stability or wake analyses. The approach of reducing the correction to a spherical eigenvalue problem is a natural and potentially reusable technique for such asymptotic questions.

major comments (1)
  1. [Abstract] The central claim that smallness of the steady solution guarantees nonlinear terms remain strictly higher order than O(1/|x|^2) and that the sphere-linearized spectrum fully captures the correction (without additional slow modes generated by the exterior boundary) is load-bearing but not yet verified in the provided material; explicit remainder estimates showing that any nonlinear or boundary-induced contributions are o(1/|x|^2) are required to justify passing from the linearized spherical problem to the full exterior-domain asymptotics.
minor comments (1)
  1. [Abstract] Abstract contains the typographical repetition "the the decay".

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and the constructive major comment. We agree that the justification of the remainder requires strengthening and will revise the manuscript to include the requested explicit estimates.

read point-by-point responses

  1. Referee: [Abstract] The central claim that smallness of the steady solution guarantees nonlinear terms remain strictly higher order than O(1/|x|^2) and that the sphere-linearized spectrum fully captures the correction (without additional slow modes generated by the exterior boundary) is load-bearing but not yet verified in the provided material; explicit remainder estimates showing that any nonlinear or boundary-induced contributions are o(1/|x|^2) are required to justify passing from the linearized spherical problem to the full exterior-domain asymptotics.

    Authors: We agree that the current presentation would benefit from more explicit remainder estimates. In the revised version we will add a new subsection (or expand the existing error analysis) that derives the required o(1/|x|^2) bounds. Using the smallness assumption in suitable weighted spaces, we will decompose the solution into the Landau profile, the spherical-eigenvalue correction, and a remainder term; standard bootstrap arguments together with the spectral gap on the sphere will then show that both the quadratic nonlinearity and any boundary-induced contributions decay strictly faster than 1/|x|^2. This will make the passage from the linearized spherical problem to the full exterior-domain asymptotics fully rigorous. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained beyond cited leading term

full rationale

The paper cites prior work by one co-author only for the established leading Landau-solution asymptotics and the conjecture on the next order; the central claim (confirmation that the correction is O(1/|x|^2) with explicit coefficients from the spectrum of the linearized operator on the sphere) rests on a fresh linearization step and eigenvalue analysis that does not reduce by construction to the cited input or to any fitted quantity. No self-definitional loops, ansatz smuggling, or renaming of known results appear in the derivation chain.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The analysis rests on the existence and leading-term properties of small steady solutions and Landau solutions established in prior work; no new free parameters or invented entities are introduced.

axioms (1)
  • domain assumption Small steady solutions admit an asymptotic expansion whose leading term is exactly the Landau solution, with the remainder controllable by linearization.
    Invoked to justify passing from the leading term to the spectral analysis of the correction.

pith-pipeline@v0.9.1-grok · 5655 in / 1296 out tokens · 58157 ms · 2026-06-30T14:53:33.273258+00:00 · methodology

0 comments
Cite this review

Pith. "Pith review of Refined asymptotics of the steady Navier Stokes equation around small Landau solutions." pith.science (2026). https://pith.science/paper/RJZ5V26Q

@misc{pith2026260524200,
  author       = {Pith},
  title        = {Pith review of: Refined asymptotics of the steady Navier Stokes equation around small Landau solutions},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/RJZ5V26Q}},
  note         = {Machine review of arXiv:2605.24200}
}
Share X Bluesky LinkedIn Reddit HN
read the original abstract

In this paper we study the large distance asymptotics of small steady solutions of the 3d Navier Stokes equation in exterior domains. It was proved by Korolev and the second author \cite{SverakKorolev} that the leading term is given by the Landau solution, and it was conjectured that the next order term should be $O(1/|x|^2)$ as $x\to\infty$. We confirm that this is indeed the case and we compute the next order asymptotics in terms of eigenvalues of a suitably constructed linearized operator around the Landau solution on the unit sphere. While the decay of some of the terms is precisely $O(1/|x|^2)$, the the decay of other terms is slightly accelerated.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 2 Pith papers

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

  1. Singular stationary Navier-Stokes flows: examples and stability

    math.AP 2026-06 unverdicted novelty 6.0

    Analyzes singular stationary Navier-Stokes solutions with boundaries, identifies new classes, and proves asymptotic stability for many including Type III solutions like Serrin's vortex via eventual regularity under ax...

  2. Minus one Homogeneous Euler Flows are Geodesible

    math.AP 2026-06 unverdicted novelty 6.0

    In n≥4, (-1)-homogeneous Euler flows are geodesible with constant Bernoulli function and induced by geodesible fields on S^{n-1}; in n=4 they extend Beltrami fields on S^3.

Reference graph

Works this paper leans on

22 extracted references · 22 canonical work pages · cited by 2 Pith papers · 1 internal anchor

  1. [1]

    C. J. Amick. On Leray’s problem of steady Navier–Stokes flow past a body in the plane.Acta Math., 161:71–130, 1988

    work page 1988

  2. [2]

    K. I. Babenko. On stationary solutions of the problem of flow past a body of a viscous incompressible fluid.Mat. Sb., 91(133):3–25, 1973. English Trans- lation:Math. USSR Sbornik, 20, 1973, 1–25

    work page 1973

  3. [3]

    Batchelor

    G.K. Batchelor. An introduction to fluid dynamics.Cambridge University Press, 1974

    work page 1974

  4. [4]

    Cannone and G

    M. Cannone and G. Karch. Smooth or singular solutions to the Navier–Stokes system?J. Differential Equations, 197(2):247–274, 2004

    work page 2004

  5. [5]

    Constantin and C

    P. Constantin and C. Foia¸ s.Navier–Stokes Equations. University of Chicago Press, 1988

    work page 1988

  6. [6]

    Deuring and G

    P. Deuring and G. P. Galdi. On the asymptotic behavior of physically rea- sonable solutions to the stationary Navier–Stokes system in three-dimensional exterior domains with zero velocity at infinity.J. Math. Fluid Mech., 2(4):353– 364, 2000

    work page 2000

  7. [7]

    Farwig and T

    R. Farwig and T. Hishida. Asymptotic profiles of steady Stokes and Navier– Stokes flows around a rotating obstacle.Ann. Univ. Ferrara, 55:263–277, 2009

    work page 2009

  8. [8]

    R. Finn. On the exterior stationary problem for the Navier–Stokes equations, and associated perturbation problems.Arch. Rational Mech. Anal., 19:363– 406, 1965

    work page 1965

  9. [9]

    G. P. Galdi.An Introduction to the Mathematical Theory of the Navier–Stokes Equations: Volumes I and II. Springer, 1994

    work page 1994

  10. [10]

    J. Guillod. Steady solutions of the Navier–Stokes equations in the plane. arXiv preprint arXiv:1511.03938, 2015

    work page internal anchor Pith review Pith/arXiv arXiv 2015

  11. [11]

    Jia and V

    H. Jia and V. ˇSver´ ak. Asymptotics of stationary Navier–Stokes equations in higher dimensions.Acta Mathematica Sinica, English Series, 34(4):598–611, 2018

    work page 2018

  12. [12]

    Korobkov, K

    M. Korobkov, K. Pileckas, and R. Russo. Solution of Leray’s problem for stationary Navier–Stokes equations in plane and axially symmetric spatial domains.Annals of Mathematics, 181(2):769–807, 2015

    work page 2015

  13. [13]

    Korobkov and X

    M. Korobkov and X. Ren. Stationary solutions to the Navier–Stokes system in an exterior plane domain: 90 years of search, mysteries and insights.J. Math. Fluid Mech., 25:55, 2023

    work page 2023

  14. [14]

    Korolev and V

    A. Korolev and V. ˇSver´ ak. On the large-distance asymptotics of steady state solutions of the Navier-Stokes equations in 3D exterior domains.Ann. Inst. H. Poincar´ e C Anal. Non Lin´ eaire, 28(2):303–313, 2011. 49

    work page 2011

  15. [15]

    L. D. Landau. A new exact solution of the Navier–Stokes equations.Dokl. Akad. Nauk SSSR, 43:299, 1944

    work page 1944

  16. [16]

    Landau and E.M

    L.D. Landau and E.M. Lifshitz. Fluid mechanics.Butterworth-Heinemann; 2nd edition, 1987

    work page 1987

  17. [17]

    J. Leray. ´Etude de diverses ´ equations int´ egrales non lin´ eaires et de quelques probl` emes que pose l’hydrodynamique.J. Math. Pures Appl., 12:1–82, 1933

    work page 1933

  18. [18]

    S. A. Nazarov and K. Pileckas. On steady Stokes and Navier–Stokes problems with zero velocity at infinity in a three-dimensional exterior domain.J. Math. Kyoto Univ., 40(3):475–492, 2000

    work page 2000

  19. [19]

    Tian and Z

    G. Tian and Z. Xin. One-point singular solutions to the Navier–Stokes equa- tions.Topol. Methods Nonlinear Anal., 11(1):135–145, 1998

    work page 1998

  20. [20]

    Tsai.Lectures on Navier–Stokes Equations, volume 192 ofGraduate Studies in Mathematics

    T.P. Tsai.Lectures on Navier–Stokes Equations, volume 192 ofGraduate Studies in Mathematics. American Mathematical Society, 2018

    work page 2018

  21. [21]

    ˇSver´ ak

    V. ˇSver´ ak. On Landau’s solutions of the Navier–Stokes equations.Journal of Mathematical Sciences, 179:208–228, 2011

    work page 2011

  22. [22]

    V. I. Yudovich. An example of loss of stability and generation of a secondary flow in a closed vessel.Math. USSR-Sb., 3(4):519–533, 1967. 50

    work page 1967