Pith. sign in

REVIEW 1 major objections 6 minor 2 cited by

Superlinear gradient growth for 2D Euler equation without boundary

T0 review · 1 major / 6 minor · reviewed 2026-08-06 · deepseek-v4-flash

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

Pith's one-line read This paper proves that superlinear growth of the vorticity gradient—a standard signature of small-scale formation in 2D ideal flow—occurs robustly for an open set of smooth initial data near any orbitally stable, saddle-point steady state…

desk verdict Real progress: first symmetry-free open-set superlinear gradient growth on the torus and first superlinear growth in the plane, but the abstract overclaims the torus theorem by dropping the no-smaller-period condition (1.6). read the letter →

arxiv 2507.15739 v1 pith:4BH7SXDB submitted 2025-07-21 math.AP

In-Jee Jeong , Yao Yao , Tao Zhou This is my paper · ORCID
classification math.AP MSC 35Q3176B0335B35
keywords 2DEulerequationsvorticitygradientgrowthsmallscalecreationorbitalstabilityuptotranslationLambdipolesuperlinearopensetofinitialdatatorus
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 superlinear growth of the vorticity gradient, the accepted signature of small-scale formation in two-dimensional ideal fluids, occurs robustly near a large class of stable coherent states, without any symmetry assumptions on the data. In the torus, any steady state that is orbitally stable up to translation, has a saddle point, and has no smaller period serves as a seed: the authors construct smooth initial data arbitrarily close in $L^2$ to it such that every $C^1$ initial datum in a small $L^\infty$ neighborhood has $\int_0^\infty \|\nabla\omega\|_{L^\infty}^{-1}\,dt$ finite, so $\|\nabla\omega\|_{L^\infty}$ outgrows $t\log t$ along a sequence of times. In the plane, the same conclusion is reached for smooth, compactly supported vorticity near the Lamb–Chaplygin dipole, within the odd symmetry class where the dipole is known to be stable; this is the first superlinear growth result of any kind for smooth compactly supported planar vorticity. A sympathetic reader would care because it converts a phenomenon previously obtained only through fragile symmetry assumptions into a stable, open-set phenomenon.

What carries the argument

The central object is an approximate translation vector $p(t)$, a $C^1$ curve with arbitrarily small speed that tracks the unknown translation $a(t)$ in the orbital-stability definition closely enough that the solution stays close to the steady state in the moving frame $x\mapsto x+p(t)$. On the torus $p(t)$ is built from the phases of two non-vanishing Fourier modes of $\omega^*$, solving a $2\times 2$ linear system $Kp(t)=b(t)$; in the plane it is defined implicitly by $\int_{\mathbb{R}^2_+}\bar\omega(t,x)g(x_1-p(t))\,dx=0$ with a bounded odd cutoff $g$. This $p(t)$ converts the purely $L^2$ closeness of orbital stability into a uniform velocity bound $\|v(t)-u^*\|_{L^\infty}\le C\sqrt{\varepsilon}$ for the moving-frame velocity $v=\nabla^\perp\Delta^{-1}\rho-\dot p$, which preserves the strict inward/outward flux of $u^*$ across the sides of a small parallelogram (torus) or square (plane) around the saddle point. With signed flux and initial level sets of different values crossing the domain, a transport lemma (after Denisov) forces the gradient integral to be finite.

What would settle it

Fix $\omega^*=\cos x_1+\cos x_2$ on $\mathbb{T}^2$, construct $\tilde\omega_0$ as in Theorem 1.3, and numerically integrate 2D Euler from a $C^1$ initial datum within the stated $L^\infty$ neighborhood, measuring $I(T)=\int_0^T \|\nabla\omega(t)\|_{L^\infty}^{-1}\,dt$. If $I(T)$ fails to stay bounded, or if the limsup of $\|\nabla\omega(t)\|/(t\log t)$ remains finite, Theorem 1.3 is false. Equivalently, exhibiting a steady state satisfying all hypotheses—including (1.6)—for which every nearby $C^1$ datum has the integral divergent would refute the claimed mechanism.

