Semiclassical limit of Gross-Pitaevskii equation with Dirichlet boundary condition

In this paper, we justify the semiclassical limit of Gross-Pitaevskii equation with Dirichlet boundary condition on the 3-D upper space under the assumption that the leading order terms to both initial amplitude and initial phase function are sufficiently small in some high enough Sobolev norms. We remark that the main difficulty of the proof lies in the fact that the boundary layer appears in the leading order terms of the amplitude functions and the gradient of the phase functions to the WKB expansions of the solutions. In particular, we partially solved the open question proposed in \cite{CR2009, PNB2005} concerning the semiclassical limit of Gross-Pitaevskii equation with Dirichlet boundary condition.