On non-uniqueness of mild solutions and stationary singular solutions to the Navier-Stokes equations

Each language version is independently generated for its own context, not a direct translation.

Imaginez que vous essayez de prédire comment l'eau coule dans une rivière ou comment l'air tourne autour d'une aile d'avion. Les mathématiciens utilisent des équations très complexes, appelées les équations de Navier-Stokes, pour décrire ce mouvement.

Pendant des décennies, les scientifiques ont cru qu'une chose était vraie : si vous connaissez l'état initial de l'eau (où elle est et comment elle bouge au début), il n'y a qu'une seule façon possible pour qu'elle évolue ensuite. C'est comme si vous lanciez une balle : si vous connaissez la force et l'angle, la trajectoire est unique.

Ce papier, écrit par Alexey Cheskidov et Hedong Hou, vient briser cette certitude. Il dit : « Non, ce n'est pas toujours vrai. Parfois, à partir du même point de départ, l'eau peut choisir deux chemins totalement différents. »

Voici une explication simple, avec des analogies, de ce qu'ils ont découvert.

1. Le Problème : La Prédiction est-elle Possible ?

Les équations de Navier-Stokes sont comme une recette de cuisine pour le fluide.

L'idée classique : Si vous donnez la même recette (les mêmes ingrédients initiaux), vous obtenez toujours le même gâteau (le même mouvement futur). C'est ce qu'on appelle l'unicité.
La découverte de l'article : Les auteurs montrent que dans certains cas très particuliers (quand on regarde le fluide avec des "loupes" mathématiques très grossières, appelées espaces de Besov), la recette ne donne pas un seul gâteau, mais deux gâteaux différents à partir des mêmes ingrédients.

2. L'Analogie du "Fantôme" et de la Solution Stationnaire

Pour prouver cela, les auteurs ne regardent pas l'eau qui coule rapidement. Ils inventent une situation étrange : une solution stationnaire.

Imaginez un lac parfaitement calme. L'eau ne bouge pas. C'est une solution "stationnaire".
Normalement, si l'eau est calme, elle reste calme.
Mais les auteurs ont construit un "fantôme" : une solution mathématique où l'eau semble calme, mais qui contient en réalité une énergie cachée et infinie (une singularité). C'est comme un lac qui semble plat à l'œil nu, mais qui, si vous aviez des lunettes magiques, révèlerait des tourbillons infinis et chaotiques sous la surface.

Ils utilisent une technique appelée l'intégration convexe.

L'analogie du sculpteur : Imaginez un sculpteur qui veut créer une statue. Au lieu de tailler un bloc de pierre, il commence avec une forme simple et ajoute des couches de détails de plus en plus fins, un peu comme on ajoute du bruit à une image. À chaque étape, il ajuste la forme pour qu'elle ressemble de plus en plus à une solution réelle, tout en gardant une "erreur" (un stress) très petite.
En répétant ce processus à l'infini, ils créent une solution qui existe mathématiquement mais qui est "singulière" (elle a des propriétés bizarres, comme une énergie infinie).

3. Le Résultat : Deux Chemins pour un Départ

Une fois qu'ils ont créé ce "fantôme" (la solution stationnaire singulière), ils font une expérience de pensée :

Scénario A : L'eau reste exactement comme ce "fantôme" pour toujours. Elle ne bouge pas, mais elle garde cette énergie cachée.
Scénario B : L'eau commence exactement au même endroit (le même "fantôme"), mais elle décide soudainement de se comporter de manière "normale" et lisse, en se débarrassant de l'énergie cachée.

Le choc : Les deux scénarios commencent exactement de la même manière (même position initiale), mais ils évoluent différemment. L'unicité est brisée ! C'est comme si vous lanciez deux pièces de monnaie identiques, et que l'une tombait sur "Face" et l'autre sur "Pile" sans aucune raison extérieure.

4. Pourquoi est-ce important ?

Pour la physique : Cela signifie que dans des conditions extrêmes (très turbulentes, très "grossières" mathématiquement), les équations qui régissent notre monde ne suffisent pas à prédire l'avenir avec certitude. Le chaos peut naître de nulle part.
Pour les mathématiques : Ils ont prouvé que ce manque d'unicité n'est pas un accident, mais qu'il existe dans une grande famille de mathématiques (les espaces de Besov). Ils ont aussi montré que cela fonctionne même si on change la façon dont la friction agit sur l'eau (les équations fractionnaires).

5. La Conclusion : Un Monde Imprévisible

En résumé, ce papier dit :

