| Version imprimable |
| Théorie de champ-moyen et dynamique des systèmes quantiques sur réseau (Mean-field theory and dynamics of lattice quantum systems) | ||
Rouffort, Clément - (2018-12-10) / Universite de Rennes 1 - Théorie de champ-moyen et dynamique des systèmes quantiques sur réseau Langue : Anglais Directeur de thèse: Ammari, Zied Laboratoire : IRMAR Ecole Doctorale : MATHSTIC Thématique : Mathématiques | ||
Mots-clés : Approximation de champ-moyen, Équations de Liouville, Hiérarchies de Gross-Pitaevskii, Mesures de Wigner, Seconde quantification, Théorie du champ moyen, Sturm-Liouville, Équation de, Équations de Gross-Pitaevskii Résumé : Cette thèse est dédiée à l'étude mathématique de l'approximation de champ-moyen des gaz de bosons. En physique quantique une telle approximation est vue comme la première approche permettant d'expliquer le comportement collectif apparaissant dans les systèmes quantiques à grand nombre de particules et illustre des phénomènes fondamentaux comme la condensation de Bose-Einstein et la superfluidité. Dans cette thèse, l'exactitude de l'approximation de champ-moyen est obtenue de manière générale comme seule conséquence de principes de symétries et de renormalisations d'échelles. Nous recouvrons l'essentiel des résultats déjà connus sur le sujet et de nouveaux sont prouvés, particulièrement pour les systèmes quantiques sur réseau, incluant le modèle de Bose-Hubbard. D'autre part, notre étude établit un lien entre les équations aux hiérarchies de Gross-Pitaevskii et de Hartree, issues des méthodes BBGKY de la physique statistique, et certaines équations de transport ou de Liouville dans des espaces de dimension infinie. Résultant de cela, les propriétés d'unicité pour de telles équations aux hiérarchies sont prouvées en toute généralité utilisant seulement les caractéristiques génériques de problèmes aux valeurs initiales liés à de telles équations. Egalement, de nouveaux résultats de caractères bien posés et un contre-exemple à l'unicité d'une hiérarchie de Gross-Pitaevskii sont prouvés. L’originalité de nos travaux réside dans l'utilisation d'équations de Liouville et de puissantes techniques de transport étendues à des espaces fonctionnels de dimension infinie et jointes aux mesures de Wigner, ainsi qu'à une approche utilisant les outils de la seconde quantification. Notre contribution peut être vue comme l'aboutissement d'idées initiées par Z. Ammari, F. Nier et Q. Liard autour de la théorie de champ-moyen. Résumé (anglais) : This thesis is dedicated to the mathematical study of the mean-field approximation of Bose gases. In quantum physics such approximation is regarded as the primary approach explaining the collective behavior appearing in large quantum systems and reflecting fundamental phenomena as the Bose-Einstein condensation and superfluidity. In this thesis, the accuracy of the mean-field approximation is proved in full generality as a consequence only of scaling and symmetry principles. Essentially all the known results in the subject are recovered and new ones are proved specifically for quantum lattice systems including the Bose-Hubbard model. On the other hand, our study sets a bridge between the Gross-Pitaevskii and Hartree hierarchies related to the BBGKY method of statistical physics with certain transport or Liouville's equations in infinite dimensional spaces. As an outcome, the uniqueness property for these hierarchies is proved in full generality using only generic features of some related initial value problems. Again, several new well-posedness results as well as a counterexample to uniqueness for the Gross-Pitaevskii hierarchy equation are proved. The originality in our works lies in the use of Liouville's equations and powerful transport techniques extended to infinite dimensional functional spaces together with Wigner probability measures and a second quantization approach. Our contributions can be regarded as the culmination of the ideas initiated by Z. Ammari, F. Nier and Q. Liard in the mean-field theory. Identifiant : rennes1-ori-wf-1-11875 | ||
| Exporter au format XML |