Gross–Pitaevskii theory