Stationary Waves for the Discrete Boltzmann Equation in the Half Space with Reflective Boundaries

The present paper is concerned with stationary solutions for discrete velocity models of the Boltzmann equation with reflective boundary condition in the first half space. We obtain a sufficient condition that guarantees the existence and the uniqueness of stationary solutions satisfying the reflective boundary condition as well as the spatially asymptotic condition given by a Maxwellian state. First, the sufficient condition is obtained for the linearized system. Then, this result is applied to prove the existence theorem for the nonlinear equation through the contraction mapping principle. Also, it is shown that the stationary solution approaches the asymptotic Maxwellian state exponentially as the spatial variable tends to infinity.