A rigorous derivation of the defocusing cubic nonlinear Schrödinger equation on T^3 from the dynamics of many-body quantum systems

From MaRDI portal
Publication:896172

DOI10.1016/J.ANIHPC.2014.09.005zbMATH Open1328.35220arXiv1405.3003OpenAlexW3101240735MaRDI QIDQ896172FDOQ896172


Authors: Vedran Sohinger Edit this on Wikidata


Publication date: 11 December 2015

Published in: Annales de l'Institut Henri Poincaré. Analyse Non Linéaire (Search for Journal in Brave)

Abstract: In this paper, we will obtain a rigorous derivation of the defocusing cubic nonlinear Schr"{o}dinger equation on the three-dimensional torus mathbbT3 from the many-body limit of interacting bosonic systems. This type of result was previously obtained on mathbbR3 in the work of ErdH{o}s, Schlein, and Yau cite{ESY2,ESY3,ESY4,ESY5}, and on mathbbT2 and mathbbR2 in the work of Kirkpatrick, Schlein, and Staffilani cite{KSS}. Our proof relies on an unconditional uniqueness result for the Gross-Pitaevskii hierarchy at the level of regularity alpha=1, which is proved by using a modification of the techniques from the work of T. Chen, Hainzl, Pavlovi'{c} and Seiringer cite{ChHaPavSei} to the periodic setting. These techniques are based on the Quantum de Finetti theorem in the formulation of Ammari and Nier cite{AmmariNier1,AmmariNier2} and Lewin, Nam, and Rougerie cite{LewinNamRougerie}. In order to apply this approach in the periodic setting, we need to recall multilinear estimates obtained by Herr, Tataru, and Tzvetkov cite{HTT}. Having proved the unconditional uniqueness result at the level of regularity alpha=1, we will apply it in order to finish the derivation of the defocusing cubic nonlinear Schr"{o}dinger equation on mathbbT3, which was started in the work of Elgart, ErdH{o}s, Schlein, and Yau cite{EESY}. In the latter work, the authors obtain all the steps of Spohn's strategy for the derivation of the NLS cite{Spohn}, except for the final step of uniqueness. Additional arguments are necessary to show that the objects constructed in cite{EESY} satisfy the assumptions of the unconditional uniqueness theorem. Once we achieve this, we are able to prove the derivation result. In particular, we show emph{Propagation of Chaos} for the defocusing Gross-Pitaevskii hierarchy on mathbbT3 for suitably chosen initial data.


Full work available at URL: https://arxiv.org/abs/1405.3003




Recommendations




Cites Work


Cited In (33)





This page was built for publication: A rigorous derivation of the defocusing cubic nonlinear Schrödinger equation on \(\mathbb{T}^3\) from the dynamics of many-body quantum systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q896172)