Remarks on Linear Growth of Vorticity Gradients and Support Diameters for 2D Euler Flow in Half-Plane
Pith reviewed 2026-06-28 21:29 UTC · model grok-4.3
The pith
Any compactly supported nonnegative vorticity in the half-plane admits an arbitrarily small perturbation that produces linear-in-time filamentation in the quadrant.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
For any compactly supported nonnegative function in the half-plane, there exists an arbitrarily small smooth nonnegative perturbation whose associated solution undergoes linear-in-time filamentation in the quadrant, in the odd symmetric setting.
What carries the argument
The center-of-mass lower bound combined with velocity estimates for the sparse part of the vorticity, which together force linear stretching after perturbation.
If this is right
- Linear growth of vorticity gradients holds on a dense set of nonnegative compactly supported initial data.
- The sparse perturbation interacts with the main support to produce filamentation that persists in time.
- The same mechanism can be applied to produce examples with linear growth starting from any given compact background.
Where Pith is reading between the lines
- The perturbation idea may extend to other symmetric domains or to flows without explicit symmetry if analogous bounds can be established.
- Numerical experiments could check whether the linear growth rate is uniform across different choices of the background vorticity.
- If the sparse-part estimates generalize, the result could apply to related active scalar equations with similar conservation properties.
Load-bearing premise
The center-of-mass lower bound and sparse-velocity estimates remain valid after adding the arbitrary background perturbation in the odd-symmetric half-plane setting.
What would settle it
A long-time numerical evolution of a perturbed initial vorticity in the half-plane that fails to exhibit linear growth of the gradient norm would contradict the claim.
read the original abstract
It has been conjectured that generic smooth solutions of the two-dimensional Euler equation exhibit linear growth of vorticity gradients. We prove an elementary arbitrary-background perturbation principle in the odd symmetric setting. More precisely, for any compactly supported nonnegative function in the half-plane, one can find an arbitrarily small smooth nonnegative perturbation whose associated solution undergoes linear-in-time filamentation in the quadrant. The main ingredients are the lower bound of the center of mass given by Iftimie-Sideris-Gamblin, and the velocity estimate for the sparse part to capture those slowly moving particles.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript proves an elementary arbitrary-background perturbation principle for the 2D Euler equations in the half-plane under odd symmetry. For any compactly supported nonnegative initial vorticity, there exists an arbitrarily small smooth nonnegative perturbation such that the associated solution exhibits linear-in-time filamentation (growth of support diameter) in the quadrant. The argument combines the Iftimie-Sideris-Gamblin center-of-mass lower bound with velocity estimates on the sparse vorticity component.
Significance. If the result holds, the perturbation principle shows that linear filamentation can be triggered by arbitrarily small changes to any given compactly supported nonnegative datum, offering a direct construction supporting the conjecture of generic linear growth of vorticity gradients. The approach is elementary and leverages existing center-of-mass bounds without introducing new parameters.
major comments (1)
- [Abstract / proof sketch] The central claim requires that the ISG center-of-mass lower bound and the velocity estimates for the sparse part continue to produce a uniform positive lower bound on support diameter even after an arbitrary background vorticity is added. The abstract and proof ingredients provide no explicit control on how the background modifies the velocity field seen by the sparse particles or whether the center-of-mass motion remains bounded away from zero uniformly in the background; this interaction is load-bearing for the 'arbitrary background' assertion.
Simulated Author's Rebuttal
We thank the referee for the positive summary and for identifying the key point that requires clarification. We address the major comment below.
read point-by-point responses
-
Referee: [Abstract / proof sketch] The central claim requires that the ISG center-of-mass lower bound and the velocity estimates for the sparse part continue to produce a uniform positive lower bound on support diameter even after an arbitrary background vorticity is added. The abstract and proof ingredients provide no explicit control on how the background modifies the velocity field seen by the sparse particles or whether the center-of-mass motion remains bounded away from zero uniformly in the background; this interaction is load-bearing for the 'arbitrary background' assertion.
Authors: The velocity estimates in Section 3 are written for the total vorticity (background plus sparse perturbation) via the Biot-Savart law. Because the background is fixed, compactly supported, and nonnegative, its induced velocity is bounded on the support of the sparse component once the sparse particles are placed sufficiently far from the background support; this bound depends only on the L^1 mass and diameter of the background, not on its detailed profile. The ISG center-of-mass lower bound is applied to a auxiliary vorticity that subtracts a small multiple of the background, so that the resulting center-of-mass velocity is bounded below by a positive constant proportional to the mass of the sparse perturbation alone. The resulting lower bound on support diameter is therefore uniform in the background. We agree that the uniformity statement is not written explicitly enough in the current proof sketch and will insert a short paragraph after the statement of the main theorem and a clarifying sentence in the velocity-estimate section of the revised manuscript. revision: yes
Circularity Check
No circularity; central claim rests on external independent bound
full rationale
The paper proves an arbitrary-background perturbation principle for linear filamentation by combining the Iftimie-Sideris-Gamblin center-of-mass lower bound (an external result from prior independent authors) with velocity estimates on the sparse part. No step reduces the claimed filamentation to a quantity defined by fitting, self-definition, or renaming within the paper; the cited bound is not a self-citation and is treated as an independent input. The derivation therefore remains self-contained against external benchmarks with no load-bearing reduction to the paper's own inputs.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption 2D Euler equations hold in the half-plane with odd symmetry
- standard math Lower bound on center of mass from Iftimie-Sideris-Gamblin
Reference graph
Works this paper leans on
- [1]
-
[2]
Hajer Bahouri, Jean-Yves Chemin, and Rapha¨ el Danchin,Fourier Analysis and Nonlinear Partial Differential Equations, Springer Berlin Heidelberg, 2011
2011
-
[3]
Paolo Butt` a, Guido Cavallaro, and Carlo Marchioro,Leapfrogging vortex rings as scaling limit of Euler equations, SIAM J. Math. Anal.57(2025), no. 1, 789–824
2025
-
[4]
World Appl.65(2022), Paper No
Kyudong Choi and In-Jee Jeong,Infinite growth in vorticity gradient of compactly supported planar vorticity near Lamb dipole, Nonlinear Anal., R. World Appl.65(2022), Paper No. 103470, 20
2022
- [5]
-
[6]
Denisov,Double exponential growth of the vorticity gradient for the two-dimensional Euler equation, Proc
Sergey A. Denisov,Double exponential growth of the vorticity gradient for the two-dimensional Euler equation, Proc. Am. Math. Soc.143(2015), no. 3, 1199–1210
2015
- [7]
-
[8]
Drivas and Tarek M
Theodore D. Drivas and Tarek M. Elgindi,Singularity formation in the incompressible Euler equation in finite and infinite time, EMS Surv. Math. Sci.10(2023), no. 1, 1–100
2023
- [9]
-
[10]
Iftimie, M
D. Iftimie, M. C. Lopes Filho, and H. J. Nussenzveig Lopes,Large time behavior for vortex evolution in the half- plane, Commun. Math. Phys.237(2003), no. 3, 441–469
2003
-
[11]
Congr., vol
Drago¸ s Iftimie,Large time behavior in perfect incompressible flows, Partial differential equations and applications, S´ emin. Congr., vol. 15, Soc. Math. France, Paris, 2007, pp. 119–179
2007
-
[12]
Sideris, and Pascal Gamblin,On the evolution of compactly supported planar vorticity, Commun, Partial
Drago¸ s Iftimie, Thomas C. Sideris, and Pascal Gamblin,On the evolution of compactly supported planar vorticity, Commun, Partial. Differ, Equ.24(1999), no. 9, 159–182
1999
- [13]
-
[14]
Math.184(2016), no
Alexander Kiselev, Lenya Ryzhik, Yao Yao, and Andrej Zlatoˇ s,Finite time singularity for the modified SQG patch equation, Ann. Math.184(2016), no. 3, 909–948
2016
-
[15]
Alexander Kiselev and Vladimir ˇSver´ ak,Small scale creation for solutions of the incompressible two-dimensional Euler equation, Ann. Math. (2014), 1205–1220
2014
-
[16]
Majda and Andrea L
Andrew J. Majda and Andrea L. Bertozzi,Vorticity and incompressible flow, Cambridge Texts in Applied Mathe- matics, vol. 27, Cambridge University Press, Cambridge, 2002
2002
-
[17]
Carlo Marchioro,Bounds on the growth of the support of a vortex patch, Commun. Math. Phys.164(1994), no. 3, 507–524
1994
-
[18]
David Meyer,Long time confinement of multiple concentrated vortices, 2025, arXiv:2506.01477
work page internal anchor Pith review Pith/arXiv arXiv 2025
-
[19]
Philippe Serfati,Borne en temps des caract´ eristiques de l’Equation d’Euler 2D ` a tourbillon positif et localisation pour le mod` ele point-vortex, preprint. (1998)
1998
-
[20]
Wolibner,Un theor` eme sur l’existence du mouvement plan d’un fluide parfait, homog` ene, incompressible, pen- dant un temps infiniment long, Math
W. Wolibner,Un theor` eme sur l’existence du mouvement plan d’un fluide parfait, homog` ene, incompressible, pen- dant un temps infiniment long, Math. Z.37(1933), no. 1, 698–726
1933
-
[21]
Yudovich,Non-stationary flow of an ideal incompressible liquid, USSR Comput
V.I. Yudovich,Non-stationary flow of an ideal incompressible liquid, USSR Comput. Math. Math. Phys.3(1963), no. 6, 1407–1456
1963
-
[22]
2, 707–733
Samuel Zbarsky,From point vortices to vortex patches in self-similar expanding configurations, Commun, Math, Phys,388(2021), no. 2, 707–733
2021
-
[23]
math.243 (2025), no
Andrej Zlatoˇ s,Maximal double-exponential growth for the Euler equation on the half-plane, Invent. math.243 (2025), no. 1, 117–126. 12 S.-Q. CHEN AND Y.-Z. SUN Department of Mathematics, Nanjing University, Nanjing 210093, P. R. China Email address:sqchen@smail.nju.edu.cn Department of Mathematics, Nanjing University, Nanjing 210093, P. R. China Email ad...
2025
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.