Track new results across pure and applied mathematics.
Search papers, labs, and topics across Lattice.
We establish Hadamard local well-posedness for the 3D compressible Euler equations with a free surface and no surface tension, under the Taylor sign condition and boundary compatibility conditions. Existence, uniqueness, and continuous dependence are proven in a hybrid Sobolev space for $s>3$, with specific regularity for velocity, interface, enthalpy, and velocity divergence reflecting acoustic and free-surface coupling. The proof employs regularization operators for domain smoothing and nonlinear compatibility, alongside $L^2$ and partial $H^2$ estimates, culminating in a regularized forward Euler scheme and frequency envelope arguments for convergence.
A rigorous mathematical framework for compressible free-surface fluid dynamics is established, proving local well-posedness for the first time without surface tension.
We prove local well-posedness in the Hadamard sense for the three-dimensional compressible Euler equations governing a liquid with a free surface and no surface tension. Under the Taylor sign condition and the boundary compatibility conditions, we establish existence, uniqueness, and strong continuous dependence in a hybrid Sobolev class for every $s>3$. The velocity and interface have $H^s$ regularity, while the enthalpy and velocity divergence belong to $H^{s+1/2}$ and $H^{s-1/2}$, respectively. This separation reflects the coupling of a nondegenerate acoustic equation with the free-surface and vorticity dynamics. The proof uses regularization operators that smooth the moving domain and extend the nonlinear compatibility hierarchy, together with $L^2$ and partial $H^2$ distance estimates for solutions on different domains. Regular solutions are constructed by a regularized forward Euler scheme. High-order energy estimates and frequency envelopes then yield strong convergence of smooth approximations and continuity of the data-to-solution map. Integer Sobolev indices are treated using a Lions--Magenes endpoint compatibility condition.
Tsinghua AI