We consider the semi-classical limit for the Gross-Pitaevskii equation. In order to consider non-trivial boundary conditions at infinity, we work in Zhidkov spaces rather than in Sobolev spaces. For the usual cubic nonlinearity, we obtain a point-wis
e description of the wave function as the Planck constant goes to zero, so long as no singularity appears in the limit system. For a cubic-quintic nonlinearity, we show that working with analytic data may be necessary and sufficient to obtain a similar result.
We consider the small time semi-classical limit for nonlinear Schrodinger equations with defocusing, smooth, nonlinearity. For a super-cubic nonlinearity, the limiting system is not directly hyperbolic, due to the presence of vacuum. To overcome this
issue, we introduce new unknown functions, which are defined nonlinearly in terms of the wave function itself. This approach provides a local version of the modulated energy functional introduced by Y.Brenier. The system we obtain is hyperbolic symmetric, and the justification of WKB analysis follows.
