Stability of Vortex Patches in Channels

Résumé Technique : Stabilité des patchs de vortex dans les canaux

Énoncé du Problème
Cet article étudie la stabilité orbitale des patchs de vortex pour les équations d'Euler incompressibles bidimensionnelles dans des domaines qui ne possèdent ni invariance par changement d'échelle spatiale, ni invariance par translation horizontale. Plus précisément, les auteurs analysent deux classes de domaines :

1. Classe 1 : Domaines $D \subset \mathbb{R}^2_+$ satisfaisant une « condition de volume fini faible », où la partie inférieure du domaine possède un volume pondéré fini ($\int_{D_l} x_2^p dx < \infty$) et la partie supérieure possède un volume fini. Cette classe inclut les domaines bornés, les domaines périodiques et les domaines à frontières de type graphe.
2. Classe 2 : Bandes infinies $S = \mathbb{R} \times (0, L)$ de largeur $L$ arbitraire.

Le défi central est que les techniques variationnelles classiques utilisées pour la stabilité (par exemple, par Abe et Choi pour le demi-plan) reposent fortement sur l'invariance par changement d'échelle et par translation, propriétés absentes de ces domaines. L'absence de ces symétries empêche l'application directe des arguments de réarrangement et des preuves de mise à l'échelle standard pour la monotonie des fonctionnelles d'énergie.

Méthodologie
Les auteurs emploient une approche variationnelle basée sur la minimisation d'une fonctionnelle d'énergie cinétique pénalisée :
$$I_{\mu, \nu, \lambda} = \inf_{\omega \in K_{\mu, \nu}} \left\{ -E_{2, \lambda}[\omega] \right\}$$
où $E_{2, \lambda}[\omega] = E[\omega] - \frac{1}{2\lambda}\|\omega\|_2^2$, $E[\omega]$ est l'énergie cinétique, et $K_{\mu, \nu}$ est un ensemble de vorticités admissibles avec un premier moment $\mu$ fixé et une norme $L^1$ bornée.

Pour surmonter l'absence d'invariance, les auteurs développent de nouveaux outils analytiques :

• Comparaison de la Fonction de Green : Ils utilisent l'inégalité $0 \le G(x, y) \le G_H(x, y)$, où $G_H$ est la fonction de Green pour le demi-plan supérieur. Cette comparaison permet de dériver les estimations nécessaires pour l'énergie cinétique et les fonctions de courant malgré la géométrie complexe.
• Condition de Volume Fini Faible : Pour la Classe 1, ils introduisent un argument de concentration montrant que les suites minimisantes concentrent leur masse pondérée sur des régions bornées. Cela permet de traiter l'énergie cinétique comme continue sous une convergence faible $L^2$ en divisant le domaine en un cœur borné et une queue décroissante.
• Symétrisation de Steiner et Monotonie : Pour la Classe 2 (bandes), ils établissent que la fonction de Green satisfait les conditions pour la symétrisation de Steiner. Crucialement, ils prouvent la stricte monotonie de la valeur de l'infimum $I_{\mu, \lambda}$ par rapport au paramètre d'impulsion $\mu$ pour un $\mu$ suffisamment petit. Ceci est réalisé en construisant des fonctions d'essai explicites et en dérivant des bornes $L^1$ uniformes pour les minimiseurs, contournant ainsi le besoin d'invariance par changement d'échelle.
• Concentration-Compacité : Ils appliquent un principe de concentration-compacité pour exclure les scénarios de « disparition » (vanishing) et de « dichotomie » pour les suites minimisantes, garantissant que les suites convergent fortement vers un minimiseur (à une translation horizontale près).

Résultats Clés

1. Existence de Minimiseurs : Les auteurs prouvent que pour des paramètres $(\mu, \lambda)$ appropriés, la fonctionnelle d'énergie pénalisée admet un minimiseur. Chaque minimiseur satisfait l'équation elliptique $\omega = \lambda(\psi - Wx_2 - \gamma)_+$, où $\psi$ est la fonction de courant, et $W, \gamma$ sont des constantes.
2. Théorème de Convergence Générale : Ils établissent que toute suite minimisante converge fortement (en $L^2$ et en $L^1$ pondéré) vers un minimiseur. Ce résultat est non trivial en l'absence d'invariance par changement d'échelle, qui simplifie habituellement le contrôle des suites minimisantes.
3. Stabilité Orbitale : L'ensemble des minimiseurs $S_{\mu, \nu, \lambda}$ est montré comme étant orbitalement stable sous la dynamique eulérienne. Plus précisément, si la vorticité initiale est suffisamment proche de l'ensemble des minimiseurs dans les normes $L^2$ et $L^1$ pondérées, la solution reste proche de cet ensemble durant toute sa durée de vie.
4. Propriétés Structurelles : Pour le domaine de bande, les auteurs démontrent que pour de petits $\mu$, la vitesse de propagation $W$ est strictement positive et la constante $\gamma$ est nulle, impliquant que le support du minimiseur est compact.

Signification et Revendications
L'article affirme étendre le cadre variationnel développé par Abe et Choi [1] à une classe plus large de domaines qui ne possèdent pas les symétries spécifiques (changement d'échelle et translation) précédemment considérées comme essentielles pour ces preuves de stabilité. Les auteurs soulignent que leur travail traite de « difficultés substantielles » introduites par l'absence de ces propriétés, particulièrement l'échec des arguments classiques de réarrangement et de mise à l'échelle.

En comparant la fonction de Green avec celle du demi-plan et en exploitant les conditions de décroissance, les auteurs formulent un argument de concentration-compacité qui produit des résultats de stabilité pour des domaines à « volume fini faible » et des bandes infinies. Ce travail est présenté comme une étape fondamentale vers la compréhension de la stabilité des patchs de vortex dans des géométries plus complexes et non homogènes, pertinentes pour les problèmes à front libre et la dynamique des fluides générale, bien que les auteurs notent que l'extension de ces résultats à des patchs multiples ou à des domaines plus généraux reste un défi ouvert en raison de l'absence de symétrie et de formules structurelles explicites.