Regularity and Decay for Navier-Slip Fluid-Structure Interaction in Exterior Domains

Résumé Technique : Régularité et Décroissance pour l'Interaction Fluide-Structure à Glissement de Navier dans des Domaines Extérieurs

Énoncé du Problème
Cet article étudie le mouvement linéarisé d'un corps rigide sphérique immergé dans un fluide incompressible et visqueux occupant tout l'espace tridimensionnel ($\mathbb{R}^3$). Le système est régi par les équations de Navier-Stokes couplées à des équations différentielles ordinaires décrivant la dynamique de translation et de rotation du corps rigide. Une caractéristique critique de cette étude est l'imposition de conditions de glissement de Navier avec friction à l'interface fluide-structure, par opposition aux classiques conditions de non-glissement (Dirichlet). Les auteurs se concentrent sur le système linéarisé autour de l'état de repos, où la vitesse du fluide, la pression et les vitesses de translation et de rotation du corps évoluent selon un système couplé dans un domaine extérieur $\Omega = \mathbb{R}^3 \setminus B$, où $B$ est une boule.

Méthodologie
L'analyse est menée dans le cadre de la théorie des semi-groupes et de la régularité maximale $L^q$. Les auteurs définissent un opérateur fluide-structure $A_{\alpha,q}$ agissant sur un espace de Banach $X_q$ qui encapsule la vitesse du fluide, la vitesse de translation et la vitesse angulaire. La méthodologie procède à travers plusieurs étapes clés :

1. Formulation de l'Opérateur : Le système est reformulé sur tout l'espace $\mathbb{R}^3$ en étendant la vitesse du corps rigide à l'intérieur de la sphère. Cela permet l'utilisation d'une décomposition de Helmholtz-Weyl adaptée à l'interaction fluide-structure, facilitant la définition du générateur $A_{\alpha,q}$.
2. Théorie $L^2$ : Les auteurs établissent d'abord l'auto-adjointitude et la positivité définie de l'opérateur dans le cadre de l'espace de Hilbert ($q=2$). Cela repose sur une forme bilinéaire spécifique impliquant le tenseur de taux de déformation et le terme de friction sur la frontière.
3. Localisation et Estimations A Priori : Pour étendre les résultats à des espaces $L^q$ généraux ($1 < q < \infty$), les auteurs emploient une technique de localisation. Ils assemblent des résultats connus pour l'opérateur de Stokes dans l'espace entier et dans des domaines bornés. Crucialement, ils dérivent une inégalité de type Korn généralisée pour la condition de glissement de Navier, qui limite le gradient complet de la vitesse par le gradient symétrique et le terme de glissement sur la frontière.
4. Sectoricité et Analiticité : La preuve de l'analyticité et de la limitation du semi-groupe repose sur l'établissement de la sectoricité de l'opérateur. Pour $q=2$, cela découle de l'auto-adjonction. Pour $1 < q < 3/2$, cela est dérivé d'estimations de régularité maximale uniformes dans le temps. Les résultats pour les plages de $q$ restantes sont obtenus via l'interpolation et des arguments de dualité.
5. Estimations de Décroissance : Les taux de décroissance sont dérivés en combinant la régularité établie et des méthodes énergétiques. Une étape clé consiste à fermer l'estimation d'énergie en utilisant l'inégalité de type Korn et l'inégalité de Gagliardo-Nirenberg, suivi d'un argument de type Gronwall pour déterminer les taux de décroissance temporelle pour les temps longs.

Contributions Clés et Résultats
L'article établit les principaux résultats suivants pour le système fluide-structure linéarisé sous conditions de glissement de Navier dans un domaine extérieur :

• Régularité Forte $L^q$ : Les auteurs prouvent l'existence de solutions fortes uniques pour le système linéarisé avec une régularité maximale $L^q$. Spécifiquement, pour des données initiales satisfaisant des conditions de compatibilité appropriées et des forces externes dans $L^q$, la solution $(v, \pi, \ell, \omega)$ satisfait des estimations dans des espaces tels que $L^q(0, T; W^{2,q}(\Omega))$ et $W^{1,q}(0, T; L^q(\Omega))$.
• Semi-groupe Analytique Borné : L'opérateur fluide-structure génère un semi-groupe analytique borné sur le sous-espace $X_q$ pour tout $1 < q < \infty$. Il s'agit d'une extension significative, car les résultats précédents pour les conditions de glissement étaient largement limités aux domaines bornés.
• Estimations de Décroissance $L^q-L^r$ Précises : L'article dérive des taux de décroissance optimaux pour la solution quand $t \to \infty$. Pour des données initiales dans $L^r$, la vitesse et ses dérivées décroissent avec des taux dépendant de la différence entre $1/r$ et $1/q$. Spécifiquement, les auteurs montrent que :
  • $\|v(t)\|_{L^q} \sim t^{-\frac{3}{2}(\frac{1}{r} - \frac{1}{q})}$ pour les temps courts et des régimes de grands temps spécifiques.
  • Des estimations raffinées pour les vitesses de translation et de rotation $(\ell, \omega)$ et leurs dérivées temporelles, montrant des taux de décroissance de $(1+t)^{-\frac{1}{2} - \frac{3}{2}(\frac{1}{r} - \frac{1}{m})}$ pour de grands $m$.
  • Des estimations pour le gradient de pression et les dérivées spatiales du second ordre sont également fournies, distinguant les comportements à court terme ($t \le 1$) et à long terme ($t \ge 1$).

Signification
Les auteurs affirment que ces résultats fournissent une base rigoureuse pour la construction de solutions fortes du système non linéaire correspondant. En établissant une régularité forte $W^{2,1}_q$ et des solutions de type Kato pour le problème linéarisé, ce travail permet l'application d'arguments de point fixe au problème complet d'interaction fluide-structure. L'article note que si la régularité des semi-groupes et la décroissance sont bien comprises pour le cas de non-glissement dans les domaines extérieurs, de tels résultats étaient limités dans le cadre du glissement, particulièrement concernant la nature non bornée du domaine. Ce travail comble cette lacune en exploitant la régularité géométrique de la sphère pour traiter le cadre du domaine extérieur sous conditions de glissement de Navier.