Multidimensional transonic shocks and free boundary problems for nonlinear equations of mixed type

We establish the existence and stability of multidimensional transonic shocks for the Euler equations for steady potential compressible fluids. The Euler equations, consisting of the conservation law of mass and the Bernoulli law for the velocity, can be written as a second-order, nonlinear equation of mixed elliptic-hyperbolic type for the velocity potential. The transonic shock problem can be formulated into the following free boundary problem: The free boundary is the location of the transonic shock which divides the two regions of smooth flow, and the equation is hyperbolic in the upstream region where the smooth perturbed flow is supersonic. We develop a nonlinear approach to deal with such a free boundary problem in order to solve the transonic shock problem. Our results indicate that there exists a unique solution of the free boundary problem such that the equation is always elliptic in the downstream region and the free boundary is smooth, provided that the hyperbolic phase is close to a uniform flow. We prove that the free boundary is stable under the steady perturbation of the hyperbolic phase. We also establish the existence and stability of multidimensional transonic shocks near spherical or circular transonic shocks.

     

Transonic nozzle flows and free boundary problems for the full Euler equations

We establish the existence and uniqueness of transonic flows with a transonic shock through a two-dimensional nozzle of slowly varying cross-sections. The transonic flow is governed by the steady, full Euler equations. Given an incoming smooth flow that is close to a constant supersonic state (i.e., smooth Cauchy data) at the entrance and the subsonic condition with nearly horizontal velocity at the exit of the nozzle, we prove that there exists a transonic flow whose downstream smooth subsonic region is separated by a smooth transonic shock from the upstream supersonic flow. This problem is approached by a one-phase free boundary problem in which the transonic shock is formulated as a free boundary. The full Euler equations are decomposed into an elliptic equation and a system of transport equations for the free boundary problem. An iteration scheme is developed and its fixed point is shown to exist, which is a solution of the free boundary problem, by combining some delicate estimates for the elliptic equation and the system of transport equations with the Schauder fixed point argument. The uniqueness of transonic nozzle flows is also established by employing the coordinate transformation of Euler-Lagrange type and detailed estimates of the solutions.     

STABILIZATION EFFECT OF FRICTIONS FOR TRANSONIC SHOCKS IN STEADY COMPRESSIBLE EULER FLOWS PASSING THREE-DIMENSIONAL DUCTS

Transonic shocks play a pivotal role in designation of supersonic inlets and ramjets. For the three-dimensional steady non-isentropic compressible Euler system with frictions, we constructe a family of transonic shock solutions in rectilinear ducts with square cross-sections. In this article, we are devoted to proving rigorously that a large class of these transonic shock solutions are stable, under multidimensional small perturbations of the upcoming supersonic flows and back pressures at the exits of ducts in suitable function spaces.This manifests that frictions have a stabilization effect on transonic shocks in ducts, in consideration of previous works which shown that transonic shocks in purely steady Euler flows are not stable in such ducts. Except its implications to applications, because frictions lead to a stronger coupling between the elliptic and hyperbolic parts of the three-dimensional steady subsonic Euler system, we develop the framework established in previous works to study more complex and interesting Venttsel problems of nonlocal elliptic equations.     

A remark on determination of transonic shocks in divergent nozzles for steady compressible Euler flows

In this paper we construct a class of transonic shock in a divergent nozzle which is a part of an angular sector (for two-dimensional case) or a cone (for three-dimensional case) which does not contain the vertex. The state of the compressible flow depends only on the distance from the vertex of the angular sector or the cone. It is supersonic at the entrance, while for appropriately given large pressure at the exit, a transonic shock front appears in the nozzle and the flow becomes subsonic after passing it. The position and strength of the shock is automatically adjusted according to the pressure given at the exit. We demonstrate these phenomena by using the two-dimensional and three-dimensional full steady compressible Euler systems. The idea involved is to solve discontinuous solutions of a class of two-point boundary value problems for systems of ordinary differential equations. Results established in this paper may be used to analyze transonic shocks in general nozzles.     

