pith. sign in

arxiv: 2601.08647 · v2 · pith:WBPR26CPnew · submitted 2026-01-13 · 🧮 math.AP

A selection principle for 2D steady Euler flows via the vanishing viscosity limit

Changfeng Gui , Chunjing Xie , Huan Xu This is my paper

Pith reviewed 2026-05-21 16:32 UTC · model grok-4.3

classification 🧮 math.AP
keywords vanishing viscositysteady Euler flowsNavier-Stokes equationsconstant vorticitystreamline analysisCouette flowPoiseuille flowselection principle
0
0 comments X

The pith

Vanishing viscosity limits of steady Navier-Stokes are only constant-vorticity Euler flows in bounded domains and constant, Couette or Poiseuille flows in periodic strips.

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

The paper shows that steady solutions of the 2D Euler equations can be selected as the physical ones by taking the vanishing viscosity limit of steady Navier-Stokes solutions. In any bounded connected domain these limits must be Euler flows whose vorticity is constant throughout the domain. The result holds even without assuming that the viscous flows have nested closed streamlines. In an infinitely long strip, when the viscous velocity is periodic along the strip, the only surviving limits are constant flows, Couette flows, and Poiseuille flows. The proofs rest on tracking streamlines in both the viscous approximations and the inviscid limits, using the fact that chaotic streamlines occupy a set of two-dimensional Lebesgue measure zero.

Core claim

In a bounded connected domain the only vanishing viscosity limits are the steady Euler flows with constant vorticity. When the domain is an infinitely long strip and the viscous velocity is periodic in the longitudinal direction, the vanishing viscosity limits are exactly the constant flows, the Couette flows, and the Poiseuille flows. These characterizations follow from streamline analysis in which the set of chaotic streamlines of the Euler flow has zero Lebesgue measure, together with a rigidity theorem establishing that any non-shear steady classical Euler flow in a periodic strip must possess closed streamlines.

What carries the argument

Streamline analysis of both viscous and inviscid flows, relying on the observation that chaotic streamlines of the limiting Euler flow have zero two-dimensional Lebesgue measure and on a rigidity theorem for non-shear steady Euler flows in periodic strips proved via a total curvature estimate.

If this is right

  • The classical Prandtl-Batchelor theorem holds without its usual assumption of nested closed streamlines.
  • Viscosity eliminates all but the constant-vorticity steady Euler solutions in bounded domains.
  • In periodic strips the only admissible steady Euler solutions after the vanishing viscosity limit are the three listed shear flows.
  • Any non-shear steady classical Euler flow in a periodic strip must have closed streamlines.

Where Pith is reading between the lines

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

  • The measure-zero condition on chaotic streamlines may allow similar selection results in other domains once an analogous rigidity property is established.
  • Direct numerical simulation of the steady Navier-Stokes equations at successively smaller viscosities could check whether the computed limits indeed match only the predicted families.
  • The total curvature estimate introduced for the strip rigidity result could be adapted to study streamline geometry in other steady Euler problems.

Load-bearing premise

The set of chaotic streamlines of the limiting Euler flow has two-dimensional Lebesgue measure zero.

What would settle it

A sequence of steady Navier-Stokes solutions whose viscosity tends to zero and that converges to a steady Euler flow with non-constant vorticity (or, in the strip, to a non-shear flow without closed streamlines) would falsify the claim.

Figures

Figures reproduced from arXiv: 2601.08647 by Changfeng Gui, Chunjing Xie, Huan Xu.

Figure 1
Figure 1. Figure 1: Illustration for the proof of Proposition 5.1, Step 4. For every δ2 ∈ (0, δ1), by (37) and Lemma 2.1, we see that S−δ2,0 \(u −1 (C (u))∩{|∇u| > 0}) is a subset of u −1 (R(u)) with positive H2 -measure. Consequently, for every δ2 ∈ (0, δ1), there exists δ ∈ (0, δ2) such that −δ ∈ R(u). By the above claim, we see that the component of u −1 (−δ) that contains γ−δ is a non-contractible closed streamline. We th… view at source ↗
read the original abstract

