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.     

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.     

Solvability of an initial boundary value problem for the euler equations in twodimensional domain with corners

The aim of this paper is to prove the existence and uniqueness of local solutions of some initial boundary value problems for the Euler equations of an incompressible fluid in a bounded domain Ω ? R ² with corners. We consider two cases of a nonvanishing normal component of velocity on the boundary. In three-dimensional case such problems have been considered in papers [12], [13], [14]. Similar problems in domains without corners have been considered in [2]–[6], [11]. In this paper the relation between the maximal corner angle of the boundary and the smoothness of the solutions is shown. The paper consists of four sections. In section 1 two initial boundary value problems for the Euler equations are formulated. In section 2 the existence and uniqueness of solutions of the Laplace equation in twodimensional domain with corners for the Dirichlet and Neumann problems is proved in the Sobolev spaces. In sections 3 and 4 we prove the existence and uniqueness of solutions of problems formulated in section 1, using the method of successive approximations.     

Stability of supersonic contact discontinuity for two-dimensional steady compressible Euler flows in a finite nozzle

In this paper, we study the stability of supersonic contact discontinuity for the two-dimensional steady compressible Euler flows in a finitely long nozzle of varying cross-sections. We formulate the problem as an initial–boundary value problem with the contact discontinuity as a free boundary. To deal with the free boundary value problem, we employ the Lagrangian transformation to straighten the contact discontinuity and then the free boundary value problem becomes a fixed boundary value problem. We develop an iteration scheme and establish some novel estimates of solutions for the first order of hyperbolic equations on a cornered domain. Finally, by using the inverse Lagrangian transformation and under the assumption that the incoming flows and the nozzle walls are smooth perturbations of the background state, we prove that the original free boundary problem admits a unique weak solution which is a small perturbation of the background state and the solution consists of two smooth supersonic flows separated by a smooth contact discontinuity.     

Boundary layers for compressible Navier-Stokes equations with outflow boundary condition

In this paper, we study the asymptotic relation between the solutions to the initial boundary value problem of the one-dimensional compressible full Navier-Stokes equations with outflow boundary condition and the associated Euler equations. We assume all the three characteristics to the corresponding Euler equations are all negative up to some small time, then we prove the existence and the stability of the boundary layers as long as the strength of the boundary layers is suitably small.     

Geometry and a priori estimates for free boundary problems of the Euler's equation

In this paper we derive estimates to the free boundary problem for the Euler equation with surface tension, and without surface tension provided the Rayleigh‐Taylor sign condition holds. We prove that as the surface tension tends to 0, when the Rayleigh‐Taylor condition is satisfied, solutions converge to the Euler flow with zero surface tension. © 2007 Wiley Periodicals, Inc.     

Analysis of nonlocal model of compressible fluid in 1‐D

We study a nonlocal modification of the compressible Navier–Stokes equations in mono‐dimensional case with a boundary condition characteristic for the free boundaries problem. From the formal point of view, our system is an intermediate between the Euler and Navier–Stokes equations. Under certain assumptions, imposed on initial data and viscosity coefficient, we obtain the local and global existence of solutions. Particularly, we show the uniform in time bound on the density of fluid. Copyright © 2010 John Wiley & Sons, Ltd.     

Existence and uniqueness analysis of a detached shock problem for the potential flow

We study a problem for two-dimensional steady potential and isentropic Euler equations in a bounded domain, where an artificial detached shock interacts with a wedge. Using the stream function, we obtain a free boundary problem for the subsonic state and the detached artificial shock curve and we prove that such configuration admits a unique solution in certain weighted Hölder spaces. The proof is based on various Hölder and Schauder estimates for second-order elliptic equations and fixed point theorems. Moreover, we pose an energy principle and remark that the physical attached shock is the minimizer of the energy functional.     

A Priori Estimates for the Compressible Euler Equations for a Liquid with Free Surface Boundary and the Incompressible Limit

In this paper, we prove a new type of energy estimate for the compressible Euler equations with free boundary, with a boundary part and an interior part. These can be thought of as a generalization of the energies in Christodoulou and Lindblad to the compressible case and do not require the fluid to be irrotational. In addition, we show that our estimates are in fact uniform in the sound speed k. As a consequence, we obtain convergence of solutions of compressible Euler equations with a free boundary to solutions of the incompressible equations, generalizing the result of Ebin to when you have a free boundary. In the incompressible case our energies reduce to those in Christodoulou and Lindblad, and our proof in particular gives a simplified proof of their estimates with improved error estimates. Since for an incompressible irrotational liquid with free surface there are small data global existence results, our result leaves open the possibility of long‐time existence also for slightly compressible liquids with a free surface.© 2017 Wiley Periodicals, Inc.     

Efficient treatment of stationary free boundary problems

In the present paper we consider the efficient treatment of free boundary problems by shape optimization. We reformulate the free boundary problem as shape optimization problem. A second order shape calculus enables us to analyze the shape problem under consideration and to prove convergence of a Ritz–Galerkin approximation of the shape. We show that Newton's method requires only access to the underlying state function on the boundary of the domain. We compute these data by boundary integral equations which are numerically solved by a fast wavelet Galerkin scheme. Numerical results prove that we succeeded in finding a fast and robust algorithm for solving the considered class of problems.     