Watch

Extended reading notes

Core claim

On the torus, for a steady state $\omega^*$ that is orbitally stable up to translation and whose flow has a saddle point, the paper constructs a smooth perturbation $\tilde\omega_0$ at arbitrarily small $L^2$ distance from $\omega^*$ such that every $C^1$ initial datum $\omega_0$ with $\|\omega_0-\tilde\omega_0\|_{L^\infty}$ small satisfies $\int_0^\infty \|\nabla\omega(t)\|_{L^\infty}^{-1}\,dt < C_0$, which implies $\limsup_{t\to\infty} \|\nabla\omega(t)\|_{L^\infty}/(t\log t)=\infty$. An explicit family of examples is $\omega^*_{\alpha,\beta}=\alpha\cos x_1+\beta\cos x_2$, whose orbital stability was previously established. In $\mathbb{R}^2$, the analogous statement holds for smooth compactly supported initial data near the Lamb dipole within the symmetry class $X^{\mathrm{odd},+}$; the construction uses the dipole's two saddle points in the co-moving frame.

Load-bearing premise

The argument assumes as a black box that the chosen steady state really is orbitally stable up to translation (for the plane, that the Lamb dipole is stable in $X^{\mathrm{odd},+}$), and on the torus it additionally assumes the steady state has no smaller period; if those stability or non-degeneracy facts fail, the construction has no ground to stand on.

Editorial extensions

If this is right

  • On $\mathbb{T}^2$, any orbitally stable-up-to-translation steady state with a saddle point and no smaller period automatically seeds an open set of $C^1$ data with $\int_0^\infty \|\nabla\omega\|_{L^\infty}^{-1}\,dt<\infty$, hence superlinear gradient growth; no parity or rotational symmetry is needed.
  • In $\mathbb{R}^2$, smooth compactly supported vorticity can now exhibit gradient growth faster than linear, closing the gap left by earlier linear-growth results near the Lamb dipole.
  • The time-integral bound is stronger than a limsup statement: it implies the same superlinear growth with a quantitative integrability guarantee, and yields the earlier averaged statement $\frac1T\int_0^T\|\nabla\omega\|\,dt\to\infty$ as a corollary.
  • The proof scheme is transferable: any traveling or uniformly rotating relative equilibrium that is orbitally stable (up to translation or rotation) and has a saddle in its moving frame is a candidate for the same conclusion.
  • Condition (1.6) is technical; the authors expect it can be removed, which would widen the torus theorem to all orbitally stable steady states with saddles.

Reading between the lines

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

  • A plausible reading is that hyperbolic stagnation points in stably moving coherent structures act as universal small-scale generators in 2D ideal flow; the paper's open-set statement suggests this persists under generic, symmetry-free perturbations rather than being a measure-zero phenomenon.
  • For rotating equilibria such as Kirchhoff ellipses, the same mechanism should apply once a stability statement with propagating support control is available; the paper identifies exactly that missing ingredient.
  • Testable extension: the plane construction suggests a concrete quantitative prediction—near the Lamb dipole, $\|\nabla\omega\|_{L^\infty}$ should grow at least like $t/(\log t)$ along an explicitly computable subsequence; a high-resolution numerical check could validate the rate.
  • Because the open set is in $L^\infty$ (and implicitly $C^1$), the constructed $\tilde\omega_0$ itself may be approximated by piecewise constant or vortex-blob data, suggesting a route to experimental or numerical verification of open-set small-scale creation.
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.

Referee Report

1 major / 6 minor

Summary. The paper proves two superlinear vorticity-gradient growth results for the 2D Euler equation in domains without boundary. On the torus, assuming a C^1 steady state is orbitally stable up to translation, has a saddle point, and has no nontrivial smaller period (condition (1.6)), the authors construct smooth initial data arbitrarily close in L^2 such that a whole L^infinity-neighborhood of that data produces solutions satisfying the bound (1.7), which implies superlinear growth (1.8). The proof introduces a differentiable approximate translation vector p(t) via Fourier phases, studies the equation in a moving frame, and uses a flux-through-a-parallelogram mechanism (Appendix A) inherited from Denisov. On the whole plane, the authors prove the first compactly supported smooth superlinear growth result by perturbing the Lamb dipole in the odd/positive symmetry class Xodd,+, relying on the orbital stability theorem of Abe and Choi as a black box. The torus and plane arguments are independent.

