Prefer a chat interface with context about you and your work?
Rigorous Derivation of the Gross-Pitaevskii Equation
The time-dependent Gross-Pitaevskii equation describes the dynamics of initially trapped Bose-Einstein condensates. We present a rigorous proof of this fact starting from a many-body bosonic Schrödinger equation with a short-scale repulsive interaction in the dilute limit. Our proof shows the persistence of an explicit short-scale correlation structure in the condensate.