Analyse mathématique et numérique d’un modèle de corrosion.

Dans cet exposé, j’introduirai un modèle mathématique de corrosion d’acier dans des conditions de stockage géologique. Après un historique des travaux d’analyse mathématique et numérique réalisés sur ce modèle depuis une dizaine d’années, je détaillerai un résultat récent d’existence de solutions de type onde progressive par une preuve assistée par ordinateur. Ce travail a été réalisé en collaboration avec Maxime Breden (Ecole Polytechnique) et Antoine Zurek (TU Vienna). Pour finir, je présenterai des perspectives d’évolution du modèle de corrosion.