Thèse soutenue

Équations de Stokes en domaine extérieur avec des conditions aux limites de type Navier

FR  |  
EN
Auteur / Autrice : Anis Dhifaoui
Direction : Ulrich Jerry RazafisonBassem Ben Hamed
Type : Thèse de doctorat
Discipline(s) : Mathématiques
Date : Soutenance le 27/06/2020
Etablissement(s) : Bourgogne Franche-Comté en cotutelle avec Université de Sfax (Tunisie)
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 / LMB
Etablissement de préparation : Université de Franche-Comté (1971-....) - Université de Sfax (Tunisie)
Jury : Président / Présidente : Mokhless Hammami
Examinateurs / Examinatrices : Ulrich Jerry Razafison, Bassem Ben Hamed, Mokhless Hammami, Bilel Krichen, Tahar Zamène Boulmezaoud, Mohamed Ali Hammami, Hamadi Baklouti, Hichem Chtioui
Rapporteurs / Rapporteuses : Bilel Krichen, Tahar Zamène Boulmezaoud

Résumé

FR  |  
EN

On s'intéresse aux équations stationnaires de Stokes posées dans un domaine extérieur tridimensionnel décrivant l'écoulement d'un fluide visqueux et incompressible autour d'obstacle supposé borné. La particularité ici réside dans les conditions au bord de l'obstacle que nous avons imposées. En effet, nous supposons que l'obstacle a une certaine rugosité et par conséquent, le fluide n'adhère pas au bord de l'obstacle mais, au contraire, il existe une friction dont on suppose décrite par les conditions aux limites de type Navier. Ces dernières modélisent d'une part l'imperméabilité de l'obstacle et d'autre part le fait que la composante tangentielle de la vitesse du fluide sur l'obstacle est proportionnelle au tenseur des déformations. Ce problème a été bien étudié lorsqu'il est posé dans un domaine borné. Les espaces de Sobolev classiques fournissent, dans ce cas, un cadre fonctionnel adéquat pour une étude complète. Cependant lorsque le domaine n'est pas borné, ces espaces ne sont plus adaptés car il est nécessaire de décrire le comportement à l'infini des solutions. On choisit alors de poser le problème dans des espaces de Sobolev avec des poids polynomiaux qui précisent la croissance ou la décroissance des fonctions à l'infini. Dans ce travail, nous commençons par effectuer une analyse hilbertienne du problème. Le point-clé ici est d'établir des inégalités de type Korn avec poids afin d'obtenir la coercivité de la forme bilinéaire associée à la formulation variationnelle. Nous continuons par démontrer des résultats d'existence, d'unicité et de régularité de solutions fortes et très faibles. Enfin, nous étudions l'extension de certains résultats en théorie L^p.