Eléments finis adaptatifs pour l'équation des ondes instationnaire
Auteur / Autrice : | Olga Gorynina |
Direction : | Alexei Lozinski, Marco Picasso |
Type : | Thèse de doctorat |
Discipline(s) : | Mathématiques et applications |
Date : | Soutenance le 22/02/2018 |
Etablissement(s) : | Bourgogne Franche-Comté |
Ecole(s) doctorale(s) : | École doctorale Carnot-Pasteur (Besançon ; Dijon ; 2012-....) |
Partenaire(s) de recherche : | Laboratoire : Laboratoire de Mathématiques de Besançon (Besançon) - Laboratoire de Mathématiques de Besançon (Besançon) |
Etablissement de préparation : Université ouverte de Franche-Comté | |
Jury : | Président / Présidente : François-Xavier Roux |
Examinateurs / Examinatrices : Alexei Lozinski, Marco Picasso, François-Xavier Roux, Omar Lakkis, Martin Vohralík, Emmanuel Creusé | |
Rapporteurs / Rapporteuses : Omar Lakkis, Martin Vohralík |
Mots clés
Mots clés contrôlés
Mots clés libres
Résumé
La thèse porte sur l’analyse d’erreur a posteriori pour la résolution numérique de l’équation linéaire des ondes , discrétisée en temps par le schéma de Newmark et en espace par la méthode des éléments finis. Nous adoptons un choix particulier de paramètres pour le schéma de Newmark, notamment β = 1/4, γ = 1/2, qui assure que la méthode est conservative en énergie et d’ordre deux en temps. L’estimation d’erreur a posteriori, d’un ordre optimal en temps et en espace, est élaborée à partir de la discrétisation complète. L’erreur est mesurée dans une norme qui découle naturellement de la physique: H1 en espace et Linf en temps. Nous proposons d’abord un estimateur dit «à 3 points» qui fait intervenir la solution discrète en 3 points successifs du temps à chaque pas de temps. Cet estimateur fait appel à une approximation du Laplacien de la solution discrète qui doit être calculée à chaque pas de temps, en résolvant un problème auxiliaire d'éléments finis. Nous proposons ensuite un estimateur d’erreur alternatif qui permet d’éviter ces calculs supplémentaires: l’estimateur dit «à 5 points» puisqu’il met en jeu le schéma des différences finies d’ordre 4, qui fait intervenir la solution discrète en 5 points successifs du temps à chaque pas de temps. Nous démontrons que nos estimateurs en temps sont d’ordre optimal pour des solutions suffisamment lisses, sur des maillages quasi-uniformes en espace et uniformes en temps, en supposant que les conditions initiales soient discrétisées à l’aide de la projection elliptique. La trouvaille la plus intéressante de cette analyse est le rôle capitale de cette discrétisation : des discrétisations standards pour les conditions initiales, telles que l’interpolation nodale, peuvent être néfastes pour les estimateurs d’erreur en détruisant leur ordre de convergence, bien qu’elles fournissent des solutions numériques tout à fait acceptables. Des expériences numériques prouvent que nos estimateurs d’erreur sont d’ordre optimal en temps comme en espace, même dans les situations non couvertes par la théorie. En outre, notre analyse a posteriori s’étend au schéma de Newmark d’ordre deux plus général (γ = 1/2). Nous présentons des comparaisons numériques entre notre estimateur à 3 points généralisé et l’estimateur sur des grilles décalées, proposé par Georgoulis et al. Finalement, nous implémentons un algorithme adaptatif en temps et en espace basé sur notre estimateur d’erreur a posteriori à 3 points. Nous concluons par des expériences numériques qui montrent l’efficacité de l’algorithme adaptatif et révèlent l’importance de l’interpolation appropriée de la solution numérique d’un maillage à un autre, surtout vis à vis de l’optimalité de l’estimation d’erreur en temps.