Significance. If correct, this is a notable advance: it removes symmetry assumptions on the initial data for small-scale creation on the torus, producing an L^infinity-open set of smooth data with superlinear gradient growth, and it gives the first superlinear growth for smooth compactly supported vorticity in the plane. The proof strategy is robust and conceptual, and the Appendix usefully isolates the flux-to-growth mechanism. The results are conditional on the quoted orbital stability theorems, which is standard for this line of work. The main weakness is that the abstract overstates the torus theorem by omitting the no-smaller-period condition (1.6), a hypothesis that is used essentially in the proof.

major comments (1)
  1. [Abstract vs. Theorem 1.3 and Proposition 2.1] The abstract states the torus result for every steady state that is orbitally stable up to translation and has a saddle point, but Theorem 1.3 and Proposition 2.1 additionally require the no-smaller-period condition (1.6). This is not a harmless omission: in the proof of Proposition 2.1, after equations (2.10)-(2.11), the argument needs c(omega*) = min_{0 neq s in S} ||omega* - omega*(.-s)||_{L2} > 0, which follows from (1.6), to conclude from (2.14) that s(t) cannot jump and hence s(t) = 0 for all t. For a steady state such as omega*(x) = cos(2x1)+cos(2x2), the set S contains nonzero periods, c(omega*) = 0, and the proof gives no justification that a single C^1 approximate translation p(t) works for all times. The abstract must either include (1.6) or the authors must prove the stronger statement they advertise.
minor comments (6)
  1. [Section 2.2, proof of (2.2)] The text refers to 'Multiplying -i to (2.30)' but equation (2.30) does not exist; the reference should be to (2.18).
  2. [Section 3.2, equation (3.24)] The displayed inequality ||omega~_{p,epsilon}||_{L1} <= C ||omega~_{p,epsilon}||_{L2}^{1/2} (|supp|)^{1/2} is not valid in general; by Cauchy-Schwarz the correct bound is ||f||_{L1} <= |supp f|^{1/2} ||f||_{L2}, which is stronger and suffices for the argument.
  3. [Section 3.3, proof of Theorem 1.5] In the verification of Condition 2, the second curve is labeled 'C1' again; it should be C2 = {|x1+1| <= eta, x2 = -eta/2}.
  4. [Footnote 9] In the definition of g, the third case should be -3 for x1 <= -3, not 'x1 <= 3' as written.
  5. [Definition 2.3] The definition of p(0) refers to 'a(0) given by Definition 1.1', but Definition 1.1 does not specify a unique a(t); the proof should clarify that a particular a(t) is fixed from the orbital stability statement and p(0) is measured against that choice.
  6. [Appendix A, Lemma A.1] The assertion that the level sets {mu(t,.) = 1} and {mu(t,.) = 2} always have a connected component touching both Gamma1 and Gamma3 is stated without proof. Since this is a load-bearing topological step, the authors should either give a proof or cite the precise argument in [4].

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the torus and plane derivations use orbital stability as a black-box hypothesis and external stability theorems, with no fitted parameter renamed as a prediction.

full rationale

