Existence and stability of Sadovskii vortices: from patch to smooth vortices

1. Problématique et Contexte

L'article s'intéresse à l'équation d'Euler bidimensionnelle incompressible et inviscide, décrite par la vorticité $\omega$. Le problème central est l'existence et la stabilité des vortex de Sadovskii, une configuration particulière de dipôle de vortex qui se déplace de manière stationnaire.

• Définition du vortex de Sadovskii : Il s'agit d'une paire de vortex de rotation opposée (dipôle) qui, lors de leur translation, entrent en contact complet le long de l'axe de symétrie ($x_2=0$). Contrairement aux dipôles classiques où les vortex sont séparés, ici les supports des deux vortex se touchent.
• État de l'art :
  • Des solutions spécifiques étaient connues : le patch de Sadovskii (vorticité uniforme, $L^\infty$) et le dipôle de Chaplygin-Lamb (vorticité lisse, $L^2$).
  • Les constructions antérieures reposaient souvent sur des contraintes de masse totale fixée (circulation totale). Cette contrainte impose des restrictions techniques (par exemple, $p > 4/3$ pour certaines méthodes de pénalisation) et empêche de traiter l'ensemble des régimes de régularité.
  • La question de l'existence d'une famille continue de solutions, allant du patch singulier ($p=\infty$) aux vortex lisses ($p \to 1$), tout en maintenant la propriété de contact, restait ouverte.

2. Méthodologie : Un Cadre Variationnel Invariant d'Échelle

Les auteurs proposent une nouvelle approche variationnelle qui élimine la contrainte de masse totale, permettant ainsi de capturer la structure intrinsèque des vortex de Sadovskii.

A. Principe Variationnel

Au lieu de maximiser l'énergie cinétique sous une contrainte de masse fixe, les auteurs maximisent l'énergie cinétique $E(\omega)$ sous deux contraintes conservées par l'équation d'Euler :

1. L'impulsion (ou moment) : $\mu(\omega) = \int x_2 \omega \, dx < \infty$.
2. La norme $L^p$ de la vorticité : $\|\omega\|_p = \sigma$ (avec $1 < p \le \infty$).

Le problème est formulé sur le demi-plan supérieur $\mathbb{R}^2_+$ avec une symétrie impaire par rapport à $x_2$, ce qui modélise le dipôle complet.

B. Inégalité d'Énergie Sharp (Pointe)

La pierre angulaire de l'analyse est une inégalité d'énergie sharp (optimale) reliant l'énergie cinétique aux deux contraintes :
$$E(\omega) \lesssim_p \|x_2 \omega\|_{L^1}^\alpha \|\omega\|_{L^p}^\beta$$
Les exposants $\alpha$ et $\beta$ sont déterminés de manière unique par l'invariance d'échelle naturelle de l'équation d'Euler sous la transformation $\omega(x) \mapsto \varepsilon \omega(\lambda x)$. Cette inégalité est saturée précisément par les vortex de Sadovskii.

C. Principe de Concentration-Compacité

Pour prouver l'existence de maximiseurs, les auteurs appliquent le principe de concentration-compacité de Lions à la suite de vorticité pondérée $\{x_2 \omega_n\}$.

• Élimination du "Vanishing" (Disparition) : L'énergie ne peut pas tendre vers zéro car elle est bornée inférieurement par une constante positive grâce à l'inégalité sharp.
• Élimination de la "Dichotomie" (Fission) : La structure de super-additivité stricte de la fonctionnelle d'énergie (dérivée de l'inégalité sharp et des exposants $\alpha, \beta$) empêche la séparation de la masse en deux parties distantes.
• Compacité : La seule issue possible est la compacité, garantissant l'existence d'un maximiseur qui ne s'échappe pas à l'infini ni ne se disperse.

3. Résultats Principaux

A. Existence d'une Famille Unifiée (Théorème 1.2)

