On the Cauchy problem to the axially-symmetric solutions to the Navier-Stokes equations

Résumé Technique : Solutions Régulières Globales des Équations de Navier-Stokes Axisymétriques

Énoncé du Problème
Cet article traite du problème de Cauchy pour les équations de Navier-Stokes axisymétriques dans $\mathbb{R}^3$. L'objectif principal est de prouver l'existence de solutions régulières globales pour des données initiales arbitraires, à condition que les solutions possèdent une régularité suffisante pour satisfaire des développements spécifiques au voisinage de l'axe de symétrie. Les auteurs se concentrent sur la dérivation d'une estimation a priori globale pour les solutions régulières qui, combinée à l'existence de solutions locales, implique l'existence globale.

Les équations sont formulées en coordonnées cylindriques $(r, \phi, z)$, où le champ de vitesse $v$ et la vortité $\omega$ sont décomposés en composantes radiale, angulaire et axiale. Une caractéristique critique du cas axisymétrique est le comportement de la composante de « swirl » (tourbillonnement) $v_\phi$ et des termes de vortité associés au voisinage de l'axe de symétrie ($r=0$), où des singularités dans les équations pourraient potentiellement apparaître.

Méthodologie
Les auteurs emploient une stratégie consistant à localiser l'analyse en deux régions distinctes : un voisinage de l'axe de symétrie et la région éloignée de l'axe. Cette séparation est réalisée à l'aide d'une partition de l'unité $\{\zeta(r), \vartheta(r)\}$, où $\zeta$ est supporté près de $r=0$ et $\vartheta$ est supporté loin de l'axe.

1. Formulation par Fonction de Stream Modifiée et Vortité :
   L'analyse utilise la fonction de stream modifiée $\psi_1 = \psi/r$ et les composantes de vortité normalisées $\Phi = \omega_r/r$ et $\Gamma = \omega_\phi/r$. Les auteurs dérivent des estimations elliptiques pour $\psi_1$ dans les espaces $H^2$ et $H^3$, qui sont cruciales pour contrôler les gradients de vitesse près de l'axe.

2. Développements de Liu-Wang :
   Une exigence méthodologique centrale est l'hypothèse que les solutions satisfont les développements dérivés par Liu et Wang au voisinage de l'axe de symétrie. Plus précisément, on suppose que les composantes de vitesse radiale et angulaire ainsi que la fonction de stream se comportent comme suit :
   $$v_r \sim a_1(z,t)r + a_2(z,t)r^3 + \dots$$
   $$v_\phi \sim b_1(z,t)r + b_2(z,t)r^3 + \dots$$
   $$\psi \sim d_1(z,t)r + d_2(z,t)r^3 + \dots$$
   Ces développements garantissent que les termes impliquant la division par $r$ restent bornés et réguliers.

3. Estimations d'Énergie et Contrôle du Swirl :
   Les auteurs dérivent des estimations de type énergie pour les quantités $\Phi$ et $\Gamma$. Une partie importante du travail consiste à estimer le terme de couplage non linéaire $I = \int (v_\phi/r) \tilde{\Phi} \tilde{\Gamma} \, dx dt'$. Pour traiter ce terme sans imposer de restrictions sur l'amplitude du swirl, les auteurs divisent l'analyse en deux régimes complémentaires basés sur le rapport $L(s) = \|\tilde{v}'_\phi\|_{s, \infty} / \|\tilde{v}'_\phi\|_{\infty}$ :

• Régime 1 ($L(s) \geq c_0$) : Correspond à un profil de swirl non concentré. Les estimations sont dérivées en utilisant les inégalités d'interpolation et les développements de Liu-Wang.
• Régime 2 ($L(s) \leq c_0$) : Correspond à un profil de swirl concentré. Les estimations sont dérivées en utilisant les bornes $L^s$ et l'interpolation.
  En couvrant les deux régimes, les auteurs évitent la condition restrictive précédemment requise dans des travaux connexes (par exemple, exiger une borne inférieure spécifique sur la magnitude du swirl).

