We provide a new method for treating free boundary problems in perfect fluids, and prove local-in-time well-posedness in Sobolev spaces for the free-surface incompressible 3D Euler equations with or without surface tension for arbitrary initial data, and without any irrotationality assumption on the fluid. This is a free boundary problem for the motion of an incompressible perfect liquid in vacuum, wherein the motion of the fluid interacts with the motion of the free-surface at highest-order.
The free-boundary compressible one-dimensional Euler equations with moving physical vacuum boundary are a system of hyperbolic conservation laws that are both characteristic and degenerate. The physical vacuum singularity (or rate of degeneracy) requires the sound speed c 2 D 1 to scale as the square root of the distance to the vacuum boundary and has attracted a great deal of attention in recent years. We establish the existence of unique solutions to this system on a short time interval, which are smooth (in Sobolev spaces) all the way to the moving boundary. The proof is founded on a new higher-order, Hardy-type inequality in conjunction with an approximation of the Euler equations consisting of a particular degenerate parabolic regularization. Our regular solutions can be viewed as degenerate viscosity solutions.
We prove well-posedness for the three-dimensional compressible Euler equations with moving physical vacuum boundary, with an equation of state given by p(ρ) = C γ ρ γ for γ > 1. The physical vacuum singularity requires the sound speed c to go to zero as the square-root of the distance to the moving boundary, and thus creates a degenerate and characteristic hyperbolic free-boundary system wherein the density vanishes on the free-boundary, the uniform Kreiss-Lopatinskii condition is violated, and manifest derivative loss ensues. Nevertheless, we are able to establish the existence of unique solutions to this system on a short time-interval, which are smooth (in Sobolev spaces) all the way to the moving boundary, and our estimates have no derivative loss with respect to initial data. Our proof is founded on an approximation of the Euler equations by a degenerate parabolic regularization obtained from a specific choice of a degenerate artificial viscosity term, chosen to preserve as much of the geometric structure of the Euler equations as possible. We first construct solutions to this degenerate parabolic regularization using a higher-order version of Hardy's inequality; we then establish estimates for solutions to this degenerate parabolic system which are independent of the artificial viscosity parameter. Solutions to the compressible Euler equations are found in the limit as the artificial viscosity tends to zero. Our regular solutions can be viewed as degenerate viscosity solutions. Our methodology can be applied to many other systems of degenerate and characteristic hyperbolic systems of conservation laws.
The motion of an elastic solid inside of an incompressible viscous fluid is ubiquitous in nature. Mathematically, such motion is described by a PDE system that couples the parabolic and hyperbolic phases, the latter inducing a loss of regularity which has left the basic question of existence open until now.In this paper, we prove the existence and uniqueness of such motions (locally in time), when the elastic solid is the linear Kirchhoff elastic material. The solution is found using a topological fixed-point theorem that requires the analysis of a linear problem consisting of the coupling between the time-dependent Navier-Stokes equations set in Lagrangian variables and the linear equations of elastodynamics, for which we prove the existence of a unique weak solution. We then establish the regularity of the weak solution; this regularity is obtained in function spaces that scale in a hyperbolic fashion in both the fluid and solid phases. Our functional framework is optimal, and provides the a priori estimates necessary for us to employ our fixed-point procedure.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.