Liouville Theorems Above the Critical $9/2$ Threshold for Stationary Navier-Stokes Equations

1. Contexte et Problématique

L'article s'attaque à un problème ouvert majeur dans l'analyse des équations de Navier-Stokes stationnaires en dimension 3 ($\mathbb{R}^3$) :
$$\begin{cases} -\Delta u + u \cdot \nabla u + \nabla P = 0 \\ \nabla \cdot u = 0 \end{cases}$$
où $u$ est le champ de vitesse et $P$ la pression.

Le problème central (Problème 1.1) :
Déterminer si toute solution $u \in \dot{H}^1(\mathbb{R}^3)$ (espace de Sobolev homogène) qui tend vers zéro à l'infini ($u(x) \to 0$ quand $|x| \to \infty$) est nécessairement identiquement nulle ($u \equiv 0$). C'est une question de type théorème de Liouville.

État de l'art et limites connues :

• L'embedding de Sobolev garantit que $u \in \dot{H}^1(\mathbb{R}^3) \implies u \in L^6(\mathbb{R}^3)$, mais cette information seule ne suffit pas à prouver la trivialité.
• G. Galdi (1994) a prouvé que si $u \in L^{9/2}(\mathbb{R}^3)$, alors $u \equiv 0$. La condition $L^{9/2}$ est considérée comme critique.
• Des améliorations partielles ont suivi (Chae & Wolf, Lerner, Kozono et al.) en affaiblissant la condition $L^{9/2}$ via des termes logarithmiques, des décompositions fréquentielles (basses/hautes fréquences) ou des normes faibles.
• Question ouverte : Peut-on relaxer la condition d'intégrabilité globale $L^{9/2}$ tout en garantissant la trivialité ?

2. Méthodologie

L'auteur développe une approche novatrice basée sur les espaces de Lebesgue à exposants variables ($L^{p(\cdot)}$). Contrairement aux approches précédentes qui séparent les comportements (ex: basses vs hautes fréquences), cette méthode permet de capturer la coexistence de régimes d'intégrabilité différents au sein d'un même cadre fonctionnel.

Points clés de la méthode :

1. Exposant variable : Au lieu d'imposer une condition uniforme $u \in L^p$, l'auteur impose $u \in L^{p(\cdot)}(\mathbb{R}^3)$ où l'exposant $p(x)$ varie spatialement.
2. Transition asymptotique : La fonction $p(x)$ est conçue pour être égale à 6 (le régime de Sobolev) près de l'origine et décroître continûment vers la valeur critique $9/2$ à l'infini.
3. Continuité Log-Hölder : Un aspect crucial de la preuve est que l'exposant variable $p(\cdot)$ satisfait les conditions de continuité Log-Hölder (locale et à l'infini). Cela garantit la bornitude des transformées de Riesz dans ces espaces.
   • Importance : La pression $P$ est récupérée à partir de la vitesse via les transformées de Riesz ($P = \sum R_i R_j (u_i u_j)$). La bornitude de ces opérateurs dans $L^{p(\cdot)}$ permet de contrôler la pression uniquement en fonction de la vitesse, évitant ainsi d'imposer des hypothèses supplémentaires sur $P$.
4. Technique de coupure (Cut-off) : La preuve utilise une fonction de coupure $\varphi_R$ et une estimation d'énergie sur des couronnes $C_R = \{x : R/2 < |x| < R\}$. L'objectif est de montrer que les termes résiduels (liés aux dérivées de la fonction de coupure) tendent vers zéro lorsque $R \to \infty$.

3. Résultats Principaux

Théorème 1.1 (Résultat principal)

Soit $u \in \dot{H}^1(\mathbb{R}^3)$ une solution de (1). Soit $R_0 > 3/2$ fixé. Définissons un exposant variable $\varepsilon(x)$ tel que :

• $\varepsilon(x) = 3/2$ pour $|x| < R_0$ (donnant $p(x) = 9/2 + 3/2 = 6$).
• $\varepsilon(x) = \frac{3}{2}\frac{R_0}{|x|}$ pour $|x| \ge R_0$ (donnant $p(x) = 9/2 + \frac{3R_0}{2|x|}$).

