The purpose of this work is to prove existence of a weak solution of the two dimensional incompressible Euler equations on a noncylindrical domain consisting of a smooth, bounded, connected and simply connected domain undergoing a prescribed motion. We prove existence of a weak solution for initial vorticity in $L^p$, for $p>1$. This work complements a similar result by C. He and L. Hsiao, who proved existence assuming that the flow velocity is tangent to the moving boundary, see [JDE v. 163 (2000) 265--291].
The author studies the flows of an ideal incompressible fluid in a 2-dimensional domain, and in particular questions of instability and controllability.
In Part II of the paper, we prove linear instability of a certain class of radially symmetric flows of an ideal incompressible fluid in dimension two used in Part I
This article is a survey concerning the state-of-the-art mathematical theory of the Euler equations of incompressible homogenous ideal fluid. Emphasis is put on the different types of emerging instability, and how they may be related to the description of turbulence.
In Part I of the paper, we prove non-uniqueness of the solution to the Cauchy problem of the Euler equations of an ideal incompressible fluid in dimension two with vorticity in some Lebesgue space. The radially symmetric external force is locally integrable with values in the same Lebesgue space.
In the present paper, we show the ill-posedness of the free boundary problem of the incompressible ideal magnetohydrodynamics (MHD) equations in two spatial dimensions for any positive vacuum permeability $μ_0$, in Sobolev spaces. The analysis is uniform for any $μ_0>0$.
We consider a free boundary problem for the incompressible ideal magnetohydrodynamic equations that describes the motion of the plasma in vacuum. The magnetic field is tangent and the total pressure vanishes along the plasma-vacuum interface. Under the Taylor sign condition of the total pressure on the free surface, we prove the local well-posedness of the problem in Sobolev spaces.
We study the asymptotic behavior of solutions of the two dimensional incompressible Euler equations in the exterior of a curve when the curve shrinks to a point. This work links two previous results: [Iftimie, Lopes Filho and Nussenzveig Lopes, Two Dimensional Incompressible Ideal Flow Around a Small Obstacle, Comm. PDE, 28 (2003), 349-379] and [Lacave, Two Dimensional Incompressible Ideal Flow Around a Thin Obstacle Tending to a Curve, Ann. IHP, Anl, 26 (2009), 1121-1148]. The second goal of this work is to complete the previous article, in defining the way the obstacles shrink to a curve. In…
In this paper, we prove the local well-posedness of plasma-vacuum interface problem for ideal incompressible magnetohydrodynamics under the stability condition: the magnetic field $\mathbf{h}$ and the vacuum magnetic field $\hat{\mathbf{h}}$ are non-collinear on the interface(i.e., $|\mathbf{h}\times \hat{\mathbf{h}}|>0$), which was introduced by Trakhinin as a stability condition for the compressible plasma-vacuum interface problem.
We study the incompressible limit of the compressible non-isentropic ideal magnetohydrodynamic equations with general initial data in the whole space $\mathbb{R}^d$ ($d=2,3$). We first establish the existence of classic solutions on a time interval independent of the Mach number. Then, by deriving uniform a priori estimates, we obtain the convergence of the solution to that of the incompressible magnetohydrodynamic equations as the Mach number tends to zero.
We construct an initial data for the two-dimensional Euler equation in a bounded smooth symmetric domain such that the gradient of vorticity in $L^{\infty}$ grows as a double exponential in time for all time. Our construction is based on the recent result by Kiselev and Šverák.
In [Commun Math Phys 348(1), 129-143, 2016], Cheskidov et al. proved that physically realizable weak solutions of the incompressible 2D Euler equations on a torus conserve kinetic energy. Physically realizable weak solutions are those that can be obtained as limits of vanishing viscosity. The key hypothesis was boundedness of the initial vorticity in $L^p$, $p>1$. In this work we extend their result, by adding forcing to the flow.
In their seminal paper "Oscillations and concentrations in weak solutions of the incompressible fluid equations", R. DiPerna and A. Majda introduced the notion of measure-valued solution for the incompressible Euler equations in order to capture complex phenomena present in limits of approximate solutions, such as persistence of oscillation and development of concentrations. Furthermore, they gave several explicit examples exhibiting such phenomena. In this paper we show that any measure-valued solution can be generated by a sequence of exact weak solutions. In particular this gives rise to a …
We consider a free boundary problem for the axially symmetric incompressible ideal magnetohydrodynamic equations that describes the motion of the plasma in vacuum. Both the plasma magnetic field and vacuum magnetic field are tangent along the plasma-vacuum interface. Moreover, the vacuum magnetic field is composed in a non-simply connected domain and hence is non-trivial. Under the non-collinearity condition on the free surface, we prove the local well-posedness of the problem in Sobolev spaces.
The existence of a solution to the two dimensional incompressible Euler equations in singular domains was established in [Gérard-Varet and Lacave, The 2D Euler equation on singular domains, submitted]. The present work is about the uniqueness of such a solution when the domain is the exterior or the interior of a simply connected set with corners, although the velocity blows up near these corners. In the exterior of a curve with two end-points, it is showed in [Lacave, Two Dimensional Incompressible Ideal Flow Around a Thin Obstacle Tending to a Curve, Ann. IHP, Anl \textbf{26} (2009), 1121-11…
For the free boundary problem of the plasma-vacuum interface to ideal incompressible magnetohydrodynamics (MHD) in two-dimensional space, the a priori estimates of solutions are proved in Sobolev norms by adopting a geometrical point of view. In the vacuum region, the magnetic field is described by the div-curl system of pre-Maxwell dynamics, while at the interface the total pressure is continuous and the magnetic field is tangent to the boundary. We prove that the $L^2$ norms of any order covariant derivatives of the magnetic field in vacuum and on the boundaries are bounded in terms of initi…
This paper deals with a two-phase fluid free boundary problem in a slot-film cooling. We give two well-posedness results on the existence and uniqueness of the incompressible inviscid two-phase fluid with a jump relation on free interface. The problem formulates the oblique injection of an incompressible ideal fluid from a slot into a free stream. From the mathematical point of view, this work is motivated by the pioneer work [13] by A. Friedman, in which some well-posedness results are obtained in some special case. Furthermore, A. Friedman proposed an open problem in [14] on the existence an…
We consider a free boundary problem for the axially symmetric incompressible ideal magnetohydrodynamic equations that describes the motion of the plasma in vacuum. Both the plasma magnetic field and vacuum magnetic field are tangent along the plasma-vacuum interface. Moreover, the vacuum magnetic field is composed in a non-simply connected domain and hence is non-trivial. Under the Rayleigh-Taylor sign condition on the free surface, we prove the local well-posedness of the problem in Sobolev spaces. Furthermore, we also prove the local well-posdeness under a more general "stability" assumption…
We study the well-posedness theory for the linearized free boundary problem of incompressible ideal magnetohydrodynamics equations in a bounded domain. We express the magnetic field in terms of the velocity field and the deformation tensors in the Lagrangian coordinates, and substitute the magnetic field into the momentum equation to get an equation of the velocity in which the initial magnetic field serves only as a parameter. Then, we linearize this equation with respect to the position vector field whose time derivative is the velocity, and obtain the local-in-time well-posedness of the sol…
In this paper, similar to the incompressible Euler equation, we prove the propagation of the Gevrey regularity of solutions to the three-dimensional incompressible ideal magnetohydrodynamics (MHD) equations. We also obtain an uniform estimate of Gevery radius for the solution of MHD equation.
In Ann. Math., 170 (2009), 1417-1436, C. De Lellis and L. Székelyhidi Jr. constructed wild solutions of the incompressible Euler equations using a reformulation of the Euler equations as a differential inclusion together with convex integration. In this article we adapt their construction to the system consisting of adding the transport of a passive scalar to the two-dimensional incompressible Euler equations.
In this paper, we address the problem of current-vortex sheets in ideal incompressible magnetohydrodynamics. More precisely, we prove a local-in-time existence and uniqueness result for analytic initial data using a Cauchy-Kowalevskaya theorem.
In the Brenier variational model for perfect fluids, the datum is the joint law of the initial and final positions of the particles. In this paper, we show that both the optimal action and the pressure field are Hölder continuous with respect to this datum metrized in Monge-Kantorovic distance.
We show that the solution of the free-boundary incompressible ideal magnetohydrodynamic (MHD) equations with surface tension converges to that of the free-boundary incompressible ideal MHD equations without surface tension given the Rayleigh-Taylor sign condition holds true initially. This result is a continuation of the authors' previous works [17,32,16]. Our proof is based on the combination of the techniques developed in our previous works [17,32,16], Alinhac good unknowns, and a crucial anti-symmetric structure on the boundary.
For the free boundary problem of the plasma-vacuum interface to three-dimensional ideal incompressible magnetohydrodynamics (MHD), the a priori estimates of smooth solutions are proved in Sobolev norms by adopting a geometrical point of view and some quantities such as the second fundamental form and the velocity of the free interface are estimated. In the vacuum region, the magnetic fields are described by the div-curl system of pre-Maxwell dynamics, while at the interface the total pressure is continuous and the magnetic fields are tangent to the interface, but we do not need any restriction…
A new proof is given of the fact that the particle trajectories of the ideal incompressible fluid are analytic curves, though the solutions of the Euler equations may have a finite regularity. This is a consequence of a general fact that the geodesic exponential map on the group of volume preserving diffeomorphisms belonging to the Sobolev space is real-analytic. The proof is based on the general properties of holomorphic maps in complex Banach spaces.
In this work we study the asymptotic behavior of solutions of the incompressible two-dimensional Euler equations in the exterior of a single smooth obstacle when the obstacle becomes very thin tending to a curve. We extend results by Iftimie, Lopes Filho and Nussenzveig Lopes, obtained in the context of an obstacle tending to a point, see [Comm. PDE, {\bf 28} (2003), 349-379].
In this paper, we prove that as the viscosity and resistivity go to zero, the solution of the Cauchy problem for the incompressible MHD equations converges to the solution of the ideal MHD equations in the same topology with the initial data. Our proof mainly depends on the method introduced by the paper \cite{G.L.Y} and the constructions of the incompressible MHD equations.
As a framework for handling low Mach number limits we consider a notion of measure-valued solution of the incompressible Euler system which explicitly formulates the usually suppressed dependence on the pressure variable. We clarify in which sense such a measure-valued solution is generated as a low Mach limit and state sufficient conditions for this convergence. For the special case of pressure-free solutions we are able to give such sufficient conditions only on the incompressible solution itself. As a necessary condition for low Mach limits we obtain a Jensen-type inequality. The same neces…
In this paper, we study the two phase flow problem with surface tension in the ideal incompressible magnetohydrodynamics. We first prove the local well-posedness of the two phase flow problem with surface tension, then demonstrate that as surface tension tends to zero, the solution of the two phase flow problem with surface tension converges to the solution of the two phase flow problem without surface tension.
In [Math. Meth. Appl. Sci. 19 (1996) 53-62], C. Marchioro examined the problem of vorticity confinement in the exterior of a smooth bounded domain. The main result in Marchioro's paper is that solutions of the incompressible 2D Euler equations with compactly supported nonnegative initial vorticity in the exterior of a connected bounded region have vorticity support with diameter growing at most like $\mathcal{O}(t^{(1/2)+\vare})$, for any $\vare>0$. In addition, if the domain is the exterior of a disk, then the vorticity support is contained in a disk of radius $\mathcal{O}(t^{1/3})$. The purp…
In this paper we prove that the Euler equation describing the motion of an ideal fluid in $\R^d$ is well-posed in a class of functions allowing spatial asymptotic expansions as $|x|\to\infty$ of any a priori given order. These asymptotic expansions can involve log terms and lead to a family of conservation laws. Typically, the solutions of the Euler equation with initial data in the Schwartz class develop non-trivial spatial asymptotic expansions of the type considered here.
We study the stability of a type of stratified flows of the two dimensional inviscid incompressible MHD equations with velocity damping. The exponential stability for the perturbation near certain stratified flow is investigated in a strip-type area R*[0,1]. Although the magnetic filed potential is governed by a transport equation, by using the algebraic structure of the incompressible condition, it turns out that the linearized MHD equations around the given stratified flow retain a non-local damping mechanism. After carefully analyzing the non-linear structure and introducing some suitable w…
In this article, we study the homogenization limit of a family of solutions to the incompressible 2D Euler equations in the exterior of a family of $n_k$ disjoint disks with centers $\{z^k_i\}$ and radii $\varepsilon_k$. We assume that the initial velocities $u_0^k$ are smooth, divergence-free, tangent to the boundary and that they vanish at infinity. We allow, but we do not require, $n_k \to \infty$, and we assume $\varepsilon_k \to 0$ as $k\to \infty$. Let $γ^k_i$ be the circulation of $u_0^k$ around the circle $\{|x-z^k_i|=\varepsilon_k\}$. We prove that the homogenization limit retains inf…
The 3D compressible and incompressible Euler equations with a physical vacuum free boundary condition and affine initial conditions reduce to a globally solvable Hamiltonian system of ordinary differential equations for the deformation gradient in $\rm{GL}^+(3,\mathbb R)$. The evolution of the fluid domain is described by a family ellipsoids whose diameter grows at a rate proportional to time. Upon rescaling to a fixed diameter, the asymptotic limit of the fluid ellipsoid is determined by a positive semi-definite quadratic form of rank $r=1$, 2, or 3, corresponding to the asymptotic degenerati…
In this paper, we prove nonlinear stability of planar vortex patches concentrated near an isolated minimum point of the Robin function in a general bounded domain. These vortex patches are stationary solutions of the two-dimensinal incompressible Euler equations. The result is obtained by showing that these concentrated vortex patches are in fact isolated maximizers of the kinetic energy among isovortical patches.
In this paper, we investigate the solvability, regularity and the vanishing dissipation limit of solutions to the three-dimensional viscous magneto-hydrodynamic (MHD) equations in bounded domains. On the boundary, the velocity field fulfills a Navier-slip condition, while the magnetic field satisfies the insulating condition. It is shown that the initial-boundary problem has a global weak solution for a general smooth domain. More importantly, for a flat domain, we establish the uniform local well-posedness of the strong solution with higher order uniform regularity and the asymptotic converge…
We consider $L^2$ minimizing geodesics along the group of volume preserving maps $SDiff(D)$ of a given 3-dimensional domain $D$. The corresponding curves describe the motion of an ideal incompressible fluid inside $D$ and are (formally) solutions of the Euler equations. It is known that there is a unique possible pressure gradient for these curves whenever their end points are fixed. In addition, this pressure field has a limited but unconditional (internal) regularity. The present paper completes these results by showing: 1) the uniqueness property can be viewed as an infinite dimensional phe…
We investigate a steady planar flow of an ideal fluid in a bounded simple connected domain and focus on the vortex patch problem with prescribed vorticity strength. There are two methods to deal with the existence of solutions for this problem: the vorticity method and the stream function method. A long standing open problem is whether these two entirely different methods result in the same solution. In this paper, we will give a positive answer to this problem by studying the local uniqueness of the solutions. Another result obtained in this paper is that if the domain is convex, then the vor…
We study two dyadic models for incompressible ideal magnetohydrodynamics, one with a uni-directional energy cascade and the other one with both forward and backward energy cascades. Global existence of weak solutions and local well-posedness are established for both models. In addition, solutions to the model with uni-directional energy cascade associated with positive initial data are shown to develop blow-up at a finite time. Moreover, a set of fixed points is found for each model. Linear instability about some particular fixed points is proved.
In this paper we consider steady vortex flows for the incompressible Euler equations in a planar bounded domain. By solving a variational problem for the vorticity, we construct steady double vortex patches with opposite signs concentrating at a strict local minimum point of the Kirchhoff-Routh function with $k=2$. Moreover, we show that such steady solutions are in fact local maximizers of the kinetic energy among isovortical patches, which correlates stability to uniqueness.
In this paper, we validate the boundary layer theory for 2D steady viscous incompressible magnetohydrodynamics (MHD) equations in a domain $\{(X, Y)\in[0, L]\times\mathbb{R}_+\}$ under the assumption of a moving boundary at $\{Y=0\}$. The validity of the boundary layer expansion and the convergence rates are established in Sobolev sense. We extend the results for the case with the shear outer ideal MHD flows [3] to the case of the nonshear flows.
We prove that, in a two-dimensional strip, a steady flow of an ideal incompressible fluid with no stationary point and tangential boundary conditions is a shear flow. The same conclusion holds for a bounded steady flow in a half-plane. The proofs are based on the study of the geometric properties of the streamlines of the flow and on one-dimensional symmetry results for solutions of some semilinear elliptic equations. Some related rigidity results of independent interest are also shown in n-dimensional slabs in any dimension n.
