Piecewise smooth stationary Euler flows with support in a neighborhood of a helix

Daniel Peralta-Salas; Jie Wan

REVIEW 3 major objections 3 minor 26 references

Piecewise smooth stationary Euler flows with support in a neighborhood of a helix

T0 review · 3 major / 3 minor · reviewed 2026-08-01 · deepseek-v4-flash

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

Pith's one-line read This paper proves that stationary Euler flows can be compactly supported around a helix, with elliptic anisotropic vortex cross-sections and a persistent cos3θ boundary mode.

desk verdict The result would be a genuine advance, but the long ε-expansions contain at least one demonstrable algebra error and one unaccounted domain-dependent term; referees need to scrutinize §5.2 and §7.2 before the existence proof can be accepted. read the letter →

arxiv 2607.16141 v1 pith:4KF6WJWQ submitted 2026-07-17 math.AP

Daniel Peralta-Salas , Jie Wan This is my paper · ORCID

classification math.AP MSC 35Q3135N2576B03

keywords incompressibleEulerequationshelicalsymmetrycompactsupportnon-localizableflowsoverdeterminedellipticboundaryvalueproblemsGrad-Shafranovstreamfunctionanisotropicvortexcross-sectionKelvinwaves

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 aims to show that non-localizable stationary Euler flows are not a privilege of axisymmetry. It constructs, for every pitch h>0, every center radius R>0, and every sufficiently small ε>0, a piecewise C^s, helically symmetric, compactly supported weak solution of the 3D incompressible Euler equations, concentrated in a thin tubular neighborhood of a helix. The velocity is zero outside the tube, smooth up to the boundary inside, and the pressure does not stay constant along streamlines. The construction reduces the 3D problem to a two-dimensional overdetermined elliptic problem via a Grad–Shafranov stream function, and solves it by perturbing an anisotropic base state: after rescaling, the vortex cross-section is an ellipse, not a disk, and its boundary carries a persistent third Fourier mode generated by the helical geometry. If the theorem is right, it establishes that compact support and non-localizability coexist in a genuinely helical setting and provides a concrete family of helical Kelvin waves with swirl.

What carries the argument

The engine of the proof is the helical Grad–Shafranov reduction, which replaces the 3D Euler equations by a single elliptic equation ∇·(K∇ψ)=... for a stream function ψ on the transverse plane, with a 2×2 coefficient matrix K that breaks rotational symmetry. Near the point (R,0) the anisotropic rescaling x1=R+εσ1 x, x2=εσ2 y, with σ1=h/√(h²+R²) and σ2=h²+R², makes the leading operator the Laplacian and the base solution ϕ0=A0(ρ²−1). On top of this, the paper defines the boundary functional F(ε,B) for the Bernoulli–Neumann condition, selects the reference deformation B*=C* cos3θ+t* so that F(ε,B*)=κ+O(ε²), and computes the Fréchet derivative D_B G(0,B*) mode by mode: it acts on even functions

What would settle it

Recompute the O(ε) term of F(ε,B*) from formula (5.7): with B*=C* cos3θ+t*, the coefficient 8A0²σ2^{-1}(B*−Λ0B*) + 2R³A0²σ1^{-1}σ2^{-1}cos3θ −4A0σ2^{-1}h²√F_R + C3σ2 must vanish identically; if numerical evaluation for chosen h,R and small ε shows a nonzero O(ε) coefficient, the key cancellation is wrong and Theorem 1.2 does not follow. Similarly, checking the explicit action of D_B G(0,B*) on the Fourier modes B0, B2, B4 and n≥2 given in the paper—each coefficient must be nonzero—would settle the invertibility claim.

Watch

Extended reading notes

Core claim

