🔢 mathematics

Nonuniqueness of Leray-Hopf solutions to the unforced incompressible 3D Navier-Stokes Equation

Cet article présente la première preuve assistée par ordinateur démontrant la non-unicité des solutions de Leray-Hopf pour les équations de Navier-Stokes tridimensionnelles incompressibles non forcées, en établissant l'existence d'une infinité de solutions via l'analyse rigoureuse de l'instabilité d'une solution auto-similaire.

Auteurs originaux : Thomas Hou, Yixuan Wang, Changhe Yang

Publié 2026-03-20

📖 5 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Thomas Hou, Yixuan Wang, Changhe Yang

Article original sous licence CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Ceci est une explication générée par l'IA de l'article ci-dessous. Elle n'a pas été rédigée ni approuvée par les auteurs. Pour une précision technique, consultez l'article original. Lire la clause de non-responsabilité complète

Imaginez que vous regardiez un tourbillon d'eau dans une baignoire. Si vous le laissez tranquille, il finit par se calmer. Mais que se passe-t-il si vous donnez une petite pichenette précise à l'eau ? Dans la physique des fluides, il y a une règle fondamentale, une équation célèbre appelée Navier-Stokes, qui devrait nous dire exactement comment l'eau va bouger.

Pendant des décennies, les mathématiciens se sont demandé : Si je donne la même pichenette exacte à l'eau, l'équation prédit-elle toujours le même résultat ?

La réponse attendue était "Oui". C'est ce qu'on appelle l'unicité : une cause unique mène à un effet unique.

Mais dans cet article révolutionnaire (écrit par Thomas Hou, Yixuan Wang et Changhe Yang), les auteurs disent : "Non, pas toujours."

Voici une explication simple de leur découverte, sans formules compliquées.

1. Le Problème : Un Miroir Brisé

Imaginez que vous lancez une balle de tennis contre un mur. Selon les lois de la physique classique, la balle rebondit toujours de la même manière si vous la lancez avec la même force et le même angle. C'est prévisible.

Les équations de Navier-Stokes sont censées être ce mur pour les fluides (l'eau, l'air, le sang). Si vous connaissez la position de chaque goutte d'eau au début, vous devriez pouvoir prédire où elles seront dans une seconde, une heure ou un an.

Cependant, les auteurs ont découvert qu'il existe des situations très spécifiques (des "tourbillons" particuliers) où, si vous lancez la balle exactement de la même façon, elle pourrait rebondir de deux manières totalement différentes. C'est comme si le mur avait deux visages : un qui renvoie la balle à gauche, et un autre qui la renvoie à droite, sans que vous ayez changé votre lancer.

2. La Méthode : Le "Super-Ordinateur" Détective

Pour prouver cela, les auteurs n'ont pas seulement utilisé leur cerveau. Ils ont utilisé un ordinateur très puissant, mais pas n'importe comment.

L'approche : Ils ont imaginé un tourbillon d'eau qui se comporte de manière "auto-similaire". C'est un peu comme un zoom infini : si vous zoomez sur le tourbillon, il a toujours la même forme, peu importe la distance.
Le test de stabilité : Ils ont demandé à l'ordinateur : "Si je touche ce tourbillon avec une toute petite aiguille (une perturbation), va-t-il revenir à sa forme normale ou va-t-il exploser en une nouvelle forme ?"
La découverte : L'ordinateur a trouvé un tourbillon très spécial qui est instable. Une fois qu'on le touche, il ne revient pas en arrière. Il bascule vers un autre état.

3. La Preuve : Pas juste une Simulation, une Preuve Mathématique

C'est là que l'article devient génial. Souvent, les ordinateurs font des erreurs d'arrondi (comme si vous calculiez 1/3 = 0,3333333333). En mathématiques pures, ces petites erreurs ne suffisent pas pour dire "J'ai trouvé la vérité".

Les auteurs ont développé une méthode incroyable, qu'on appelle une "preuve assistée par ordinateur rigoureuse".

Ils ont construit un "filet de sécurité" mathématique autour de leurs calculs.
Ils ont prouvé que même avec les erreurs d'arrondi de l'ordinateur, le résultat reste vrai. C'est comme si un juge disait : "Même si votre calcul a une petite marge d'erreur, le coupable est bien celui-là, sans aucun doute possible."

Ils ont divisé le problème en deux parties :

La partie "coercive" : C'est la partie du fluide qui veut rester calme et stable (comme un ressort qui veut revenir à sa place).
La partie "compacte" : C'est la petite partie instable qui peut faire basculer le système.

