Dynamique et contrôle des systèmes quantiques

Dans cette thèse, nous étudions trois classes de modèles utilisés dans la littérature pour représenter les systèmes quantiques: 1 -L'équation de Schrödinger où le contrôle agit sur le système de façon bilinéaire; 2 -L'équation de Lindblad; 3 -Les filtres quantiques (modèles stochastiques). Les contributions de la thèse concernant l'équation de Schrödinger se répartissent en trois parties. Dans le premier chapitre, nous étudions la contrôlabilité d'un tel système. Le cas de dimension finie étant déjà bien exploré, nous traitons l'exemple d'un oscillateur harmonique quantique comme un cas typique des problèmes de dimension infinie. Parmi les résultats obtenus nous retrouvons transposée dans les termes de la théorie du contrôle, l'assertion bien connue des physiciens: ``les sources classiques de contrôle ne peuvent générer que de la lumière classique''. La question de la génération des trajectoires est abordée dans le Chapitre 2. Le contrôle en boucle ouverte du système est alors traité à l'aide des méthodes de stabilisation de Lyapounov. Ces méthodes de contrôle par feedback sont utilisées en simulation et le contrôle retrouvé est ensuite inséré en boucle ouverte dans le système physique. La convergence est étudiée dans différentes configurations et des exemples numériques tirés de la chimie quantique sont testés. Enfin dans le chapitre 3, nous étudions le problème inverse d'identification de l'Hamiltonien. Malgré le grand intérêt pratique que présente ce problème, peu de contributions ont été apportées jusqu'à maintenant. Nous étudions d'abord le problème mathématique d'identifiabilité. Une première réponse positive à cette question est apportée. Ensuite nous considérons le problème d'identification. A l'aide de méthodes numériques d'optimisation, nous proposons une première approche qui permet de résoudre ce problème inverse. Au sujet de l'équation de Lindblad, la contribution de cette thése se résume à la réduction du modèle lorsque certaines hypothèses sur les durées de vie atomiques sont vérifiées. Cette étude peut être considérée comme une première étape vers le contrôle en boucle fermée d'un ensemble statistique de systèmes quantiques. Finalement dans le chapitre 5, nous considérons les filtres quantiques. Certaines méthodes issues de la théorie des probabilités ainsi que les techniques de Lyapounov stochastiques nous permettent d'étudier la stabilisation globale de ces modéles