Subsonic solutions to compressible transonic potential problems for isothermal self-similar flows and steady flows

We establish boundary and interior gradient estimates, and show that no supersonic bubble appears inside of a subsonic region for transonic potential flows for both self-similar isothermal and steady problems. We establish an existence result for the self-similar isothermal problem, and improve the Hopf maximum principle to show that the flow is strictly elliptic inside of the subsonic region for the steady problem.     

A global subsonic solution to an interacting transonic shock for the self-similar nonlinear wave equation

We present the existence of the subsonic solution to a two-dimensional Riemann problem governed by a self-similar nonlinear wave equation where the boundary of the subsonic region consists of a transonic shock and the sonic circle. Thus the governing equation becomes a free boundary problem on the transonic shock and degenerates on the sonic circle. By utilizing the barrier methods and iterative methods, we show the well-posedness of the transonic shock in the entire subsonic region and thus establish the global solution. This result does not rely on any smallness of Riemann data.     

A class of quasilinear degenerate elliptic problems

We establish the existence of solutions for a class of quasilinear degenerate elliptic equations. The equations in this class satisfy a structure condition which provides ellipticity in the interior of the domain, and degeneracy only on the boundary. Equations of transonic gas dynamics, for example, satisfy this property in the region of subsonic flow and are degenerate across the sonic surface. We prove that the solution is smooth in the interior of the domain but may exhibit singular behavior at the degenerate boundary. The maximal rate of blow-up at the degenerate boundary is bounded by the “degree of degeneracy” in the principal coefficients of the quasilinear elliptic operator. Our methods and results apply to the problems recently studied by several authors which include the unsteady transonic small disturbance equation, the pressure-gradient equations of the compressible Euler equations, and the singular quasilinear anisotropic elliptic problems, and extend to the class of equations which satisfy the structure condition, such as the shallow water equation, compressible isentropic two-dimensional Euler equations, and general two-dimensional nonlinear wave equations. Our study provides a general framework to analyze degenerate elliptic problems arising in the self-similar reduction of a broad class of two-dimensional Cauchy problems.     

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.     

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.     

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.

     

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.     

Analysis of a FEM/BEM coupling method for transonic flow computations

A sensitive issue in numerical calculations for exterior flow problems, e.g.around airfoils, is the treatment of the far field boundary conditions on a computational domain which is bounded. In this paper we investigate this problem for two-dimensional transonic potential flows with subsonic far field flow around airfoil profiles. We take the artificial far field boundary in the subsonic flow region. In the far field we approximate the subsonic potential flow by the Prandtl-Glauert linearization. The latter leads via the Green representation theorem to a boundary integral equation on the far field boundary. This defines a nonlocal boundary condition for the interior ring domain. Our approach leads naturally to a coupled finite element/boundary element method for numerical calculations. It is compared with local boundary conditions. The error analysis for the method is given and we prove convergence provided the solution to the analytic transonic flow problem around the profile exists.

     

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.     

Global subsonic Euler flows in an infinitely long axisymmetric nozzle

In this paper, we consider global subsonic compressible flows through an infinitely long axisymmetric nozzle. The flow is governed by the steady Euler equations and has boundary conditions on the nozzle walls. Existence and uniqueness of global subsonic solution are established for an infinitely long axisymmetric nozzle, when the variation of Bernoulli's function in the upstream is sufficiently small and the mass flux of the incoming flow is less than some critical value. The results give a strictly mathematical proof to the assertion in Bers (1958) [2]: there exists a critical value of the incoming mass flux such that a global subsonic flow exists uniquely in a nozzle, provided that the incoming mass flux is less than the critical value. The existence of subsonic flow is obtained by the precisely a priori estimates for the elliptic equation of two variables. With the assumptions on the nozzle in the far fields, the asymptotic behavior can be derived by a blow-up argument for the infinitely long nozzle. Finally, we obtain the uniqueness of uniformly subsonic flow by energy estimate and derive the existence of the critical value of incoming mass flux.     

A linear approximation for the regular reflection of a weak shock at a wedge satisfying sonic condition