The 2D Euler system, which governs inviscid incompressible fluid flow, can admit infinitely many steady solutions in a given domain with slip boundary conditions. To select physical classical solutions, we investigate the vanishing viscosity limits of the steady Navier-Stokes system. The vanishing viscosity limits in periodic strips or bounded connected domains are completely characterized, even when strong boundary layers may appear. More precisely, we show that the only vanishing viscosity limits in a bounded connected domain are flows with constant vorticity. The significance of this result is that the approximating Navier-Stokes solutions are not required to have nested closed streamlines, an essential assumption in the century-old Prandtl-Batchelor theorem. For flows in an infinitely long strip, if the viscous velocity (but not the pressure) is periodic in the strip direction, we show that the only vanishing viscosity limits are constant flows, Couette flows, and Poiseuille flows. The proof relies on a delicate analysis of the streamlines for both viscous and inviscid flows, in which a key observation is that the set of chaotic streamlines for the Euler flow is null with respect to two-dimensional Lebesgue measure. The second result depends not only on the first but also on a powerful rigidity theorem that any non-shear steady classical Euler flow in a periodic strip must have closed streamlines, established via an analysis of streamlines and a novel total curvature estimate.

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

2 major / 2 minor

Summary. The manuscript claims to characterize vanishing-viscosity limits of steady 2D Navier-Stokes solutions to steady Euler solutions. In a bounded connected domain the only possible limits are constant-vorticity flows; the argument does not require the nested-closed-streamline assumption of the classical Prandtl-Batchelor theorem. In an infinitely long strip, when the viscous velocity (but not the pressure) is periodic in the longitudinal direction, the only possible limits are constant flows, Couette flows, and Poiseuille flows. The proofs rest on a detailed comparison of streamlines for the viscous and inviscid systems, a key measure-zero statement for chaotic streamlines of the limiting Euler flow with respect to two-dimensional Lebesgue measure, and an auxiliary rigidity theorem asserting that any non-shear classical steady Euler flow in a periodic strip must possess closed streamlines, proved via a novel total-curvature estimate.

Significance. If the central claims are correct, the work supplies a selection principle for physically relevant steady Euler flows that applies even when strong boundary layers are present and without the structural hypotheses previously required. The combination of measure-theoretic streamline analysis with a curvature-based rigidity result is technically novel and could influence subsequent studies of inviscid limits. The explicit characterization in both bounded domains and strips constitutes a concrete advance in the long-standing problem of identifying which Euler solutions arise from Navier-Stokes approximations.

major comments (2)
  1. [Introduction and bounded-domain analysis] The key observation that the set of chaotic streamlines of the limiting Euler flow has two-dimensional Lebesgue measure zero is load-bearing for both main theorems (see the paragraph immediately after the statement of the main results in the introduction and the corresponding argument in the bounded-domain section). The manuscript must supply a precise justification that this null-measure property passes to the limit from the Navier-Stokes sequence, especially under possible weak L^p convergence of vorticity or concentration of vorticity in boundary layers; without uniform control on the topology of level sets, the exclusion of non-constant-vorticity candidates may fail.
  2. [Strip-case analysis and rigidity theorem] The strip result depends on the independent rigidity theorem that every non-shear classical steady Euler flow in a periodic strip has closed streamlines (proved via the total-curvature estimate). It is not evident that the limiting flow obtained from the viscous sequence automatically satisfies the smoothness and periodicity hypotheses needed to invoke this rigidity theorem; an explicit verification that the limit inherits the required regularity is required.
minor comments (2)
  1. [Abstract] The abstract states that the viscous velocity is periodic but the pressure is not; this distinction should be recalled explicitly when the periodicity assumption is used in the streamline analysis.
  2. [Notation and preliminaries] Notation for the stream function and vorticity should be introduced once and used uniformly; occasional switches between different symbols for the same quantity reduce readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful and constructive report. The comments highlight important points on rigor that we can address by adding explicit justifications and verifications. We respond point by point below and will incorporate the necessary clarifications in the revised manuscript.