The paper's central implication is not assumed in its inputs. The torus result assumes orbital stability up to translation as a hypothesis; it then constructs an approximate translation vector p(t) from Fourier phases of the solution and the steady state, and uses condition (1.6) only to prevent this vector from jumping between equivalent translations. The plane result invokes the published Abe--Choi stability theorem for the Lamb dipole as an external input and defines p(t) implicitly through a zero of H(t,p), with the smallness of its derivative following from the stability estimate. No parameter is fitted to the target quantity ||grad omega||_{L^infty}, and no conclusion is used to define the construction. The only self-citation, reference [3], is cited for background properties of the Lamb dipole and prior linear-growth results, not as the load-bearing stability input. The abstract's omission of condition (1.6) is an accuracy issue about the stated theorem, not a circularity: the condition is an extra non-degeneracy hypothesis on the steady state, not a restatement of superlinear gradient growth. The final gradient-growth bound is obtained by verifying the flux conditions of Lemma A.1, whose proof is self-contained and independent of the constructions. Therefore no circular step is present.

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

The central claims rest on standard PDE well-posedness, quoted orbital stability theorems for explicit steady states, and one technical assumption (1.6) that is stated in the main theorem but not in the abstract. No new physical entities or fitted parameters are introduced.

assumptions (5)
  • standard math Yudovich global well-posedness for C^1 mean-zero vorticity on T^2
    Used in Section 1.2 to assert the existence of unique global C^1 solutions for initial data in C^1_0(T^2).
  • domain assumption Orbital stability up to translation of sinusoidal steady states alpha cos x1 + beta cos x2 (Wang-Zuo [18, Theorem 1.4(iii)])
    Provides the concrete family of steady states satisfying the hypotheses of Theorem 1.3; this theorem is quoted, not proved in the paper.
  • domain assumption Quantitative orbital stability estimate of Elgindi [7, Theorem 1.3]
    Referenced to control how delta depends on epsilon for the sinusoidal steady states; it supports the example class but is not needed in the core proof beyond that.
  • domain assumption Orbital stability of the Lamb dipole in Xodd,+ (Abe-Choi [1, Theorem 1.1])
    This is Proposition 3.2 and is the backbone of Theorem 1.5. The paper quotes it without proof, so any hidden condition in that theorem would affect the plane result.
  • ad hoc to paper No-smaller-period condition (1.6) on the steady state omega*
    A technical assumption imposed for simplicity in the proof of Proposition 2.1. The authors state they expect it can be removed, and it is omitted from the abstract's formulation of Theorem 1.3.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Superlinear gradient growth for 2D Euler equation without boundary." pith.science (2026). https://pith.science/paper/4BH7SXDB

@misc{pith2026250715739,
  author       = {Pith},
  title        = {Pith review of: Superlinear gradient growth for 2D Euler equation without boundary},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/4BH7SXDB}},
  note         = {Machine review of arXiv:2507.15739}
}
abstract

We consider the vorticity gradient growth of solutions to the two-dimensional Euler equations in domains without boundary, namely in the torus $\mathbb{T}^{2}$ and the whole plane $\mathbb{R}^{2}$. In the torus, whenever we have a steady state $\omega^*$ that is orbitally stable up to a translation and has a saddle point, we construct ${\tilde{\omega}}_0 \in C^\infty(\mathbb{T}^2)$ that is arbitrarily close to $\omega^*$ in $L^2$, such that superlinear growth of the vorticity gradient occurs for an open set of smooth initial data around ${\tilde{\omega}}_0$. This seems to be the first superlinear growth result which holds for an open set of smooth initial data (and does not require any symmetry assumptions on the initial vorticity). Furthermore, we obtain the first superlinear growth result for smooth and compactly supported vorticity in the plane, using perturbations of the Lamb-Chaplygin dipole.

Figures

Figures reproduced from arXiv: 2507.15739 by the authors.

