From the Boltzmann equation to the Stokes‐Fourier system in a bounded domain

We prove that the renormalized solutions of the Boltzmann equation considered in a bounded domain with different types of (kinetic) boundary conditions converge to the Stokes-Fourier system with different types of (fluid) boundary conditions when the main free path goes to zero. This extends the work of F. Golse and D. Levermore [9] to the case of a bounded domain. © 2003 Wiley Periodicals, Inc.