Stated on the paper's own terms, the central result is Theorem 1.2: for any h>0, R>0, and small ε>0 there exists a nontrivial piecewise C^s, helically symmetric, compactly supported stationary Euler flow u with pitch h, in the explicit form of Lemma 1.1. Its support is a domain Ω_{R,ε} that is a small deformation of an elliptic tube: in the coordinates x1=R+εσ1 ρ cosθ, x2=εσ2 ρ sinθ, with σ1=h/√(h²+R²) and σ2=h²+R², the boundary is ρ=1+εB_ε(θ), where B_ε(θ)=B*(θ)+O(ε) and B*(θ)=C* cos3θ + t* for explicit constants. The stream function is C^{s+1} up to the boundary, the velocity is C^s, the vorticity is C^{s−1}, and the normalized circulation F is built from a constant plus a flat perturbatio

Load-bearing premise

The load-bearing premise is that the ε-expansions of the Dirichlet solution, the Bernoulli–Neumann functional, and the domain derivative are all correct; if any sign or harmonic-number error slips in, the cancellation F(ε,B*)=κ+O(ε²) and the invertibility of D_B G(0,B*) fail and the implicit-function step collapses.

Editorial extensions

If this is right

For any helix pitch h and any tube center radius R, there are genuinely helical, compactly supported stationary Euler flows, piecewise smooth and non-localizable; previous compact-support examples were axisymmetric.
The vortex cross-section is asymptotically an ellipse rather than a disk, and the boundary deformation contains a nonzero cos3θ term that cannot be removed by translating, rescaling, or rotating the leading ellipse.
The constructed flows are a rigorous class of helical Kelvin waves with swirl and compactly supported cross-sections, going beyond swirl-free helical vortex constructions.
Both velocity and vorticity have compactly supported cross-sections, not just vorticity, and the solutions carry nonzero swirl.
The method is flexible: replacing the auxiliary functions F and H by other admissible choices still yields compactly supported helical flows, and the condition on F'(0) can be relaxed.

Reading between the lines

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

If the theorem is right, non-localizability is a general phenomenon tied to the geometry of the support, not a special feature of axial symmetry; one would expect analogous compactly supported stationary flows around other space curves with suitable symmetry groups.
The forced appearance of the third Fourier mode suggests a resonance mechanism: the helical geometry produces a specific angular mode, here cos3θ through the interplay of the elliptic operator and the Bernoulli condition, and similar mode-selection rules might appear for vortex tubes around torus knots or other helical curves.
The elliptic leading cross-section gives a concrete prediction that steady helical vortex tubes with compact support are generically anisotropic; this could be tested by numerical continuation of helical vortex equilibria toward small cross-section.
The explicit constants and the expansion of ψ could serve as a starting point for a local stability or desingularization analysis of helical vortex filaments with swirl.

Share X Bluesky LinkedIn Reddit HN

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

This paper is worth taking seriously. If the theorem is right, it gives the first helically symmetric, non-localizable, compactly supported stationary Euler flow, with an anisotropic cross-section and a persistent cos(3θ) boundary mode—a real step beyond Gavrilov's smooth helical flows and the axisymmetric construction in [12]. The Grad–Shafranov reduction, the anisotropic scaling, and the implicit-function-theorem architecture are clean, and the explicit constants (A0, A1, B*, FR, etc.) make the construction unusually concrete.

I cannot, however, sign off on the proof as written. The stress-test note found a concrete error in Theorem 7.4. The coefficient of B0 in D_B G(0,B*) is printed as −A0 σ2 c/2. Taking h=R=c=1, so σ1=1/√2 and σ2=2, the displayed expression evaluates to −4, not −1. Symbolically it is −σ2^5 c^2/8, not −σ2^3 c^2/8. The conclusion (nonzero kernel) survives, so this is not fatal by itself—but it shows the algebra in §7.2 is not as reliable as the exposition suggests.

The more serious problem is in Proposition 5.2. In the second-order expansion of ϕε,B*, the proof replaces PεB* by P0. These differ by O(ε), and since the correction is divided by ε², the omitted term contributes at order O(1) to ϕ2. No argument is given that its projection onto cosθ vanishes to the required order, yet that projection is exactly what determines the constant C3 and hence the cancellation F(ε,B*)=κ+O(ε²). This is a structural gap, not a typo: without it, the implicit-function-theorem starting point may collapse.