Uniqueness of transonic shock solutions in a duct for steady potential flow

We study the uniqueness of solutions with a transonic shock in a duct in a class of transonic shock solutions, which are not necessarily small perturbations of the background solution, for steady potential flow. We prove that, for given uniform supersonic upstream flow in a straight duct, there exists a unique uniform pressure at the exit of the duct such that a transonic shock solution exists in the duct, which is unique modulo translation. For any other given uniform pressure at the exit, there exists no transonic shock solution in the duct. This is equivalent to establishing a uniqueness theorem for a free boundary problem of a partial differential equation of second order in a bounded or unbounded duct. The proof is based on the maximum/comparison principle and a judicious choice of special transonic shock solutions as a comparison solution.     

Mach configuration in pseudo-stationary compressible flow

This paper is devoted to studying the local structure of Mach reflection, which occurs in the problem of the shock front hitting a ramp. The compressible flow is described by the full unsteady Euler system of gas dynamics. Because of the special geometry, the motion of the fluid can be described by self-similar coordinates, so that the unsteady flow becomes a pseudo-stationary flow in this coordinate system. When the slope of the ramp is less than a critical value, the Mach reflection occurs. The wave configuration in Mach reflection is composed of three shock fronts and a slip line bearing contact discontinuity. The local existence of a flow field with such a configuration under some assumptions is proved in this paper. Our result confirms the reasonableness of the corresponding physical observations and numerical computations in Mach reflection.

In order to prove the result, we formulate the problem to a free boundary value problem of a pseudo-stationary Euler system. In this problem two unknown shock fronts are the free boundary, and the slip line is also an unknown curve inside the flow field. The proof contains some crucial ingredients. The slip line will be transformed to a fixed straight line by a generalized Lagrange transformation. The whole free boundary value problem will be decomposed to a fixed boundary value problem of the Euler system and a problem to updating the location of the shock front. The Euler system in the subsonic region is an elliptic-hyperbolic composite system, which will be decoupled to the elliptic part and the hyperbolic part at the level of principal parts. Then some sophisticated estimates and a suitable iterative scheme are established. The proof leads to the existence and stability of the local structure of Mach reflection.

     

Well-posedness of transonic characteristic discontinuities in two-dimensional steady compressible Euler flows

In our previous work, we have established the existence of transonic characteristic discontinuities separating supersonic flows from a static gas in two-dimensional steady compressible Euler flows under a perturbation with small total variation of the incoming supersonic flow over a solid right wedge. It is a free boundary problem in Eulerian coordinates and, across the free boundary (characteristic discontinuity), the Euler equations are of elliptic–hyperbolic composite-mixed type. In this paper, we further prove that such a transonic characteristic discontinuity solution is unique and L ¹–stable with respect to the small perturbation of the incoming supersonic flow in Lagrangian coordinates.     

On global transonic shocks for the steady supersonic Euler flows past sharp 2-D wedges

In this paper, under certain downstream pressure condition at infinity, we study the globally stable transonic shock problem for the perturbed steady supersonic Euler flow past an infinitely long 2-D wedge with a sharp angle. As described in the book of Courant and Friedrichs [R. Courant, K.O. Friedrichs, Supersonic Flow and Shock Waves, Interscience, New York, 1948] (pages 317-318): when a supersonic flow hits a sharp wedge, it follows from the Rankine-Hugoniot conditions and the entropy condition that there will appear a weak shock or a strong shock attached at the edge of the sharp wedge in terms of the different pressure states in the downstream region, which correspond to the supersonic shock and the transonic shock respectively. It has frequently been stated that the strong shock is unstable and that, therefore, only the weak shock could occur. However, a convincing proof of this instability has apparently never been given. The aim of this paper is to understand this open problem. More concretely, we will establish the global existence and stability of a transonic shock solution for 2-D full Euler system when the downstream pressure at infinity is suitably given. Meanwhile, the asymptotic state of the downstream subsonic solution is determined.     

