pith. sign in

arxiv: 2310.09752 · v3 · submitted 2023-10-15 · 🧮 math.AP

Existence of steady Navier-Stokes flows exterior to an infinite cylinder

Mitsuo Higaki , Ryoma Horiuchi This is my paper

Pith reviewed 2026-05-24 06:27 UTC · model grok-4.3

classification 🧮 math.AP
keywords steady Navier-Stokesexterior cylinderHamel flowweak solutionsvertically uniformmode analysistransport-diffusionrotating flow
0
0 comments X

The pith

Steady weak solutions exist for the Navier-Stokes equations outside an infinite cylinder, asymptotic to a Hamel-type flow.

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

This paper proves existence of weak solutions to the steady three-dimensional Navier-Stokes equations in the exterior of an infinite cylinder. The solutions are vertically uniform, vanish at horizontal infinity, and are asymptotic to a Hamel-type flow for boundary data consisting of rotating and suction flows together with a small external force of the form g plus divergence of F. The vertical velocity satisfies its own transport-diffusion equation with a logarithmic fundamental solution, preventing reduction to the planar case. A reader would care because the result gives rigorous justification for modeling certain three-dimensional cylinder flows that retain essential three-dimensional features despite vertical uniformity.

Core claim

For a boundary datum determined by a rotating flow and a suction flow, and for a small force of the form f=g+div F with suitable decay, we prove the existence of a weak solution asymptotic to the corresponding Hamel-type flow in the class of vertically uniform flows which vanish at horizontal infinity.

What carries the argument

Mode-by-mode analysis of the linearized three-dimensional problem around the Hamel-type flow combined with a contraction argument.

If this is right

  • The constructed solutions satisfy the Navier-Stokes equations weakly and match the prescribed boundary and asymptotic conditions.
  • The vertical velocity component is controlled separately by its transport-diffusion equation involving the two-dimensional Laplacian.
  • The solutions vanish at horizontal infinity and remain uniform in the vertical direction.
  • The existence holds for forces written as g plus the divergence of a tensor F with suitable decay.

Where Pith is reading between the lines

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

  • The mode-by-mode linear analysis could be adapted to study stability of these flows under small time-dependent perturbations.
  • Similar logarithmic growth issues may appear in other exterior problems with a uniform direction, suggesting a general limitation on decay rates.
  • The solutions provide explicit benchmark profiles for numerical codes simulating flow around long cylindrical obstacles.

Load-bearing premise

The external force must be small enough in the chosen function spaces for the contraction mapping to close around the linearized solution.

What would settle it

A concrete counterexample consisting of rotating-suction boundary data and a force below the smallness threshold for which no vertically uniform weak solution asymptotic to the Hamel flow exists.

read the original abstract

We consider the three-dimensional steady Navier-Stokes system in the exterior of an infinite cylinder under the action of an external force. We construct solutions in the class of vertically uniform flows which vanish at horizontal infinity. More precisely, for a boundary datum determined by a rotating flow and a suction flow, and for a small force of the form $f=g+\operatorname{div} F$ with suitable decay, we prove the existence of a weak solution asymptotic to the corresponding Hamel-type flow. Although all data are independent of the vertical variable, the problem is not reduced to the planar exterior Navier-Stokes system: the vertical component satisfies a separate transport-diffusion equation involving the two-dimensional Laplacian, whose fundamental solution has logarithmic growth. The proof is based on a mode-by-mode analysis of the linearized three-dimensional problem around the Hamel-type flow and a contraction argument.

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.

Referee Report

0 major / 3 minor

Summary. The manuscript proves existence of weak solutions to the 3D steady Navier-Stokes equations in the exterior of an infinite cylinder. Solutions are vertically uniform, vanish at horizontal infinity, and asymptotic to a Hamel-type background flow determined by rotating and suction boundary data. For small forces of the form f = g + div F with suitable decay, existence follows from linearization around the Hamel flow, a mode-by-mode analysis of the resulting linear operator (treating the vertical velocity via its own transport-diffusion equation with 2D Laplacian), and a contraction mapping argument.

