pith. sign in

arxiv: 2604.19358 · v1 · submitted 2026-04-21 · 🧮 math.AP

Growth of vorticity gradient for the Euler equation on the sphere

Pith reviewed 2026-05-10 02:17 UTC · model grok-4.3

classification 🧮 math.AP
keywords Euler equationsvorticity gradientdouble exponential growthsphereodd symmetryideal fluidsrotating sphere
0
0 comments X

The pith

Vorticity gradients for Euler solutions on the sphere grow at most double-exponentially in time, with this rate achieved by odd-symmetric examples.

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

This paper proves that solutions to the two-dimensional Euler equations on the sphere have vorticity gradients that cannot grow faster than double-exponentially in time. It also constructs explicit solutions with odd symmetry that achieve exactly this double-exponential growth rate in one hemisphere. The result applies as well to a rotating sphere and represents the first such growth estimate on a curved compact manifold. A sympathetic reader would care because it bounds how quickly ideal fluid flows can develop sharp gradients before potentially breaking down.

Core claim

We prove that for solutions of the Euler equation on the sphere, the vorticity gradient can grow at most double-exponentially in time. This upper bound is sharp, as shown by explicit solutions with odd symmetry that exhibit double-exponential growth in the hemisphere. The results extend to the rotating sphere.

What carries the argument

Odd symmetry with respect to the equator, which reduces the problem to the hemisphere and permits explicit construction of flows exhibiting double-exponential stretching of vorticity gradients.

If this is right

  • The upper bound applies to all sufficiently regular solutions on the sphere.
  • Double-exponential growth is attainable, so the bound cannot be improved in general.
  • The same double-exponential bound holds for the Euler equation on a rotating sphere.
  • These are the first quantitative growth results for vorticity gradients on a compact manifold with non-trivial geometry.

Where Pith is reading between the lines

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

  • If the double-exponential rate is generic, it could inform numerical methods for simulating long-time behavior of ideal flows on spheres.
  • Similar symmetry-based constructions might yield sharp growth rates on other surfaces like the torus or cylinder.
  • The result suggests that curvature does not prevent the rapid gradient growth seen in planar domains.

Load-bearing premise

The solutions stay smooth enough over the time interval for the vorticity gradient to remain well-defined and finite, with the lower-bound examples also requiring odd symmetry across the equator.

What would settle it

A smooth solution on the sphere whose vorticity gradient grows faster than double-exponentially in time would disprove the upper bound.

Figures

Figures reproduced from arXiv: 2604.19358 by Daomin Cao, Guolin Qin, Junhong Fan.

