No Arabic abstract
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-classical 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 develop a second-microlocal calculus of pseudodifferential operators in the semiclassical setting. These operators test for Lagrangian regularity of semiclassical families of distributions on a manifold $X$ with respect to a Lagrangian submanifold of $T^*X.$ The construction of the calculus, closely analogous to one performed by Bony in the setting of homogeneous Lagrangians, proceeds via the consideration of a model case, that of the zero section of $T^*mathbb{R}^n,$ and conjugation by appropriate Fourier integral operators. We prove a propagation theorem for the associated wavefront set analogous to Hormanders theorem for operators of real principal type. As an application, we consider the propagation of Lagrangian regularity on invariant tori for quasimodes (e.g. eigenfunctions) of an operator with completely integrable classical hamiltonian. We prove a secondary propagation result for second wavefront set which implies that even in the (extreme) case of Lagrangian tori with all frequencies rational, provided a nondegeneracy assumption holds, Lagrangian regularity either spreads to fill out a whole torus or holds nowhere locally on it.
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 Schrodinger 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.
We consider discrete analogues of two well-known open problems regarding invariant measures for dispersive PDE, namely, the invariance of the Gibbs measure for the continuum (classical) Heisenberg model and the invariance of white noise under focusing cubic NLS. These continuum models are completely integrable and connected by the Hasimoto transform; correspondingly, we focus our attention on discretizations that are also completely integrable and also connected by a discrete Hasimoto transform. We consider these models on the infinite lattice $mathbb Z$. Concretely, for a completely integrable variant of the classical Heisenberg spin chain model (introduced independently by Haldane, Ishimori, and Sklyanin) we prove the existence and uniqueness of solutions for initial data following a Gibbs law (which we show is unique) and show that the Gibbs measure is preserved under these dynamics. In the setting of the focusing Ablowitz--Ladik system, we prove invariance of a measure that we will show is the appropriate discrete analogue of white noise. We also include a thorough discussion of the Poisson geometry associated to the discrete Hasimoto transform introduced by Ishimori that connects the two models studied in this article.
One dimensional systems sometimes show pathologically slow decay of currents. This robustness can be traced to the fact that an integrable model is nearby in parameter space. In integrable models some part of the current can be conserved, explaining this slow decay. Unfortunately, although this conservation law is formally anticipated, in practice it has been difficult to find in concrete cases, such as the Heisenberg model. We investigate this issue both analytically and numerically and find that the appropriate conservation law can be a non-analytic combination of the known local conservation laws and hence is invisible to elementary assumptions.
In this paper we outline the construction of semiclassical eigenfunctions of integrable models in terms of the semiclassical path integral for the Poisson sigma model with the target space being the phase space of the integrable system. The semiclassical path integral is defined as a formal power series with coefficients being Feynman diagrams. We also argue that in a similar way one can obtain irreducible semiclassical representations of Kontsevichs star product.