• We establish the existence and uniqueness of smooth solutions with large vorticity and weak solutions with vortex sheets/entropy waves for the steady Euler equations for both compressible and incompressible fluids in arbitrary infinitely long nozzles. We first develop a new approach to establish the existence of smooth solutions without assumptions on the sign of the second derivatives of the horizontal velocity, or the Bernoulli and entropy functions, at the inlet for the smooth case. Then the existence for the smooth case can be applied to construct approximate solutions to establish the existence of weak solutions with vortex sheets/entropy waves by the compensated compactness argument. This is the first result on the global existence of solutions of the multidimensional steady compressible full Euler equations with free boundaries, which are not necessarily small perturbations of piecewise constant background solutions. The subsonic-sonic limit of the solutions is also shown. Finally, through the incompressible limit, we establish the existence and uniqueness of incompressible Euler flows in arbitrary infinitely long nozzles for both the smooth solutions with large vorticity and the weak solution with vortex sheets. The methods and techniques developed here will be useful for solving other problems involving similar difficulties.
  • The low Mach limit for 1D non-isentropic compressible Navier-Stokes flow, whose density and temperature have different asymptotic states at infinity, is rigorously justified. The problems are considered on both well-prepared and ill-prepared data. For the well-prepared data, the solutions of compressible Navier-Stokes equations are shown to converge to a nonlinear diffusion wave solution globally in time as Mach number goes to zero when the difference between the states at $\pm\infty$ is suitably small. In particular, the velocity of diffusion wave is only driven by the variation of temperature. It is further shown that the solution of compressible Navier-Stokes system also has the same property when Mach number is small, which has never been observed before. The convergence rates on both Mach number and time are also obtained for the well-prepared data. For the ill-prepared data, the limit relies on the uniform estimates including weighted time derivatives and an extended convergence lemma. And the difference between the states at $\pm\infty$ can be arbitrary large in this case.
  • A compactness framework is formulated for the incompressible limit of approximate solutions with weak uniform bounds with respect to the adiabatic exponent for the steady Euler equations for compressible fluids in any dimension. One of our main observations is that the compactness can be achieved by using only natural weak estimates for the mass conservation and the vorticity. Another observation is that the incompressibility of the limit for the homentropic Euler flow is directly from the continuity equation, while the incompresibility of the limit for the full Euler flow is from a combination of all the Euler equations. As direct applications of the compactness framework, we establish two incompressible limit theorems for multidimensional steady Euler flows through infinitely long nozzles, which lead to two new existence theorems for the corresponding problems for multidimensional steady incompressible Euler equations.
  • A compactness framework is established for approximate solutions to subsonic-sonic flows governed by the steady full Euler equations for compressible fluids in arbitrary dimension. The existing compactness frameworks for the two-dimensional irrotational case do not directly apply for the steady full Euler equations in higher dimensions. The new compactness framework we develop applies for both non-homentropic and rotational flows. One of our main observations is that the compactness can be achieved by using only natural weak estimates for the mass balance and the vorticity, along with the Bernoulli law and the entropy relation, through a more delicate analysis on the phase space. As direct applications, we establish two existence theorems for multidimensional subsonic-sonic full Euler flows through infinitely long nozzles.