Inégalités d'Ingham et schémas semi-lagrangiens pour l'équation de Vlasov

Dans une première partie, on rassemble plusieurs résultats en théorie du contrôle autour des inégalités d'Ingham, généralisations de l'égalité de Parseval, qui inter- viennent pour montrer l'observabilité, la contrôlabilité ou la stabilisation frontière ou interne de l&#...

Full description

Bibliographic Details
Main Author: Mehrenberger, Michel
Language:fra
Published: Université de Strasbourg 2012
Subjects:
Online Access:http://tel.archives-ouvertes.fr/tel-00735678
http://tel.archives-ouvertes.fr/docs/00/73/56/78/PDF/hdrMehren.pdf
Description
Summary:Dans une première partie, on rassemble plusieurs résultats en théorie du contrôle autour des inégalités d'Ingham, généralisations de l'égalité de Parseval, qui inter- viennent pour montrer l'observabilité, la contrôlabilité ou la stabilisation frontière ou interne de l'équation des ondes ou d'équations similaires dans certains cas parti- culiers. On s'intéresse dans un premier temps à l'optimalité de ce type d'inégalités en généralisant un résultat précédent au cas vectoriel. On développe ensuite un théo- rème de type Ingham adapté pour traiter le cas d'une géométrie cartésienne. Enfin, on donne des résultats d'observabilité dans le cas d'approximations numériques. Dans une seconde partie, on présente les méthodes semi-Lagrangiennes qui sont composées essentiellement de deux ingrédients : calcul des caractéristiques le long desquelles la fonction de distribution est constante et étape d'interpolation. On ana- lyse des schémas d'ordre élevé en temps pour le système de Vlasov-Poisson 1D×1D, basés sur le splitting directionnel, qui est une succession d'étapes de transport li- néaire. On étudie alors les méthodes semi-Lagrangiennes dans ce cas particulier et on fait le lien entre différentes formulations. On obtient également un théorème de convergence pour le système de Vlasov-Poisson dans ce cadre, qui reste valable pour des petits déplacements. On développe ensuite ce type de méthodes dans un cadre plus général, en se basant sur le splitting uni-dimensionnel conservatif, avec une variante de type Galerkin discontinu. Dans une dernière partie, on étudie l'opérateur de gyromoyenne qui intervient en physique des plasmas pour prendre en compte des corrections de rayon de Larmor fini. Enfin, on discute de la problématique de la divergence discrète nulle qui donne une compatibilité entre le calcul du champ et la méthode numérique de transport.