Determination of the source parameter in a heat equation with a non-local boundary condition

In this article we consider the inverse problem of identifying a time dependent unknown coefficient in a parabolic problem subject to initial and non-local boundary conditions along with an overspecified condition defined at a specific point in the spatial domain. Due to the non-local boundary condition, the system of linear equations resulting from the backward Euler approximation have a coefficient matrix that is a quasi-tridiagonal matrix. We consider an efficient method for solving the linear system and the predictor–corrector method for calculating the solution and updating the estimate of the unknown coefficient. Two model problems are solved to demonstrate the performance of the methods.     

A Long Wave Approximation for Capillary-Gravity Waves and an Effect of the Bottom

The Korteweg–de Vries (KdV) equation is known as a model of long waves in an infinitely long canal over a flat bottom and approximates the 2-dimensional water wave problem, which is a free boundary problem for the incompressible Euler equation with the irrotational condition. In this article, we consider the validity of this approximation in the case of the presence of the surface tension. Moreover, we consider the case where the bottom is not flat and study an effect of the bottom to the long wave approximation. We derive a system of coupled KdV like equations and prove that the dynamics of the full problem can be described approximately by the solution of the coupled equations for a long time interval. We also prove that if the initial data and the bottom decay at infinity in a suitable sense, then the KdV equation takes the place of the coupled equations.     

Stability of the superposition of rarefaction wave and contact discontinuity for the non‐isentropic Navier–Stokes–Poisson system

This paper is devoted to the study of the nonlinear stability of the composite wave consisting of a rarefaction wave and a viscous contact discontinuity wave of the non‐isentropic Navier–Stokes–Poisson system with free boundary. We first construct the composite wave through the quasineutral Euler equations and then prove that the composite wave is time asymptotically stable under small perturbations for the corresponding initial‐boundary value problem of the non‐isentropic Navier–Stokes–Poisson system. Only the strength of the viscous contact wave is required to be small. However, the strength of the rarefaction wave can be arbitrarily large. In our analysis, the domain decomposition plays an important role in obtaining the zero‐order energy estimates. By introducing this technique, we successfully overcome the difficulty caused by the critical terms involved with the linear term, which does not satisfy the quasineural assumption for the composite wave. Copyright © 2016 John Wiley & Sons, Ltd.     

Homogenization of a fluid problem with a free boundary

The stationary Stokes equations with a free boundary are studied in a perforated domain. The perforation consists of a periodic array of cylinders of size and distance O(ε). The free boundary is given as the graph of a function on a two‐dimensional perforated domain. We derive equations for the two‐scale limit of solutions. The limiting equation is a free boundary system. It involves a nonlinear eliptic operator corresponding to the nonlinear mean‐curvature expression in the original equations. Depending on the equation for the contact angle, the pressure is in general unbounded. © 2000 John Wiley & Sons, Inc.     

Optimal boundary control of glass cooling processes

In this paper, an optimal control problem for glass cooling processes is studied. We model glass cooling using the SP1 approximations to the radiative heat transfer equations. The control variable is the temperature at the boundary of the domain. This results in a boundary control problem for a parabolic/elliptic system which is treated by a constrained optimization approach. We consider several cost functionals of tracking‐type and formally derive the first‐order optimality system. Several numerical methods based on the adjoint variables are investigated. We present results of numerical simulations illustrating the feasibility and performance of the different approaches. Copyright © 2004 John Wiley & Sons, Ltd.     

Attractor dimension estimate for plane shear flow of micropolar fluid with free boundary

This research is motivated by a problem from lubrication theory. We consider a free boundary problem of a two‐dimensional boundary‐driven micropolar fluid flow. The existence of a unique global‐in‐time solution of the problem and the global attractor for the associated semigroup are known. In this paper we estimate the dimension of the global attractor in terms of the given data and the geometry of the domain of the flow by establishing a new version of the Lieb–Thirring inequality with constants depending explicitly on the geometry of the domain. We also obtain some new estimates for the Navier–Stokes shear flows. Copyright © 2005 John Wiley & Sons, Ltd.     

Stability of viscous contact wave for compressible navier-stokes system of general gas with free boundary

In this paper, we study the large time behavior of solutions to the nonisentropic Navier-Stokes equations of general gas, where polytropic gas is included as a special case, with a free boundary. First we construct a viscous contact wave which approximates to the contact discontinuity, which is a basic wave pattern of compressible Euler equation, in finite time as the heat conductivity tends to zero. Then we prove the viscous contact wave is asymptotic stable if the initial perturbations and the strength of the contact wave are small. This generalizes our previous result [6] which is only for polytropic gas.     

On the combination of some semi‐discretization methods and boundary integral equations for the numerical solution of initial boundary value problems

We consider initial boundary value problems for the homogeneous differential equation of hyperbolic or parabolic type in the unbounded two‐ or three‐dimensional spatial domain with the homogeneous initial conditions and with Dirichlet or Neumann boundary condition. The numerical solution is realized in two steps. At first using the Laguerre transformation or Rothe's method with respect to the time variable the non‐stationary problem is reduced to the sequence of boundary value problems for the non‐homogeneous Helmholtz equation. Further we construct the special integral representation for solutions and obtain the sequence of boundary integral equations (without volume integrals). For the full‐discretization of integral equations we propose some projection methods.