Rigidity results for finite energy solutions to the stationary 2D Euler equations

David Ruiz; Fabio De Regibus; Francesco Esposito

REVIEW 1 major objections 4 minor 26 references

Rigidity results for finite energy solutions to the stationary 2D Euler equations

T0 review · 1 major / 4 minor · reviewed 2026-08-15 · deepseek-v4-flash

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

Pith's one-line read Finite-energy stationary 2D Euler flows with connected stagnation set are forced to be circular.

desk verdict New rigidity results for finite-energy planar Euler flows with a genuine but repairable gap in the proof of the key monotonicity claim. read the letter →

arxiv 2505.04542 v2 pith:4WKREZT6 submitted 2025-05-07 math.AP

Fabio De Regibus , Francesco Esposito , David Ruiz This is my paper · ORCID

classification math.AP MSC 35J6135Q3576B99

keywords stationaryEulerequationsfiniteenergystagnationsetstreamfunctionsemilinearellipticcircularflowscontinuousSteinersymmetrizationrigidity

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 proves that finite-energy classical stationary solutions of the 2D Euler equations in the whole plane cannot be arbitrary: every such flow must have at least one stagnation point. If the stagnation set is connected, then the stream function has a limit at infinity and solves an autonomous semilinear elliptic equation. Adding the condition that the vorticity has no local extrema outside some ball forces the streamlines to be concentric circles and the stagnation set to be a point or a closed disk. The result is a pure rigidity statement that needs no boundary conditions, no positivity of vorticity, and no lower bound on the velocity at infinity.

What carries the argument

The main object is the stream function u, defined by v = (∇u)^⊥, whose level curves are the streamlines and whose Laplacian is the vorticity. The crucial structural fact is that the Bernoulli function B = (1/2)|v|^2 + p is constant along each connected level set of u, which converts the Euler equations into the autonomous semilinear equation -Δu = f(u) away from the stagnation set. The symmetry mechanism is the continuous Steiner symmetrization, a one-parameter family of rearrangements u_t of u that gradually shifts each level set toward a centered interval while preserving its measure; the paper adapts known results on this tool to the case where the limit of u at infinity may be -∞, using the equality case of the associated Polya-Szego inequality to conclude local radial symmetry in every direction.

What would settle it

A finite-energy $C^{1}$ stationary Euler solution on the whole plane with connected stagnation set, vorticity with no local extrema outside a ball, and non-circular streamlines would refute Theorem 1.2. Concretely, one could search for a nonradial solution of -Δu = f(u) with a connected critical set and f monotone near its limiting value, since Theorem 4.1 rules out exactly that configuration.

Watch

Extended reading notes

Core claim

The central discovery is a dichotomy. A finite-energy $C^{1}$ solution of the stationary Euler equations must have a nonempty stagnation set S; if S is connected, the stream function u satisfies u ≡ 1 on S, tends to a value L < 1 at infinity, and solves an autonomous semilinear equation -Δu = f(u) on all of $R^{2}$ for some continuous f. Under the additional hypothesis that the vorticity ω has no local extrema outside a sufficiently large ball, the only possibility is a circular flow: u is radially symmetric about some point, S is either a point or a closed ball, and the velocity, vorticity, pressure, and Bernoulli function all belong to $L^{1}$, vanish at infinity, and have total integral zero. The proof obtains these conclusions at $C^{1}$ regularity for the velocity field, without a moving-plane argument, by combining energy estimates on large spheres with an adapted continuous Steiner symmetrization.

Load-bearing premise

The result stands or falls on the assumption that the set of points where the fluid is at rest is a single connected piece; the paper's cited nonradial counterexample shows that disconnected stagnation sets genuinely break rigidity.

Editorial extensions

If this is right

Every finite-energy C^1 stationary solution of the 2D Euler equations on the whole plane has at least one point where the fluid is at rest.
When the stagnation set is connected, the stream function is always governed by a single autonomous semilinear elliptic equation on the entire plane, so fluid-dynamical rigidity becomes a problem of PDE symmetry.
Under the mild assumption that the vorticity has no local extrema outside a large ball, the only possible stagnation sets are a point or a closed disk, and all streamlines outside it are concentric circles.
For such flows, the velocity, vorticity, pressure, and Bernoulli function are integrable, vanish at infinity, and have zero total integral, so the total vorticity of any finite-energy circular solution is zero.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

