Nonlinear boundary layers of the Boltzmann equation: I. Existence

We study the half-space problem of the nonlinear Boltzmann equation, assigning the Dirichlet data for outgoing particles at the boundary and a Maxwellian as the far field. We will show that the solvability of the problem changes with the Mach number M^∞of the far Maxwellian. If M^∞ <-1, there exists a unique smooth solution connecting the Dirichlet data and the far Maxwellian for any Dirichlet data sufficiently close to the far Maxwellian. Otherwise, such a solution exists only for the Dirichlet data satisfying certain admissible conditions. The set of admissible Dirichlet data forms a smooth manifold of codimension 1 for the case -1 <M^∞ <0, 4 for 0 <M^∞ <1 and 5 for M^∞ >1, respectively. We also show that the same is true for the linearized problem at the far Maxwellian, and the manifold is, then, a hyperplane. The proof is essentially based on the macro-micro or hydrodynamics-kinetic decomposition of solutions combined with an artificial damping term and a spatially exponential decay weight.