REVIEW 3 major objections 4 minor 31 references
Exponential Vorticity Hessian Growth in Capillary Liquid Drop in Two Dimensions
T0 review · 3 major / 4 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read Arbitrarily small smooth swirls on a circular capillary droplet force exponential growth of the vorticity Hessian (or finite-time loss of regularity).
desk verdict Real new result for droplet small-scale creation, but the confinement lemma has a misquoted Bonnesen inequality that is repairable. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing object is the approximate Biot-Savart law (Proposition 4.1). It states that for initial data with the symmetry of Lemma 2.2 and sufficiently small initial kinetic energy $K(0)\le \delta_0\sigma$, every $x\in B_{1/2}$ in the first quadrant satisfies $u_j(t,x)=(-1)^j \frac{4}{\pi}\left(\int_{Q(2x)} \frac{y_1 y_2}{|y|^4}\omega(t,y)\,dy + B_j(t,x)\right)x_j$, with $|B_j|$ bounded by $C_0\big(\|\omega_0\|_{L^\infty}(1+\min\{\log(1+x_{3-j}/x_j),\, x_{3-j}\|\nabla\omega\|_{L^\infty([0,2x_{3-j}]^2)}/\|\omega_0\|_{L^\infty}\})+\sqrt{K(0)}\big)$. The integral term is the hyperbolic-flow kernel introduced for the torus in the paper's reference [31]; because $\omega$ is odd in each variable, this kernel makes particle paths near the origin behave like hyperbolas, approaching the coordinate axes and compressing the support of vorticity. The error term $B_j$ is controlled through the decomposition $u=U+e$, where $U$ is the Euler flow on the fixed disk $B_{\sqrt{2}}$ with vanishing stream function and $e$ is shown to satisfy $|e_j|\le C\sqrt{K(0)}|x_j|$ using harmonicity, a Calder\'on-Zygmund estimate, and the symmetry; the crucial input that $B_{\sqrt{2}}\subset D_t$ for all times comes from the confinement Lemma 3.1, proved via the conserved quantity $K(t)+\sigma L(t)$ and a Bonnesen-style isoperimetric inequality.
What would settle it
Numerically solve the free-boundary Euler equations with surface tension for the constructed data ($D_0=B_2$, $u_0=\varepsilon\nabla^\perp\psi$ with $f$ odd-odd, $f\equiv 1$ on most of the first quadrant, $f=\sin^3(x_1)\sin(x_2)$ near $0$). If for some $\varepsilon<\varepsilon_0$ and some $T>T_1(\varepsilon)$ the solution remains regular while $\|\nabla^2\omega(T)\|_{L^\infty(D_T)}<\varepsilon e^{\varepsilon T}$, the theorem is false. A cheaper test is to check the two load-bearing ingredients: the confinement $\Gamma_t\subset B_{2+c_0\delta}\setminus B_{2-c_1\delta}$ (Lemma 3.1) and the pointwise velocity formula (4.1) with the stated error bound near the origin.
Extended reading notes
Core claim
The central theorem (Theorem 1.1) states: for $\sigma=1$ and initial domain $D_0=B_2$, there exist a smooth divergence-free vector field $v_0$ and a threshold $\varepsilon_0>0$ such that for every $\varepsilon\in(0,\varepsilon_0)$ the regular solution with initial velocity $u_0=\varepsilon v_0$ either loses regularity by some time $T_1(\varepsilon)$, or for every $T>T_1(\varepsilon)$ the spatial supremum of $|\nabla^2\omega(t)|$ on the moving droplet $D_t$ is bounded below by $\varepsilon e^{\varepsilon T}$. In other words, arbitrarily small smooth rotational data on a circular capillary drop are nonlinearly unstable at the level of the vorticity Hessian: the second derivatives of vorticity grow exponentially in time along the regular evolution. The result is independent of the surface tension coefficient, since the $\sigma=1$ case transfers to general $\sigma>0$ by the scaling $(\sigma^{1/2}u(\sigma^{1/2}t,x), D_{\sigma^{1/2}t})$. The proof constructs data with odd-odd symmetric vorticity, tracks a single fluid particle near the origin, and uses the approximate Biot-Savart law to show the particle is swept toward the axes while the vorticity it carries is stretched, producing a large $\partial_1\omega$ difference across a small interval; the Hessian bound then follows either from that difference (Case 2) or, if $\nabla\omega$ is already large, from the mean value theorem applied to $\nabla\omega$ vanishing at the origin (Case 1).
Load-bearing premise
The proof relies on Lemma 3.1, which says that if the initial kinetic energy is small enough, the free boundary stays inside a thin annulus around the original circle for all time, so the fixed disk $B_{\sqrt{2}}$ is always contained in the droplet; if the boundary ever got close to the origin, the approximate Biot-Savart law would fail and the hyperbolic growth mechanism would break down.
Editorial extensions
If this is right
- For any arbitrarily small smooth rotational perturbation of a circular capillary droplet, a regular solution cannot have uniformly bounded vorticity Hessian: $\sup_{t\le T}\|\nabla^2\omega(t)\|_{L^\infty(D_t)}\ge \varepsilon e^{\varepsilon T}$ for all large $T$, so some derivative of vorticity must grow without bound on the maximal time interval.
- The growth mechanism operates strictly in the fluid bulk, independent of the free boundary: the free interface contributes only through a perturbative error of size $\sqrt{K(0)}$, so the construction shows small-scale creation can be driven by interior hyperbolic flows rather than boundary effects.
- The result extends to any surface tension $\sigma>0$ via the scaling symmetry, so the instability is not specific to the normalized coefficient $\sigma=1$.
- As the paper notes, the dichotomy in Theorem 1.1 is compatible with finite-time loss of regularity: by the continuation criterion discussed in Remark 1.2, the constructed solutions may cease to be regular in finite time, and the growth bound applies to the regular part of the evolution.
Reading between the lines
- If the theorem is correct, the same interior-hyperbolic mechanism should produce exponential growth of the vorticity Hessian in other free-boundary or fixed-domain settings where an odd-odd symmetric hyperbolic point can be planted away from all boundaries; the torus construction is one instance, and the droplet construction shows the boundary only needs to be kept at a distance.
- The confinement lemma suggests a general principle for capillary droplets: small initial kinetic energy prevents the free boundary from approaching any interior compact set, and the quantitative gap is governed by the isoperimetric deficit of the boundary. One could test whether the threshold $\delta<2\pi/27$ is sharp or merely an artifact of the particular isoperimetric inequality used.
- A natural numerical test is to simulate the free-boundary Euler equations with the constructed symmetry data and measure $\|\nabla^2\omega\|_{L^\infty(D_t)}$; a successful simulation should observe the exponential rate $\varepsilon e^{\varepsilon T}$ until either numerical blow-up or loss of regularity, and should verify the boundary stays outside $B_{\sqrt{2}}$.
- The paper leaves open whether the dichotomy resolves as finite-time singularity or eternal exponential growth; if a global continuation criterion were available, the same data set could decide which branch occurs.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the two-dimensional incompressible Euler equations with surface tension for a capillary liquid drop, with initial domain a disk of radius 2. The main result, Theorem 1.1, constructs arbitrarily small smooth rotational initial velocities u0 = εv0 such that, for a threshold ε0, either the solution loses regularity before a time T1(ε) or the L∞ norm of the vorticity Hessian satisfies sup_{t≤T} ||∇²ω(t)||_{L∞(D_t)} ≥ ε e^{εT} for every T > T1(ε). The proof strategy is to use the conserved energy K(t)+σL(t) to confine the free boundary in a thin annulus, then to decompose the velocity near the origin into a fixed-disk Dirichlet part U and a small error e via an approximate Biot-Savart law, and finally to run a Zlatoš-type hyperbolic-flow argument that amplifies a initially tiny vorticity gradient into exponential growth of the Hessian. The argument relies heavily on symmetry, on two prior works [31] and [16], and on a geometric confinement lemma (Lemma 3.1).
Significance. If the proof is correct, the result is significant: it shows that arbitrarily small smooth rotational data on a circular droplet can lead to exponential growth of the vorticity Hessian, extending to a free-boundary problem the small-scale-creation mechanisms previously developed for fixed domains. The paper's construction is quantitative and does not fit parameters to the claimed growth rate; the rate εe^{εT} is explicit and the initial data are explicit up to a smooth odd function. The use of the conserved energy to control the free boundary and the separation of the growth mechanism from the boundary are conceptually appealing. However, the soundness of the paper hinges on the geometric confinement lemma and on several estimates imported from prior work, so the result is plausible but not yet fully established as written.
major comments (3)
- [Section 3, Theorem 3.2 and Eq. (3.6)] The Bonnesen inequality is misquoted. Theorem 3.2 states L² − 4πA ≥ π²(R−ρ), but the cited result [22, Theorem 4] has the quadratic form L² − 4πA ≥ π²(R−ρ)². Therefore the derivation of (3.6) gives R−ρ ≤ C√δ, not O(δ). The linear-width conclusion Γ_t ⊂ B_{2+c0δ}\B_{2−c1δ} is thus not proved, and for near-circular domains a linear bound in the isoperimetric deficit is generally false. The later argument only requires that a fixed disk B_r with r > √2 remain inside D_t, so the theorem appears repairable by choosing ε0 smaller, but Lemma 3.1 and every subsequent use of its quantitative form must be rewritten.
- [Section 3, Observation 1 (proof of Lemma 3.1)] The inequality |q − p̃| > |p| used to prove that the circumcenter q must be the origin is false in general. For example, with p = (1,1) and q = (0,0.1), one has p̃ = (−1,1), |q − p̃| = sqrt(1.81) < sqrt(2) = |p|. The intended conclusion that the circumscribed circle is centered at the origin should instead be deduced from the uniqueness of the minimal enclosing circle combined with the two-fold reflective symmetry of D_t; this step needs to be supplied.
- [Section 4.2, Eqs. (4.11)–(4.12)] The key pointwise estimate for the main term U1 is not derived in the paper but is imported as "an identical argument to [31, Lemma 2.1]". Since [31] treats the torus and the present setting involves a fixed-disk Green's function with additional boundary correction terms, the reduction to the torus calculation should be stated explicitly, or the precise form of the imported lemma should be quoted with all constants. This estimate is the quantitative engine of Proposition 4.1, so the argument is not fully checkable without this detail.
minor comments (4)
- [Section 2, proof of Lemma 2.2] The phrase "D0 = D0" appears to be a typo; it should state that the domain is invariant under the reflection.
- [Section 4.1, Proposition 4.2, item 2] The description "e1 is odd (even) in x1 (x2)" is unclear and should read "e1 is odd in x1 and even in x2", with the analogous statement for e2.
- [Section 5, around Eq. (5.14)] The assertion that u2(t,0,z) > 0 for 0 < z < η/2 is used in the characteristic argument but is not justified; it should be derived by passing to the limit x1 → 0 in (5.8) or by a separate parity argument.
- [Section 4.2, Eq. (4.8)] The notation p̃ and ¯p for the two reflections is easy to confuse; using distinct symbols throughout, including in Section 3, would improve readability.
Circularity Check
No circular derivation: the growth bound follows from an explicit construction and independent estimates; the only self-citation ([16]) is minor and not load-bearing.
full rationale
The derivation of (1.4) does not reduce to its inputs. The initial velocity u0 = εv0 is constructed explicitly, and the growth mechanism is driven by Proposition 4.1, whose proof combines the fixed-domain Biot-Savart representation (4.3)-(4.4), elliptic estimates, and the external pointwise estimate from [31, Lemma 2.1]. Lemma 3.1 is proved from energy conservation and an isoperimetric inequality, not from the target bound. The self-citations to [16] occur for standard symmetry/conservation facts and a decomposition; these are technical tools, not the theorem's conclusion, so the central claim has independent content. The dichotomy in Theorem 1.1 is not presupposed: Case 1 and Case 2 each force the stated alternative. Potential correctness concerns (such as the form of the Bonnesen inequality invoked in Lemma 3.1) would be mathematical errors rather than circularity and do not change this verdict.
Assumptions & free parameters
free parameters (3)
- η =
sufficiently small, not explicit
- a =
4 + 4C2 - log(c2)
- ε =
any value in (0, ε0)
assumptions (5)
- domain assumption Local well-posedness of the free-boundary Euler equations with surface tension in high regularity spaces for the constructed initial data.
- standard math Conservation of energy E(t)=K(t)+σL(t) and L^p norms of vorticity.
- standard math Quantitative isoperimetric inequality L^2 - 4πA ≥ π^2(R-ρ) from Osserman [22].
- standard math Green's function representation for the Dirichlet Laplacian on the disk B√2, and the pointwise estimates for the main term from Zlatoš [31, Lemma 2.1].
- standard math Calderón-Zygmund and Sobolev estimates used to control the error term e in C^1.
Cite this review
Pith. "Pith review of Exponential Vorticity Hessian Growth in Capillary Liquid Drop in Two Dimensions." pith.science (2026). https://pith.science/paper/K5U5IEST
@misc{pith2026250611414,
author = {Pith},
title = {Pith review of: Exponential Vorticity Hessian Growth in Capillary Liquid Drop in Two Dimensions},
year = {2026},
howpublished = {\url{https://pith.science/paper/K5U5IEST}},
note = {Machine review of arXiv:2506.11414}
}
read the original abstract
In this work, we concern ourselves with the evolution of a droplet of an ideal fluid in two dimensions, which has nontrivial bulk vorticity and is only subject to the effects of surface tension. We construct initial data with initial domain being a disk and initial velocity being arbitrarily small, such that the vorticity Hessian grows exponentially infinitely in time.
Figures
Reference graph
Works this paper leans on
-
[31]
Exponential growth of the vorticity gradient for the euler equation on the torus
Zlatoˇs, A. Exponential growth of the vorticity gradient for the euler equation on the torus. Advances in Mathematics 268 (2015), 396–403. 16
work page 2015
-
[16]
Small scale creation for 2d free boundary euler equations with surface tension
Hu, Z., Luo, C., and Yao, Y. Small scale creation for 2d free boundary euler equations with surface tension. Annals of PDE 10 , 2 (2024), 13
work page 2024
-
[1]
On the water-wave equations with surface tension
Alazard, T., Burq, N., and Zuily, C. On the water-wave equations with surface tension. Duke Mathematical Journal 158 , 3 (2011), 413 – 499
work page 2011
- [2]
-
[3]
Baldi, P., La Manna, D. A., and La Scala, G. Bifurcation from multiple eigenvalues of rotating traveling waves on a capillary liquid drop. arXiv preprint arXiv:2504.01555 (2025)
arXiv 2025
-
[4]
Almost global solutions of capillary-gravity water waves equations on the circle
Berti, M., and Delort, J.-M. Almost global solutions of capillary-gravity water waves equations on the circle . Springer, 2018
work page 2018
-
[5]
Quadratic life span of periodic gravity-capillary water waves
Berti, M., Feola, R., and Franzoi, L. Quadratic life span of periodic gravity-capillary water waves. Water Waves 3 , 1 (2021), 85–115
work page 2021
-
[6]
On the cauchy problem for a capillary drop
Beyer, K., and G ¨unther, M. On the cauchy problem for a capillary drop. part i: irrota- tional motion. Mathematical methods in the applied sciences 21 , 12 (1998), 1149–1183
work page 1998
Show all 31 references
-
[7]
Finite time singularities for the free boundary incompressible euler equations
Castro, A., C ´orboda, D., Fefferman, C., Gancedo, F., and G ´omez-Serrano, J. Finite time singularities for the free boundary incompressible euler equations. Annals of Math- ematics (2013), 1061–1134
2013
-
[8]
Finite time singularities for water waves with surface tension
Castro, A., C ´ordoba, D., Fefferman, C., Gancedo, F., and G ´omez-Serrano, J. Finite time singularities for water waves with surface tension. Journal of Mathematical Physics 53, 11 (2012). 14
2012
-
[9]
L., Gancedo, F., and G ´omez-Serrano, J
Castro, A., C´ordoba, D., Fefferman, C. L., Gancedo, F., and G ´omez-Serrano, J. Splash singularity for water waves. Proceedings of the National Academy of Sciences 109 , 3 (2012), 733–738
2012
-
[10]
Well-posedness of the free-surface incompressible euler equations with or without surface tension
Coutand, D., and Shkoller, S. Well-posedness of the free-surface incompressible euler equations with or without surface tension. Journal of the American Mathematical Society 20 , 3 (2007), 829–930
2007
-
[11]
On the finite-time splash and splat singularities for the 3-d free-surface euler equations
Coutand, D., and Shkoller, S. On the finite-time splash and splat singularities for the 3-d free-surface euler equations. Communications in Mathematical Physics 325 (2014), 143–183
2014
-
[12]
D., Pausader, B., and Pusateri, F
Deng, Y., Ionescu, A. D., Pausader, B., and Pusateri, F. Global solutions of the gravity-capillary water-wave system in three dimensions. Acta Mathematica 219, 2 (2017), 213 – 402
2017
-
[13]
Evans, L. C. Partial differential equations , vol. 19. American Mathematical Society, 2022
2022
-
[14]
Regularity Theory for Elliptic PDE
Fern´andez-Real, X., and Ros-Oton, X. Regularity Theory for Elliptic PDE . EMS Press, dec 2022
2022
-
[15]
Classification of finite-time blow-up of strong solutions to the incompressible free boundary Euler equations with surface tension
Hao, C., Luo, T., and Yang, S. Classification of finite-time blow-up of strong solutions to the incompressible free boundary Euler equations with surface tension. arXiv preprint arXiv:2507.10032 (2025)
2025 arXiv
-
[17]
The lifespan of small data solutions in two dimensional capillary water waves
Ifrim, M., and Tataru, D. The lifespan of small data solutions in two dimensional capillary water waves. Archive for Rational Mechanics and Analysis 225 (2017), 1279–1346
2017
-
[18]
Global regularity for 2D water waves with surface tension , vol
Ionescu, A., and Pusateri, F. Global regularity for 2D water waves with surface tension , vol. 256. American Mathematical Society, 2018
2018
-
[19]
Small scale creation for solutions of the incompressible two- dimensional euler equation
Kiselev, A., and ˇSver´ak, V. Small scale creation for solutions of the incompressible two- dimensional euler equation. Annals of mathematics 180 , 3 (2014), 1205–1220
2014
-
[20]
Two-dimensional capillary liquid drop: Craig-sulem formulation on T1 and bifurcations from multiple eigenvalues of rotating waves
La Scala, G. Two-dimensional capillary liquid drop: Craig-sulem formulation on T1 and bifurcations from multiple eigenvalues of rotating waves. arXiv preprint arXiv:2505.11650 (2025)
2025 arXiv
-
[21]
Global bifurcation of steady surface capillary waves on a 2d droplet
Moon, G., and Wu, Y. Global bifurcation of steady surface capillary waves on a 2d droplet. arXiv preprint arXiv:2407.16794 (2024)
2024 arXiv
-
[22]
Bonnesen-style isoperimetric inequalities
Osserman, R. Bonnesen-style isoperimetric inequalities. The American Mathematical Monthly 86 , 1 (1979), 1–29
1979
-
[23]
Longtime dynamics of irrotational spherical water drops: Initial notes
Shao, C. Longtime dynamics of irrotational spherical water drops: Initial notes. arXiv preprint arXiv:2301.00115 (2022)
2022 arXiv
-
[24]
On the cauchy problem of spherical capillary water waves
Shao, C. On the cauchy problem of spherical capillary water waves. arXiv preprint arXiv:2310.07113 (2023)
2023 arXiv
-
[25]
Para-differential calculus on compact lie groups and spherical capillary water waves
Shao, C. Para-differential calculus on compact lie groups and spherical capillary water waves. arXiv preprint arXiv:2304.10519 (2023). 15
2023 arXiv
-
[26]
Toolbox of para-differential calculus on compact lie groups
Shao, C. Toolbox of para-differential calculus on compact lie groups. arXiv preprint arXiv:2310.06806 (2023)
2023 arXiv
-
[27]
Geometry and a priori estimates for free boundary problems of the euler’s equation
Shatah, J., and Zeng, C. Geometry and a priori estimates for free boundary problems of the euler’s equation. Communications on Pure and Applied Mathematics 61 , 5 (2008), 698–744
2008
-
[28]
A priori estimates for fluid interface problems
Shatah, J., and Zeng, C. A priori estimates for fluid interface problems. Communications on Pure and Applied Mathematics 61 , 6 (2008), 848–876
2008
-
[29]
Local well-posedness for fluid interface problems
Shatah, J., and Zeng, C. Local well-posedness for fluid interface problems. Archive for rational mechanics and analysis 199 , 2 (2011), 653–705
2011
-
[30]
A., and Brown, R
Tsamopoulos, J. A., and Brown, R. A. Nonlinear oscillations of inviscid drops and bubbles. Journal of Fluid Mechanics 127 (1983), 519–537
1983
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.