« Si vous regardez le monde fluide avec des lunettes mathématiques très spécifiques, vous découvrirez que l'histoire n'est pas écrite d'avance. À partir d'un même instant présent, le futur peut bifurquer en deux directions totalement différentes. »

C'est une découverte fascinante qui rappelle que la nature, surtout quand elle est turbulente, peut être plus capricieuse et moins prévisible que nous ne le pensions. Les auteurs ont utilisé des outils mathématiques très avancés (comme l'intégration convexe) pour construire ces "monstres" mathématiques qui défient notre intuition sur la façon dont les fluides se comportent.

Each language version is independently generated for its own context, not a direct translation.

Voici un résumé technique détaillé de l'article « Non-uniqueness of mild solutions and stationary singular solutions to the Navier-Stokes equations » d'Alexey Cheskidov et Hedong Hou.

1. Problématique et Contexte

L'article s'attaque à la question fondamentale de l'unicité inconditionnelle des solutions faibles (ou « mild solutions ») des équations de Navier-Stokes (NSE) et de leurs versions fractionnaires (NSEα).

Contexte : Il est bien établi que pour des données initiales dans des espaces critiques ou sous-critiques « réguliers » (comme $L^d$ ou $\dot{H}^{d/2-1}$ ), l'existence et l'unicité locale sont garanties (travaux de Fujita-Kato, Kato, Koch-Tataru, etc.). Cependant, l'unicité inconditionnelle (c'est-à-dire l'unicité de la solution dans une classe fonctionnelle donnée, sans hypothèse supplémentaire de régularité) échoue dans certains espaces supercritiques (comme $H^\beta$ pour $\beta > 0$ sur $\mathbb{T}^3$ , démontré par Buckmaster et Vicol via l'intégration convexe).
Le vide de connaissance : Avant ce travail, il n'était pas connu si l'unicité inconditionnelle échouait dans les espaces de Besov à régularité négative ( $B^{-\theta}_{q,r}$ avec $\theta > 0$ ), qui incluent des espaces sous-critiques et critiques. De plus, la question de l'existence de solutions stationnaires singulières (à énergie infinie) dans ces espaces restait ouverte pour des puissances arbitraires du Laplacien.

2. Méthodologie

Les auteurs utilisent une approche combinant l'analyse fonctionnelle fine et la technique de l'intégration convexe (convex integration), initialement développée pour les équations d'Euler et adaptée aux équations de Navier-Stokes par Buckmaster et Vicol.

La stratégie se décompose en plusieurs étapes clés :

Réduction aux solutions stationnaires : Au lieu de construire directement des solutions non-unicité dépendantes du temps, les auteurs construisent des solutions stationnaires singulières non triviales pour les équations de Navier-Stokes stationnaires (NSα).
- Une solution $u$ est dite « singulière » si elle n'est pas dans $L^2$ (énergie infinie) et si le terme non linéaire $u \otimes u$ n'est pas défini classiquement dans $L^1$ .
- Le produit tensoriel $u \otimes u$ est défini rigoureusement comme un paraproduit dans l'espace des distributions modulo constantes, en utilisant la décomposition de Littlewood-Paley.
Lien entre solutions stationnaires et solutions évolutives :
- Ils prouvent (Proposition 1.4) que toute solution stationnaire singulière $u$ génère une solution « mild » stationnaire $U(t) = u$ pour l'équation d'évolution (NSEα).
- Par ailleurs, grâce à la bien-posé locale dans des espaces réguliers (Proposition 2.1), il existe une autre solution « mild » classique (lisse pour $t>0$ ) partant de la même donnée initiale $u_{in} = u$ .
- Si $u$ n'est pas lisse (ce qui est le cas pour les solutions singulières construites), alors $U(t) \neq V(t)$ pour $t > 0$ , prouvant ainsi la non-unicité.
Construction par Intégration Convexe itérative :
- Les auteurs construisent une suite de solutions approchées $(u_n, R_n)$ pour le système de Navier-Stokes-Reynolds :
  $\text{div}(u_n \otimes u_n) + (-\Delta)^\alpha u_n + \nabla p_n = \text{div } R_n$
- À chaque étape, une perturbation de vitesse $w$ est ajoutée pour réduire le tenseur de Reynolds $R_n$ vers zéro tout en contrôlant la norme de la perturbation dans des espaces de Besov négatifs.
- Outils géométriques : Utilisation des écoulements de Mikado (Mikado flows) comme blocs de construction. Ces champs vectoriels sont localisés spatialement et oscillent rapidement.
- Localisation fréquentielle : Une innovation clé est la localisation précise du support de Fourier des perturbations dans des coquilles dyadiques spécifiques, permettant de contrôler les termes d'interaction (paraproduits) et d'assurer la convergence dans les espaces de régularité négative.
Estimations d'énergie et flux : Pour le résultat d'unicité dans l'espace critique $B^{-1}_{\infty,1}$ , ils utilisent une analyse fine du flux d'énergie des modes hauts vers les modes bas, exploitant les inégalités de Bernstein et les propriétés de l'espace $B^{-1}_{\infty,1}$ .