The problem of shock reflection by a wedge, which the flow is dominated by the unsteady potential flow equation, is a important problem. In weak regular reflection, the flow behind the reflected shock is immediately supersonic and becomes subsonic further downstream. The reflected shock is transonic. Its position is a free boundary for the unsteady potential equation, which is degenerate at the sonic line in self-similar coordinates. Applying the special partial hodograph transformation used in [Zhouping Xin, Huicheng Yin, Transonic shock in a nozzle I, 2-D case, Comm. Pure Appl. Math. 57 (2004) 1-51; Zhouping Xin, Huicheng Yin, Transonic shock in a nozzle II, 3-D case, IMS, preprint (2003)], we derive a nonlinear degenerate elliptic equation with nonlinear boundary conditions in a piecewise smooth domain. When the angle, which between incident shock and wedge, is small, we can see that weak regular reflection as the disturbance of normal reflection as in [Shuxing Chen, Linear approximation of shock reflection at a wedge with large angle, Comm. Partial Differential Equations 21 (78) (1996) 1103-1118]. By linearizing the resulted nonlinear equation and boundary conditions with above viewpoint, we obtain a linear degenerate elliptic equation with mixed boundary conditions and a linear degenerate elliptic equation with oblique boundary conditions in a curved quadrilateral domain. By means of elliptic regularization techniques, delicate a priori estimate and compact arguments, we show that the solution of linearized problem with oblique boundary conditions is smooth in the interior and Lipschitz continuous up to the degenerate boundary.     

Free boundary and mixed boundary value problems for quasilinear elliptic equations: tangential oblique derivative and degenerate Dirichlet boundary problems

We present Hölder estimates and Hölder gradient estimates for a class of free boundary problems with tangential oblique derivative boundary conditions provided the oblique vector β does not vanish at any point on the boundary. We also establish the existence result for a general class of quasilinear degenerate problems of this type including nonlinear wave systems and the unsteady transonic small disturbance equation.     

Higher regularity for free boundary and tangential derivative problems and global solutions to regular reflections for the unsteady transonic small disturbance (UTSD) equations

We establish C^2,α$C^{2,\alpha }$-estimates for solutions of a class of quasilinear elliptic equations with free boundary and tangential derivative boundary problems. Using this regularity result we show the existence of global solutions to regular shock reflections for the unsteady transonic small disturbance (UTSD) equation. We also present Lipschitz estimates near the degenerate Dirichlet boundary (the sonic boundary) for the UTSD equation.     

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.     

A linear approximation for the regular reflection of a weak shock at a wedge

The problem of shock reflection by a wedge in the flow dominated by the unsteady potential flow equation is an important problem. In weak regular reflection, the flow behind the reflected shock is immediately supersonic and becomes subsonic further downstream. The reflected shock is transonic. Its position is a free boundary for the unsteady potential equation, which is degenerate at the sonic line in self-similar coordinates. Applying the special partial hodograph transformation used in [Zhouping Xin, Huicheng Yin, Transonic shock in a nozzle I, 2-D case, Comm. Pure Appl. Math. LVII (2004) 1-51; Zhouping Xin, Huicheng Yin, Transonic shock in a nozzle II, 3-D case, IMS, preprint, 2003], we derive a nonlinear degenerate elliptic equation with nonlinear boundary conditions in a piecewise smooth domain. When the angle between incident shock and wedge is small, we can see the weak regular reflection as the disturbance of normal reflection as in [Chen Shuxing, Linear approximation of shock reflection at a wedge with large angle, Comm. Partial Differential Equations 21(78) (1996) 1103-1118]. By linearizing the resulted nonlinear equation and boundary conditions with the above viewpoint in [Chen Shuxing, Linear approximation of shock reflection at a wedge with large angle, Comm. Partial Differential Equations 21(78) (1996) 1103-1118], we obtain a linear degenerate elliptic equation with mixed boundary conditions in a curved quadrilateral domain. By means of elliptic regularization techniques, a delicate a priori estimate and compact arguments, we show that the solution of the linearized problem is smooth in the interior and Lipschitz continuous up to the degenerate boundary.     

