On well-posedness and uniqueness for general hierarchy equations of Gross-Pitaevskii and Hartree type
Résumé
Gross-Pitaevskii and Hartree hierarchies are infinite systems of coupled PDEs emerging naturally from the mean field theory of Bose gases. Their solutions are known to be related to an initial value problem, respectively the Gross-Pitaevskii and Hartree equations. Due to their physical and mathematical relevance, the issues of well-posedness and uniqueness for these hierarchies have recently been studied thoroughly using specific nonlinear and combinatorial techniques. In this article, we introduce a new approach for the study of such hierarchy equations by firstly establishing a duality between them and certain Liouville equations and secondly solving the uniqueness and existence questions for the latter. As an outcome, we formulate a hierarchy equation starting from any initial value problem which is $U(1)$-invariant and prove a general principle which can be stated formally as follows: (i) Uniqueness for weak solutions of an initial value problem implies the uniqueness of solutions for the related hierarchy equation. (ii) Existence of solutions for the initial value problem implies existence of solutions for the related hierarchy equation. In particular, several new well-posedness results as well as a counterexample to uniqueness for the Gross-Pitaevskii hierarchy equation are proved. The novelty in our work lies in the aforementioned duality and the use of Liouville equations with powerful transport techniques extended to infinite dimensional functional spaces.