Beyond the paper: the connectedness hypothesis is likely the sharp frontier, since the paper's cited counterexample is nonradial precisely because its stagnation set disconnects; a natural conjecture is that rigidity survives with finitely many components, perhaps allowing only a finite union of disks.
Beyond the paper: the Bernoulli-level-set argument does not really use that the velocity field vanishes at infinity, so a similar reduction to a semilinear elliptic equation may hold for exterior-domain flows with a nonzero limit, where the energy estimates would need to be reweighted.
Beyond the paper: Theorem 4.1 only needs f to be monotone near the limiting value, so the geometric condition on the vorticity could be weakened to an asymptotic monotonicity condition, a property that a numerical simulation could check on the radial profile of a candidate solution.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Desk Editor's Note

read the letter

Two things to know before you read it. The paper is a genuine step forward: it extends the Hamel-Nadirashvili rigidity program to finite-energy entire solutions of the stationary 2D Euler equations, a class that earlier work did not reach, and it shows that a connected stagnation set forces the stream function to solve a semilinear elliptic equation, with circular symmetry following under a vorticity no-extrema condition. Second, there is a real gap in Step 1 of Theorem 4.1. It is probably repairable, but as written it is a load-bearing hole.

What is genuinely new and good: the finite-energy setting with only C^1 velocity; Proposition 2.1, which gives a limit at infinity for functions with ∇u∈L^N under compact or connected critical sets and is interesting on its own; the treatment of L=−∞ in the continuous Steiner symmetrization, which required new Pólya–Szegő and local symmetry statements; and the careful energy estimates in Lemmas 4.2 and 4.4 that make the integration by parts legitimate. The paper is honest about the necessity of connectedness, citing the Musso–Pacard–Wei counterexample. No fitting, no circular reasoning; the external inputs are published theorems.

The soft spot is the proof that f is nonpositive and non-increasing in (L,M). From β=lim_{t→L} f(t)=0 and monotonicity alone, you only get f≤0 if the monotone direction is non-increasing. If f is non-decreasing, the same limit gives f≥0 on (L,M). The test-function argument only shows ∫_{u≥c} f(u)≥0, which is perfectly consistent with the non-decreasing case. The sentence 'taking into account (4.6) and the monotonicity of f' seems to assume the intended direction. This is not a cosmetic issue: the non-negativity of J2(t) in Step 3 uses f non-increasing, so the conclusion (4.8) depends on it. The stress-test note's suggested exclusion (finite energy plus (4.6) forcing f(u)=0 a.e. and contradicting nonconstancy) is plausible, but it is not written, and it would need care because f is only controlled on (L,M).

Overall: the contribution is worthwhile and the main theorems are probably correct. I would send it to a serious referee and ask the authors to close the monotonicity gap. The rest of the structure is solid enough that this should not be a desk reject.

Referee Report

1 major / 4 minor

Summary. The paper studies classical solutions v ∈ L^2(R^2) ∩ C^1(R^2) of the stationary 2D Euler equations. The first main result (Theorem 1.1) shows that any such solution has a nonempty stagnation set S = {v = 0}; if S is connected, then, up to sign and additive constant, the stream function u satisfies u = 1 on S, u tends to L = inf u at infinity, and u solves an autonomous semilinear elliptic equation −Δu = f(u) in R^2 for some continuous f. The second main result (Theorem 1.2) adds condition (H) that the vorticity has no local extrema outside a large ball; it concludes that u is radially symmetric (the flow is circular), so S is a point or a closed ball, and it derives integrability and decay properties of ω, p, and the Bernoulli function. The proofs combine energy estimates on oscillations of u on large spheres, a Pohozaev-type argument, and an adaptation of Brock's continuous Steiner symmetrization to the present low-regularity setting, including the case L = −∞.