read point-by-point responses

  1. Referee: The key observation that the set of chaotic streamlines of the limiting Euler flow has two-dimensional Lebesgue measure zero is load-bearing for both main theorems (see the paragraph immediately after the statement of the main results in the introduction and the corresponding argument in the bounded-domain section). The manuscript must supply a precise justification that this null-measure property passes to the limit from the Navier-Stokes sequence, especially under possible weak L^p convergence of vorticity or concentration of vorticity in boundary layers; without uniform control on the topology of level sets, the exclusion of non-constant-vorticity candidates may fail.

    Authors: We agree that a self-contained justification is required. The limiting Euler flow is obtained via weak convergence of vorticity in L^p (p>1) together with strong convergence of the velocity in W^{1,2} away from boundary layers. Because the stream function satisfies an elliptic equation with uniformly bounded right-hand side in the interior, the level sets converge in the Hausdorff sense on compact subsets of the domain. Consequently, any positive-measure set of chaotic streamlines in the limit would produce a positive-measure set of chaotic streamlines for the approximating Navier-Stokes flows, contradicting the fact that the viscous vorticity is transported along nearly closed streamlines. We will add a new lemma (with a short proof using the co-area formula) immediately after the statement of the main results to make this passage to the limit fully rigorous. revision: yes

  2. Referee: The strip result depends on the independent rigidity theorem that every non-shear classical steady Euler flow in a periodic strip has closed streamlines (proved via the total-curvature estimate). It is not evident that the limiting flow obtained from the viscous sequence automatically satisfies the smoothness and periodicity hypotheses needed to invoke this rigidity theorem; an explicit verification that the limit inherits the required regularity is required.

    Authors: We thank the referee for this observation. Under the standing assumption that the viscous velocity is periodic in the longitudinal direction, the limit velocity inherits the same periodicity by uniform convergence on compact sets. Moreover, the steady Euler equations are satisfied classically in the interior because the stream function of the limit satisfies a uniformly elliptic equation with C^{1,α} coefficients (obtained by elliptic regularity from the weak form). Thus the limit is a classical C^2 solution to which the rigidity theorem applies directly. We will insert a short paragraph, right before the invocation of the rigidity result, that records these regularity and periodicity statements together with the relevant references to standard elliptic estimates. revision: yes

Circularity Check

0 steps flagged

No circularity: derivation proceeds via independent streamline analysis and rigidity theorem

full rationale

The paper establishes its selection principle for Euler limits by analyzing streamlines of both viscous and inviscid flows, showing that chaotic streamlines form a null set with respect to 2D Lebesgue measure, and invoking a rigidity result that non-shear steady Euler flows in periodic strips must have closed streamlines. These steps rely on measure-theoretic properties and a total curvature estimate rather than any self-definitional loop, fitted parameter renamed as prediction, or load-bearing self-citation that reduces the central claim to its own inputs. The results are presented as consequences of the vanishing-viscosity passage and external mathematical facts about Euler streamlines, keeping the argument self-contained against the NS equations without tautological reduction.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper invokes standard existence theory for 2D Navier-Stokes and Euler equations together with new analytic estimates; no free parameters are fitted and no new physical entities are postulated.

axioms (1)
  • standard math Existence and regularity of steady solutions to the 2D Navier-Stokes and Euler systems in the stated domains with the given boundary conditions.
    Required to define the vanishing-viscosity limit and to perform the streamline analysis.

pith-pipeline@v0.9.0 · 5781 in / 1251 out tokens · 55453 ms · 2026-05-21T16:32:22.857272+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

