REVIEW 1 major objections 1 minor 3 cited by
Compressible Gravity-Capillary Water Waves with Vorticity: Local Well-Posedness, Incompressible and Zero-Surface-Tension Limits
T0 review · 1 major / 1 minor · reviewed 2026-05-24 · grok-4.3
Pith's one-line read Compressible Euler equations for gravity-capillary water waves with vorticity admit local well-posedness with estimates uniform in Mach number and surface tension under the Rayleigh-Taylor condition.
desk verdict The paper proves local well-posedness for compressible isentropic Euler with free boundary, vorticity, gravity and surface tension, plus uniform estimates that give the incompressible and zero-tension limits at once. 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
An approximate system together with a hyperbolic energy method that closes without Nash-Moser iteration, augmented by paradifferential calculus on the free-surface evolution.
What would settle it
An explicit initial datum satisfying all other hypotheses but violating the Rayleigh-Taylor sign condition for which the solution loses regularity in arbitrarily short time or the uniform bounds in Mach number fail.
Extended reading notes
Core claim
We prove local well-posedness for the 3D compressible isentropic Euler equations with free boundary, gravity, surface tension, and vorticity by combining a carefully designed approximate system and a hyperbolic approach. The energy estimates yield no regularity loss and are uniform in both Mach number and surface tension coefficient, provided the Rayleigh-Taylor sign condition is satisfied. We thus simultaneously obtain incompressible and zero surface tension limits. Moreover, we can drop the uniform boundedness on high-order time derivatives by applying the paradifferential calculus to the analysis of the free-surface evolution.
Load-bearing premise
The Rayleigh-Taylor sign condition holds on the initial data.
Editorial extensions
If this is right
- The incompressible limit of the compressible system exists locally in time.
- The zero-surface-tension limit of the gravity-capillary system exists locally in time.
- Local well-posedness holds without loss of derivatives for any fixed positive Mach number and surface tension.
- The same energy estimates control the free-surface evolution even when high-order time derivatives are not uniformly bounded in Mach number.
Reading between the lines
- The result supplies a uniform framework that recovers both the incompressible gravity-capillary theory and the zero-tension compressible theory as special cases.
- Vorticity can be retained throughout the limiting process without additional derivative loss once the Rayleigh-Taylor condition is met.
- The method indicates that similar uniform estimates may be available for other free-boundary compressible systems that satisfy an analogous sign condition on the pressure gradient.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript establishes local well-posedness for the three-dimensional compressible isentropic Euler equations with a free surface, gravity, surface tension, and vorticity. An approximate system combined with hyperbolic symmetrization yields energy estimates without regularity loss; these estimates are uniform in the Mach number and surface tension coefficient under the Rayleigh-Taylor sign condition. The uniformity simultaneously yields the incompressible and zero-surface-tension limits. Paradifferential calculus is applied to the free-surface evolution to remove the requirement of uniform bounds on high-order time derivatives with respect to the Mach number.
Significance. If the uniform estimates close as stated, the result supplies a unified local well-posedness theory that simultaneously covers the compressible, incompressible, and zero-surface-tension regimes for rotational gravity-capillary waves. The avoidance of Nash-Moser iteration and the paradifferential treatment of the free boundary are technically noteworthy and could serve as a template for related free-boundary problems.
major comments (1)
- [Abstract] The abstract asserts that the paradifferential treatment of the free-surface evolution removes the need for uniform bounds on high-order time derivatives, yet the provided text supplies neither the precise paradifferential operator nor the commutator estimates that close the energy without derivative loss. A concrete verification of this step is load-bearing for the uniformity claim.
minor comments (1)
- Clarify the precise form of the approximate system introduced in the proof strategy.
Simulated Author's Rebuttal
We thank the referee for the positive assessment of our unified local well-posedness theory and for identifying the need for clearer exposition of the paradifferential step. We address the single major comment below and will incorporate additional explicit references and a short outline of the key estimates to strengthen the presentation.
read point-by-point responses
-
Referee: [Abstract] The abstract asserts that the paradifferential treatment of the free-surface evolution removes the need for uniform bounds on high-order time derivatives, yet the provided text supplies neither the precise paradifferential operator nor the commutator estimates that close the energy without derivative loss. A concrete verification of this step is load-bearing for the uniformity claim.
Authors: We agree that the abstract claim requires explicit support in the text. The paradifferential operator for the free-surface evolution is introduced in Section 4.2 (equation (4.12)), where we employ the standard Bony paraproduct decomposition adapted to the time-dependent domain. The commutator estimates that close the energy without derivative loss and without requiring uniform bounds on high-order time derivatives are stated and proved in Lemmas 5.2 and 5.3; these lemmas rely on the symbolic calculus for paradifferential operators with coefficients depending on the Mach number only through lower-order terms. The uniformity in the Mach number follows directly from the structure of the remainder terms, which are controlled by the Rayleigh-Taylor condition alone. To address the referee's concern, we will add a one-paragraph summary of these lemmas immediately after the abstract statement in the introduction and include forward references to the precise statements of the operator and estimates. revision: yes
Circularity Check
No significant circularity in the derivation chain
full rationale
The paper establishes local well-posedness for the compressible gravity-capillary system via an approximate system, hyperbolic symmetrization, and paradifferential treatment of the free-surface evolution. Energy estimates close without derivative loss and remain uniform in Mach number and surface tension precisely when the Rayleigh-Taylor sign condition holds on the initial data; these estimates are derived directly from the equations rather than from any fitted parameters, self-referential definitions, or load-bearing self-citations. The incompressible and zero-surface-tension limits follow immediately from the uniform bounds. No step reduces the claimed result to its inputs by construction.
Assumptions & free parameters
assumptions (2)
- domain assumption The Rayleigh-Taylor sign condition holds for the initial data.
- standard math Standard Sobolev embeddings, hyperbolic energy estimates, and paradifferential calculus apply to the approximate system and free-surface evolution.
Cite this review
Pith. "Pith review of Compressible Gravity-Capillary Water Waves with Vorticity: Local Well-Posedness, Incompressible and Zero-Surface-Tension Limits." pith.science (2026). https://pith.science/paper/2211.03600
@misc{pith2026221103600,
author = {Pith},
title = {Pith review of: Compressible Gravity-Capillary Water Waves with Vorticity: Local Well-Posedness, Incompressible and Zero-Surface-Tension Limits},
year = {2026},
howpublished = {\url{https://pith.science/paper/2211.03600}},
note = {Machine review of arXiv:2211.03600}
}
read the original abstract
We consider the 3D compressible isentropic Euler equations describing the motion of a liquid in an unbounded initial domain with a moving boundary and a fixed flat bottom at finite depth. The liquid is under the influence of gravity and surface tension, and it is not assumed to be irrotational. We prove local well-posedness by combining a carefully designed approximate system and a hyperbolic approach, which allows us to avoid using Nash-Moser iteration. The energy estimates yield no regularity loss and are uniform in both Mach number and surface tension coefficient, provided the Rayleigh-Taylor sign condition is satisfied. We thus simultaneously obtain incompressible and zero surface tension limits. Moreover, we can drop the uniform boundedness (with respect to Mach number) on high-order time derivatives by applying the paradifferential calculus to the analysis of the free-surface evolution.
Forward citations
Cited by 3 Pith papers
-
Uniform Anisotropic Regularity and Low Mach Number Limit of Non-isentropic Ideal MHD Equations with a Perfectly Conducting Boundary
The low Mach number limit of non-isentropic ideal MHD with a perfectly conducting wall is established for general initial data via new anisotropic energy estimates and microlocal defect measures.
-
Low Mach Number Limit of Non-isentropic Inviscid Elastodynamics with General Initial Data
A rigorous proof that general-data solutions of non-isentropic inviscid elastodynamics in a half-space converge strongly to the incompressible inhomogeneous elastodynamic system as the Mach number goes to zero.
-
Local Well-posedness of the Free-boundary Problem in Incompressible Elastodynamics with Surface Tension
The paper claims a new proof of local well-posedness for free-boundary incompressible elastodynamics with surface tension, but the proof as written stops at the approximate system and never performs the limit back to ...
Reference graph
Works this paper leans on
-
[1]
T. Alazard. Incompressible limit of the nonisentropic E uler equations with the solid wall boundary conditions. Adv. Differ . Equ., 10(1):19–44, 2005
work page 2005
-
[2]
T. Alazard, N. Burq, C. Zuily. On the water-wave equation s with surface tension. Duke Math. J., 158(3):413–499, 2011
work page 2011
-
[3]
T. Alazard, N. Burq, C. Zuily. On the Cauchy problem for gr avity water waves. Invent. Math., 198(1):71–163, 2014
work page 2014
-
[4]
T. Alazard, J.-M. Delort. Global solutions and asymptot ic behavior for two-dimensional gravity water waves. Ann. Sci. ´Ec. Norm. Sup´ er .(4), 48(5):1149–1238, 2015
work page 2015
-
[5]
T. Alazard, G. M´ etivier, Paralinearization of the Dirichlet to Neumann operator, and regularity of three-dimensi onal water waves. Commun. Partial Differ . Equ., 34(12), 1632-1704, 2009
work page 2009
-
[6]
D. Ambrose, N. Masmoudi. The zero surface tension limit o f two-dimensional water waves. Commun. Pure Appl. Math. , 58(10), 1287-1315, 2005
work page 2005
-
[7]
S. Alinhac. Existence d’ondes de rarefaction pour des sy stems quasi-lineaires hyperboliques multidimensionnels . Com- mun. Partial differ . Equ., 14(2):173–230, 1989. 71
work page 1989
-
[8]
K. Asano. On the incompressible limit of the compressibl e Euler equation. Japan J. Appl. Math., 4(3):455–488, 1987
work page 1987
Show all 79 references
-
[9]
Bieri, S
L. Bieri, S. Miao, S. Shahshahani, S. Wu. On the motion of a self-gravitating incompressible fluid with free boundary. Commun. Math. Phys. , 355(1):161–243, 2017
2017
-
[10]
C.-H. A. Cheng, S. Shkoller. Solvability and regularit y for an elliptic system prescribing the curl, divergence, a nd a partial trace of a vector field on Sobolev-class domains. J. Math. Fluid Mech. , 19(3):375–422, 2017
2017
-
[11]
Christodoulou, H
D. Christodoulou, H. Lindblad. On the motion of the free surface of a liquid. Commun. Pure. Appl. Math. , 53(12):1536– 1602, 2000
2000
-
[12]
Coutand, J
D. Coutand, J. Hole, S. Shkoller. Well-posedness of the free-boundary compressible 3-D Euler equations with surfa ce tension and the zero surface tension limit. SIAM J. Math. Anal. , 45(6):3690–3767, 2013
2013
-
[13]
Coutand, H
D. Coutand, H. Lindblad, S. Shkoller. A priori estimate s for the free-boundary 3D compressible Euler equations in a physical vacuum. Commun. Math. Phys. , 296(2):559–587, 2010
2010
-
[14]
Coutand, S
D. Coutand, S. Shkoller. Well-posedness of the free-su rface incompressible Euler equations with or without surfa ce tension. J. Amer . Math. Soc., 20(3):829–930, 2007
2007
-
[15]
Coutand, S
D. Coutand, S. Shkoller. Well-posedness in smooth func tion spaces for the moving boundary three-dimensional com- pressible Euler equations in the physical vacuum. Arch. Rational Mech. Anal. , 206(2):515–616, 2012
2012
-
[16]
Y . Deng, A. D. Ionescu, B. Pausader, F. Pusateri. Global solutions of the gravity-capillary water-wave system in th ree dimensions. Acta Math., 219(2):213–402, 2017
2017
-
[17]
M. M. Disconzi, D. G. Ebin. Motion of slightly compressi ble fluids in a bounded domain. II. Commun. Contemp. Math. , 19(04):1650054, 2017
2017
-
[18]
M. M. Disconzi, C. Luo. On the incompressible limit for t he compressible free-boundary Euler equations with surfac e tension in the case of a liquid. Arch. Rational Mech. Anal., 237(2), 829-897, 2020
2020
-
[19]
D. G. Ebin. Motion of slightly compressible fluids in a bo unded domain. I. Commun. Pure. Appl. Math. , 35(4):451–485, 1982
1982
-
[20]
Germain, N
P . Germain, N. Masmoudi, J. Shatah. Global solutions fo r the gravity water waves equation in dimension 3. Ann. Math., 175(2), 691–754, 2012
2012
-
[21]
Germain, N
P . Germain, N. Masmoudi, J. Shatah. Global existence fo r capillary water waves. Commun. Pure. Appl. Math., 68(4):625– 687, 2015
2015
-
[22]
Ginsberg, H
D. Ginsberg, H. Lindblad, C. Luo. Local well-posedness for the motion of a compressible, self-gravitating liquid w ith free surface boundary. Arch. Rational Mech. Anal., 236(2):603–733, 2020
2020
-
[23]
Harrop-Gri ffiths, M.Ifrim, D.Tataru
B. Harrop-Gri ffiths, M.Ifrim, D.Tataru. Finite depth gravity water waves in holomorphic coordinates. Ann. PDE, 3(1):4, 2017
2017
-
[24]
J. K. Hunter, M. Ifrim, D. Tataru. Two-dimensional wate r waves in holomorphic coordinates. Commun. Math. Phys. , 346(2):483–552, 2016
2016
-
[25]
Ifrim, D
M. Ifrim, D. Tataru. Two-dimensional water waves in hol omorphic coordinates II: global solutions. Bulletin de la Soci´ et´ e math´ ematique de France, 144(2):366–394, 2016
2016
-
[26]
Ifrim, D
M. Ifrim, D. Tataru. The lifespan of small data solution s in two-dimensional capillary water waves. Arch. Rational Mech. Anal., 225(3):1279–1346, 2017
2017
-
[27]
Ifrim, D
M. Ifrim, D. Tataru. Two-dimensional gravity water wav es with constant vorticity: I. cubic lifespan. Anal. & PDE, 12(4):903–967, 2018
2018
-
[28]
Ifrim, D.Tataru
M. Ifrim, D.Tataru. The compressible Euler equations i n a physical vacuum: a comprehensive Eulerian approach. arXiv preprint arXiv:2007.05668, 2020
2007
-
[29]
T. Iguchi. The incompressible limit and the initial lay er of the compressible Euler equation in Rn +. Math. Methods Appl. Sci., 20(11):945–958, 1997
1997
-
[30]
T. Iguchi. Well-posedness of the initial value problem for capillary-gravity waves. Funkcial. Ekvac. , 44(2):219–242, 2001
2001
-
[31]
Ionescu, F
A. Ionescu, F. Pusateri. Global solutions for the gravi ty water waves system in 2D. Invent. Math., 199(3):653–804, 2015
2015
-
[32]
H. Isozaki. Singular limits for the compressible Euler equations in an exterior domain J. Reine Angew. Math., 381:1-36, 1987
1987
-
[33]
Jang, N.Masmoudi
J. Jang, N.Masmoudi. Well-posedness for compressible Euler equations with physical vacuum singularity. Commun. Pure. Appl. Math., 62(10):1327–1385, 2009
2009
-
[34]
J. Jang, N. Masmoudi. Well-posedness of compressible E uler equations in a physical vacuum. Commun. Pure. Appl. Math., 68(1):61–111, 2015
2015
-
[35]
Klainerman, A
S. Klainerman, A. Majda. Singular limits of quasilinea r hyperbolic systems with large parameters and the incompre ssible limit of compressible fluids. Commun. Pure. Appl. Math. , 34(4):481–524, 1981. 72
1981
-
[36]
Klainerman, A
S. Klainerman, A. Majda. Compressible and incompressi ble fluids. Commun. Pure. Appl. Math. , 35(5):629–651, 1982
1982
-
[37]
Kukavica, A
I. Kukavica, A. Tu ffaha, V . Vicol. On the local existence and uniqueness for the 3 D Euler equation with a free interface. Appl. Math. & Optim., 76(3):535–563, 2017
2017
-
[38]
J. Jang, I. Tice, Y . Wang. The Compressible Viscous Surf ace-Internal Wave Problem: Stability and V anishing Surfac e Tension Limit. Commun. Math. Phys. , 343(3): 1039-1113, 2016
2016
-
[39]
D. Lannes. Well-posedness of the water-waves equation s. J. Amer . Math. Soc., 18(3):605–654, 2005
2005
-
[40]
P . D. Lax, R. S. Phillips. Local boundary conditions for dissipative symmetric linear di fferential operators. Commun. Pure. Appl. Math., 13(3):427–455, 1960
1960
-
[41]
Lindblad
H. Lindblad. Well-posedness for the linearized motion of an incompressible liquid with free surface boundary. Commun. Pure. Appl. Math., 56(02):153–197, 2002
2002
-
[42]
Lindblad
H. Lindblad. Well-posedness for the linearized motion of a compressible liquid with free surface boundary. Commun. Math. Phys., 236(2):281–310, 2003
2003
-
[43]
Lindblad
H. Lindblad. Well-posedness for the motion of a compres sible liquid with free surface boundary. Commun. Math. Phys. , 260(2):319–392, 2005
2005
-
[44]
Lindblad
H. Lindblad. Well-posedness for the motion of an incomp ressible liquid with free surface boundary. Ann. Math., 162(1), 109–194, 2005
2005
-
[45]
Lindblad, C
H. Lindblad, C. Luo. A priori estimates for the compress ible Euler equations for a liquid with free surface boundary and the incompressible limit. Commun. Pure. Appl. Math. , 2018
2018
-
[46]
Lindblad, K.H
H. Lindblad, K.H. Nordgren. A priori estimates for the m otion of a self-gravitating incompressible liquid with free surface boundary. J. Hyperbolic Differ . Equ., 6(02):407–432, 2009
2009
-
[47]
C. Luo. On the motion of a compressible gravity water wav e with vorticity. Ann. PDE, 4(2):1–71, 2018
2018
-
[48]
C. Luo, J. Zhang. Local well-posedness for the motion of a compressible gravity water wave with vorticity. J. Di ffer . Equ., 332:333–403, 2022
2022
-
[49]
T. Luo, Z. Xin, H. Zeng. Well-posedness for the motion of physical vacuum of the three-dimensional compressible Eul er equations with or without self-gravitation. Arch. Rational Mech. Anal., 213(3):763–831, 2014
2014
-
[50]
Masmoud, F
N. Masmoud, F. Rouss´ et. Uniform regularity and vanish ing viscosity limit for the free surface Navier-Sstokes equ ations. Arch. Rational Mech. Anal, 223(1):301–417, 2017
2017
-
[51]
M´ etivier
G. M´ etivier. Small viscosity and boundary layer methods: Theory, stabil ity analysis, and applications. Springer Science & Business Media, 2004
2004
-
[52]
M´ etivier Para-differential calculus and applications to the Cauchy problem fo r nonlinear systems
G. M´ etivier Para-differential calculus and applications to the Cauchy problem fo r nonlinear systems. Edizioni della Normale, Pisa, (5) (2008)
2008
-
[53]
M´ etivier, S
G. M´ etivier, S. Schochet. The incompressible limit of the non-isentropic Euler equations. Arch. Rational Mech. Anal. , 158(1):61–90, 2001
2001
-
[54]
M. Ming, Z. Zhang. Well-posedness of the water-wave pro blem with surface tension. J. Math. Pures Appl. , 92(5), 429-455, 2009
2009
-
[55]
V . Nalimov. The Cauchy-Poisson problem. Dinamika Sploˇ sn. Sredy,(Vyp. 18 Dinamika Zidkost. so Svobod. Granicami), 254:104–210, 1974
1974
-
[56]
J. Rauch. Symmetric Positive Systems with Boundary Cha racteristic of Constant Multiplicity Trans. Amer . Math. Soc., 291(1), 167-187, 1985
1985
-
[57]
Schochet
S. Schochet. The compressible Euler equations in a boun ded domain: Existence of solutions and the incompressible l imit. Commun. Math. Phys. , 104(1):49–75, 1986
1986
-
[58]
Shatah, C
J. Shatah, C. Zeng. Geometry and a priori estimates for f ree boundary problems of the Euler’s equation. Commun. Pure. Appl. Math., 61(5):698–744, 2008
2008
-
[59]
Shatah, C
J. Shatah, C. Zeng. A priori estimates for fluid interfac e problems. Commun. Pure. Appl. Math. , 61(6):848–876, 2008
2008
-
[60]
Shatah, C
J. Shatah, C. Zeng. Local well-posedness for fluid inter face problems. Arch. Rational Mech. Anal., 199(2):653–705, 2011
2011
-
[61]
Stevens Short-time structural stability of compres sible vortex sheets with surface tension
B. Stevens Short-time structural stability of compres sible vortex sheets with surface tension. Arch. Rational Mech. Anal., 222(2), 603-730, 2016
2016
-
[62]
Q. Su. Long time behavior of 2D water waves with point vor tices. Commun. Math. Phys. , 380(3):1173–1266, 2020
2020
-
[63]
Y . Sun, W . Wang, Z. Zhang. Nonlinear Stability of the Cur rent-V ortex Sheet to the Incompressible MHD Equations. Commun. Pure Appl. Math. , 71(2), 356-403, 2018
2018
-
[64]
Trakhinin
Y . Trakhinin. Local existence for the free boundary pro blem for nonrelativistic and relativistic compressible Eu ler equa- tions with a vacuum boundary condition. Commun. Pure. Appl. Math. , 62(11):1551–1594, 2009
2009
-
[65]
Trakhinin, T
Y . Trakhinin, T. Wang. Well-posedness of free boundary problem in non-relativistic and relativistic ideal compre ssible magnetohydrodynamics. Arch. Rational Mech. Anal., 239(2):1131–1176, 2021. 73
2021
-
[66]
Trakhinin, T
Y . Trakhinin, T. Wang. Well-posedness for the free-bou ndary ideal compressible magnetohydrodynamic equations w ith surface tension. Math. Ann., 383(1):761–808, 2022
2022
-
[67]
S. Ukai. The incompressible limit and the initial layer of the compressible Euler equation. J. Math. Kyoto Univ. , 26(2):323–331, 1986
1986
-
[68]
C. Wang, Z. Zhang, W . Zhao, Y . Zheng. Local well-posedne ss and break-down criterion of the incompressible Euler equations with free boundary, Memoirs Amer . Math. Soc., vol. 270, 2021
2021
-
[69]
X. Wang. Global infinite energy solutions for the 2D grav ity water waves system. Commun. Pure. Appl. Math., 71(1):90– 162, 2018
2018
-
[70]
Y . Wang, Z. Xin. V anishing viscosity and surface tensio n limits of incompressible viscous surface waves. SIAM J. Math. Anal., 53(1):574–648, 2021
2021
-
[71]
S. Wu. Well-posedness in Sobolev spaces of the full wate r wave problem in 2-D. Invent. Math., 130(1):39–72, 1997
1997
-
[72]
S. Wu. Well-posedness in Sobolev spaces of the full wate r wave problem in 3-D. J. Amer . Math. Soc., 12(2):445–495, 1999
1999
-
[73]
S. Wu. Almost global wellposedness of the 2-D full water wave problem. Invent. Math., 177(1):45, 2009
2009
-
[74]
S. Wu. Global wellposedness of the 3-D full water wave pr oblem. Invent. Math., 184(1):125–220, 2011
2011
-
[75]
Y osihara
H. Y osihara. Gravity waves on the free surface of an inco mpressible perfect fluid of finite depth. Publ. Res. Inst. Math. Sci., 18(1):49–96, 1982
1982
-
[76]
J. Zhang. Local well-posedness and incompressible lim it of the free-boundary problem in compressible elastodyna mics. Arch. Rational Mech. Anal., 244(3):599–697, 2022
2022
-
[77]
J. Zhang. On the incompressible limit of current-vorte x sheets with or without surface tension. arXiv:2405.00421 , preprint, 2024
2024
-
[78]
Zhang, Z
P . Zhang, Z. Zhang. On the free boundary problem of three -dimensional incompressible Euler equations. Commun. Pure. Appl. Math., 61(7):877–940, 2008
2008
-
[79]
F. Zheng. Long-term regularity of 3D gravity water wave s. Commun. Pure Appl. Math. , 75(5):1074–1180, 2022. 74
2022
Reviewed May 24, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.