Support growth of vorticity for bi-rotational Euler flows in high dimensions

Résumé technique : Soutien de la croissance de la vorticité pour les écoulements d'Euler bi-rotationnels en hautes dimensions

Énoncé du problème
Cet article étudie les équations d'Euler de type incompressible en hautes dimensions ($d \ge 4$) sous une contrainte de symétrie spécifique appelée symétrie bi-rotationnelle sans tourbillon (swirl). Les auteurs considèrent des solutions où le champ de vitesse est invariant par rotations fixant soit les $n+1$ premières coordonnées, soit les $m+1$ dernières coordonnées (où $d = n + m + 2$), et où le vecteur vitesse réside entièrement dans l'espace engendré par les vecteurs unitaires radiaux de ces deux sous-espaces.

L'objectif principal est d'analyser le comportement à long terme du support de la vorticité pour des données initiales de type « patch ». Plus précisément, les auteurs cherchent à déterminer si le diamètre du support de la vorticité reste borné ou croît indéfiniment au cours du temps. Bien que la bien-posée globale soit connue pour certaines classes de données en $d=4$, le comportement pour $d \ge 5$ et la dynamique spécifique des solutions de type patch en hautes dimensions restent moins bien compris.

Méthodologie et formulation mathématique
L'étude réduit le système d'Euler complet en $d$ dimensions à une équation d'advection scalaire en exploitant la symétrie bi-rotationnelle.

1. Réduction de coordonnées : En utilisant des coordonnées bi-polaires $(r, s)$, où $r$ et $s$ représentent les rayons dans les deux sous-espaces orthogonaux, le champ de vitesse est exprimé par $v = u_r e_r + u_s e_s$.
2. Vorticité scalaire : Le tenseur de vorticité $\omega$ se réduit à une fonction scalaire $w(r, s)$ (à un facteur géométrique près). Les équations d'Euler se transforment en une équation de transport pour la quantité $w/(r^n s^m)$ :
   $$\partial_t \left( \frac{w}{r^n s^m} \right) + (u_r \partial_r + u_s \partial_s) \left( \frac{w}{r^n s^m} \right) = 0$$
   Les composantes de la vitesse $(u_r, u_s)$ sont récupérées à partir de $w$ via une fonction de courant $\psi$ satisfaisant une équation d'opérateur elliptique spécifique impliquant le Laplacien dans un espace de dimension supérieure ($\mathbb{R}^{n+3} \times \mathbb{R}^{m+3}$).
3. Solutions de type patch : Les auteurs se concentrent sur des données initiales où $w/(r^n s^m)$ est la fonction indicatrice d'un ensemble ouvert borné $\Omega_0$ séparé des axes ($r=0, s=0$). L'évolution du support $\Omega_t$ est gouvernée par l'application de flot générée par le champ de vitesse.

Contributions clés et résultats

• Bien-posée locale (Théorème 1.1) : L'article établit l'existence et l'unicité locales dans le temps de solutions pour des données initiales de type patch. La solution maintient la structure de patch $w(t) = r^n s^m \mathbf{1}_{\Omega_t}$ tant que le support reste borné. Un critère d'explosion (blow-up) est dérivé : la solution existe globalement si et seulement si le diamètre du support $L(t) = R(t) + S(t)$ reste fini.
• Croissance infinie du support (Théorème 1.2) : Le résultat central démontre que pour toute donnée initiale de type patch satisfaisant la condition de séparation, le diamètre du support $L(t)$ croît sans limite le long d'une suite de moments temporels. Spécifiquement :
  $$\sup_{t \in [0, T_{\max})} L(t) = +\infty$$
  Cela est vrai même si le temps d'existence maximal $T_{\max}$ est infini (c'est-à-dire qu'aucune explosion en temps fini de la norme de la solution ne survient).
• Mécanisme de croissance : La preuve repose sur un argument par l'absurde impliquant des impulsions (moments pondérés) de la vorticité. Les auteurs définissent l'impulsion $r$, $P^r(t)$, et l'impulsion $s$, $P^s(t)$. Ils montrent que $P^r(t)$ est non décroissante et que sa dérivée temporelle est strictement positive, pilotée par la composante de vitesse $u_s$ près de l'axe $s=0$. En estimant la borne inférieure du noyau de vitesse (spécifiquement $\partial_s \psi$ à $s=0$) et en utilisant la conservation de la masse ainsi que la nature non croissante de $P^s(t)$, ils prouvent que supposer un support borné conduit à une contradiction avec la croissance de $P^r(t)$.

Signification et affirmations
Les auteurs positionnent ce travail comme le premier résultat démontrant la croissance infinie du support pour les solutions d'Euler bi-rotationnelles.

• Contraste avec les écoulements axisymétriques : Alors que des travaux récents sur les écoulements axisymétriques de haute dimension (invariants par rotation autour d'un seul axe) ont fourni des bornes inférieures quantitatives sur la croissance du support, le cas bi-rotationnel présente des difficultés distinctes. Le noyau de vitesse dans le cadre bi-rotationnel ne peut être représenté par les intégrales elliptiques disponibles dans le cas axisymétrique, nécessitant une approche analytique différente.
• Limitations : L'article note explicitement que la preuve de la croissance infinie est non constructive (basée sur la contradiction) et ne fournit pas d'informations détaillées concernant la forme, le périmètre ou la courbure du patch lorsque $t \to \infty$. De plus, les auteurs précisent qu'ils n'ont pas pu prouver que la norme $L^\infty$ de la vorticité $\|w(t)\|_{L^\infty}$ diverge lorsque $t \to \infty$, car le facteur géométrique $r^n s^m$ pourrait potentiellement décroître le long des trajectoires de flot même si le support croît.
• Contexte : L'étude relie les « équations de lac » avec une profondeur $d(r,s) = r^n s^m$ et les mouvements de vortex ponctuels étudiés dans la littérature antérieure (Khesin–Yang, Yang), étendant l'analyse des vortex ponctuels aux patchs de taille finie.

En résumé, l'article prouve rigoureusement que pour les écoulements d'Euler bi-rotationnels en dimensions $d \ge 4$, les vorticités de type patch ne peuvent pas rester confinées dans une région bornée indéfiniment, établissant une propriété dynamique fondamentale de ces systèmes fluides de haute dimension.