Pith. sign in

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 →

arxiv 2506.11414 v2 pith:K5U5IEST submitted 2025-06-13 math.AP

classification math.AP MSC 35Q3135R3576B45
keywords free-boundaryEulerequationscapillaryliquiddropsurfacetensionvorticityHessianexponentialgrowthsmallscalecreationhyperbolicflowinstability
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

This paper proves that a perfectly circular two-dimensional droplet of an ideal fluid, held together only by surface tension, is strongly unstable: even if the initial swirling motion is arbitrarily small and perfectly smooth, the curvature of the vorticity field (its Hessian) must grow at least like $\varepsilon e^{\varepsilon T}$ by time $T$, unless the solution loses smoothness in finite time first. The author constructs explicit initial data on the disk of radius $2$ with velocity of size $\varepsilon$ for arbitrarily small $\varepsilon$, so the statement is about genuinely small perturbations of a stationary round drop. The mechanism is an interior hyperbolic flow near the drop's center, which stretches vorticity contours into exponentially thin filaments without any help from the free boundary. A conserved energy—kinetic energy plus surface tension times boundary length—keeps the boundary far from the growth region, so the free interface acts only as a small perturbative error. If true, this gives the first quantitative instability result for rotational capillary droplets and shows that small-scale creation is not an artifact of fixed-wall boundaries.

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.

Watch

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

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

  • 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.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 4 minor

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)
  1. [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.
  2. [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.
  3. [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)
  1. [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.
  2. [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.
  3. [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.
  4. [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

0 steps flagged · score 2.0 of 10

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 3 free parameters · 5 assumptions · 0 invented entities

The proof relies on standard analytic tools and prior theorems. No physically invented entities are introduced; the 'hyperbolic flow' is a construction within the existing Euler framework. The free parameters η, a, and ε are proof choices, not experimentally fitted constants.

free parameters (3)
  • η = sufficiently small, not explicit
    Controls the measure of the set where the initial vorticity profile equals 1 and ensures the trajectory stays in the region with cubic behavior. Chosen by hand to close estimates, not fitted to data.
  • a = 4 + 4C2 - log(c2)
    Universal constant chosen in Section 5 to make the final exponential rate work. It is a proof parameter, not an empirical fit.
  • ε = any value in (0, ε0)
    Amplitude of the initial velocity, quantified in the theorem. It is a construction parameter, not a fitted constant.
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.
    Invoked to ensure a regular solution exists on some lifespan; relies on [10,27,28,29].
  • standard math Conservation of energy E(t)=K(t)+σL(t) and L^p norms of vorticity.
    Stated as Propositions 2.4 and 2.5; derived via standard arguments under smoothness.
  • standard math Quantitative isoperimetric inequality L^2 - 4πA ≥ π^2(R-ρ) from Osserman [22].
    Used in Lemma 3.1 to confine the free boundary to an annulus.
  • 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].
    Used in Proposition 4.1 to derive the approximate Biot-Savart law; the paper states 'identical argument' to [31].
  • standard math Calderón-Zygmund and Sobolev estimates used to control the error term e in C^1.
    Used in Proposition 4.2 to bound ||∇e|| by sqrt(K(0)).

how reviews work

0 comments
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

Figures reproduced from arXiv: 2506.11414 by the authors.

Figure 1
Figure 1. A picture of initial data chosen in Theorem [PITH_FULL_IMAGE:figures/full_fig_p004_1.png] view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

31 extracted references · 28 canonical work pages

  1. [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

  2. [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

  3. [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

  4. [2]

    Baldi, P., Julin, V., and La Manna, D. A. Liquid drop with capillarity and rotating traveling waves. arXiv preprint arXiv:2408.02333 (2024)

  5. [3]

    A., and La Scala, G

    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)

  6. [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

  7. [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

  8. [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

Show all 31 references
  1. [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

  2. [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

  3. [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

  4. [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

  5. [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

  6. [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

  7. [13]

    Evans, L. C. Partial differential equations , vol. 19. American Mathematical Society, 2022

  8. [14]

    Regularity Theory for Elliptic PDE

    Fern´andez-Real, X., and Ros-Oton, X. Regularity Theory for Elliptic PDE . EMS Press, dec 2022

  9. [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)

  10. [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

  11. [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

  12. [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

  13. [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)

  14. [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)

  15. [22]

    Bonnesen-style isoperimetric inequalities

    Osserman, R. Bonnesen-style isoperimetric inequalities. The American Mathematical Monthly 86 , 1 (1979), 1–29

  16. [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)

  17. [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)

  18. [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

  19. [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)

  20. [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

  21. [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

  22. [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

  23. [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

Pith tools

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