Thèse soutenue

Solidification dendritique de mélanges binaires de métaux sous l'action de champs magnétique : Modélisation, analyse mathématique et numérique

FR  |  
EN
Auteur / Autrice : Amer Rasheed
Direction : Aziz Belmiloudi
Type : Thèse de doctorat
Discipline(s) : Mathématique et applications
Date : Soutenance en 2010
Etablissement(s) : Rennes, INSA

Résumé

FR  |  
EN

La compréhension du comportement des matériaux en présence d'impuretés, durant le processus de solidification, nécessite le développement de méthodologies appropriées pour une analyse et un contrôle efficace des changements topologiques des microstructures (par exemple, la formation des dendrites) au cours des différentes phases de transformation. L'objectif de cette thèse est de construire un modèle pertinent de solidification d'alliages binaires sous l'action de champs magnétiques, d'analyser les systèmes issus du modèle mathématique ainsi développé, d'un point de vue théorique et numérique, et enfin de développer une méthode de contrôle optimal afin de contrôler la dynamique du front de solidification par l'action du champs magnétiques. Dans un premier temps, nous avons décrit la physique du problème et les lois fondamentales nécessaires à la modélisation, puis nous avons construit un nouveau modèle de champ de phase, qui tient compte de l'influence de l'action du champ magnétique sur le mouvement du front de solidification. Le modèle ainsi développé est caractérisé par le couplage de trois systèmes : un de type gnétohydrodynamique, un second de type Warren-Boettingger avec convection (représentant l'évolution du front de solidification et la concentration du mélange binaire) et un troisième représentant l'évolution de la température. Les équations du système complet décrivant le modèle, dans un domaine Ω  Rn, n ≤ 3, sont évolutives, non linéaires, couplées et anisotropes. Dans une seconde partie, nous avons effectué l'analyse théorique du modèle développé dans le cas isotherme et isotrope en dimension deux. Nous avons obtenu des résultats d'existence, de régularité, de stabilité et d'unicité d'une solution, sous certaines conditions sur des opérateurs non linéaires du système. Enfin, nous avons développé une méthode de contrôle optimal non linéaire : le champ magnétique (qui intervient sous forme multiplicative) joue le rôle de contrôle, et l'observation est l'état désiré de la dynamique du front. Nous avons démontré l'existence d'une solution optimale et obtenu la sensibilité de l'opérateur solution et les conditions d'optimalité en introduisant un problème adjoint. Cette partie théorique de la thèse est complétée par un important travail numérique. L'analyse et les simulations numériques ont été menées sur le problème complet bi-dimensionnel non linéaire (isotrope et anisotrope). Nous avons utilisé pour la discrétisation la méthode des lignes qui consiste à considérer séparément la discrétisation temporelle et spatiale. La discrétisation spatiale est effectuée par un schéma d'éléments finis mixtes et le système différentiel algébrique obtenu est résolu par l'utilisation du solveur DASSL. La discrétisation du domaine est effectuée par des mailles triangulaires non structurées. Dans le cas réaliste, elles correspondent à un maillage non uniforme et trés fin dans la zone de la dendrite et au niveau de l'interface. Nous avons obtenu des estimations d'erreur pour les différentes variables d'état du modèle et analysé la robustesse et la stabilité des schémas d'approximation. Ce code numérique a été validé sur différents exemples, et donne d'excellents résultats. Ensuite, nous avons exploité le code pour traiter un problème réaliste, à savoir la solidification dendritique d'un alliage binaire Nickel-Cuivre, et analyser l'influence de champs magnétiques sur l'évolution des dendrites. Les résultats obtenus montrent l'efficacité de l'approche à reproduire les observations expérimentales.