Existence and stability of stationary solutions to the discrete Boltzmann equation

The initial-boundary value problems and the corresponding stationary problems of the discrete Boltzmann equation are studied. It is shown that stationary solutions exist for any boundary data. These stationary solutions are unique in a neighborhood of a given constant Maxwellian. Furthermore, it is proved that if both initial and boundary data are close to a given constant Maxwellian, then unique solutions to the initial-boundary value problems exist globally in time and converge to the corresponding unique stationary solutions exponentially as time goes to infinity. The stability condition plays an essential role in proving the uniqueness and the time-asymptotic stability results.