On the other axes, the paper is honestly positioned and the citation pattern is appropriate; leaning on [12] for the strategy is fair. The result is not circular—the overdetermined problem is genuinely solved from the equations. But the missing verification is real, and the one explicit arithmetic check that fails makes me wary of the surrounding mode-by-mode computations.

Who is this for? People working on compactly supported steady Euler flows, overdetermined elliptic problems, and helical vortex structures. It deserves a serious referee rather than a desk rejection, but the referee should be asked to independently verify §5.2 and §7.2, ideally with computer algebra. I would not cite it in my own work until those checks are done.

Referee Report

3 major / 3 minor

Summary. The paper constructs piecewise smooth, helically symmetric, compactly supported stationary Euler flows in three dimensions. The approach follows the Grad–Shafranov reduction for helical symmetry, formulates an overdetermined elliptic boundary value problem with Dirichlet and nonconstant Neumann data, and solves it by an implicit-function-theorem argument around an explicitly computed leading boundary deformation B* = C* cos3θ + t*. The main theorem claims existence for every h>0, every R>0, and all sufficiently small ε, with an anisotropic elliptic vortex cross-section and a persistent third Fourier mode in the boundary deformation.

Significance. If correct, the result is a genuine advance: it gives the first non-axisymmetric, non-localizable, compactly supported stationary Euler flows, with explicit leading-order geometry and constants. The proof strategy is coherent and the paper provides many explicit formulas: the reduction in Lemma 1.1, the Dirichlet solvability, the ε-expansion, the cancellation at first order, and the invertibility calculation. These explicit computations are a strength, and the proposed phenomenon — persistent elliptic anisotropy and a third Fourier mode — is plausible and interesting. However, the central algebraic step in Theorem 7.4 contains concrete errors that must be repaired before the existence claim can be accepted.

major comments (3)

[§7.2, Theorem 7.4] The B0 coefficient identity in the last displayed formula is false. For h=R=c=1 one has σ1=1/√2, σ2=2, A0=1, A1=3√2/4, so the printed expression is 8A0²/σ2 − 8A0A1/(Rσ1) + 2R²A0²/σ1² = 4 − 12 + 4 = −4, while the paper states it equals −A0σ2c/2 = −1. Symbolically the coefficient is −σ2⁵c²/8, not −σ2³c²/8. The conclusion ”nonzero” survives, but the displayed equality is the only verification of invertibility, and it is incorrect; the proof must be corrected.
[§7.2, formula for D_BG(0,B*)] The signs of the B2 and B4 terms in the final formula for D_BG(0,B*) do not follow from the preceding formula for eC_{ε,B*,B}. From the displayed eC formula, the B4 contribution to D_BF is −6R²σ1^{-2}A0²B4, not +6R²σ1^{-2}A0²B4; similarly the B2 correction is +σ1^{-2}A0²(R²+12h²)B2, not its negative. With the printed signs, the B2 or B4 coefficient can vanish for admissible parameters, e.g. for h=1 the B2 coefficient vanishes when (R²+1)(R²+12)=16, and the B4 coefficient vanishes when R²(R²+1)²=8. Thus the claimed one-to-one property for every R>0 is not established by the written proof. This is load-bearing and requires a full re-derivation or a machine-checked verification of the Fourier–Poisson algebra.
[§5.2, Proposition 5.2] The stress-test concern that P_{εB*} is replaced by P0 in the second-order expansion is, on my reading, addressed: the O(ε) difference between the two Poisson extensions contributes to the ϕ2 boundary data through the term 6A0C*B*cos3θ. I do not regard this as a gap. However, the long mode-by-mode computations in Step II and in §7.2 should be independently checked, since the errors in Theorem 7.4 show that the displayed algebra is not error-free.

minor comments (3)