Significance. If the estimates close, the result supplies a rigorous existence theory for a class of 3D exterior flows that cannot be reduced to the planar problem because of the logarithmic growth in the vertical component's fundamental solution. It adapts standard linearization-plus-contraction techniques to cylindrical geometry while explicitly handling the non-planar vertical equation, thereby extending the literature on steady exterior Navier-Stokes problems with small data.

minor comments (3)
  1. The abstract and introduction should state the precise function spaces (e.g., weighted Sobolev or L^{3/2,∞} type) in which the contraction is performed and the precise decay assumptions on g and F; this information appears only later and makes the main theorem statement harder to parse on first reading.
  2. Notation for the Hamel-type background flow (velocity components, pressure) is introduced in the abstract but defined only in §2; moving the definition forward would improve readability.
  3. The mode-by-mode decomposition (presumably Fourier in the angular variable) is central to the linear analysis; a brief paragraph in the introduction outlining why this decomposition is natural for vertically uniform data would help readers unfamiliar with the cylindrical setting.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary, significance assessment, and recommendation of minor revision. No major comments were listed in the report.

Circularity Check

0 steps flagged

No significant circularity; standard perturbative existence proof

full rationale

The derivation is a standard existence argument: linearize the 3D steady NS system around a given Hamel-type background flow (explicitly constructed from rotating and suction boundary data), perform mode-by-mode analysis of the resulting linear operator (explicitly treating the vertical velocity via its own transport-diffusion equation with 2D Laplacian), and close a contraction mapping for small forces of the stated form. No quantity is defined in terms of another that is later 'predicted,' no fitted parameter is relabeled as a prediction, and no load-bearing step reduces to a self-citation or ansatz smuggled from prior work by the same authors. The abstract itself flags the logarithmic growth issue and the non-reduction to the planar problem, confirming the argument is self-contained and externally falsifiable via the contraction-mapping fixed-point theorem.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The argument rests on standard properties of the 2D Laplacian fundamental solution and on the existence of Hamel-type background flows; no free parameters or new entities are introduced in the abstract.

axioms (2)
  • standard math The fundamental solution of the two-dimensional Laplacian has logarithmic growth
    Invoked to explain why the vertical component prevents reduction to the planar problem.
  • domain assumption Hamel-type flows exist as background solutions
    The constructed solutions are required to be asymptotic to these flows.

pith-pipeline@v0.9.0 · 5668 in / 1268 out tokens · 27351 ms · 2026-05-24T06:27:40.292936+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

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

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.

Reference graph

Works this paper leans on