Stability of transonic shocks for the full Euler system in supersonic flow past a wedge

We study the stability of transonic shocks in steady supersonic flow past a wedge. It is known that in generic case such a problem admits two possible locations of the shock front, connecting the flow ahead of it and behind it. They can be distinguished as supersonic–supersonic shock and supersonic–subsonic shock (or transonic shock). Both these possible shocks satisfy the Rankine–Hugoniot conditions and the entropy condition. We prove that the transonic shock is conditionally stable under perturbation of the upstream flow or perturbation of wedge boundary. Copyright © 2005 John Wiley & Sons, Ltd.     

Transonic shock in a nozzle I: 2D case

In this paper we establish the existence and uniqueness of a transonic shock for the steady flow through a general two‐dimensional nozzle with variable sections. The flow is governed by the inviscid potential equation, and is supersonic upstream, has no‐flow boundary conditions on the nozzle walls, and a given pressure at the exit of the exhaust section. The transonic shock is a free boundary dividing two regions of C flow in the nozzle. The potential equation is hyperbolic upstream where the flow is supersonic, and elliptic in the downstream subsonic region. In particular, our results show that there exists a solution to the corresponding free boundary problem such that the equation is always subsonic in the downstream region of the nozzle when the pressure in the exit of the exhaustion section is appropriately larger than that in the entry. This confirms exactly the conjecture of Courant and Friedrichs on the transonic phenomena in a nozzle [10]. Furthermore, the stability of the transonic shock is also proved when the upstream supersonic flow is a small steady perturbation for the uniform supersonic flow or the pressure at the exit has a small perturbation. The main ingredients of our analysis are a generalized hodograph transformation and multiplier methods for elliptic equation with mixed boundary conditions and corner singularities. © 2004 Wiley Periodicals, Inc.     

Steady transonic shocks and free boundary problems in infinite cylinders for the Euler equations

We establish the existence and stability of multidimensional transonic shocks (hyperbolic‐elliptic shocks) for the Euler equations for steady compressible potential fluids in infinite cylinders. The Euler equations, consisting of the conservation law of mass and the Bernoulli law for velocity, can be written as a second order nonlinear equation of mixed elliptic‐hyperbolic type for the velocity potential. The transonic shock problem in an infinite cylinder can be formulated into the following free boundary problem: The free boundary is the location of the multidimensional transonic shock which divides two regions of C^1,α flow in the infinite cylinder, and the equation is hyperbolic in the upstream region where the C^1,α perturbed flow is supersonic. We develop a nonlinear approach to deal with such a free boundary problem in order to solve the transonic shock problem in unbounded domains. Our results indicate that there exists a solution of the free boundary problem such that the equation is always elliptic in the unbounded downstream region, the uniform velocity state at infinity in the downstream direction is uniquely determined by the given hyperbolic phase, and the free boundary is C^1,α, provided that the hyperbolic phase is close in C^1,α to a uniform flow. We further prove that, if the steady perturbation of the hyperbolic phase is C^2,α, the free boundary is C^2,α and stable under the steady perturbation. © 2003 Wiley Periodicals Inc.     

Stability of transonic shock fronts in two-dimensional Euler systems

We study the stability of stationary transonic shock fronts under two-dimensional perturbation in gas dynamics. The motion of the gas is described by the full Euler system. The system is hyperbolic ahead of the shock front, and is a hyperbolic-elliptic composed system behind the shock front. The stability of the shock front and the downstream flow under two-dimensional perturbation of the upstream flow can be reduced to a free boundary value problem of the hyperbolic-elliptic composed system. We develop a method to deal with boundary value problems for such systems. The crucial point is to decompose the system to a canonical form, in which the hyperbolic part and the elliptic part are only weakly coupled in their coefficients. By several sophisticated iterative processes we establish the existence and uniqueness of the solution to the described free boundary value problem. Our result indicates the stability of the transonic shock front and the flow field behind the shock.

     