Pour tout $p \in (1, \infty]$, il existe une famille de vortex de Sadovskii $\mathcal{S}(p)$ caractérisée par :

• Contact avec l'axe : Le support du vortex touche nécessairement l'axe de symétrie $x_2=0$. Ce n'est pas une hypothèse imposée, mais une conséquence géométrique du principe variationnel.
• Transition de régularité :
  • Pour $p = \infty$, on retrouve le patch de Sadovskii (vorticité constante sur son support).
  • Pour $p \in (1, \infty)$, les vortex sont lisses ($C^{m,\alpha}$). La régularité augmente lorsque $p \to 1$.
  • Le cas $p=2$ correspond exactement au dipôle de Chaplygin-Lamb.
• Absence de contrainte de masse : La masse totale (norme $L^1$) n'est pas fixée a priori ; elle émerge naturellement de la maximisation de l'énergie.

B. Stabilité de Lyapunov

Les auteurs établissent la stabilité de ces solutions sous de petites perturbations :

• Pour $1 < p < \infty$, la stabilité est prouvée dans la norme $\|\cdot\|_{L^p} + \|x_2(\cdot)\|_{L^1}$.
• Pour $p = \infty$ (patch), la stabilité est plus délicate car la convergence forte en $L^\infty$ n'est pas garantie. Les auteurs restreignent l'ensemble des maximiseurs à ceux qui ont la masse minimale ($\mathcal{S}'(\infty)$) pour retrouver la compacité nécessaire à la stabilité en norme $L^1$.

C. Estimation Quantitative du Déplacement

Un résultat clé est l'estimation du centre de masse horizontal $P(t)$ des solutions perturbées. Les auteurs montrent que la vitesse de propagation reste proche de celle du vortex de Sadovskii non perturbé :
$$|P(t) - W_\infty t| \lesssim \varepsilon |t|$$
Cela démontre que la géométrie de contact et la dynamique de translation sont robustes.

4. Contributions Techniques Clés

1. Suppression de la contrainte de masse : En retirant la contrainte de masse totale, les auteurs évitent les restrictions sur $p$ (comme $p > 4/3$ dans les méthodes antérieures) et unifient la théorie pour tout $p \in (1, \infty]$.
2. Géométrie du contact : La preuve que le support touche l'axe de symétrie est obtenue via l'analyse fine du comportement du fonctionnel de courant (stream function) près de la frontière, sans supposer la géométrie a priori.
3. Optimalité de la régularité : L'article démontre que pour $p \in (1, \infty)$, la régularité $C^{m,\alpha}$ est optimale et que la vorticité n'est pas $C^\infty$ au point de contact, révélant une singularité géométrique inhérente à la configuration de contact.
4. Estimation de décalage (Shift Estimate) : L'article fournit une estimation optimale de la dérive horizontale d'une solution perturbée, reliant directement la stabilité de la forme à la stabilité de la trajectoire.

5. Signification et Impact

Ce travail résout un problème ouvert majeur en dynamique des fluides mathématique en fournissant un cadre unifié pour l'existence et la stabilité des vortex de Sadovskii.

• Unification : Il relie des objets physiques distincts (patchs, dipôles lisses) dans une seule famille paramétrée par $p$.
• Mécanisme structurel : Il identifie le "contact" comme une propriété émergente de la maximisation d'énergie sous contraintes d'impulsion et de norme $L^p$, suggérant que ces structures sont des états fondamentaux naturels dans l'évolution des dipôles de vortex (notamment dans les limites visqueuses ou les collisions).
• Stabilité : La preuve de stabilité de Lyapunov renforce l'idée que ces configurations sont physiquement observables et robustes, expliquant leur apparition fréquente dans les simulations numériques et les expériences (sillage d'avions, collisions de tourbillons).

En résumé, l'article établit que les vortex de Sadovskii, de l'état de patch singulier à l'état lisse, sont les solutions optimales d'un problème variationnel invariant d'échelle, et que leur géométrie de contact est intrinsèquement stable.