[§7.2 heading] Typo: ”Invertiblity” should be ”Invertibility”.
[Theorem 1.2, t* formula] The formula for t* is ambiguous as printed: t* = 10/(9σ2²H'(0))·h²√F_R should be written with parentheses to avoid confusion with (10/9)σ2²H'(0)h²√F_R.
[General] The displayed formula for D_BG(0,B*) would be clearer if the special B2 and B4 modes were written separately from the n≥5 tail, rather than adding them to a sum over n≥2, which double-counts the modes in the printed expression.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the existence construction is self-contained and the boundary deformation B* is derived, not fitted.

full rationale

The paper's derivation chain is self-contained rather than circular. The core reduction from 3D helical Euler flow to the 2D overdetermined problem is proved in Lemmas 1.1 and 2.6, not imported by citation. The leading boundary profile B*(θ)=C* cos3θ+t* is derived explicitly in §5.2 by imposing cancellation of the first-order term in F(ε,B) (Proposition 5.2), and the constants C*, t*, FR, κ are written in terms of h,R,H'(0). This is a construction, not a fit or a prediction recycled as an input. The invertibility of D_B G(0,B*) is computed in §7.2 via Fourier–Poisson expansions, again in-paper; even if the skeptic's arithmetic objection were correct, that would be a proof error affecting validity, not a circular dependence on the theorem being proved. Self-citations, e.g. to [12] for the overall axisymmetric strategy, are contextual and not load-bearing: no uniqueness theorem or ansatz is imported from authors' prior work to force the conclusion. The third Fourier mode is openly explained as a cancellation of the geometric cos3θ error (Remark 5.3), so it is not a renamed known result or a hidden assumption. Accordingly, no entry in the seven circularity categories is warranted.

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

The construction introduces no new physical entities. The free inputs are the pitch h, the helix position R, the tube thickness ε, and the slope H'(0)=c of the Bernoulli function; all remaining constants (F_R, A0, A1, C*, t*, κ) are explicit functions of these inputs. The proof uses standard tools from linear elliptic theory and the implicit function theorem; the main nontrivial content is a lengthy but explicit perturbative calculation.

free parameters (4)

H'(0) = c > 0 = arbitrary positive constant
The theorem allows any C^s Bernoulli function H with H'(0)>0; c enters all explicit constants (A0, F_R, κ, t*, ψ). It is an input of the family, not a fit to a target.
R > 0 = arbitrary
Parameter fixing the center of the helical tube in the transverse plane; all derived constants scale with R and the theorem holds for every R>0.
h > 0 = arbitrary
Pitch of the helical symmetry group, fixed throughout the construction.
ε > 0 = small parameter
Tube thickness; the whole construction is perturbative in ε around an ε=0 limiting ellipse.

assumptions (4)

standard math Hölder regularity with s>2 non-integer is sufficient for the Schauder theory and the implicit function theorem used in Prop. 3.2.
The regularity assumption is stated in Theorem 1.2 and used in the Banach-space formulation of the Dirichlet problem.
standard math The Fréchet derivative D_{\bar φ}H(0,φ0)=Δ is invertible between the stated Hölder spaces.
Used in Prop. 3.2 to obtain the unique solution φ_{ε,B} via the implicit function theorem.
standard math The maximum principle applies to Equation (3.4) to conclude φ_{ε,B}<0 in the domain.
Used at the end of Prop. 3.2 and needed to ensure F(ψ)=√(ε²F_R+\hat F(ψ)) is well-defined since \hat F is only defined on (-1,0].
domain assumption The weak-solution extension Lemma 2.6 requires the interior flow to be at least C^1 in Ω and the boundary conditions u·ν=0 and p=const on ∂Ω.
This is the bridge from the overdetermined boundary value problem to a global weak solution; the constructed ψ∈C^{s+1}(Ω̄), s>2, ensures the hypotheses.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Piecewise smooth stationary Euler flows with support in a neighborhood of a helix." pith.science (2026). https://pith.science/paper/4KF6WJWQ

@misc{pith2026260716141,
  author       = {Pith},
  title        = {Pith review of: Piecewise smooth stationary Euler flows with support in a neighborhood of a helix},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/4KF6WJWQ}},
  note         = {Machine review of arXiv:2607.16141}
}

read the original abstract