Global transonic conic shock wave for the symmetrically perturbed supersonic flow past a cone

In this paper, we are concerned with the global existence and stability of a steady transonic conic shock wave for the symmetrically perturbed supersonic flow past an infinitely long conic body. The flow is assumed to be polytropic, isentropic and described by a steady potential equation. Theoretically, as indicated in [R. Courant, K.O. Friedrichs, Supersonic Flow and Shock Waves, Interscience Publishers, Inc., New York, 1948], it follows from the Rankine-Hugoniot conditions and the entropy condition that there will appear a weak shock or a strong shock attached at the vertex of the sharp cone in terms of the different pressure states at infinity behind the shock surface, which correspond to the supersonic shock and the transonic shock respectively. In the references [Shuxing Chen, Zhouping Xin, Huicheng Yin, Global shock wave for the supersonic flow past a perturbed cone, Comm. Math. Phys. 228 (2002) 47-84; Dacheng Cui, Huicheng Yin, Global conic shock wave for the steady supersonic flow past a cone: Polytropic case, preprint, 2006; Dacheng Cui, Huicheng Yin, Global conic shock wave for the steady supersonic flow past a cone: Isothermal case, Pacific J. Math. 233 (2) (2007) 257-289] and [Zhouping Xin, Huicheng Yin, Global multidimensional shock wave for the steady supersonic flow past a three-dimensional curved cone, Anal. Appl. 4 (2) (2006) 101-132], the authors have established the global existence and stability of a supersonic shock for the perturbed hypersonic incoming flow past a sharp cone when the pressure at infinity is appropriately smaller than that of the incoming flow. At present, for the supersonic symmetric incoming flow, we will study the global transonic shock problem when the pressure at infinity is appropriately large.     

Stability of a Mach configuration

We prove the stability of a Mach configuration, which occurs in shock reflection off an obstacle or shock interaction in compressible flow. The compressible flow is described by a full, steady Euler system of gas dynamics. The unperturbed Mach configuration is composed of three straight shock lines and a slip line carrying contact discontinuity. Among four regions divided by these four lines in the neighborhood of the intersection, two are supersonic regions, and other two are subsonic regions. We prove that if the constant states in the supersonic regions are slightly perturbed, then the structure of the whole configuration holds, while the other two shock fronts and the slip line, as well as the flow field in the subsonic regions, are also slightly perturbed. Such a conclusion asserts the existence and stability of the general Mach configuration in shock theory. In order to prove the result, we reduce the problem to a free boundary value problem, where two unknown shock fronts are free boundaries, while the slip line is transformed to a fixed line by a Lagrange transformation. In the region where the solution is to be determined, we have to deal with an elliptic‐hyperbolic composed system. By decoupling this system and combining the technique for both hyperbolic equations and elliptic equations, we establish the required estimates, which are crucial in the proof of the existence of a solution to the free boundary value problem. © 2005 Wiley Periodicals, Inc.     

Stability of transonic shock for supersonic flow past a wedge

When steady supersonic flow hits a slim wedge, there may appear an oblique transonic shock attached to the vertex of the wedge, if the downstream pressure is rather large. This paper studies stability in certain weighted partial Hölder spaces of the oblique transonic shock attached to the vertex of a wedge, which is against steady supersonic flows, under perturbations of the upstream flow and the profile of the wedge. We show that under reasonable conditions on the upcoming supersonic flow and the slope of the wedge, such transonic shocks are structural stable. Mathematically, we solve an elliptic–hyperbolic mixed type in an unbounded domain, and the flow field is proved to be C¹. Copyright © 2015 John Wiley & Sons, Ltd.     

An Interaction of a Rarefaction Wave and a Transonic Shock for the Self-Similar Two-Dimensional Nonlinear Wave System