47 extracted references · 47 canonical work pages

  1. [1]

    Ambrosio and X

    L. Ambrosio and X. Cabr´ e, Entire solutions of semilinear elliptic equations inR 3 and a conjecture of De Giorgi, J. Amer. Math. Soc.13(2000), no. 4, 725–739

    work page 2000

  2. [2]

    G. K. Batchelor, On steady laminar flow with closed streamlines at large Reynolds number, J. Fluid Mech.1(1956), 177–190

    work page 1956

  3. [3]

    Bernstein, ¨Uber ein geometrisches Theorem und seine Anwendung auf die partiellen Differentialgle- ichungen vom elliptischen Typus, Math

    S. Bernstein, ¨Uber ein geometrisches Theorem und seine Anwendung auf die partiellen Differentialgle- ichungen vom elliptischen Typus, Math. Z.26(1927), no. 1, 551–558

    work page 1927

  4. [4]

    Constantin, T

    P. Constantin, T. D. Drivas and D. Ginsberg, Flexibility and rigidity in steady fluid motion, Comm. Math. Phys.385(2021), no. 1, 521–563

    work page 2021

  5. [5]

    Coti Zelati, T

    M. Coti Zelati, T. M. Elgindi and K. Widmayer, Stationary structures near the Kolmogorov and Poiseuille flows in the 2dEuler equations, Arch. Ration. Mech. Anal.247(2023), no. 1, Paper No. 12, 37 pp. A SELECTION PRINCIPLE FOR 2D STEADY EULER FLOWS 27

    work page 2023

  6. [6]

    De Regibus and D

    F. De Regibus and D. Ruiz, Monotone heteroclinic solutions to semilinear PDEs in cylinders and applications, Calc. Var. Partial Differential Equations64(2025), no. 4, Paper No. 111, 18 pp

    work page 2025

  7. [7]

    De Regibus, F

    F. De Regibus, F. Esposito and D. Ruiz, Rigidity results for finite energy solutions to the stationary 2D Euler equations, arXiv:2505.04542

    work page arXiv

  8. [8]

    T. D. Drivas and D. Ginsberg, Islands in stable fluid equilibria, Proc. Amer. Math. Soc.152(2024), no. 11, 4855–4863

    work page 2024

  9. [9]

    T. D. Drivas, S. Iyer and T. T. Nguyen, The Feynman-Lagerstrom criterion for boundary layers, Arch. Ration. Mech. Anal.248(2024), no. 3, Paper No. 55, 41 pp

    work page 2024

  10. [10]

    T. D. Drivas and M. Nualart, A geometric characterization of steady laminar flow, arXiv:2410.18946

    work page arXiv

  11. [11]

    T. D. Drivas, D. Ginsberg and M. Nualart, On the fragility of laminar flow, arXiv:2505.17817

    work page arXiv

  12. [12]

    T. M. Elgindi, Y. Huang, A. R. Said and C. Xie, A classification theorem for steady Euler flows, arXiv:2408.14662

    work page arXiv

  13. [13]

    Enciso, A

    A. Enciso, A. J. Fern´ andez and D. Ruiz, Smooth nonradial stationary Euler flows on the plane with compact support, arXiv:2406.04414

    work page arXiv

  14. [14]

    M. Fei, G. Chen, Z. Lin and T. Tao, Prandtl-Batchelor flows on a disk, Comm. Math. Phys.397(2023), no. 3, 1103–1161

    work page 2023

  15. [15]

    M. Fei, G. Chen, Z. Lin and T. Tao, Prandtl-Batchelor flows on an annulus, Adv. Math.458(2024), Paper No. 109994, 86 pp

    work page 2024

  16. [16]

    M. Fei, X. Pan and J. Zhao, Vanishing viscosity limit of the Navier-Stokes equations in a horizontally periodic strip, arXiv:2312.14376

    work page arXiv

  17. [17]

    R. P. Feynman and P. A. Lagerstrom, Remarks on high Reynolds number flows in finite domains, in Proc. IX International Congress on Applied Mechanics, vol. 3, Brussels, 1956, pp. 342–343

    work page 1956

  18. [18]

    Fujimoto, On the number of exceptional values of the Gauss maps of minimal surfaces, J

    H. Fujimoto, On the number of exceptional values of the Gauss maps of minimal surfaces, J. Math. Soc. Japan40(1988), no. 2, 235–247

    work page 1988

  19. [19]

    N. A. Ghoussoub and C. Gui, On a conjecture of De Giorgi and some related problems, Math. Ann. 311(1998), no. 3, 481–491

    work page 1998

  20. [20]

    G´ omez-Serrano, J

    J. G´ omez-Serrano, J. Park, J. Shi and Y. Yao, Symmetry in stationary and uniformly rotating solutions of active scalar equations, Duke Math. J.170(2021), no. 13, 2957–3038

    work page 2021

  21. [21]

    C. Gui, C. Xie and H. Xu, On a classification of steady solutions to two-dimensional Euler equations, arXiv:2405.15327

    work page arXiv

  22. [22]

    C. Gui, D. Ruiz, C. Xie and H. Xu, Least total curvature solutions to steady Euler system and monotone solutions to semilinear equations in a strip, arXiv:2507.11837

    work page arXiv

  23. [23]

    Hamel and N

    F. Hamel and N. S. Nadirashvili, Shear flows of an ideal fluid and elliptic equations in unbounded domains, Comm. Pure Appl. Math.70(2017), no. 3, 590–608

    work page 2017

  24. [24]

    Hamel and N

    F. Hamel and N. S. Nadirashvili, A Liouville theorem for the Euler equations in the plane, Arch. Ration. Mech. Anal.233(2019), no. 2, 599–642

    work page 2019

  25. [25]

    Hamel and N

    F. Hamel and N. S. Nadirashvili, Circular flows for the Euler equations in two-dimensional annular domains, and related free boundary problems, J. Eur. Math. Soc. (JEMS)25(2023), no. 1, 323–368

    work page 2023

  26. [26]

    H¨ older,¨Uber die unbeschr¨ ankte Fortsetzbarkeit einer stetigen ebenen Bewegung in einer unbegrenzten inkompressiblen Fl¨ ussigkeit, Math

    E. H¨ older,¨Uber die unbeschr¨ ankte Fortsetzbarkeit einer stetigen ebenen Bewegung in einer unbegrenzten inkompressiblen Fl¨ ussigkeit, Math. Z.37(1933), no. 1, 727–738. 28 CHANGFENG GUI, CHUNJING XIE, AND HUAN XU

    work page 1933

  27. [27]

    Kim, Batchelor-Wood formula for negative wall velocity, Phys

    S.-C. Kim, Batchelor-Wood formula for negative wall velocity, Phys. Fluids11(1999), no. 6, 1685–1687

    work page 1999

  28. [28]

    Kim and S

    S.-C. Kim and S. Childress, Vorticity selection with multiple eddies in two-dimensional steady flow at high Reynolds number, SIAM J. Appl. Math.61(2001), no. 5, 1605–1617

    work page 2001

  29. [29]

    S.-C. Kim, T. Miyaji and H. Okamoto, Unimodal patterns appearing in the two-dimensional Navier- Stokes flows under general forcing at large Reynolds numbers, Eur. J. Mech. B Fluids65(2017), 234–246

    work page 2017

  30. [30]

    Kim and H

    S.-C. Kim and H. Okamoto, Vortices of large scale appearing in the 2D stationary Navier-Stokes equa- tions at large Reynolds numbers, Jpn. J. Ind. Appl. Math.27(2010), no. 1, 47–71

    work page 2010

  31. [31]

    Kim and H

    S.-C. Kim and H. Okamoto, Unimodal patterns appearing in the Kolmogorov flows at large Reynolds numbers, Nonlinearity28(2015), no. 9, 3219–3242

    work page 2015

  32. [32]

    Kim and H

    S.-C. Kim and H. Okamoto, Prandtl–Batchelor theory for Kolmogorov flows, J. Phys. Soc. Japan89 (2020) 114401, 7 pages

    work page 2020

  33. [33]

    Kim and H

    S.-C. Kim and H. Okamoto, Stationary flows with highly localized vorticity of the incompressible viscous fluid at large Reynolds numbers, Appl. Math. Lett.137(2023), Paper No. 108500, 7 pp

    work page 2023

  34. [34]

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

    work page 2015

  35. [35]

    C. Li, Y. Lv, H. Shahgholian and C. Xie, Analysis on the steady Euler flows with stagnation points in an infinitely long nozzle, arXiv:2203.08375

    work page arXiv

  36. [36]

    Lin and C

    Z. Lin and C. Zeng, Inviscid dynamical structures near Couette flow, Arch. Ration. Mech. Anal.200 (2011), no. 3, 1075–1097

    work page 2011

  37. [37]

    Okamoto, Nearly singular two-dimensional Kolmogorov flows for large Reynolds numbers, J

    H. Okamoto, Nearly singular two-dimensional Kolmogorov flows for large Reynolds numbers, J. Dynam. Differential Equations8(1996), no. 2, 203–220

    work page 1996

  38. [38]

    Okamoto and M

    H. Okamoto and M. Sh¯ oji, Bifurcation diagrams in Kolmogorov’s problem of viscous incompressible fluid on 2-D flat tori, Japan J. Indust. Appl. Math.10(1993), no. 2, 191–218

    work page 1993

  39. [39]

    Osserman, Global properties of minimal surfaces inE 3 andE n, Ann

    R. Osserman, Global properties of minimal surfaces inE 3 andE n, Ann. of Math. (2)80(1964), 340–364

    work page 1964

  40. [40]

    Prandtl, ¨Uber Fl¨ ussigkeitsbewegung bei sehr kleiner Reibung

    L. Prandtl, ¨Uber Fl¨ ussigkeitsbewegung bei sehr kleiner Reibung. Verhandlungen des III. Internationalen Mathematiker Kongresses, Heidelberg, 1904, pp. 484–491, Teubner, Leizig. See Gesammelte Abhand- lungen II, pp. 575–584 (1905)

    work page 1904

  41. [41]

    Riley, High Reynolds number flows with closed streamlines, J

    N. Riley, High Reynolds number flows with closed streamlines, J. Engrg. Math.15(1981), no. 1, 15–27

    work page 1981

  42. [42]

    Ruiz, Symmetry results for compactly supported steady solutions of the 2D Euler equations, Arch

    D. Ruiz, Symmetry results for compactly supported steady solutions of the 2D Euler equations, Arch. Ration. Mech. Anal.247(2023), no. 3, Paper No. 40, 25 pp

    work page 2023

  43. [43]

    van Wijngaarden, Prandtl-Batchelor flows revisited, Fluid Dynam

    L. van Wijngaarden, Prandtl-Batchelor flows revisited, Fluid Dynam. Res.39(2007), no. 1-3, 267–278

    work page 2007

  44. [44]

    Wang and W

    Y. Wang and W. Zhan, On the rigidity of the 2D incompressible Euler equations, arXiv:2307.00197

    work page arXiv

  45. [45]

    Wolibner, Un theor` eme sur l’existence du mouvement plan d’un fluide parfait, homog` ene, incom- pressible, pendant un temps infiniment long, Math

    W. Wolibner, Un theor` eme sur l’existence du mouvement plan d’un fluide parfait, homog` ene, incom- pressible, pendant un temps infiniment long, Math. Z.37(1933), no. 1, 698–726

    work page 1933

  46. [46]

    W. W. Wood, Boundary layers whose streamlines are closed, J. Fluid Mech.2(1957), 77–87

    work page 1957

  47. [47]

    F. V. Xavier, The Gauss map of a complete nonflat minimal surface cannot omit 7 points of the sphere, Ann. of Math. (2)113(1981), no. 1, 211–214. A SELECTION PRINCIPLE FOR 2D STEADY EULER FLOWS 29 Department of Mathematics, University of Macau, Macao SAR, P. R. China Email address:changfenggui@um.edu.mo School of Mathematical Sciences, Institute of Natura...

    work page 1981