
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 subsonicsonic 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 nonisentropic compressible NavierStokes flow,
whose density and temperature have different asymptotic states at infinity, is
rigorously justified. The problems are considered on both wellprepared and
illprepared data. For the wellprepared data, the solutions of compressible
NavierStokes 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 NavierStokes 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 wellprepared data. For the illprepared 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
subsonicsonic flows governed by the steady full Euler equations for
compressible fluids in arbitrary dimension. The existing compactness frameworks
for the twodimensional irrotational case do not directly apply for the steady
full Euler equations in higher dimensions. The new compactness framework we
develop applies for both nonhomentropic 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 subsonicsonic full Euler flows through infinitely long
nozzles.