19 extracted references · 19 canonical work pages

  1. [1]

    On the solutions of a class of equations occurring in continuum mechanics, with application to the Stokes parado x

    I-Dee Chang and Robert Finn. On the solutions of a class of equations occurring in continuum mechanics, with application to the Stokes parado x. Arch. Rational Mech. Anal., 7:388–401, 1961

    work page 1961

  2. [2]

    Giovanni P . Galdi. Stationary Navier-Stokes problem in a two-dimensional exterior domain. In Stationary partial differential equations. Vol. I, Handb. Differ. Equ., pages 71–155. North-Holland, Amsterdam, 2004

    work page 2004

  3. [3]

    Giovanni P . Galdi. An introduction to the mathematical theory of the Navier-St okes equations. Springer Monographs in Mathematics. Springer, New Y ork, second edition,

    work page

  4. [4]

    Steady-state problems

    work page

  5. [5]

    On stationary two- dimensional flows around a fast rotating disk

    Isabelle Gallagher, Mitsuo Higaki, and Y asunori Maekaw a. On stationary two- dimensional flows around a fast rotating disk. Math. Nachr ., 292(2):273–308, 2019

    work page 2019

  6. [6]

    Generalized scale-in variant solutions to the two- dimensional stationary Navier-Stokes equations

    Julien Guillod and Peter Wittwer. Generalized scale-in variant solutions to the two- dimensional stationary Navier-Stokes equations. SIAM J. Math. Anal., 47(1):955–968, 2015

    work page 2015

  7. [7]

    Spiralf¨ ormige Bewegungen z¨ aher Fl¨ ussigkeiten

    Georg Hamel. Spiralf¨ ormige Bewegungen z¨ aher Fl¨ ussigkeiten. Jahresbericht der Deutschen Mathematiker-V ereinigung, 25:34–60, 1917

    work page 1917

  8. [8]

    Existence of planar non-symmetric stati onary flows with large flux in an exterior disk

    Mitsuo Higaki. Existence of planar non-symmetric stati onary flows with large flux in an exterior disk. J. Differential Equations, 360:182–200, 2023. 16

    work page 2023

  9. [9]

    On the existence o f solutions to the planar exterior Navier Stokes system

    Matthieu Hillairet and Peter Wittwer. On the existence o f solutions to the planar exterior Navier Stokes system. J. Differential Equations, 255(10):2996–3019, 2013

    work page 2013

  10. [10]

    Stationary solutions to t he Navier-Stokes system in an exterior plane domain: 90 years of search, mysteries and i nsights

    Mikhail Korobkov and Xiao Ren. Stationary solutions to t he Navier-Stokes system in an exterior plane domain: 90 years of search, mysteries and i nsights. J. Math. Fluid Mech., 25(3):Paper No. 55, 22, 2023

    work page 2023

  11. [11]

    On a new class of generali zed solutions for the Stokes equations in exterior domains

    Hideo Kozono and Hermann Sohr. On a new class of generali zed solutions for the Stokes equations in exterior domains. Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4) , 19(2):155–181, 1992

    work page 1992

  12. [12]

    Asym ptotic behavior and Liouville-type theorems for axisymmetric stationary Navi er-Stokes equations outside of an infinite cylinder with a periodic boundary condition

    Hideo Kozono, Y utaka Terasawa, and Y uta Wakasugi. Asym ptotic behavior and Liouville-type theorems for axisymmetric stationary Navi er-Stokes equations outside of an infinite cylinder with a periodic boundary condition. J. Differential Equations, 365:905–926, 2023

    work page 2023

  13. [13]

    Existence of th e stationary Navier-Stokes flow in R2 around a radial flow

    Y asunori Maekawa and Hiroyuki Tsurumi. Existence of th e stationary Navier-Stokes flow in R2 around a radial flow. J. Differential Equations, 350:202–227, 2023

    work page 2023

  14. [14]

    On the existenc e of vanishing at infinity symmetric solutions to the plane stationary exterior Navie r-Stokes problem

    Konstantin Pileckas and Remigio Russo. On the existenc e of vanishing at infinity symmetric solutions to the plane stationary exterior Navie r-Stokes problem. Math. Ann., 352(3):643–658, 2012

    work page 2012

  15. [15]

    A note on the exterior two-dimensional s teady-state Navier-Stokes problem

    Antonio Russo. A note on the exterior two-dimensional s teady-state Navier-Stokes problem. J. Math. Fluid Mech. , 11(3):407–414, 2009

    work page 2009

  16. [16]

    On Stokes’ problem

    Remigio Russo. On Stokes’ problem. In Advances in mathematical fluid mechanics , pages 473–511. Springer, Berlin, 2010

    work page 2010

  17. [17]

    Unique existence of stationary soluti ons to the two-dimensional Navier-Stokes equations on exterior domains

    Masao Y amazaki. Unique existence of stationary soluti ons to the two-dimensional Navier-Stokes equations on exterior domains. In Mathematical analysis on the Navier- Stokes equations and related topics, past and future , volume 35 of GAKUTO Internat. Ser . Math. Sci. Appl., pages 220–241. Gakkotosho, Tokyo, 2011

    work page 2011

  18. [18]

    Two-dimensional stationary Navier-S tokes equations with 4-cyclic symmetry

    Masao Y amazaki. Two-dimensional stationary Navier-S tokes equations with 4-cyclic symmetry. Math. Nachr ., 289(17-18):2281–2311, 2016

    work page 2016

  19. [19]

    Existence and uniqueness of weak solut ions to the two-dimensional stationary Navier-Stokes exterior problem

    Masao Y amazaki. Existence and uniqueness of weak solut ions to the two-dimensional stationary Navier-Stokes exterior problem. J. Math. Fluid Mech. , 20(4):2019–2051, 2018. M. Higaki Department of Mathematics, Graduate School of Science, Kob e University, 1-1 Rokkodai, Nada-ku, Kobe 657-8501, Japan. Email: higaki@math.kobe-u.ac.jp R. Horiuchi Department o...

    work page 2019