REVIEW 1 major objections 1 minor 79 references
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.
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.
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). Sign in to comment.