Pith. sign in

REVIEW 2 major objections 2 minor 47 references

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

T0 review · 2 major / 2 minor · reviewed 2026-05-21 · grok-4.3

Pith's one-line read 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.

desk verdict This paper characterizes vanishing-viscosity limits of steady 2D NS to Euler flows, selecting constant-vorticity solutions in bounded domains and only constant/Couette/Poiseuille in periodic strips, without needing closed streamlines. read the letter →

arxiv 2601.08647 v2 pith:WBPR26CP submitted 2026-01-13 math.AP

classification math.AP
keywords vanishingviscositysteadyEulerflowsNavier-StokesequationsconstantvorticitystreamlineanalysisCouetteflowPoiseuilleselectionprinciple
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

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.

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.

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.

Watch

Extended reading notes

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.

Load-bearing premise

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

Editorial extensions

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.

Reading between the lines

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.
Share X Bluesky LinkedIn Reddit HN

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

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 · score 0.0 of 10

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.

Assumptions & free parameters 0 free parameters · 1 assumptions · 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.

assumptions (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.

how reviews work

0 comments
Cite this review

Pith. "Pith review of A selection principle for 2D steady Euler flows via the vanishing viscosity limit." pith.science (2026). https://pith.science/paper/WBPR26CP

@misc{pith2026260108647,
  author       = {Pith},
  title        = {Pith review of: A selection principle for 2D steady Euler flows via the vanishing viscosity limit},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/WBPR26CP}},
  note         = {Machine review of arXiv:2601.08647}
}
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.

Figures

Figures reproduced from arXiv: 2601.08647 by the authors.

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 therefore de… view at source ↗

Discussion (0). Continue with ORCID to comment.

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

  2. [2]

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

  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

  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

  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

  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

  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

  8. [8]

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

Show all 47 references
  1. [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

  2. [10]

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

  3. [11]

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

  4. [12]

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

  5. [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

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

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

  8. [16]

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

  9. [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

  10. [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

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

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

  13. [21]

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

  14. [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

  15. [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

  16. [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

  17. [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

  18. [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

  19. [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

  20. [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

  21. [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

  22. [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

  23. [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

  24. [32]

    Kim and H

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

  25. [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

  26. [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

  27. [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

  28. [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

  29. [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

  30. [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

  31. [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

  32. [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)

  33. [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

  34. [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

  35. [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

  36. [44]

    Wang and W

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

  37. [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

  38. [46]

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

  39. [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 add...

Pith tools

Reviewed May 21, 2026 · model on record in the stance chip above.