Significance. The results are a substantial contribution to the rigidity/flexibility program for stationary Euler flows, covering the finite-energy setting that had not been treated before. The connectedness of the stagnation set is shown to be necessary via known counterexamples, which sharpens the statement. The paper extends continuous Steiner symmetrization to functions with L = −∞ and to C^1 solutions of the Euler equations rather than C^2, and it provides self-contained energy estimates (Lemmas 4.2 and 4.4) of independent interest. The proofs are detailed, and the main theorems are clearly stated. No parameter fitting or circular reasoning is involved; external inputs are Brock's published theorems and standard analysis facts.

major comments (1)

[Section 4, Theorem 4.1, Step 1 (after Eq. (4.6))] The proof claims that 'Taking into account (4.6) and the monotonicity of f, we conclude that f(t) ≤ 0 for all t ∈ (L,c).' The term 'monotonicity' is ambiguous: the conclusion f ≤ 0 follows only if f is non-increasing, since a non-increasing f with β = 0 satisfies f(t) ≤ 0 for t > L, whereas a non-decreasing f with β = 0 satisfies f(t) ≥ 0 for t > L. The argument at this point has not excluded the non-decreasing case. Such an exclusion is possible: if f were non-decreasing, then f ≥ 0 on (L,M), and (4.6) together with the nonnegativity of f(u) would force f(u) = 0 a.e. on each bounded ball; by continuity of f and nonconstancy of u this would give f ≡ 0 on the range of u, contradicting that u is a nonconstant solution of −Δu = f(u) with ∇u ∈ L^2(R^2). This missing case distinction is load-bearing because the non-increasing direction is used in Step 1 to conclude f(u) ≤ 0 in the exterior and in Step 3 to ensure that the integrand in J2(t) is nonnegative, which is essential for the inequality (4.8). The gap is repairable by inserting the exclusion argument, but as written the proof of the claim is incomplete.

minor comments (4)

[Section 4, Theorem 4.1, Step 3 (page 19)] The assertion that 'the functions u, u_t have constant sign in the exterior of a ball B(R)' is not a logical consequence of u → L when L = 0; functions with ∇u ∈ L^2(R^2) can tend to 0 while oscillating in sign. The integrability of f(u)u and f(u)u_t is nevertheless true, because u and u_t are bounded in the exterior when L = 0 (and have constant sign otherwise), so the justification should be rephrased accordingly.
[Section 4, Theorem 4.1, Step 3] The statement lim_{|x|→∞} u_t(x) = L is used without proof; it would be helpful to add a brief justification, for instance by comparing the superlevel sets of u_t with those of u.
[Section 3, Proposition 3.10] The application of [2, Theorem 6.2] to Gm(u) requires a check of the hypotheses, since Gm(u) is only C^1 away from the level set {u = m}; the one-sentence justification is terse and should be expanded.
[Throughout] There are minor typographical issues: in Remark 2.2 there is a stray period in 'the function.'; in Lemma 2.3 the notation 'LN(SN −1)' should be typeset as L^N(S^{N-1}); and in the proof of Theorem 1.1 the phrase 'By the implicit function theorem' could be more precise about the C^2 regularity used.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the main theorems derive from Euler equations plus explicit assumptions, with external Brock symmetrization results as the only imported machinery.

full rationale

The derivation chain is self-contained. Theorem 1.1 constructs f from the Bernoulli function via (E2); no semilinear equation is assumed. Theorem 1.2 uses (H) to obtain monotonicity of f near L and then applies continuous Steiner symmetrization results proved in [1,2], which are external published theorems rather than self-citations. The self-citations [7,25] and [11] appear only as contextual examples or remarks, not as load-bearing premises; [24] and [11] are used to demonstrate necessity of connectedness, not to prove the rigidity. There is no fitted parameter renamed as a prediction, no uniqueness theorem imported from the authors, and no ansatz smuggled in via citation. The possible gap in Step 1 of Theorem 4.1 concerning the sign/monotonicity of f is a proof-correctness issue, not a circularity.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

No free parameters or invented entities. The two theorems are proved from the Euler equations using standard analysis tools plus Brock's general theory of continuous Steiner symmetrization. The non-derived inputs are Brock's theorems [1,2] and standard results such as Sard's theorem and elliptic regularity.