En utilisant des mathématiques avancées, ils ont montré que cette petite partie instable est assez forte pour créer une deuxième solution à partir de la même situation de départ.

4. Pourquoi est-ce important ?

Jusqu'à présent, on pensait que les équations de Navier-Stokes étaient "saines" : une cause, un effet.
Cette découverte montre que l'univers des fluides est un peu plus chaotique et mystérieux qu'on ne le pensait.

L'analogie du chemin de fer : Imaginez un train qui arrive à un embranchement. Normalement, si vous ne changez rien, il prend toujours la même voie. Les auteurs ont prouvé qu'il existe un endroit où, sans que vous touchiez au levier, le train pourrait choisir la voie A ou la voie B, et les deux sont valides selon les lois de la physique.

En Résumé

Cet article est une percée majeure car c'est la première fois qu'on prouve mathématiquement (avec l'aide d'un ordinateur très rigoureux) que les équations qui régissent l'eau et l'air peuvent avoir plusieurs réponses différentes pour le même départ.

Cela ne signifie pas que la physique est cassée, mais que notre compréhension de la turbulence et des fluides est plus complexe. C'est comme découvrir que l'histoire de l'univers pourrait avoir deux fins différentes, même si tout a commencé exactement de la même manière.

Le code et les preuves sont publics, ce qui permet à d'autres scientifiques de vérifier, de jouer avec et d'explorer ce nouveau monde de la non-unicité.

1. Problématique et Contexte

L'équation de Navier-Stokes incompressible tridimensionnelle (3D) sans force extérieure est l'un des problèmes centraux non résolus en mathématiques appliquées. Bien que l'existence de solutions faibles globales (solutions de Leray-Hopf) ait été établie par Jean Leray et Eberhard Hopf, leur unicité reste une question ouverte.

Le papier s'attaque spécifiquement à la non-unicité des solutions de Leray-Hopf pour l'équation non forcée sur $\mathbb{R}^3$ . L'objectif est de démontrer rigoureusement l'existence de plusieurs solutions distinctes partant d'une même condition initiale régulière (à support compact), en exploitant l'instabilité de profils auto-similaires.

2. Méthodologie : Preuve Assistée par Ordinateur Rigoureuse

L'approche de l'article combine l'analyse mathématique rigoureuse et le calcul numérique haute précision. La stratégie se décompose en trois étapes majeures :

A. Cadre Auto-Similaire et Réduction Spectrale

Les auteurs cherchent des solutions sous forme auto-similaire :
$u(t, x) = \frac{1}{\sqrt{t}} \bar{U}\left(\frac{x}{\sqrt{t}}\right)$
Cette transformation réduit l'équation de Navier-Stokes à un système stationnaire pour le profil $\bar{U}$ . La non-unicité est alors liée à l'existence d'une valeur propre instable (partie réelle positive) pour l'opérateur linéarisé $L_{\bar{U}}$ autour de ce profil. Si une telle valeur propre existe, elle génère une variété instable permettant de construire une infinité de solutions.

B. Construction Numérique de Profils Candidats

Contrairement aux travaux antérieurs qui utilisaient des forces externes ou des données singulières, les auteurs doivent trouver un profil $\bar{U}$ qui résout exactement l'équation non forcée.

Méthode : Ils utilisent une méthode de descente de gradient projetée pour minimiser la valeur propre réelle de l'opérateur linéarisé.
Discrétisation : Utilisation d'une méthode des éléments finis (FEM) sur un domaine borné, suivie d'une extension analytique vers l'espace entier via un changement de variable $r = \tan(\beta)$ .
Base Spectrale : Interpolation des solutions sur une base spectrale trigonométrique exacte pour garantir la condition de divergence nulle (incompressibilité) à la machine.

C. Cadre de Preuve Assistée par Ordinateur (Rigorous Verification)

Une fois un candidat numérique $(\bar{U}, \bar{v}, \bar{\lambda})$ obtenu avec une petite erreur résiduelle, les auteurs utilisent un cadre de preuve rigoureux pour certifier l'existence d'une solution exacte à proximité.

