Large time decay of the Oseen flow in exterior domains subject to the Navier slip-with-friction boundary condition

Résumé Technique : Décroissance Temporelle Large de l'Écoulement d'Oseen dans des Domaines Extérieurs Sujets à la Condition de Frontière de Navier avec Friction

Énoncé du Problème
Le présent article étudie le comportement asymptotique de l'écoulement d'Oseen, qui constitue la linéarisation des équations de Navier-Stokes, dans un domaine extérieur $\Omega$ tridimensionnel (le complément d'un obstacle borné). Le fluide est visqueux et incompressible. L'étude se concentre sur le système soumis à la condition de glissement de Navier avec friction sur la frontière $\partial\Omega$ de l'obstacle et une vitesse de sortie $u_\infty$ prescrite à l'infini spatiale.

Les équations directrices pour la vitesse de perturbation $u$ et la pression $p$ autour de l'état stationnaire $u_\infty$ sont données par le problème de valeur initiale d'Oseen :
$$\partial_t u = \Delta u + \eta \cdot \nabla u - \nabla p, \quad \text{div } u = 0 \quad \text{dans } \Omega \times (0, \infty),$$
où $\eta = -u_\infty$. Les conditions aux limites sont :
$$\nu \cdot u|_{\partial\Omega} = 0, \quad [(2Du)\nu]_\tau + \alpha u_\tau|_{\partial\Omega} = 0, \quad \lim_{|x|\to\infty} u = 0,$$
où $\nu$ est la normale unitaire sortante, $Du$ est le gradient symétrique et $\alpha(x) \geq 0$ est le coefficient de friction, et l'indice $\tau$ désigne la composante tangentielle.

Les objectifs principaux sont doubles :

1. Caractériser l'ensemble résolvant de l'opérateur d'Oseen associé $L$ dans le cadre $L^q$, en analysant spécifiquement les propriétés spectrales près de l'origine dans le plan complexe sous l'influence de la géométrie de la frontière, du coefficient de friction $\alpha$, et de l'écoulement sortant $\eta$.
2. Établir des estimations de décroissance $L^q$-$L^r$ du semi-groupe d'Oseen $e^{-tL}$ quand $t \to \infty$, lesquelles sont cruciales pour prouver la bijectivité globale (well-posedness) du système de Navier-Stokes non linéaire près d'un état stationnaire.

Méthodologie
L'analyse emploie une combinaison de la théorie spectrale, de l'analyse fonctionnelle et des méthodes d'énergie, structurée comme suit :

1. Analyse du Résolvant et Unicité : L'article établit d'abord l'unicité des solutions au système résolvant $(\lambda + L)u = f$ dans des classes spécifiques de fonctions. Cela implique de dériver des estimations d'énergie en multipliant l'équation par la solution et en l'intégrant sur le domaine. Une étape critique consiste à traiter les termes de bord découlant de la condition de Navier. Les auteurs utilisent la application de Weingarten de la frontière $\partial\Omega$ pour relier le tenseur de déformation $Du$ au gradient $\nabla u$. Plus précisément, ils utilisent l'identité :
   $$2\|Du\|_2^2 = \|\nabla u\|_2^2 - \int_{\partial\Omega} [(\nabla N)u] \cdot u \, d\sigma,$$
   où $-\nabla N$ est l'application de Weingarten et $\kappa(x)$ représente sa plus petite valeur propre (liée aux courbures principales). Ce terme géométrique permet de dériver des conditions sous lesquelles la partie réelle de l'identité d'énergie est non négative, assurant ainsi l'unicité.

2. Construction de Paramètre : Pour construire le résolvant dans le domaine extérieur, les auteurs utilisent une procédure de coupure (cut-off). Ils combinent l'opérateur de solution pour tout l'espace $\mathbb{R}^3$ (résolvant d'Oseen) avec l'opérateur de solution pour un domaine intérieur borné (sujet à la même condition aux limites). Un opérateur de Bogovskii est employé dans une région annulaire pour corriger la divergence de la solution patchée, garantissant que la condition de divergence nulle est satisfaite. Cela produit une représentation du résolvant impliquant un opérateur de perturbation compacte $T_\eta(\lambda)$.

3. Régularité près de l'Origine : Le cœur de l'analyse de décroissance repose sur le comportement du résolvant $(\lambda + L)^{-1}$ près de $\lambda = 0$, particulièrement le long de l'axe imaginaire. Les auteurs prouvent que sous des conditions spécifiques sur $\alpha$ et la courbure de $\partial\Omega$, le résolvant est analytique dans un voisinage de l'origine (excluant l'origine elle-même pour le cas de Stokes) et satisfait des estimations de continuité de Hölder spécifiques dans la norme $L^q$.

4. Décroissance d'Énergie Locale : En utilisant la régularité du résolvant le long de l'axe imaginaire, l'article dérive des estimations de décroissance d'énergie locale. Ceci est réalisé en exprimant le semi-groupe via l'intégrale de Dunford et en appliquant un lemme reliant le taux de décroissance de la transformée de Fourier inverse à la régularité de la fonction dans le domaine fréquentiel (spécifiquement, le module de continuité du résolvant).

Contributions Clés et Résultats

• Caractérisation de l'Ensemble Résolvant :
  L'article établit que l'ensemble résolvant $\rho(-L)$ contient le demi-plan droit (excluant l'origine) sous la condition :
  $$\alpha(x) \geq \frac{\eta \cdot \nu(x)}{2} \quad \text{pour tout } x \in \partial\Omega.$$
  De plus, si une condition plus forte impliquant la courbure de la frontière est remplie :
  $$\alpha(x) + \kappa(x) \geq \frac{\eta \cdot \nu(x)}{2},$$
  où $\kappa(x)$ est le minimum des courbures principales, l'ensemble résolvant contient la région $\mathbb{C} \setminus S_\eta$, où $S_\eta = \{ \lambda \in \mathbb{C} : |\eta|^2 \text{Re } \lambda + (\text{Im } \lambda)^2 \leq 0 \}$. Cela étend les résultats connus pour la condition de non-glissement au cas de la condition de glissement de Navier.

• Estimations de Décroissance $L^q$-$L^r$ :
  Le résultat principal (Théorème 2.2) fournit des estimations de décroissance pour le semi-groupe d'Oseen. Pour des données initiales $f \in L^q_\sigma(\Omega)$, la solution satisfait :
  $$\|\nabla^j e^{-tL}f\|_r \leq C t^{-\frac{j}{2} - \frac{3}{2}(\frac{1}{q} - \frac{1}{r})} \|f\|_q$$
  pour $j=0$, et un taux légèrement modifié impliquant $(1+t)$ pour $j=1$. Ces estimations sont valables pour $t \to \infty$ sous la condition $\alpha(x) \geq \frac{\eta \cdot \nu(x)}{2}$.

• Récupération des Résultats Connus :
  Les résultats récupèrent les estimations de décroissance connues pour le semi-groupe de Stokes ($\eta=0$) sous glissement total ($\alpha=0$) et le semi-groupe d'Oseen sous la condition de non-glissement ($\alpha \to \infty$) comme des cas particuliers.

Signification et Revendications
L'article prétend combler une lacune dans la littérature existante concernant le problème extérieur avec un écoulement sortant non nul ($u_\infty \neq 0$) sous les conditions de bord de Navier, car les travaux précédents supposaient largement un écoulement sortant nul pour de telles conditions de bord.

La signification réside dans :

1. Combler le Fossé : Les résultats interpolent entre les régimes de glissement total ($\alpha=0$) et de non-glissement ($\alpha \to \infty$), fournissant un cadre unifié pour les estimations de décroissance à grand temps.
2. Aperçu Géométrique : L'analyse souligne le rôle de la géométrie de la frontière (via l'application de Weingarten et les courbures principales) dans la détermination des propriétés spectrales de l'opérateur d'Oseen, spécifiquement la forme de l'ensemble résolvant près de l'origine.
3. Fondement pour la Stabilité Non Linéaire : Les estimations de décroissance $L^q$-$L^r$ établies sont présentées comme un outil nécessaire pour l'étude de la bijectivité globale et de la stabilité du système de Navier-Stokes non linéaire dans des domaines extérieurs avec des conditions de bord de glissement, notamment pour des données initiales proches d'un état stationnaire.

Les auteurs notent que bien que les taux de décroissance pour le gradient ($j=1$) soient optimaux pour le cas de Stokes sous non-glissement, l'optimalité pour le cas d'Oseen avec écoulement sortant non nul n'est pas revendiquée en raison de la structure de décroissance spatiale différente (structure de sillage) de l'écoulement d'Oseen stationnaire. De plus, la dépendance de la constante de décroissance vis-à-vis du coefficient de friction $\alpha$ reste une question ouverte en raison de l'absence d'estimations a priori uniformes dans les domaines bornés pour de petites valeurs de $\alpha$.