We look at the long-time behaviour of solutions to a semi-classical Schrodinger equation on the torus. We consider time scales which go to infinity when the semi-classical parameter goes to zero and we associate with each time-scale the set of semi-c
lassical measures associated with all possible choices of initial data. On each classical invariant torus, the structure of semi-classical measures is described in terms of two-microlocal measures, obeying explicit propagation laws. We apply this construction in two directions. We first analyse the regularity of semi-classical measures, and we emphasize the existence of a threshold : for time-scales below this threshold, the set of semi-classical measures contains measures which are singular with respect to Lebesgue measure in the position variable, while at (and beyond) the threshold, all the semi-classical measures are absolutely continuous in the position variable, reflecting the dispersive properties of the equation. Second, the techniques of two- microlocal analysis introduced in the paper are used to prove semiclassical observability estimates. The results apply as well to general quantum completely integrable systems.
We consider a system of two coupled ordinary differential equations which appears as an envelope equation in Bose-Einstein Condensation. This system can be viewed as a nonlinear extension of the celebrated model introduced by Landau and Zener. We sho
w how the nonlinear system may appear from different physical models. We focus our attention on the large time behavior of the solution. We show the existence of a nonlinear scattering operator, which is reminiscent of long range scattering for the nonlinear Schrodinger equation, and which can be compared with its linear counterpart.
We consider the propagation of wave packets for a one-dimensional nonlinear Schrodinger equation with a matrix-valued potential, in the semi-classical limit. For an initial coherent state polarized along some eigenvector, we prove that the nonlinear
evolution preserves the separation of modes, in a scaling such that nonlinear effects are critical (the envelope equation is nonlinear). The proof relies on a fine geometric analysis of the role of spectral projectors, which is compatible with the treatment of nonlinearities. We also prove a nonlinear superposition principle for these adiabatic wave packets.
We consider the propagation of wave packets for the nonlinear Schrodinger equation, in the semi-classical limit. We establish the existence of a critical size for the initial data, in terms of the Planck constant: if the initial data are too small, t
he nonlinearity is negligible up to the Ehrenfest time. If the initial data have the critical size, then at leading order the wave function propagates like a coherent state whose envelope is given by a nonlinear equation, up to a time of the same order as the Ehrenfest time. We also prove a nonlinear superposition principle for these nonlinear wave packets.
In this article, we analyze the propagation of Wigner measures of a family of solutions to a system of semi-classical pseudodifferential equations presenting eigenvalues crossings on hypersurfaces. We prove the propagation along classical trajectorie
s under a geometric condition which is satisfied for example as soon as the Hamiltonian vector fields are transverse or tangent at finite order to the crossing set. We derive resolvent estimates for semi-classical Schrodinger operator with matrix-valued potential under a geometric condition of the same type on the crossing set and we analyze examples of degenerate situations where one can prove transfers between the modes.
In this survey, our aim is to emphasize the main known limitations to the use of Wigner measures for Schrodinger equations. After a short review of successful applications of Wigner measures to study the semi-classical limit of solutions to Schroding
er equations, we list some examples where Wigner measures cannot be a good tool to describe high frequency limits. Typically, the Wigner measures may not capture effects which are not negligible at the pointwise level, or the propagation of Wigner measures may be an ill-posed problem. In the latter situation, two families of functions may have the same Wigner measures at some initial time, but different Wigner measures for a larger time. In the case of systems, this difficulty can partially be avoided by considering more refined Wigner measures such as two-scale Wigner measures; however, we give examples of situations where this quadratic approach fails.