Décomposition de l'Opérateur Linéarisé : L'opérateur $L$ est décomposé en une partie coercive $L_1$ (dérivée du Laplacien et des termes de dérive) et une perturbation compacte $L_2$ .
Approximation de Rang Fin : La partie compacte $L_2$ est approximée par un opérateur de rang fini $L_{ap}$ basé sur les $m$ premières fonctions propres d'un problème aux valeurs propres généralisé.
Estimation des Erreurs :
- Le résidu de l'approximation de rang fini est contrôlé rigoureusement.
- L'inversibilité de l'opérateur linéarisé est vérifiée sur le sous-espace de rang fini (matrice de petite taille, ~25x25) et sur le complément orthogonal (via la coercivité).
Théorème du Point Fixe : En utilisant le théorème du point fixe de Schauder, ils prouvent l'existence d'un profil exact $\bar{U} = \bar{U}_{num} + \delta U$ et d'une paire propre instable $(\lambda, v)$ avec $\text{Re}(\lambda) > 0$ .

3. Contributions Clés

Première Preuve Rigoureuse pour le Cas Non Forcé : C'est, à la connaissance des auteurs, la première preuve assistée par ordinateur démontrant la non-unicité pour les équations de Navier-Stokes non forcées en 3D. Les travaux précédents (Jia-Sverak, Albritton-Brue-Colombo) nécessitaient soit des hypothèses spectrales non prouvées, soit l'ajout de termes de force singuliers.
Nouvelle Méthode Numérique : Développement d'une méthode innovante combinant éléments finis, changement de coordonnées pour l'espace infini, et bases spectrales à divergence nulle pour obtenir des candidats de très haute précision.
Cadre de Vérification Robuste : Mise en place d'un cadre théorique (Propositions 1 et 2) qui sépare la partie coercive (facile à contrôler) de la partie compacte (approximée numériquement), permettant de réduire le problème de vérification à l'analyse de matrices de petite taille et de résidus contrôlés par intervalles.
Coercivité Exploitable : L'article souligne que la viscosité fournit une coercivité réelle (coefficients d'environ 0.051 et 0.164), ce qui rend la preuve nettement plus simple que pour les équations d'Euler (où la coercivité est absente et les poids singuliers sont nécessaires).

4. Résultats Principaux

Théorème 1 (Non-unicité) : Il existe une infinité de solutions de Leray-Hopf distinctes et "suitables" pour l'équation de Navier-Stokes (1.1) sur $\mathbb{R}^3 \times [0, 1]$ partant de la même condition initiale $u_{in}$ (à support compact, divergence nulle, régulière). Ces solutions satisfont les inégalités d'énergie mais ne respectent pas la condition de Prodi-Serrin (qui garantirait l'unicité).
Théorème 2 (Existence du Profil et de la Valeur Propre) : Il existe une solution faible $(\bar{U}, \bar{v}, \bar{\lambda})$ au système auto-similaire linéarisé où $\bar{\lambda}$ est une valeur propre strictement négative (dans la convention de signe de l'article, correspondant à une croissance exponentielle dans le temps physique, donc une instabilité).
Données Numériques Vérifiées :
- Résidu de la solution de profil : $\|\mathcal{E}_U\|_{L^2} \le 6.5 \times 10^{-7}$ .
- Résidu de l'équation aux valeurs propres : $\|\mathcal{E}_v\|_{L^2} \le 1.9 \times 10^{-5}$ .
- Valeur propre instable vérifiée : $\bar{\lambda} \approx -0.113$ (indiquant une instabilité).
- Les constantes de coercivité et les bornes d'erreur sont calculées avec une arithmétique d'intervalles pour garantir l'absence d'erreurs d'arrondi.

5. Signification et Impact

Ce travail représente une avancée majeure dans l'étude de la turbulence et de la régularité des équations de Navier-Stokes :

Réponse à une Question Ouverte : Il démontre que l'unicité des solutions de Leray-Hopf échoue même pour des données initiales régulières à support compact, contredisant l'intuition que la régularité initiale suffit à garantir l'unicité globale.
Limites de la Théorie Actuelle : Il montre que les solutions peuvent bifurquer via des mécanismes d'instabilité auto-similaire, suggérant que la singularité (blow-up) pourrait être liée à ces bifurcations plutôt qu'à une explosion de l'énergie.
Méthodologie pour l'Avenir : Le cadre de preuve assistée par ordinateur développé ici, combinant analyse fonctionnelle, approximation spectrale et vérification par intervalles, ouvre la voie à la résolution rigoureuse d'autres problèmes complexes en dynamique des fluides (comme la singularité des équations d'Euler ou de Navier-Stokes avec d'autres conditions aux limites).

En résumé, les auteurs ont réussi à transformer une conjecture numérique (l'existence de profils instables) en un théorème mathématique rigoureux, prouvant que la non-unicité est une propriété intrinsèque des équations de Navier-Stokes 3D non forcées.