assumptions (5)

standard math Continuous Steiner symmetrization satisfies equimeasurability, monotonicity, semigroup property, and preserves continuity and Lipschitz bounds (Brock [1]).
Invoked in Definition 3.4 and Propositions 3.6, 3.8 and 3.11 throughout Section 3.
standard math Pólya-Szegő inequality for the continuous Steiner symmetrization of nonnegative H^1 functions (Brock [2, Theorem 3.2]).
Used in Proposition 3.8 and in the equality-case argument of Theorem 4.1.
standard math Local symmetry from the equality case in the Pólya-Szegő inequality (Brock [2, Theorem 6.2]).
Core external result behind Proposition 3.10, which is the engine of Theorem 4.1.
standard math Sard's theorem: the set of critical values of a C^N function has zero Lebesgue measure.
Used in Proposition 2.1 and Theorem 1.1 to show u is constant on the connected stagnation set.
standard math Elliptic regularity: locally H^2 solutions with locally bounded right-hand side are locally C^{1,alpha}.
Used in Lemma 4.4 and Theorem 4.1 to upgrade the regularity of u.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Rigidity results for finite energy solutions to the stationary 2D Euler equations." pith.science (2026). https://pith.science/paper/4WKREZT6

@misc{pith2026250504542,
  author       = {Pith},
  title        = {Pith review of: Rigidity results for finite energy solutions to the stationary 2D Euler equations},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/4WKREZT6}},
  note         = {Machine review of arXiv:2505.04542}
}

abstract

In this paper we prove rigidity results for classical solutions to the stationary 2D Euler equations in $\mathbb{R}^2$. Assuming that the velocity field has finite energy and that the stagnation set is connected, we prove that the corresponding stream function solves an autonomous semilinear elliptic equation. Under some extra conditions on the vorticity near infinity we can also prove that the streamlines are concentric circles. The proofs include several energy estimates on the behavior of the stream function at infinity, as well as an adaptation of the continuous Steiner symmetrization to our setting.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

26 extracted references · 14 canonical work pages

[1]

F. Brock. Continuous Steiner-symmetrization. Math. Nachr., 172:25–48, 1995

1995
[2]

F. Brock. Continuous rearrangement and symmetry of solutions of elliptic problems.Proc. Indian Acad. Sci. Math. Sci., 110(2):157–204, 2000

work page 2000
[3]

D. Cao, B. Fan, and W. Zhan. Free boundary problems for the two-dimensional Euler equations in exterior domains. preprint ArXiv, 2406.16134, 2024

arXiv 2024
[4]

J. A. Carrillo, S. Hittmeir, B. Volzone, and Y. Yao. Nonlinear aggregation-diffusion equations: radial symmetry and long time asymptotics. Invent. Math., 218(3):889–977, 2019

work page 2019
[5]

Constantin, T

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

work page 2021
[6]

Coti Zelati, T

M. Coti Zelati, T. M. Elgindi, and K. Widmayer. Stationary structures near the Kolmogorov and Poiseuille flows in the2d Euler equations. Arch. Ration. Mech. Anal., 247(1):Paper No. 12, 37, 2023

work page 2023
[7]

De Regibus and D

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

work page 2025
[8]

T. D. Drivas and T. M. Elgindi. Singularity formation in the incompressible Euler equation in finite and infinite time. EMS Surv. Math. Sci., 10(1):1–100, 2023

2023

Show all 26 references

[9]

T. D. Drivas and M. Nualart. A geometric characterization of steady laminar flow.preprint ArXiv, 2410.18946, 2024

2024 arXiv
[10]

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

2024
[11]

Enciso, A

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

2024 arXiv
[12]

Enciso, A.-J

A. Enciso, A.-J. Fern ´andez, D. Ruiz, and P . Sicbaldi. A Schiffer-type problem for annuli with applications to stationary planar Euler flows. Duke Math. J., in press. 22 FABIO DE REGIBUS, FRANCESCO ESPOSITO, AND DAVID RUIZ
[13]

G ´omez-Serrano, J

