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

Original · EN

In this paper, we will obtain a rigorous derivation of the defocusing cubic nonlinear Schrödinger equation on the three-dimensional torus T³ from the many-body limit of interacting bosonic systems. This type of result was previously obtained on R³ in the work of Erdős, Schlein, and Yau ESY2,ESY3,ESY4,ESY5, and on T² and R² in the work of Kirkpatrick, Schlein, and Staffilani KSS. Our proof relies on an unconditional uniqueness result for the Gross-Pitaevskii hierarchy at the level of regularity α=1, which is proved by using a modification of the techniques from the work of T. Chen, Hainzl, Pavlović and Seiringer ChHaPavSei to the periodic setting. These techniques are based on the Quantum de Finetti theorem in the formulation of Ammari and Nier AmmariNier1,AmmariNier2 and Lewin, Nam, and Rougerie LewinNamRougerie. In order to apply this approach in the periodic setting, we need to recall multilinear estimates obtained by Herr, Tataru, and Tzvetkov HTT. Having proved the unconditional uniqueness result at the level of regularity α=1, we will apply it in order to finish the derivation of the defocusing cubic nonlinear Schrödinger equation on T³, which was started in the work of Elgart, Erdős, Schlein, and Yau EESY. In the latter work, the authors obtain all the steps of Spohn's strategy for the derivation of the NLS Spohn, except for the final step of uniqueness. Additional arguments are necessary to show that the objects constructed in 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 Propagation of Chaos for the defocusing Gross-Pitaevskii hierarchy on T³ for suitably chosen initial data.