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.