Figure 1
Figure 1. Illustration of the Lamb dipole ωL and its streamlines in the moving frame with velocity 1. The velocity field in the moving frame has two saddle points at (±1, 0). The Lamb dipole is a traveling wave solution of (1.1) with velocity 1 towards the right; see Section 3.1 for a quick review on its basic properties. In the moving frame, its velocity field has two saddle points at (±1, 0); see [PITH_FULL_IMAGE:figures/f… view at source ↗
Figure 2
Figure 2. (a) Illustration of the initial data ω0 in Theorem 1.5. (b) In some suitable moving frame centered at (t + p(t))e1, the solution remains close to ωL for all times, and the velocity field (in the moving frame) has strictly positive/negative flux along the boundary of a small square Q centered at (−1, 0): the signs of flux are shown by the purple and orange arrows. Lastly, we would like to remark that our method does … view at source ↗
Figure 3
Figure 3. (a) Illustration of the parallelogram domain D defined in (2.26). (b) Illustration of the streamline of u ∗ near the saddle point x0, and the inward/outward flux along the four sides. Lemma 2.5. Assume x0 ∈ T 2 is a saddle point of the flow u ∗ of a steady state ω ∗ in the sense of Definition 1.2. Then there exist two small constants c0(ω ∗ ), η(ω ∗ ) > 0, two different unit vectors q (1) , q (2), such that for the … view at source ↗
Figures from the paper (1 more)
Figure 4
Figure 4. Figure 4: In the moving frame (3.2), the velocity field uL − e1 has strictly inward/outward flux along the four sides of a sufficiently small square centered at (−1, 0). In addition, the Lamb dipole has been verified to be orbitally stable in Xodd,+ by Abe– Choi [1]. Below we st…

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Stability for multiple Lamb dipoles

    math.AP 2025-07 conditional novelty 7.0 of 10

    Finite sums of Lamb dipoles in the half-plane, with ordered speeds and well-separated initial positions, are Lyapunov stable under the 2D Euler equations.

  2. Orbital Stability of First Laplacian Eigenstates for the Incompressible Euler Equation on a Flat 2-Torus

    math.AP 2025-08 accept novelty 6.0 of 10

    First Laplacian eigenstates on flat 2-tori of any shape are orbitally stable for 2D Euler dynamics up to translations, including new stable sinusoidal flows on hexagonal tori.

Reference graph

Works this paper leans on

24 extracted references · 24 canonical work pages · cited by 2 Pith papers

  1. [1]

    Abe and K

    K. Abe and K. Choi , Stability of Lamb dipoles, Arch. Ration. Mech. Anal., 244 (2022), pp. 877–917

    work page 2022

  2. [2]

    Bouchet and A

    F. Bouchet and A. Venaille , Statistical mechanics of two-dimensional and geophysical flows, Physics Reports, 515 (2012), pp. 227–295. Statistical mechanics of two-dimensional and geophysical flows

    work page 2012

  3. [3]

    Choi and I.-J

    K. Choi and I.-J. Jeong , Infinite growth in vorticity gradient of compactly supported planar vorticity near Lamb dipole, Nonlinear Anal. Real World Appl., 65 (2022), pp. Paper No. 103470, 20

    work page 2022

  4. [4]

    S. A. Denisov , Infinite superlinear growth of the gradient for the two-dimensional Euler equation, Discrete Contin. Dyn. Syst., 23 (2009), pp. 755–764

    work page 2009

  5. [5]

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

    work page 2023

  6. [6]

    T. D. Driv as, T. M. Elgindi, and I.-J. Jeong , Twisting in Hamiltonian flows and perfect fluids, Invent. Math., 238 (2024), pp. 331–370

    work page 2024

  7. [7]

    T. M. Elgindi , Remark on the stability of energy maximizers for the 2d Euler equation on T2, Commun. Pure Appl. Anal., 23 (2024), pp. 1562–1568

    work page 2024

  8. [8]

    Hölder , über die unbeschränkte Fortsetzbarkeit einer stetigen ebenen Bewegung in einer unbe- grenzten inkompressiblen Flüssigkeit, Math

    E. Hölder , über die unbeschränkte Fortsetzbarkeit einer stetigen ebenen Bewegung in einer unbe- grenzten inkompressiblen Flüssigkeit, Math. Z., 37 (1933), pp. 727–738

    work page 1933

Show all 24 references
  1. [9]

    Kiselev, Small scales and singularity formation in fluid dynamics, in Proceedings of the Interna- tional Congress of Mathematicians—Rio de Janeiro 2018

    A. Kiselev, Small scales and singularity formation in fluid dynamics, in Proceedings of the Interna- tional Congress of Mathematicians—Rio de Janeiro 2018. Vol. III. Invited lectures, World Sci. Publ., Hackensack, NJ, 2018, pp. 2363–2390

    2018

  2. [10]

    Kiselev and V

    A. Kiselev and V. Šverák , Small scale creation for solutions of the incompressible two-dimensional Euler equation, Ann. of Math. (2), 180 (2014), pp. 1205–1220

    2014

  3. [11]

    A. A. Kiselev , Small scale creation in active scalars, in Progress in mathematical fluid dynamics, vol. 2272 of Lecture Notes in Math., Springer, Cham, [2020]©2020, pp. 125–161

    2020

  4. [12]

    A. J. Majda and A. L. Bertozzi , Vorticity and incompressible flow, vol. 27 of Cambridge Texts in Applied Mathematics, Cambridge University Press, Cambridge, 2002

    2002

  5. [13]

    Marchioro and M

    C. Marchioro and M. Pul virenti, Mathematical theory of incompressible nonviscous fluids, vol. 96 of Applied Mathematical Sciences, Springer-Verlag, New York, 1994

    1994

  6. [14]

    N. S. Nadirashvili , Wandering solutions of the two-dimensional Euler equation, Funktsional. Anal. i Prilozhen., 25 (1991), pp. 70–71

    1991

  7. [15]

    Tang, Nonlinear stability of vortex patches, Trans

    Y. Tang, Nonlinear stability of vortex patches, Trans. Amer. Math. Soc., 304 (1987), pp. 617–638

    1987

  8. [16]

    Y. H. W an, The stability of rotating vortex patches, Comm. Math. Phys., 107 (1986), pp. 1–20

    1986

  9. [17]

    Y. H. W an and M. Pul virenti , Nonlinear stability of circular vortex patches, Comm. Math. Phys., 99 (1985), pp. 435–450

    1985

  10. [18]

    W ang and B

    G. W ang and B. Zuo , Nonlinear stability of sinusoidal Euler flows on a flat two-torus, Calc. Var. Partial Differential Equations, 62 (2023), pp. Paper No. 207, 16

    2023

  11. [19]

    Wolibner, Un theorème sur l’existence du mouvement plan d’un fluide parfait, homogène, in- compressible, pendant un temps infiniment long, Math

    W. Wolibner, Un theorème sur l’existence du mouvement plan d’un fluide parfait, homogène, in- compressible, pendant un temps infiniment long, Math. Z., 37 (1933), pp. 698–726

    1933

  12. [20]

    Xu , Fast growth of the vorticity gradient in symmetric smooth domains for 2D incompressible ideal flow, J

    X. Xu , Fast growth of the vorticity gradient in symmetric smooth domains for 2D incompressible ideal flow, J. Math. Anal. Appl., 439 (2016), pp. 594–607

    2016

  13. [21]

    V. I. Yudovich , Non-stationary flows of an ideal incompressible fluid, Z. Vycisl. Mat. i Mat. Fiz., 3 (1963), pp. 1032–1066

    1963

  14. [22]

    , On the loss of smoothness of the solutions of the Euler equations and the inherent instability of flows of an ideal fluid, Chaos, 10 (2000), pp. 705–719

    2000

  15. [23]

    Zlatoš, Exponential growth of the vorticity gradient for the Euler equation on the torus, Adv

    A. Zlatoš, Exponential growth of the vorticity gradient for the Euler equation on the torus, Adv. Math., 268 (2015), pp. 396–403

    2015

  16. [24]

    Department of Mathematical Sciences and RIM, Seoul National University, 1 Gw anak-ro, Gw anak-gu, Seoul 08826, Republic of Korea

    , Maximal double-exponential growth for the Euler equation on the half-plane, arXiv:2507.04198, (2025). Department of Mathematical Sciences and RIM, Seoul National University, 1 Gw anak-ro, Gw anak-gu, Seoul 08826, Republic of Korea. Email address: injee_j@snu.ac.kr Department...

    2025

Pith tools

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