J. G ´omez-Serrano, J. Park, and J. Shi. Existence of non-trivial non-concentrated compactly sup- ported stationary solutions of the 2D Euler equation with finite energy. Mem. Amer. Math. Soc., in press
[14]

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(13):2957–3038, 2021

2021
[15]

C. Gui, C. Xie, and H. Xu. On a classification of steady solutions to two-dimensional Euler equa- tions. preprint ArXiv, 2405.15327, 2024

2024 arXiv
[16]

Hamel and A

F. Hamel and A. Karakhanyan. Potential flows away from stagnation in infinite cylinders.Comm. Partial Differential Equations, pages 1–17, 2025

2025
[17]

Hamel and N

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

2017
[18]

Hamel and N

F. Hamel and N. Nadirashvili. Parallel and circular flows for the two-dimensional Euler equa- tions. In S´ eminaire Laurent Schwartz—´Equations aux d´ eriv´ ees partielles et applications. Ann´ ee 2017– 2018, pages Exp. No. V , 13. Ed.´Ec. Polytech., Palaiseau, 2018

2017
[19]

Hamel and N

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

2019
[20]

Hamel and N

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

2023
[21]

Henrot and M

A. Henrot and M. Pierre. Shape variation and optimization, volume 28 ofEMS Tracts in Mathematics. European Mathematical Society (EMS), Z¨urich, 2018

2018
[22]

W. S. Leung, T. K. Wong, and C. Xie. On the characterization, existence and uniqueness of steady solutions to the hydrostatic Euler equations in a nozzle. Arch. Ration. Mech. Anal. , 248(6):Paper No. 116, 31, 2024

2024
[23]

C. Li, Y. L ¨u, H. Shahgholian, and C. Xie. Analysis on the steady Euler flows with stagnation points in an infinitely long nozzle. preprint ArXiv, 2203.08375, 2023

2023 arXiv
[24]

Musso, F

M. Musso, F. Pacard, and J. Wei. Finite-energy sign-changing solutions with dihedral symmetry for the stationary nonlinear Schr ¨odinger equation. J. Eur. Math. Soc. (JEMS) , 14(6):1923–1953, 2012

1923
[25]

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

2023
[26]

Wang and W

Y. Wang and W. Zhan. On the rigidity of the 2d incompressible Euler equations. preprint ArXiv, 2307.00197, 2023. FABIO DE REGIBUS DEPARTAMENTO DE AN ´ALISIS MATEM ´ATICO , U NIVERSIDAD DE GRANADA , 18071 G RANADA , SPAIN Email address: fabioderegibus@ugr.es FRANCESCO ESPOSITO ...

2023 arXiv

Pith tools

Reviewed August 15, 2026 · model on record in the stance chip above.

[1] [1]

F. Brock. Continuous Steiner-symmetrization. Math. Nachr., 172:25–48, 1995

1995

[2] [2]

F. Brock. Continuous rearrangement and symmetry of solutions of elliptic problems.Proc. Indian Acad. Sci. Math. Sci., 110(2):157–204, 2000

work page 2000

[3] [3]

D. Cao, B. Fan, and W. Zhan. Free boundary problems for the two-dimensional Euler equations in exterior domains. preprint ArXiv, 2406.16134, 2024

arXiv 2024

[4] [4]

J. A. Carrillo, S. Hittmeir, B. Volzone, and Y. Yao. Nonlinear aggregation-diffusion equations: radial symmetry and long time asymptotics. Invent. Math., 218(3):889–977, 2019

work page 2019

[5] [5]

Constantin, T

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

work page 2021

[6] [6]

Coti Zelati, T

M. Coti Zelati, T. M. Elgindi, and K. Widmayer. Stationary structures near the Kolmogorov and Poiseuille flows in the2d Euler equations. Arch. Ration. Mech. Anal., 247(1):Paper No. 12, 37, 2023

work page 2023

[7] [7]

De Regibus and D

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

work page 2025

[8] [8]

T. D. Drivas and T. M. Elgindi. Singularity formation in the incompressible Euler equation in finite and infinite time. EMS Surv. Math. Sci., 10(1):1–100, 2023

2023