Singular convergence for semilinear wave equations with steep potential well

We consider a semilinear wave equation in the whole space with a deep potential well. We prove that as the depth of the well tends to infinity, the solutions of the equation converge to the solutions of a wave equation defined on the bottom of the well, with Dirichlet condition on the boundary.