  We establish the incompressible Navier-Stokes-Fourier limit for solutions to
the Boltzmann equation with a general cut-off collision kernel in a bounded
domain. Appropriately scaled families of DiPerna-Lions-(Mischler) renormalized
solutions with Maxwell reflection boundary conditions are shown to have
fluctuations that converge as the Knudsen number goes to zero. Every limit
point is a weak solution to the Navier-Stokes-Fourier system with different
types of boundary conditions depending on the ratio between the accommodation
coefficient and the Knudsen number. The main new result of the paper is that
this convergence is strong in the case of Dirichlet boundary condition. Indeed,
we prove that the acoustic waves are damped immediately, namely they are damped
in a boundary layer in time. This damping is due to the presence of viscous and
kinetic boundary layers in space. As a consequence, we also justify the first
correction to the infinitesimal Maxwellian that one obtains from the
Chapman-Enskog expansion with Navier-Stokes scaling.
  This extends the work of Golse and Saint-Raymond \cite{Go-Sai04, Go-Sai05}
and Levermore and Masmoudi \cite{LM} to the case of a bounded domain. The case
of a bounded domain was considered by Masmoudi and Saint-Raymond \cite{M-S} for
linear Stokes-Fourier limit and Saint-Raymond \cite{SRM} for Navier-Stokes
limit for hard potential kernels. Both \cite{M-S} and \cite{SRM} didn't study
the damping of the acoustic waves. This paper extends the result of \cite{M-S}
and \cite{SRM} to the nonlinear case and includes soft potential kernels. More
importantly, for the Dirichlet boundary condition, this work strengthens the
convergence so as to make the boundary layer visible. This answers an open
problem proposed by Ukai \cite{Ukai}.