Si $u \in L^{9/2 + \varepsilon(\cdot)}(\mathbb{R}^3)$, alors $u \equiv 0$.

Interprétation : La trivialité est assurée même si l'intégrabilité n'est que légèrement supérieure à $9/2$ à l'infini, à condition qu'elle soit forte ($L^6$) près de l'origine.

Corollaire 1.1 (Localisation à l'infini)

Le résultat peut être localisé. Il suffit d'imposer la condition d'intégrabilité variable $u \in L^{9/2 + \varepsilon(\cdot)}$ uniquement à l'extérieur d'une boule $B(0, R_0)$. Aucune hypothèse n'est requise sur le comportement de $u$ à l'intérieur de cette boule (au-delà de $u \in \dot{H}^1$).

• Cela démontre que le mécanisme forçant la trivialité est purement asymptotique.

Théorème 1.2 (Généralisation)

Un résultat plus général est établi pour tout exposant variable $p(x)$ continu, radialement décroissant, tel que $p(x) = 6$ près de l'origine et $p(x) \to 9/2$ à l'infini avec une décroissance contrôlée de type $O(1/|x|)$. Si $u \in L^{p(\cdot)}(\mathbb{R}^3)$, alors $u \equiv 0$.

4. Contributions Techniques et Preuve

La preuve du Théorème 1.2 repose sur l'analyse des termes d'erreur dans l'identité d'énergie obtenue par multiplication par $\varphi_R u$ :
$$\int_{B_R} \varphi_R |\nabla u|^2 dx = I_1(R) + I_2(R)$$
où $I_1$ et $I_2$ contiennent les termes de Laplacien et de gradient de la fonction de coupure.

• Estimation de $I_1$ et $I_2$ : L'auteur utilise l'inégalité de Hölder dans les espaces à exposants variables.
• Comportement asymptotique : La clé réside dans le contrôle du terme $R^{2 - 9/p^+_{C_R}}$, où $p^+_{C_R}$ est le supremum de l'exposant sur la couronne $C_R$.
  • Grâce à la décroissance de $p(x)$ vers $9/2$, on a $p^+_{C_R} = 9/2 + O(1/R)$.
  • Cela implique que l'exposant de $R$ dans le terme d'estimation tend vers 0, mais de manière contrôlée ($R^{O(\ln R / R)} \to 1$).
  • Combiné avec le fait que $\|u\|_{L^{p(\cdot)}(C_R)} \to 0$ lorsque $R \to \infty$ (Lemme 2.5), les termes d'erreur $I_1$ et $I_2$ convergent vers zéro.
• Conclusion : La limite de l'intégrale de l'énergie sur $\mathbb{R}^3$ est nulle, impliquant $\nabla u = 0$ et donc $u=0$ (via les embeddings de Sobolev).

5. Signification et Impact

• Relaxation de la condition critique : Ce travail montre que la condition globale $L^{9/2}$ de Galdi peut être affaiblie. Il n'est pas nécessaire d'avoir une intégrabilité uniforme strictement supérieure à $9/2$ partout, ni même une condition $L^{9/2}$ stricte partout. Une intégrabilité qui tend vers $9/2$ à l'infini, mais qui reste "au-dessus" de manière contrôlée, suffit.
• Nature asymptotique du problème : Le résultat confirme que la rigidité (trivialité) des solutions stationnaires est dictée par le comportement à l'infini, et non par la structure locale.
• Nouveau cadre fonctionnel : L'utilisation des espaces $L^{p(\cdot)}$ pour les équations de Navier-Stokes stationnaires est une avancée méthodologique. Elle permet de modéliser des transitions douces entre régimes d'intégrabilité, offrant une flexibilité supérieure aux espaces classiques ou aux décompositions fréquentielles.
• Élimination des hypothèses sur la pression : Grâce à la propriété de continuité Log-Hölder de l'exposant, l'auteur évite de devoir supposer des conditions d'intégrabilité sur la pression $P$, ce qui était souvent nécessaire dans des cadres similaires antérieurs.

En résumé, cet article établit un nouveau théorème de Liouville qui repousse les limites de la condition d'intégrabilité requise pour garantir l'unicité de la solution nulle, en exploitant la richesse des espaces à exposants variables pour capturer la dynamique asymptotique des solutions.