Transonic shock wave in an infinite nozzle asymptotically converging to a cylinder

We construct a single transonic shock wave pattern in an infinite nozzle asymptotically converging to a cylinder, which is close to a uniform transonic shock wave. In other words, suppose there is a uniform transonic shock wave in an infinite cylinder nozzle which can be constructed easily, if we perturbed the supersonic incoming flow and the infinite nozzle a little bit, we can obtain a transonic wave near the uniform one. As a consequence, we can show that the uniform transonic wave is stable with respect to the perturbation of the incoming flow and nozzle wall. Based on the theory of [G.Q. Chen, M. Feldman, Existence and stability of multi-dimensional transonic flows through an infinite nozzle of arbitrary cross-sections, Arch. Ration. Mech. Anal. 184 (2007) 185-242], the crucial parts of this paper are to derive the uniform Schauder estimates of the linear elliptic equation for the infinite nozzle asymptotically converging to a cylinder.     

3-D axisymmetric subsonic flows with nonzero swirl for the compressible Euler–Poisson system

We address the structural stability of 3-D axisymmetric subsonic flows with nonzero swirl for the steady compressible Euler–Poisson system in a cylinder supplemented with non-small boundary data. A special Helmholtz decomposition of the velocity field is introduced for 3-D axisymmetric flow with a nonzero swirl (=?angular momentum density) component. With the newly introduced decomposition, a quasilinear elliptic system of second order is derived from the elliptic modes in Euler–Poisson system for subsonic flows. Due to the nonzero swirl, the main difficulties lie in the solvability of a singular elliptic equation which concerns the angular component of the vorticity in its cylindrical representation, and in analysis of streamlines near the axis $r=0$.     

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.     

Gradient estimates for higher order elliptic equations on nonsmooth domains

We establish optimal gradient estimates in Orlicz space for a nonhomogeneous elliptic equation of higher order with discontinuous coefficients on a nonsmooth domain. Our assumption is that for each point and for each sufficiently small scale the coefficients have small mean oscillation and the boundary of the domain is sufficiently close to a hyperplane. As a consequence we prove the classical Wm,p, m=1,2,…, 1<p<∞, estimates for such a higher order equation. Our results easily extend to higher order elliptic and parabolic systems.     

Regularity of solutions to regular shock reflection for potential flow

The shock reflection problem is one of the most important problems in mathematical fluid dynamics, since this problem not only arises in many important physical situations but also is fundamental for the mathematical theory of multidimensional conservation laws that is still largely incomplete. However, most of the fundamental issues for shock reflection have not been understood, including the regularity and transition of different patterns of shock reflection configurations. Therefore, it is important to establish the regularity of solutions to shock reflection in order to understand fully the phenomena of shock reflection. On the other hand, for a regular reflection configuration, the potential flow governs the exact behavior of the solution in C ^1,1 across the pseudo-sonic circle even starting from the full Euler flow, that is, both of the nonlinear systems are actually the same in a physically significant region near the pseudo-sonic circle; thus, it becomes essential to understand the optimal regularity of solutions for the potential flow across the pseudo-sonic circle (the transonic boundary from the elliptic to hyperbolic region) and at the point where the pseudo-sonic circle (the degenerate elliptic curve) meets the reflected shock (a free boundary connecting the elliptic to hyperbolic region). In this paper, we study the regularity of solutions to regular shock reflection for potential flow. In particular, we prove that the C ^1,1-regularity is optimal for the solution across the pseudo-sonic circle and at the point where the pseudo-sonic circle meets the reflected shock. We also obtain the C ^2,α regularity of the solution up to the pseudo-sonic circle in the pseudo-subsonic region. The problem involves two types of transonic flow: one is a continuous transition through the pseudo-sonic circle from the pseudo-supersonic region to the pseudo-subsonic region; the other a jump transition through the transonic shock as a free boundary from another pseudo-supersonic region to the pseudo-subsonic region. The techniques and ideas developed in this paper will be useful to other regularity problems for nonlinear degenerate equations involving similar difficulties.