4. Bootstrap de Régularité :
   Une fois l'estimation a priori globale pour les normes d'énergie de $\Phi$ et $\Gamma$ établie, les auteurs utilisent la théorie de la résolubilité du système de Stokes non stationnaire dans les espaces de Sobolev à normes mixtes (en se référant à [MS]) pour augmenter de manière itérative la régularité de la vitesse $v$ et du gradient de pression $\nabla p$. Ce processus élève la solution de sa régularité initiale vers la classe $W^{3, 3/2}_3$.

Contributions Clés et Résultats

• Estimation A Priori Globale : Le résultat principal est le Théorème 1.1, qui établit l'estimation a priori globale :
  $$\|\omega_r/r\|_{V(\Omega_t)} + \|\omega_\phi/r\|_{V(\Omega_t)} \leq \phi(\text{données})$$
  où $V(\Omega_t)$ est la norme d'énergie, et $\phi$ est une fonction positive croissante des données initiales et des forces externes. Cette estimation est valable pour tout temps fini $t < \infty$.

• Suppression des Conditions Restrictives : Contrairement aux travaux précédents (par exemple, [Z1, Z2, OZ]) qui exigeaient des conditions spécifiques sur la magnitude du swirl ou des conditions d'annulation à l'axe, cet article dérive l'estimation globale sans supposer les conditions (*) ou (**) de l'introduction. Ceci est rendu possible en traitant les régions près de l'axe et loin de l'axe de manière indépendante et en utilisant l'analyse à deux régimes pour le terme de swirl.

• Existence de Solutions Régulières Globales : Le Théorème 1.2 démontre que si les données initiales et la force externe possèdent une régularité suffisante ($v(0) \in W^{3-2/3}_3$ et $f \in W^{1, 1/2}_3$), et si une solution locale existe, l'estimation a priori globale implique l'existence d'une solution régulière globale $v \in W^{3, 3/2}_3(\mathbb{R}^3_t)$ avec $\nabla p \in W^{1, 1/2}_3(\mathbb{R}^3_t)$.

• Cas des Petites Données : La Section 8 fournit un résultat complémentaire pour les petites données initiales, prouvant l'existence via des approximations successives. Les auteurs notent que le régime des petites données correspond à un petit swirl, ce qui est le complément du régime de grand swirl analysé dans le corps principal du texte.

Signification et Revendications
L'article prétend fournir une preuve rigoureuse de l'existence de solutions régulières globales axisymétriques aux équations de Navier-Stokes sous l'hypothèse que les solutions sont suffisamment régulières pour satisfaire les développements de Liu-Wang près de l'axe. Les auteurs soulignent que ces développements sont « absolument nécessaires » pour leurs preuves.

La signification du travail réside dans :

1. Compléter l'Estimation Globale : Fournir une borne a priori globale qui ne dépend pas des conditions restrictives sur le swirl trouvées dans la littérature antérieure.
2. Nouveauté Technique : L'utilisation d'une partition de l'unité pour séparer l'axe singulier du reste du domaine, permettant des techniques d'estimation indépendantes dans chaque région.
3. Propagation de la Régularité : Démontrer comment la bornitude des normes d'énergie des composantes de la vortité normalisées peut être utilisée pour effectuer le bootstrap de la solution vers une régularité de Sobolev plus élevée.

Les auteurs reconnaissent modestement que l'hypothèse de régularité suffisante (spécifiquement la validité des développements de Liu-Wang) est un prérequis à leur théorème principal. Ils citent la théorie de la régularité partielle de Caffarelli, Kohn et Nirenberg, notant que toute singularité potentielle pour les solutions axisymétriques doit se produire sur l'axe. Ainsi, leurs résultats s'appliquent aux solutions qui ne développent pas de telles singularités. La question de savoir si la borne globale peut être dérivée sans supposer ces développements demeure un problème ouvert.