Figure 1
Figure 1. Figure 1: Odd-odd symmetric vorticity drives particles toward the symmetry axis {φ = 0}. The proof of our main results is built on the strategy developed in [19, 37, 38], but requires substantial adaptations to the spherical geometry. The proof of our upper bound (Theorem 1.1) follows the general strategy of [38] (which relies on precise estimates on the corresponding Dirichlet Green’s functions for uniformly smooth… view at source ↗
Figure 2
Figure 2. Figure 2: Four domains in the (φ, θ)-plane whose distances to the θ-axis (where ˜ω = 0 by odd symmetry) shrink rapidly; inside each domain |ω˜| = 1. Let g(s) := s ln(e e − 1 + | ln s|) for s ≥ 0, and for ε ∈ [0, 1/e), define Ωε := {(φ ′ , θ′ ) ∈ (0, 1)2 : φ ′ ∈ (ε, e−1 ), θ′ < g(φ ′ )}. Denote Ds :=  (φ ′ , θ′ ) ∈ Ω0 : s 2 + g 2 (s) < φ′2 + θ ′2 < e−2 [PITH_FULL_IMAGE:figures/full_fig_p017_2.png] view at source ↗
read the original abstract

We prove that for solutions of the Euler equation on the sphere, the vorticity gradient can grow at most double-exponentially in time, and we show that this upper bound is sharp by constructing explicit solutions with odd symmetry that exhibit double-exponential growth in the hemisphere. We also extend the results to the case of a rotating sphere. This seems to be the first result on the growth of the vorticity gradient for ideal fluids on a compact manifold with non-trivial geometry.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 3 minor

Summary. The manuscript proves that solutions to the 2D Euler equations on the sphere S² satisfy an a priori upper bound of double-exponential growth in time for the L^∞ norm of the vorticity gradient. Sharpness is established by constructing an explicit family of odd-symmetric (with respect to the equator) solutions that achieve double-exponential growth in the hemisphere. The same double-exponential bound and sharpness result are extended to the rotating sphere.

Significance. If the proofs are correct, the result is significant: it supplies the first vorticity-gradient growth estimates for ideal fluids on a compact Riemannian manifold with nontrivial curvature, confirming that the double-exponential upper bound known from the plane persists on the sphere and is attained by symmetry-reduced explicit solutions. The adaptation of the standard logarithmic Biot-Savart estimate to the spherical geometry and the use of equatorial odd symmetry to produce a matching lower bound are the central technical contributions.

minor comments (3)
  1. The abstract states that the result is the first on a compact manifold with non-trivial geometry; a brief sentence in the introduction comparing with existing torus or flat-torus results would strengthen the novelty claim.
  2. In the section deriving the logarithmic estimate for ||∇u||_∞ from the spherical Biot-Savart operator, the dependence of the implicit constant on the sphere radius or curvature should be made explicit to confirm it does not affect the double-exponential character of the bound.
  3. The explicit odd-symmetric solutions in the lower-bound construction would benefit from a short appendix giving the velocity field in spherical coordinates, aiding reproducibility.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our manuscript and the recommendation for minor revision. The report correctly summarizes our main results on the double-exponential upper bound for the vorticity gradient in the 2D Euler equations on the sphere, the sharpness via odd-symmetric constructions, and the extension to the rotating case. No specific major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The central claims consist of an a priori upper bound derived from the vorticity transport equation ||∇ω(t)||_∞ ≤ ||∇ω(0)||_∞ exp(∫ ||∇u||_∞ ds) closed by a logarithmic Biot-Savart estimate on the sphere, together with an explicit construction of odd-symmetric solutions achieving double-exponential growth. These steps rely on the Euler equations, standard elliptic estimates, and direct construction rather than any self-definition, fitted parameter renamed as prediction, or load-bearing self-citation. The argument is independent of prior results by the same authors and does not reduce to its inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Abstract-only review; the proof presumably rests on standard existence and regularity theory for the Euler equation on manifolds plus the imposed odd symmetry for the lower bound. No free parameters or invented entities are mentioned.

axioms (2)
  • domain assumption The Euler equation on the sphere admits sufficiently regular solutions for which the vorticity gradient is well-defined over positive time intervals.
    Required for the statement that the gradient 'can grow at most double-exponentially' to make sense.
  • domain assumption Odd symmetry with respect to the equator is preserved by the flow and can be used to construct explicit solutions.
    Invoked for the sharpness construction in the hemisphere.

pith-pipeline@v0.9.0 · 5362 in / 1300 out tokens · 37100 ms · 2026-05-10T02:17:32.715600+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

38 extracted references · 6 canonical work pages · 1 internal anchor

  1. [1]

    D. Cao, S. Li, and G. Wang. Desingularization of vortices for the incompressible Euler equation on a sphere. Calc. Var. Partial Differential Equations, 64(9):Paper No. 279, 26, 2025

  2. [2]

    Cao and G

    D. Cao and G. Wang. On Arnold-type stability theorems for the Euler equation on a sphere. arXiv: 2407.06752, 2024

  3. [3]

    Caprino and C

    S. Caprino and C. Marchioro. On nonlinear stability of stationary Euler flows on a rotating sphere. J. Math. Anal. Appl., 129(1):24–36, 1988

  4. [4]

    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:Paper No. 103470, 20, 2022

  5. [5]

    Constantin and P

    A. Constantin and P. Germain. Stratospheric planetary flows from the perspective of the Euler equation on a rotating sphere. Arch. Ration. Mech. Anal., 245(1):587–644, 2022

  6. [6]

    Constantin, P

    A. Constantin, P. Germain, Z. Lin, and H. Zhu. The onset of instability for zonal stratospheric flows. arXiv:2503.14191, 2025

  7. [7]

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

  8. [8]

    S. A. Denisov. Double exponential growth of the vorticity gradient for the two-dimensional Euler equation. Proc. Amer. Math. Soc., 143(3):1199–1210, 2015

  9. [9]

    S. A. Denisov. The sharp corner formation in 2D Euler dynamics of patches: infinite double exponential rate of merging. Arch. Ration. Mech. Anal., 215(2):675–705, 2015

  10. [10]

    Confinement results near point vortices on the rotating sphere

    M. Donati and E. Roulley. Confinement results near point vortices on the rotating sphere. Preprint, arXiv: 2602.10061, 2026. 24 DAOMIN CAO, JUNHONG F AN, GUOLIN QIN

  11. [11]

    D. G. Dritschel and S. Boatto. The motion of point vortices on closed surfaces. Proc. R. Soc. A, 471(2176):20140890, 2015

  12. [12]

    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

  13. [13]

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

  14. [14]

    Garc´ ıa, Z

    C. Garc´ ıa, Z. Hassainia, and E. Roulley. Dynamics of vortex cap solutions on the rotating unit sphere. J. Differential Equations, 417:1–63, 2025

  15. [15]

    Z. Hu, C. Luo, and Y. Yao. Small scale creation for 2D free boundary Euler equations with surface tension. Ann. PDE, 10(2):Paper No. 13, 19, 2024

  16. [16]

    H¨ older.¨Uber die unbeschr¨ ankte fortsetzbarkeit einer stetigen ebenen bewegung in einer unbegrenzten inkompressiblen fl¨ ussigkeit.Mathematische Zeitschrift, 37:727–738, 1933

    E. H¨ older.¨Uber die unbeschr¨ ankte fortsetzbarkeit einer stetigen ebenen bewegung in einer unbegrenzten inkompressiblen fl¨ ussigkeit.Mathematische Zeitschrift, 37:727–738, 1933

  17. [17]

    Jeong, Y

    I.-J. Jeong, Y. Yao, and T. Zhou. Superlinear gradient growth for 2D Euler equation without boundary. Preprint, arXiv: 2507.15739, 2025

  18. [18]

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

  19. [19]

    Kiselev and V

    A. Kiselev and V. ˇSver´ ak. Small scale creation for solutions of the incompressible two-dimensional Euler equation. Ann. of Math. (2), 180(3):1205–1220, 2014

  20. [20]

    Kiselev and A

    A. Kiselev and A. Zlatoˇ s. Blow up for the 2D Euler equation on some bounded domains.J. Differential Equations, 259(7):3490–3494, 2015

  21. [21]

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

  22. [22]

    Laurent-Polz

    F. Laurent-Polz. Point vortices on a rotating sphere. Regul. Chaotic Dyn., 10(1):39–58, 2005

  23. [23]

    Luo and T

    G. Luo and T. Y. Hou. Toward the finite-time blowup of the 3D axisymmetric Euler equations: a numerical investigation. Multiscale Model. Simul., 12(4):1722–1776, 2014

  24. [24]

    A. J. Majda and A. L. Bertozzi. Vorticity and Incompressible Flow, volume 27 of Cambridge Texts in Applied Mathematics. Cambridge University Press, Cambridge, 2002

  25. [25]

    Marchioro and M

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

  26. [26]

    G. M. Marin and E. Roulley. Filamentation near monotone zonal vortex caps. arXiv:2505.12197, 2025

  27. [27]

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

  28. [28]

    Sakajo and C

    T. Sakajo and C. Zou.C 1 type regularization for point vortices onS 2. arXiv:2411.15176, 2024

  29. [29]

    Sakajo and C

    T. Sakajo and C. Zou. Regularization for point vortices on S2. Nonlinearity, 38(11):Paper No. 115021, 36, 2025

  30. [30]

    M. Taylor. Euler equation on a rotating surface. J. Funct. Anal., 270(10):3884–3945, 2016

  31. [31]

    Wolibner

    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(1):698–726, 1933

  32. [32]

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

  33. [33]

    V. I. Yudovich. The flow of a perfect, incompressible liquid through a given region. Sov. Phys., Dokl., 7:789–791, 1962

  34. [34]

    V. I. Yudovich. Non-stationary flows of an ideal incompressible fluid. ˇZ. Vyˇ cisl.Mat i Mat. Fiz., 3:1032–1066, 1963

  35. [35]

    V. I. Yudovich. The loss of smoothness of the solutions of Euler equations with time. Dinamika Sploˇ sn. Sredy, (16):71–78, 121, 1974

  36. [36]

    V. I. Yudovich. On the loss of smoothness of the solutions of the Euler equations and the inherent instability of flows of an ideal fluid. Chaos, 10(3):705–719, 2000. GRADIENT GROWTH ON THE SPHERE 25

  37. [37]

    Zlatoˇ s

    A. Zlatoˇ s. Exponential growth of the vorticity gradient for the Euler equation on the torus. Adv. Math., 268:396–403, 2015

  38. [38]

    Zlatoˇ s

    A. Zlatoˇ s. Maximal double-exponential growth for the Euler equation on the half-plane.Invent. Math., 243(1):117–126, 2026. State Key Laboratory of Mathematical Sciences, Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Beijing 100190, P.R. China and University of Chinese Academy of Sciences, Beijing 100049, P.R. China Email addre...