Liouville Theorems for Stationary Navier-Stokes Equations via the Radial Velocity Component

Résumé Technique : Théorèmes de Liouville pour les Équations de Navier-Stokes Stationnaires via la Composante Radiale de la Vitesse

Énoncé du Problème
L'article aborde le problème de Liouville pour les équations de Navier-Stokes stationnaires dans $\mathbb{R}^3$ :
$$\begin{cases} -\Delta u + (u \cdot \nabla)u + \nabla \pi = 0, \\ \nabla \cdot u = 0, \end{cases}$$
où $u$ est le champ de vitesse et $\pi$ la pression. La question centrale, connue sous le nom de Conjecture 1.1 (proposée par Galdi et Seregin), demande si toute solution $u \in \dot{H}^1(\mathbb{R}^3)$ qui tend vers zéro à l'infini doit être identiquement nulle. Alors que le cas bidimensionnel est résolu (Gilbarg-Weinberger) et le cas quadridimensionnel est réglé (Galdi), le cas tridimensionnel demeure un problème ouvert majeur.

Les résultats existants reposent généralement sur des conditions d'intégrabilité isotropes globales (par exemple, $u \in L^{9/2}(\mathbb{R}^3)$) ou sur des conditions anisotropes impliquant des normes mixtes des composantes cartésiennes. L'auteur note que bien que $u \in \dot{H}^1(\mathbb{R}^3)$ implique $u \in L^6(\mathbb{R}^3)$ via l'injection de Sobolev, cette décroissance est insuffisante à elle seule pour prouver la trivialité.

Méthodologie
L'article utilise une technique de fonction de coupure combinée à des estimations d'énergie et des inégalités de Hölder dans des espaces de Lebesgue standards et à exposants variables.

1. Fonction de coupure et identité d'énergie : Les preuves utilisent une fonction de coupure radiale $\psi_R$ pour localiser l'identité d'énergie. En testant les équations avec $\psi_R u$ et en intégrant par parties, l'auteur dérive une inégalité bornant l'énergie de Dirichlet locale $\int_{B(R/2)} |\nabla u|^2$ par des termes de bord impliquant la pression et la vitesse sur l'anneau $C(R) = \{x : R/2 < |x| < R\}$.
2. Décomposition radiale : Un changement méthodologique clé est la décomposition du terme non linéaire et du terme de pression basée sur la composante radiale de la vitesse, $u_\rho$. L'auteur exploite le fait que le gradient de la fonction de coupure radiale, $\nabla \psi_R$, est purement radial. Cela permet de réécrire les termes d'intégrale impliquant $\nabla \psi_R \cdot u$ sous la forme $\partial_\rho \psi_R u_\rho$, isolant ainsi la composante radiale de la vitesse.
3. Espaces à exposants variables : Pour le deuxième résultat principal, l'auteur utilise le cadre des espaces de Lebesgue à exposants variables, $L^{p(\cdot)}(\mathbb{R}^3)$. Cela permet un traitement unifié de conditions d'intégrabilité variant spatialement, passant spécifiquement d'une condition plus forte près de l'origine à une condition critique à l'infini.
4. Contrôle de la pression : La pression $\pi$ est contrôlée via la représentation par transformée de Riesz $\pi = \sum R_i R_j (u_i u_j)$, tirant parti de la bornitude des transformées de Riesz sur les espaces $L^r$ pour relier $\|\pi\|_{L^3}$ à $\|u\|_{L^6}^2$.

Contributions et Résultats Clés

Théorème 1.1 (Condition d'intégrabilité radiale) :
L'auteur démontre que si $u \in \dot{H}^1(\mathbb{R}^3)$ est une solution et que sa composante radiale $u_\rho$ satisfait $u_\rho \in L^p(\mathbb{R}^3)$ pour $3/2 < p \le 3$, alors $u \equiv 0$.

• Signification : Ce résultat améliore les conditions isotropes précédentes (comme $L^{9/2}$) et les conditions anisotropes cartésiennes. Il démontre que la trivialité peut être déduite en imposant des contraintes d'intégrabilité uniquement sur la composante radiale de la vitesse, sans aucune restriction sur les composantes tangentielles.
• Mécanisme : La preuve repose sur une distribution spécifique de la non-linéarité cubique dans l'estimation d'énergie. En appliquant l'inégalité de Hölder avec des exposants $p_1=6$ (pour la vitesse complète $u$, justifié par l'injection de Sobolev) et $p_2=p$ (pour la composante radiale $u_\rho$), l'auteur équilibre les termes pour permettre $p$ aussi bas que $3/2$.

Théorème 1.2 (Condition à exposant variable) :
L'auteur établit un résultat d'unicité plus raffiné où la condition d'intégrabilité sur la composante radiale est autorisée à varier. Spécifiquement, si $u_\rho \in L^{3+\eta(\cdot)}(\mathbb{R}^3)$, où l'exposant $\eta(x)$ est défini de telle sorte qu'il vaut 3 pour $|x| < R_0$ (impliquant $u_\rho \in L^6$ localement) et décroît comme $3R_0/|x|$ pour $|x| \ge R_0$ (approchant l'exposant critique 3 à l'infini), alors $u \equiv 0$.

• Signification : Ce théorème montre que la condition critique $L^3$ pour la composante radiale n'a besoin d'être satisfaite qu'asymptotiquement. Une intégrabilité plus forte (jusqu'à $L^6$) n'est requise que sur un compact fixe, tandis que la condition se relâche jusqu'au seuil critique à l'infini. Cela met en évidence la "rigidité" du système pilotée par des propriétés localisées et radiales plutôt que par des conditions globales uniformes.

Théorème 3.1 (Résultat général à exposant variable) :
C'est le moteur technique derrière le Théorème 1.2. Il démontre que pour tout exposant variable $p(x)$ continu et radialement décroissant qui vaut 6 près de l'origine et tend vers 3 à l'infini avec un taux de décroissance spécifique ($|p(x)-3| \le C/|x|$), la condition $u_\rho \in L^{p(\cdot)}(\mathbb{R}^3)$ implique $u \equiv 0$.

Signification et Revendications
L'article prétend offrir une "perspective différente" sur le problème de Liouville en déplaçant le focus des conditions isotropes ou anisotropes cartésiennes vers l'anisotropie radiale.

• Hypothèses plus faibles : Les résultats imposent des conditions strictement plus faibles que les résultats isotropes connus (par exemple, $L^{9/2}$) et distincts des résultats anisotropes existants qui reposent sur des normes mixtes des composantes cartésiennes.
• Localisation : L'analyse révèle que la rigidité du système de Navier-Stokes stationnaire peut être pilotée par des propriétés d'intégrabilité localisées. Le Théorème 1.2 démontre spécifiquement que le seuil critique d'intégrabilité peut être approché asymptotiquement, permettant une transition d'un comportement local fort vers un comportement critique à l'infini.
• Nouveauté méthodologique : L'utilisation d'espaces de Lebesgue à exposants variables fournit un cadre flexible pour capturer ces comportements d'intégrabilité variant spatialement, surmontant les limitations des espaces à exposant fixe dans ce contexte.

L'auteur déclare explicitement que ces résultats ne résolvent pas la Conjecture 1.1 complète (qui ne requiert aucune hypothèse d'intégrabilité supplémentaire au-delà de $\dot{H}^1$ et de la décroissance) mais fournissent de nouvelles conditions suffisantes qui sont structurellement distinctes et moins restrictives sur les composantes du champ de vitesse que celles précédemment connues.