3. Résultats Principaux

Les résultats sont divisés en deux catégories : la non-unicité et l'unicité dans un cas critique.

A. Échec de l'unicité inconditionnelle (Théorèmes 1.1 et 1.2)

Résultat : Pour tout $\theta > 0$ et pour tout espace de Besov $B^{-\theta}_{q,r}(\mathbb{T}^d)$ (avec $d \ge 2$ ), l'unicité inconditionnelle des solutions « mild » des équations de Navier-Stokes (et fractionnaires pour $\alpha > 1/2$ ) échoue.
Construction : Il existe des données initiales arbitrairement petites dans ces espaces qui admettent au moins deux solutions « mild » distinctes.
Portée : Cela inclut les régimes sous-critiques et critiques. C'est le premier résultat de non-unicité dans des classes de solutions sous-critiques pour les NSE.
Fractionnaire : Le résultat s'étend aux équations fractionnaires (NSEα) pour tout $\alpha > 1/2$ , y compris dans les espaces $L^p$ pour $1 \le p < 2 $lorsque$ \alpha > (d+2)/4$.

B. Existence de solutions stationnaires singulières (Théorème 1.5)

Il existe une infinité de solutions stationnaires singulières non triviales pour (NSα) qui appartiennent à l'intersection de tous les espaces $L^p$ ( $p<2$ ) et de tous les espaces de Besov à régularité négative $B^{-\theta}_{q,r}$ .
Pour $0 < \alpha < (d+1)/4 $, ces solutions existent même dans$ L^2(\mathbb{T}^d)$, ce qui implique la non-unicité des solutions faibles d'énergie finie (Corollaire 1.6).

C. Unicité dans un espace critique endpoint (Théorème 1.7)

Résultat positif : Il n'existe pas de solution stationnaire singulière non triviale dans l'espace critique $B^{-1}_{\infty,1}(\mathbb{T}^d)$ (pour $\alpha=1$ ) ou des espaces critiques apparentés pour $\alpha > 1$ .
Cela améliore les résultats précédents de Lemarié-Rieusset et montre que l'unicité est préservée dans cet espace critique spécifique, contrairement aux espaces de régularité négative plus faibles.

4. Contributions Clés

Extension de la non-unicité aux espaces sous-critiques : Contrairement aux travaux antérieurs (Buckmaster-Vicol, Tao) qui opéraient dans des espaces supercritiques, cet article démontre la non-unicité dans des espaces où la dissipation est théoriquement suffisante pour garantir la régularité (sous-critique), mais où la régularité initiale est trop faible (négative).
Généralisation aux équations fractionnaires : Les résultats couvrent un spectre large de puissances du Laplacien $\alpha$ , montrant que la non-unicité persiste même pour des dissipation très fortes ( $\alpha$ grand), tant que la régularité de l'espace est négative.
Méthode de construction de solutions singulières : La construction explicite de solutions stationnaires singulières dans des espaces de Besov négatifs via l'intégration convexe, avec un contrôle précis des paraproduits, est une avancée technique majeure.
Distinction fine des espaces critiques : La preuve de l'unicité dans $B^{-1}_{\infty,1}$ tandis que la non-unicité règne dans $B^{-\theta}_{q,r}$ pour $\theta > 0$ affine la compréhension des limites de la bien-posé des équations de Navier-Stokes.

5. Signification et Impact

Ce travail remet en question la frontière entre les régimes de bien-posé et de mal-posé pour les équations de Navier-Stokes. Il démontre que la régularité négative, même dans des espaces sous-critiques, est suffisante pour permettre une multiplicité de solutions, suggérant que la dissipation seule ne suffit pas à garantir l'unicité sans une hypothèse de régularité initiale suffisante (ou une classe de solution spécifique).

Cela a des implications profondes pour la théorie de la turbulence et la modélisation mathématique des fluides, indiquant que la prédictibilité des équations de Navier-Stokes peut échouer pour des données initiales très irrégulières, même si elles sont « petites » dans des normes appropriées. De plus, la méthode développée ouvre la voie à l'étude de la non-unicité pour d'autres équations aux dérivées partielles dissipatives dans des espaces de régularité négative.