of compressible vortex sheets in two space dimensions J.-F. Coulombel (Lille) P. Secchi (Brescia) CNRS, and Team SIMPAF of INRIA Futurs Evolution Equations 2006, Mons, August 29th
Plan 1 2 3 Related problems
Plan 1 2 3 Related problems
Euler equations of isentropic gas dynamics We consider a compressible inviscid fluid described by: its density ρ(t, x) R +, its velocity field u(t, x) R d, whose evolution is governed by the isentropic Euler equations: { t ρ + x ρ u = 0, t ρ u + x ρ u u + x p(ρ) = 0, where t 0 is the time variable, x R d is the space variable, p is the pressure law.
Plan 1 2 3 Related problems
Hyperbolicity, smooth solutions If p (ρ) > 0, the Euler equations form a symmetrizable hyperbolic system (convex entropy). This allows to solve (locally) the Cauchy problem: Existence, uniqueness of smooth solutions (in the space C([0, T ]; H s (R d )), s > 1 + d/2). [Kato, 1975]
Hyperbolicity, smooth solutions If p (ρ) > 0, the Euler equations form a symmetrizable hyperbolic system (convex entropy). This allows to solve (locally) the Cauchy problem: Existence, uniqueness of smooth solutions (in the space C([0, T ]; H s (R d )), s > 1 + d/2). [Kato, 1975] Blow-up of smooth solutions. [Sideris, 1985]
Plan 1 2 3 Related problems
Rankine-Hugoniot jump conditions A function: (ρ, u) = { (ρ +, u + )(t, x) if x d > ϕ(t, y), (ρ, u )(t, x) if x d < ϕ(t, y), is a weak solution if
Rankine-Hugoniot jump conditions A function: (ρ, u) = { (ρ +, u + )(t, x) if x d > ϕ(t, y), (ρ, u )(t, x) if x d < ϕ(t, y), is a weak solution if it solves the Euler equations away from the interface {x d = ϕ(t, y)}, and
Rankine-Hugoniot jump conditions A function: (ρ, u) = { (ρ +, u + )(t, x) if x d > ϕ(t, y), (ρ, u )(t, x) if x d < ϕ(t, y), is a weak solution if it solves the Euler equations away from the interface {x d = ϕ(t, y)}, and the Rankine-Hugoniot jump conditions hold: Free boundary problem! ρ + (u + n σ) = ρ (u n σ) = j, j (u + u ) + (p(ρ + ) p(ρ )) n = 0.
Existence results Existence of one uniformly stable shock wave. [Majda, 1983] [Blokhin, 1981]
Existence results Existence of one uniformly stable shock wave. [Majda, 1983] [Blokhin, 1981] Existence of two uniformly stable shock waves. [Métivier, 1986]
Existence results Existence of one uniformly stable shock wave. [Majda, 1983] [Blokhin, 1981] Existence of two uniformly stable shock waves. [Métivier, 1986] Existence of one rarefaction wave. [Alinhac, 1989]
Existence results Existence of one uniformly stable shock wave. [Majda, 1983] [Blokhin, 1981] Existence of two uniformly stable shock waves. [Métivier, 1986] Existence of one rarefaction wave. [Alinhac, 1989] Existence of sonic waves. [Métivier, 1991] [Sablé-Tougeron, 1993]
Existence results Existence of one uniformly stable shock wave. [Majda, 1983] [Blokhin, 1981] Existence of two uniformly stable shock waves. [Métivier, 1986] Existence of one rarefaction wave. [Alinhac, 1989] Existence of sonic waves. [Métivier, 1991] [Sablé-Tougeron, 1993] Existence of one small shock wave. [Francheteau-Métivier, 2000]
Plan 1 2 3 Related problems
Jump conditions for a contact discontinuity In the case j = 0, there is no mass transfer across the discontinuity. The Rankine-Hugoniot jump conditions reduce to: t ϕ = u + n = u n, p(ρ + ) = p(ρ ).
Jump conditions for a contact discontinuity In the case j = 0, there is no mass transfer across the discontinuity. The Rankine-Hugoniot jump conditions reduce to: t ϕ = u + n = u n, p(ρ + ) = p(ρ ). In this case, the weak solution is a contact discontinuity (associated with a linearly degenerate field). The front {x d = ϕ(t, y)} is characteristic with respect to either side. Jump of tangential velocity vortex sheet.
Linear spectral stability (Landau, Miles...) Consider a piecewise constant vortex sheet: { (ρ, v, 0) if x d > 0, (ρ, u) = (ρ, v, 0) if x d < 0, and linearize the Euler equations, and jump conditions around this solution.
Linear spectral stability (Landau, Miles...) Consider a piecewise constant vortex sheet: { (ρ, v, 0) if x d > 0, (ρ, u) = (ρ, v, 0) if x d < 0, and linearize the Euler equations, and jump conditions around this solution. If d = 3, the linearized equations do not satisfy the Lopatinskii condition violent instability.
Linear spectral stability (Landau, Miles...) Consider a piecewise constant vortex sheet: { (ρ, v, 0) if x d > 0, (ρ, u) = (ρ, v, 0) if x d < 0, and linearize the Euler equations, and jump conditions around this solution. If d = 3, the linearized equations do not satisfy the Lopatinskii condition violent instability. If d = 2, and v < 2 c(ρ), the linearized equations do not satisfy the Lopatinskii condition violent instability.
Linear spectral stability (Landau, Miles...) Consider a piecewise constant vortex sheet: { (ρ, v, 0) if x d > 0, (ρ, u) = (ρ, v, 0) if x d < 0, and linearize the Euler equations, and jump conditions around this solution. If d = 3, the linearized equations do not satisfy the Lopatinskii condition violent instability. If d = 2, and v < 2 c(ρ), the linearized equations do not satisfy the Lopatinskii condition violent instability. If d = 2, and v > 2 c(ρ), the linearized equations satisfy the weak Lopatinskii condition weak stability.
Theorem Let d = 2, and consider a piecewise constant weakly stable vortex sheet. Let T > 0, and µ 6. Consider initial data (ρ 0, u 0 ), ϕ 0 that are perturbations in H µ+15/2 (R 2 +) H µ+8 (R) of the piecewise constant vortex sheet. If the perturbations are small, and if the compatibility conditions hold, then there exists a contact discontinuity on [0, T ] with initial data (ρ 0, u 0 ), ϕ 0. The solution belongs to H µ (]0, T [ R 2 +) H µ+1 (]0, T [ R).
Plan 1 2 3 Related problems
result Under the assumptions of the Theorem, consider the linearized equations around a small perturbation of the piecewise constant vortex sheet. Assume that the Rankine-Hugoniot jump conditions are satisfied by this perturbation.
result Under the assumptions of the Theorem, consider the linearized equations around a small perturbation of the piecewise constant vortex sheet. Assume that the Rankine-Hugoniot jump conditions are satisfied by this perturbation. Then the linearized equations satisfy an a priori tame estimate: LV = f, B(V, ψ) = g, V H m (]0,T [ R 2 + ) + ψ H m+1 (]0,T [ R) [ ] C f H m+1 (]0,T [ R 2 + ) + g H m+1 (]0,T [ R).
result Under the assumptions of the Theorem, consider the linearized equations around a small perturbation of the piecewise constant vortex sheet. Assume that the Rankine-Hugoniot jump conditions are satisfied by this perturbation. Then the linearized equations satisfy an a priori tame estimate: LV = f, B(V, ψ) = g, V H m (]0,T [ R 2 + ) + ψ H m+1 (]0,T [ R) [ ] C f H m+1 (]0,T [ R 2 + ) + g H m+1 (]0,T [ R). Also tame dependence on the coefficients.
Plan 1 2 3 Related problems
Nash-Moser iteration To solve the nonlinear equations, we use a Nash-Moser iteration where we force the Rankine-Hugoniot jump conditions at each step:
Nash-Moser iteration To solve the nonlinear equations, we use a Nash-Moser iteration where we force the Rankine-Hugoniot jump conditions at each step: Start from an approximate solution.
Nash-Moser iteration To solve the nonlinear equations, we use a Nash-Moser iteration where we force the Rankine-Hugoniot jump conditions at each step: Start from an approximate solution. Regularize the coefficients, and force the Rankine-Hugoniot conditions.
Nash-Moser iteration To solve the nonlinear equations, we use a Nash-Moser iteration where we force the Rankine-Hugoniot jump conditions at each step: Start from an approximate solution. Regularize the coefficients, and force the Rankine-Hugoniot conditions. Solve the linearized equations, for well-chosen source terms.
Nash-Moser iteration To solve the nonlinear equations, we use a Nash-Moser iteration where we force the Rankine-Hugoniot jump conditions at each step: Start from an approximate solution. Regularize the coefficients, and force the Rankine-Hugoniot conditions. Solve the linearized equations, for well-chosen source terms. Regularize the new coefficients, and force the Rankine-Hugoniot conditions etc.
Plan Related problems 1 2 3 Related problems
Related problems Related problems Related problems can be handled with the same approach: Weakly stable shocks for the isentropic Euler equations. Uniform/weak stability criterion [Majda, 1983]. The discontinuity is noncharacteristic, and the weak Lopatinskii condition is satisfied.
Related problems Related problems Related problems can be handled with the same approach: Weakly stable shocks for the isentropic Euler equations. Uniform/weak stability criterion [Majda, 1983]. The discontinuity is noncharacteristic, and the weak Lopatinskii condition is satisfied. Isothermal liquid-vapor phase transitions. [Benzoni, 1998]. These are undercompressive shocks (additional jump condition). The discontinuity is noncharacteristic, and the weak Lopatinskii condition is satisfied (surface waves).
Related problems Related problems Other works: Contact discontinuities for the nonisentropic Euler equations. Work in progress by Morando-Secchi-Trebeschi. Uniqueness of contact discontinuities. Work almost finished! Contact discontinuities in MHD [Trakhinin, 2005]. Dissipative symmetrizers approach.