We construct stationary solutions of the three-dimensional incompressible Euler equations with helical symmetry and support in a neighborhood of a helix. The solutions are piecewise smooth and arise from a nonlinear overdetermined elliptic boundary value problem associated with a stream-function formulation. A distinguishing feature is that the vortex cross-sections are intrinsically anisotropic: after rescaling, the leading-order shape is elliptic rather than radial, and the boundary exhibits a nontrivial third Fourier mode reflecting helical effects absent in previous axisymmetric constructions. A key step in the proof is the analysis of a genuinely anisotropic overdetermined elliptic problem with prescribed Dirichlet and nonconstant Neumann conditions.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

26 extracted references · 4 linked inside Pith

[12]

Domínguez-Vázquez, A

M. Domínguez-Vázquez, A. Enciso, D. Peralta-Salas, Piecewise smooth stationary Euler flows with compact support via overdetermined boundary problems.Arch. Rational Mech. Anal.239, 1327–1347, 2021

2021
[1]

D. Cao, B. Fan, R. Li, G. Qin, Helical Kelvin waves for the three-dimensional Euler equations.SIAM J. Math. Anal.58, no.1, 335–371, 2026

2026
[2]

D. Cao, J. Wan, Helical vortices with small cross-section for 3D incompressible Euler equation.J. Funct. Anal.284, no. 7, 109836, 2023

2023
[3]

D. Cao, J. Wan, Structure of Green’s function of elliptic equations and helical vortex patches for 3D incompressible Euler equations.Math. Ann.388, 2627–2669, 2024

2024
[4]

D. Chae, P. Constantin, Remarks on a Liouville-type theorem for Beltrami flows.Int. Math. Res. Not. 10012–10016, 2015

2015
[5]

Choffrut, L

A. Choffrut, L. Székelyhidi, Weak solutions to the stationary incompressible Euler equations.SIAM J. Math. Anal.46, 4060–4074, 2014

2014
[6]

Constantin, J

P. Constantin, J. La, V. Vicol, Remarks on a paper by Gavrilov: Grad–Shafranov equations, steady solutions of the three dimensional incompressible Euler equations with compactly supported velocities, and applications.Geom. Funct. Anal.29, 1773–1793, 2019

2019
[7]

Dávila, M

J. Dávila, M. del Pino, M. Medina, R. Rodiac, Interacting helical vortex filaments in the 3-dimensional Ginzburg-Landau equation.J. Eur. Math. Soc. (JEMS)24, no. 12, 4143–4199, 2022

2022

Show all 26 references

[8]

Dávila, M

J. Dávila, M. del Pino, M. Medina, R. Rodiac, Interacting helical traveling waves for the Gross- Pitaevskii equation,Ann. Inst. H. Poincaré C Anal. Non Linéaire39, no. 6, 1319–1367, 2022. HELICAL STATIONARY STATES OF EULER 41

2022
[9]

Dávila, M

J. Dávila, M. del Pino, M. Musso, J. Wei, Travelling helices and the vortex filament conjecture in the incompressible Euler equations.Calc. Var.&PDEs.61, no.4, Paper No. 119, 2022

2022
[10]

Delay, P

E. Delay, P. Sicbaldi, Extremal domains for the first eigenvalue in a general compact Riemannian manifold.Discrete Contin. Dyn. Syst.35, 5799–5825, 2015

2015
[11]

Domínguez-Vázquez, A

M. Domínguez-Vázquez, A. Enciso, D. Peralta-Salas, Solutions to the overdetermined boundary prob- lem for semilinear equations with position-dependent nonlinearities.Adv. Math.351, 718–760, 2019

2019
[13]

Domínguez-Vázquez, A

M. Domínguez-Vázquez, A. Enciso, D. Peralta-Salas, Overdetermined boundary problems with non constant Dirichlet and Neumann data.Anal. PDE16, 1989–2003, 2023

1989
[14]

Donati, C

M. Donati, C. Lacave, E. Miot, Dynamics of helical vortex filaments in non viscous incompressible flows. arXiv:2403.00389

arXiv
[15]

arXiv: 2501.13632

A.Enciso, J.Peñafiel-Tomás, D.Peralta-Salas, Steady3DEulerflowsviaatopology-preservingconvex integration scheme. arXiv: 2501.13632

arXiv
[16]

Enciso, A