We study a two dimensional Riemann problem for the self-similar nonlinear wave system which gives rise to an interaction of a transonic shock and a rarefaction wave. The interesting feature of this problem is that the governing equation changes its type from supersonic in the far field to subsonic near the origin. The subsonic region is then bounded above by the sonic line (degenerate) and below by the transonic shock (free boundary). Furthermore due to the rarefaction wave in the downstream, which interacts with the transonic shock, the problem becomes inhomogeneous and degenerate. We establish the existence result of the global solution to this configuration, and present analysis to understand the solution structure of this problem.     

Stability of transonic shocks in supersonic flow past a wedge

In this paper we study the stability of transonic shocks in steady supersonic flow past a wedge. We take the potential flow equation as the mathematical model to describe the compressible flow. It is known that in generic case such a problem admits two possible location of shock, connecting the flow ahead it and behind it. They can be distinguished as supersonic-supersonic shock and supersonic-subsonic shock (or transonic shock). Both these possible shocks satisfy the Rankine-Hugoniot conditions and entropy condition. In this paper we prove that the transonic shock is also stable under perturbation of the coming flow provided the pressure at infinity is well controlled.     

Numerical solutions of transonic two-dimensional flows at a ninety-degree wedge

We present numerical results on self-similar two-dimensional Riemann problems governed by the compressible Euler system and the nonlinear wave system, which give rise to a transonic shock. We consider a configuration for a vertical incident shock moving to the right above a rectangular object. The incident shock then interacts with a sonic circle soon after it moves beyond the object, and creates a transonic region. We implement Lax–Liu positive schemes and Strang splitting, and obtain linear correlations of the incident shock strength and the shock strength at the vertical wall. We further implement Roe average methods and finite volume methods on quadrilateral grids to capture a contact discontinuity of the Euler system near the corner of the object. The contact discontinuity creates a new supersonic state and a transonic shock inside the transonic region.     

On transonic shocks in a conic divergent nozzle with axi-symmetric exit pressures

In this paper, we establish the existence and stability of a 3-D transonic shock solution to the full steady compressible Euler system in a class of de Laval nozzles with a conic divergent part when a given variable axi-symmetric exit pressure lies in a suitable scope. Thus, for this class of nozzles, we have solved such a transonic shock problem in the axi-symmetric case described by Courant and Friedrichs (1948) in Section 147 of [8]: Given the appropriately large exit pressure pe(x), if the upstream flow is still supersonic behind the throat of the nozzle, then at a certain place in the diverging part of the nozzle a shock front intervenes and the gas is compressed and slowed down to subsonic speed so that the position and the strength of the shock front are automatically adjusted such that the end pressure at the exit becomes pe(x).     

Global supersonic conic shock wave for the steady supersonic flow past a cone: Polytropic gas

In this paper, we establish the global existence and stability of a steady conic shock wave for the symmetrically perturbed supersonic flow past an infinitely long conic body as long as the vertex angle is less than a critical value. The flow is assumed to be polytropic, isentropic and described by a steady potential equation. Based on the delicate asymptotic expansion of the background solution, one can verify that the boundary conditions on the shock and the conic surface satisfy the “dissipative” property. From this property, by use of the reflected characteristics method and the special form of the shock equation, we show that the conic shock attached at the vertex of the cone exists globally in the whole space when the speed of the supersonic coming flow is appropriately large. On the other hand, we remove the smallness restriction on the sharp vertex angle in order to establish the global existence of a shock or a global weak solution, moreover, our proof approach is different from that in [Shuxing Chen, Zhouping Xin, Huicheng Yin, Global shock wave for the supersonic flow past a perturbed cone, Comm. Math. Phys. 228 (2002) 47-84] and [Zhouping Xin, Huicheng Yin, Global multidimensional shock wave for the steady supersonic flow past a three-dimensional curved cone, Anal. Appl. 4 (2) (2006) 101-132].