La simulation numérique repose sur la mise en œuvre de modèles théoriques. Elle sert à étudier les propriétés d’un système et à en prédire l’évolution.
Cette thèse porte sur l'étude de méthodes numériques pour l'analyse de deux modèles stochastiques apparaissant dans le contexte de la condensation de Bose-Einstein. Ceux-ci constituent deux généralisations de l'équation de Gross-Pitaevskii. Cette équation aux dérivées partielles déterministe modélise la dynamique de la fonction d'onde d'un condensat de Bose-Einstein piégé par un potentiel extérieur confinant.Le premier modèle étudié permet de modéliser les fluctuations de l'intensité du potentiel confinant et prend la forme d'une équation aux dérivées partielles stochastiques. Celles-ci conduisent en pratique à un échauffement du condensat, et parfois mêmeà son effondrement. Nous proposons dans un premier chapitre la construction d'un schéma numérique pour la résolution de ce modèle. Il est fondé sur une discrétisation spectrale en espace, et une discrétisation temporelle de type Crank-Nicolson. Nous démontrons que le schéma proposé converge fortement en probabilité à l'ordre au moins 1 en temps, et nous présentons des simulations numériques illustrant ce résultat. Le deuxième chapitre est consacré à l'étude théorique et numérique de la dynamique d'une solution stationnaire (pour l'équation déterministe) de type vortex. Nous étudions l'influence des perturbations aléatoires du potentiel sur la solution, et montrons que la solution perturbée garde les symétries de la solution stationnaire pour des temps au moins de l'ordre du carré de l'inverse de l'intensité des fluctuations. Ces résultats sont illustrés par des simulations numériques exploitant une méthode de Monte-Carlo adaptée à la simulation d'événements rares.Le deuxième modèle permet de modéliser les effets de la température sur la dynamique d'un condensat. Lorsque celle-ci n'est pas nulle, la condensation n'est pas complète et le condensat interagit avec les particules non condensées. Ces interactions sont d'un grand intérêt pour comprendre la dynamique de transition de phase et analyser les phénomènes de brisure de symétrie associés, comme la formation spontanée de vortex. Nous nous sommes intéressés dans les chapitres 3 et 4 à des questions relatives à la simulation de la distribution des solutions de cette équation en temps long. Le troisième chapitre est consacré à la construction d'une méthode d’échantillonnage sans biais pour des mesures connues à une constante multiplicative près. C'est une méthode de Monte Carlo par chaînes de Markov qui a la particularité de permettre un échantillonnage non-réversible basé sur une équation de type Langevin sur-amortie. Elle constitue une extension de Metropolis-Adjusted Langevin Algorithm (MALA). Le quatrième chapitre est quant à lui consacré à l'étude numérique de dynamiques métastables liées à la nucléation de vortex dans des condensats en rotation. Un intégrateur numérique pour la dynamique étudiée est proposé, ainsi qu'une méthode de Monte-Carlo adaptée à la simulation d'événements rares correspondant aux changements de configurations métastables. Cette dernière est basée sur l'algorithme Adaptive Multilevel Splitting (AMS).
Depuis la description de la condensation d'un gaz de boson refroidit à 0K par Bose puis Einstein au début du XXe siècle, de nombreux travaux mathématiques, physiques et numériques ont été dédiés à l'étude des condensats de Bose-Einstein, et plus généralement de la superfluidité. Nous proposons dans cette étude des outils numériques dédiés à l'étude des excitations dans les condensats, ainsi qu'un modèle de la friction mutuelle dans l'hélium-II. Le modèle de Gross-Pitaevskii, consistant en une équation de Schrödinger non-linéaire, est utilisé pour décrire les superfluides. Des algorithmes basés sur les éléments finis, accompagnées d'une implémentation via le logiciel FreeFem++, sont proposées pour identifier les vortex dans des simulations numériques 2D et 3D ainsi que dans des images expérimentales. Diverses propriétés des vortex identifiés sont calculées: rayon des vortex, spectre de Kelvin, courbure, etc. Le problème aux valeurs propres de Bogoliubov-de Gennes, décrivant la stabilité d'un état stationnaire grâce à une linéarisation de l'équation de Gross-Pitaevskii autour de cet état, est ensuite étudié en couplant une méthode de Newton pour la recherche de l'état stationnaire et une bibliothèque de calcul de valeurs propres (ARPACK ou SLEPc) pour la résolution de l'équation de Bogoliubov-de Gennes. Deux codes FreeFem++ utilisant l'adaptation de maillage, l'un séquentiel, l'autre parallèlisé avec PETSc, sont proposés. Leur fonctionnement est validé sur des cas tests issus de la littérature pour des condensats à une et deux composantes. En ce qui concerne la friction mutuelle dans l'hélium-II, un modèle phénoménologique couplant les équations de Navier-Stokes et de Gross-Pitaevskii est proposé. Ce modèle est implémenté dans un code pseudo-spectral Fortran parallélisé et testé en deux et trois dimensions sur des exemples où des résultats analytiques dans le cas d'un couplage dans une seule direction permettent la détermination des paramètres numériques. Des résultats connus sont retrouvés pour valider le travail de modélisation effectué et des simulations de structures formées de trois anneaux de vortex et de reconnection de lignes de vortex sont réalisées.
La premiere partie de ce memoire rappelle les principales proprietes des condensats de bose-einstein tels qu'ils sont realises experimentalement depuis 1995 dans les gaz alcalins dilues et magnetiquement pieges. L'approche theorique standard de bogoliubov, reposant sur l'hypothese d'une brisure de symetrie u(1) dans le systeme, y est discutee. L'accent est alors mis dans la deuxieme partie sur les consequences dynamiques de cette hypothese et en particulier sur l'existence d'un brouillage de la phase du condensat se traduisant par une perte des proprietes de coherence du systeme. La derivation systematique du temps de coherence au bout duquel le brouillage de phase se produit est entreprise pour les cas d'un condensat seul et de deux condensats couples, a l'equilibre ou hors-equilibre. La troisieme partie de ce memoire est consacree a l'etude dynamique d'un condensat a l'interieur d'un potentiel de type creneau. Une integration numerique de l'equation de gross-pitaevskii dependant du temps en dimension 1 et 2 est realisee. En variant la valeur du parametre non lineaire (traduisant les interactions entre atomes) l'influence des nonlinearites sur le comportement du systeme est analysee. Nous montrons ainsi comment en augmentant la valeur de ce parametre, la fonction d'onde macroscopique passe d'une dynamique reguliere, caracterisee par une suite de renaissances non lineaires, a une dynamique stochastique ou seules subsistent des rennaissances de dynamique reguliere. La quatrieme partie modelise une experience de melange a quatre ondes dans le contexte des ondes de matiere. Analysant le mecanisme physique de l'experience deja realisee avec des bosons, nous montrons comment adapter cette experience pour un melange fermions/bosons ou une onde fermionique incidente est envoyee sur un reseau de bosons condenses.