🔢 mathématiques

Existence of a weak solution to the Navier-Stokes equations enjoying the energy equality

Cet article prouve l'existence d'une solution faible aux équations de Navier-Stokes qui satisfait l'égalité de l'énergie en prenant la limite des solutions d'un système mollifié, bien qu'il n'établisse pas que toutes les solutions faibles de Leray-Hopf partagent cette propriété en raison de l'absence de résultats d'unicité.

Auteurs originaux : Paolo Maremonti, Alfonsina Tartaglione

Publié 2026-10-27

📖 6 min de lecture🧠 Analyse approfondie

CC0 1.0

Auteurs originaux : Paolo Maremonti, Alfonsina Tartaglione

Article original placé dans le domaine public sous CC0 1.0 (http://creativecommons.org/publicdomain/zero/1.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

Les fluides sont partout, de l'air que nous respirons au sang qui circule dans nos veines. Lorsque les scientifiques tentent de prédire comment ces fluides se déplacent, ils s'appuient sur un ensemble de règles connues sous le nom d'équations de Navier-Stokes. Ces équations décrivent comment la vitesse et la pression d'un fluide changent au fil du temps et de l'espace. Depuis des décennies, les mathématiciens ont été capables de prouver que des solutions à ces équations existent, ce qui signifie qu'une description mathématique de l'écoulement peut être trouvée. Cependant, une lacune persistante est demeurée dans notre compréhension. Bien que nous sachions que ces solutions respectent généralement une règle de conservation de l'énergie — où l'énergie totale du fluide doit rester constante ou diminuer légèrement à cause de la friction — les preuves mathématiques précédentes ne pouvaient garantir que l'énergie ne s'augmenterait pas. Elles ne pouvaient pas prouver que l'énergie restait parfaitement équilibrée, comme la physique le suggère. Cette incertitude laisse ouverte la possibilité que, dans certaines conditions, les modèles mathématiques puissent permettre à l'énergie de disparaître mystérieusement, un scénario qui impliquerait une rupture dans notre compréhension de la manière dont les fluides se comportent.

Une étude récente de Paolo Maremonti et Alfonsina Tartaglione aborde cette lacune de longue date. Les chercheurs ont réussi à construire un type spécifique de solution aux équations de Navier-Stokes qui respecte strictement la loi de conservation de l'énergie. Dans leurs travaux, ils démontrent qu'il est possible de trouver une description d'un écoulement de fluide où l'énergie totale à presque chaque instant, plus l'énergie perdue par friction au fil du temps, est exactement égale à l'énergie initiale du fluide. Ce résultat est significatif car il prouve que le problème de l'« énergie manquante » n'est pas une caractéristique inévitable des équations elles-mêmes, mais plutôt une limitation des méthodes précédemment utilisées pour trouver des solutions. Les auteurs y sont parvenus en affinant une technique classique qui lisse les aspérités des équations pour les rendre plus faciles à résoudre, puis en montrant soigneusement qu'à mesure que ces versions lissées deviennent plus précises, elles convergent vers une solution qui préserve parfaitement l'énergie.

L'équipe n'a pas prétendu avoir résolu l'intégralité du mystère de la dynamique des fluides, ni prouvé que chaque façon possible de décrire un écoulement de fluide doit conserver l'énergie. Au lieu de cela, ils ont montré qu'au moins une solution valide qui le fait existe. Cette distinction est cruciale car les équations sont connues pour être complexes, et l'on ne sait pas encore s'il existe une solution unique pour une condition initiale donnée. S'il existe plusieurs solutions, certaines pourraient encore perdre de l'énergie, mais l'existence de cette nouvelle solution conservant l'énergie prouve que les équations sont capables de décrire un écoulement physiquement parfait. Les chercheurs ont également identifié une fenêtre de temps spécifique où ce comportement parfait est garanti, selon la quantité d'énergie initiale du fluide. Pour les fluides commençant avec une faible quantité d'énergie, cette fenêtre est assez large, tandis que pour les fluides très énergétiques, la fenêtre est plus petite, bien qu'elle existe toujours.

Pour parvenir à cette conclusion, les auteurs ont employé une méthode qui consiste à créer une séquence de versions simplifiées et approximatives du problème de fluide. Imaginez essayer de comprendre la forme d'un rocher dentelé en regardant d'abord une série de pierres plus lisses et plus rondes qui deviennent progressivement plus semblables au rocher d'origine. Les chercheurs ont utilisé une approche similaire, en partant de versions lissées des équations de fluide qui sont mathématiquement plus faciles à manipuler. Ils ont prouvé que ces approximations se comportent bien et qu'à mesure que le lissage est supprimé, les solutions se stabilisent sous une forme finale et stable. En suivant attentivement la manière dont l'énergie se comporte lors de cette transition, ils ont pu montrer que la solution finale ne perd aucune énergie à cause d'artefacts mathématiques. Ce processus a nécessité un outil spécialisé et nouveau pour gérer les nombres impliqués, permettant de filtrer les parties du calcul qui auraient pu suggérer une perte d'énergie et de se concentrer sur les parties qui la préservent.

Les implications de ce travail vont au-delà de la simple validation d'une preuve mathématique. Dans le monde réel, l'idée que l'énergie puisse disparaître d'un fluide sans cause physique est troublante. Si une telle chose était vraie, cela suggérerait que la turbulence — le mouvement chaotique et tourbillonnant observé dans les tempêtes ou les eaux rapides — pourrait agir comme un puits d'énergie caché. Le nouveau résultat suggère que, bien que la turbulence soit complexe, elle ne nécessite pas nécessairement une violation de la conservation de l'énergie pour exister. Les auteurs notent que leurs conclusions s'alignent sur l'idée que toute perte apparente d'énergie dans les modèles précédents était probablement le résultat des outils mathématiques utilisés, plutôt qu'une propriété fondamentale du fluide lui-même. Cela fournit un fondement plus solide pour comprendre comment les fluides se déplacent, garantissant que nos modèles mathématiques peuvent, du moins dans certains cas, refléter la réalité physique de la conservation de l'énergie sans compromis.

Bien que l'étude se concentre sur l'existence mathématique de ces solutions, elle touche également à la nature des solutions « faibleses » que les mathématiciens utilisent pour décrire des écoulements complexes. Ce sont des solutions qui peuvent ne pas être parfaitement lisses en chaque point, mais qui respectent néanmoins les règles globales du système. Les chercheurs ont montré que même au sein de cette catégorie de solutions plus large et moins restrictive, il est possible d'en trouver une qui respecte les lois strictes de l'énergie. Cette découverte ne permet pas d'exclure la possibilité que d'autres solutions plus chaotiques puissent se comporter différemment, mais elle établit que les équations sont suffisamment robustes pour supporter une description physiquement cohérente du mouvement des fluides. Ce travail sert de rappel que même dans les problèmes mathématiques les plus difficiles, il existe souvent un chemin vers la clarté si l'on aborde le problème sous le bon angle, en utilisant les bons outils pour combler le fossé entre l'approximation et la vérité.

Résumé Technique : Existence d'une solution faible des équations de Navier-Stokes jouissant de l'égalité de l'énergie

Énoncé du Problème
L'article traite du problème classique de la valeur initiale et aux limites de Navier-Stokes dans un domaine $\Omega \subseteq \mathbb{R}^3$ (borné, extérieur, demi-espace ou espace entier). Le système est donné par :
$v_t + v \cdot \nabla v + \nabla \pi = \Delta v, \quad \nabla \cdot v = 0$
avec des conditions aux limites nulles et une donnée initiale $v_0 \in J_2(\Omega)$ .

Bien que l'existence de solutions faibles de Leray-Hopf soit bien établie, ces solutions ne satisfont que l'inégalité de l'énergie :
$\|v(t)\|_2^2 + 2\int_s^t \|\nabla v(\tau)\|_2^2 d\tau \leq \|v(s)\|_2^2$
La validité de l'égalité de l'énergie (où l'inégalité devient une égalité) pour tout $t > 0$ demeure un problème ouvert dans les dimensions $n \geq 3$ . Les auteurs étudient s'il existe au moins une solution faible qui satisfait l'égalité de l'énergie presque partout dans le temps, en abordant spécifiquement l'écart souvent attribué à la turbulence potentielle ou à la « dissipation anormale ».

Méthodologie
Les auteurs emploient une approche constructive basée sur la technique de mollification originale de Leray, évitant le recours nécessaire à des résultats d'unicité (qui ne sont pas connus pour les solutions faibles). La méthodologie procède comme suit :

Système Mollifié : Les auteurs considèrent une séquence de problèmes de Navier-Stokes régularisés (3.1) où le terme non linéaire est lissé via un mollificateur de Friedrichs $J_m$ . Pour des données initiales lisses, ce système admet des solutions régulières uniques $\{v_m\}$ qui satisfont exactement l'égalité de l'énergie.
Analyse de Convergence : Le cœur de la preuve repose sur l'établissement de la convergence forte de la séquence des gradients $\{\nabla v_m\}$ ${\nabla v_{m}}$ vers $\nabla v$ $\nabla v$ dans des espaces de fonctions spécifiques.
- Lemme 2.3 : Un théorème de convergence spécialisé est introduit, agissant comme une variante du théorème de convergence dominée de Lebesgue. Il utilise une fonction de coupure $p(\alpha, r)$ pour gérer les séquences où les conditions de domination standard pourraient échouer, permettant ainsi le passage à la limite dans les termes non linéaires.
- Lemme 3.3 : Les auteurs prouvent que la séquence $\{v_m\}$ converge fortement vers la solution faible $v$ dans $L^q(0, T; J^{1,2}(\Omega))$ pour $q \in [1, 2)$ . C'est une étape cruciale, car la convergence faible seule est insuffisante pour passer à la limite dans le bilan énergétique.
Construction de la Fonction Auxiliaire : Pour récupérer l'égalité de l'énergie, les auteurs construisent une fonction auxiliaire spécifique $p(\alpha, r)$ (définie dans la section 4.2) impliquant des termes d'arctangente et de logarithme. Cette fonction agit comme un poids dans l'équation de l'énergie de la séquence approchante. En analysant soigneusement la limite lorsque le paramètre $\alpha \to 1^-$ , ils démontrent que le terme de « défaut » (la différence entre l'énergie de la limite et la limite des énergies) s'annule.

Contributions Principales et Résultats
Le résultat principal est le Théorème 1.1, qui établit :

Existence d'une Solution Faible Spécifique : Pour toute donnée initiale $v_0 \in J_2(\Omega)$ , il existe une solution faible $v$ (au sens de Leray-Hopf) qui satisfait l'égalité de l'énergie :
$\|v(t)\|_2^2 + 2\int_0^t \|\nabla v(\tau)\|_2^2 d\tau = \|v_0\|_2^2$
pour tout $t \in (0, \infty) \setminus I$ , où $I$ est un ensemble de mesure de Lebesgue contenu dans l'intervalle $(0, \theta)$ avec $\theta \leq c\|v_0\|_2^4$ .
Régularité et Continuité : La solution $v$ est à droite continue pour la norme $L^2$ à tous les instants $s$ pour lesquels l'inégalité de l'énergie (1.3) est vérifiée. L'ensemble des instants singuliers possibles $I$ est contenu dans l'intervalle spécifique $(0, \theta)$ .
Convergence Forte des Gradients : En conséquence de l'égalité de l'énergie pour cette solution spécifique, les auteurs prouvent (Corollaire 4.1) que la séquence des gradients $\{\nabla v_m\}$ converge fortement vers $\nabla v$ dans $L^2(0, T; L^2(\Omega))$ .
Bilan Énergétique Global : La solution satisfait l'identité de dissipation d'énergie globale :
$2\int_0^\infty \|\nabla v(t)\|_2^2 dt = \|v_0\|_2^2$

Signification et Revendications
L'article affirme modestement que, bien qu'il ne prouve pas que toute solution faible de Leray-Hopf satisfait l'égalité de l'énergie (en raison de l'absence d'un théorème d'unicité), il prouve l'existence d'au moins une telle solution construite via l'approximation standard de Leray.

Les auteurs soulignent les implications suivantes :

Contrainte Analytique : Le résultat impose une contrainte supplémentaire sur l'ensemble des solutions faibles possibles, suggérant que l'« écart » dans l'inégalité de l'énergie (souvent interprété comme une dissipation anormale ou la turbulence) peut ne pas être une caractéristique de toutes les solutions faibles, mais plutôt une propriété de solutions spécifiques non uniques.
Relation avec la Conjecture d'Onsager : Les auteurs notent que leur résultat permet une reformulation des conjectures concernant la « dissipation anormale » (analogue à la conjecture d'Onsager pour les équations d'Euler). Si l'égalité de l'énergie est vérifiée presque partout, toute divergence dans le bilan d'énergie doit être attribuée à la discontinuité de la norme $L^2$ aux instants singuliers plutôt qu'à un mécanisme de dissipation supplémentaire continu.
Contexte de la Bien-poséité : Le résultat est présenté comme pertinent pour les discussions récentes sur l'ill-poséité des équations de Navier-Stokes pour les solutions très faibles. Les auteurs suggèrent que l'exigence de l'égalité (ou de l'inégalité) de l'énergie peut agir comme un crit된 de sélection qui pourrait exclure certaines solutions non uniques et pathologiques.

La preuve est notée comme étant élémentaire dans son recours aux arguments de convergence et aux fonctions auxiliaires spécifiques, étendant les travaux précédents sur la compatibilité des données initiales $L^2$ avec l'égalité de l'énergie. Le résultat est valable tant pour les domaines bornés que non bornés et peut être étendu aux cas avec des forces externes $f \in L^2(0, T; L^2(\Omega))$ .

Articles similaires