A. Enciso, A. Fernández, D. Ruiz, P. Sicbaldi, A Schiffer-type problem for annuli with applications to stationary planar Euler flows.Duke Math. J.174, 1151–1208, 2025

2025
[17]

L. E. Fraenkel, M. S. Berger, A global theory of steady vortex rings in an ideal fluid.Acta Math.132, 14–51, 1974

1974
[18]

A. V. Gavrilov, A steady Euler flow with compact support.Geom. Funct. Anal.29, 190–197, 2019

2019
[19]

A. V. Gavrilov, A steady smooth Euler flow with support in the vicinity of a helix. arXiv: 1906.07465

1906 arXiv
[20]

Gómez-Serrano, J

J. Gómez-Serrano, J. Park, J. Shi, Existence of non-trivial non-concentrated compactly supported stationary solutions of the 2D Euler equation with finite energy.Mem. Amer. Math. Soc.311, no. 1577, 2025

2025
[21]

Q. Jiu, Z. Xin, Smooth approximations and exact solutions of the 3D steady axisymmetric Euler equations.Comm. Math. Phys.287, 323–350, 2009

2009
[22]

Lucas, D

D. Lucas, D. G. Dritschel, A family of helically symmetric vortex equilibria.J. Fluid Mech.634, 245–268, 2009

2009
[23]

Nadirashvili, Liouville theorem for Beltrami flow.Geom

N. Nadirashvili, Liouville theorem for Beltrami flow.Geom. Funct. Anal.24, 916–921, 2014

2014
[24]

Pacard, P

F. Pacard, P. Sicbaldi, Extremal domains for the first eigenvalue of the Laplace–Beltrami operator. Ann. Inst. Fourier59, 515–542, 2009

2009
[25]

G. Qin, J. Wan, On concentrated vortices of 3D incompressible Euler equations under helical symme- try: with swirl. arXiv: 2412.10725

arXiv
[26]

Serrin, A symmetry problem in potential theory.Arch

J. Serrin, A symmetry problem in potential theory.Arch. Rational Mech. Anal.43, 304–318, 1971. Instituto de Ciencias Matemáticas, Consejo Superior de Investigaciones Científicas, Madrid, Spain Email address:dperalta@icmat.es School of Mathematics and Statistics, Beijing Instit...

1971

Pith tools

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

[1] [12]

Domínguez-Vázquez, A

M. Domínguez-Vázquez, A. Enciso, D. Peralta-Salas, Piecewise smooth stationary Euler flows with compact support via overdetermined boundary problems.Arch. Rational Mech. Anal.239, 1327–1347, 2021

2021

[2] [1]

D. Cao, B. Fan, R. Li, G. Qin, Helical Kelvin waves for the three-dimensional Euler equations.SIAM J. Math. Anal.58, no.1, 335–371, 2026

2026

[3] [2]

D. Cao, J. Wan, Helical vortices with small cross-section for 3D incompressible Euler equation.J. Funct. Anal.284, no. 7, 109836, 2023

2023

[4] [3]

D. Cao, J. Wan, Structure of Green’s function of elliptic equations and helical vortex patches for 3D incompressible Euler equations.Math. Ann.388, 2627–2669, 2024

2024

[5] [4]

D. Chae, P. Constantin, Remarks on a Liouville-type theorem for Beltrami flows.Int. Math. Res. Not. 10012–10016, 2015

2015

[6] [5]

Choffrut, L

A. Choffrut, L. Székelyhidi, Weak solutions to the stationary incompressible Euler equations.SIAM J. Math. Anal.46, 4060–4074, 2014

2014

[7] [6]

Constantin, J

P. Constantin, J. La, V. Vicol, Remarks on a paper by Gavrilov: Grad–Shafranov equations, steady solutions of the three dimensional incompressible Euler equations with compactly supported velocities, and applications.Geom. Funct. Anal.29, 1773–1793, 2019

2019

[8] [7]

Dávila, M

J. Dávila, M. del Pino, M. Medina, R. Rodiac, Interacting helical vortex filaments in the 3-dimensional Ginzburg-Landau equation.J. Eur. Math. Soc. (JEMS)24, no. 12, 4143–4199, 2022

2022