Nontrivial absolutely continuous part of anomalous dissipation measures in time

En dimension 4, cet article répond positivement à des questions ouvertes de Bruè et De Lellis en construisant des solutions aux équations de Navier-Stokes forcées qui exhibent une dissipation anormale dont la mesure associée possède une partie absolument continue non triviale par rapport au temps, tout en établissant la convergence faible-* vers une solution d'Euler dont le profil d'énergie cinétique est régulier.

L'essentiel

Imaginez que vous regardez une tasse de café très chaude. Si vous y versez un peu de lait froid, vous voyez des tourbillons se former, se mélanger, et finalement, le café devient uniformément tiède. C'est ce qu'on appelle la turbulence.

Dans le monde de la physique, il y a une règle fondamentale appelée la « loi de Kolmogorov » (ou la « loi zéro »). Elle dit quelque chose de contre-intuitif : même si le liquide devient de moins en moins visqueux (comme si le miel devenait de l'eau, puis de l'air), l'énergie ne disparaît pas simplement parce que le liquide est « fluide ». Elle continue de se dissiper, de se transformer en chaleur, à cause de ces tourbillons infinis qui s'agite. C'est ce qu'on appelle la dissipation anormale.

Le problème, c'est que les mathématiciens ont du mal à prouver que cela arrive vraiment dans des équations complexes comme celles de Navier-Stokes (qui décrivent le mouvement des fluides). Ils se demandent : « Est-ce que cette énergie disparaît vraiment, ou est-ce juste une illusion de nos calculs ? » Et surtout : « Cette disparition d'énergie se produit-elle de manière continue dans le temps, ou seulement à un instant précis ? »

Voici ce que les auteurs de cet article, Johan Johansson et Massimo Sorella, ont réussi à faire :

1. Le défi : Un puzzle en 4 dimensions

Pour résoudre ce casse-tête, ils n'ont pas travaillé sur un simple bol de soupe (3 dimensions), mais ils sont montés d'un cran : ils ont imaginé un univers à 4 dimensions.

• L'analogie : Imaginez que vous essayez de comprendre comment l'air se mélange dans une pièce. C'est déjà compliqué. Maintenant, imaginez que vous devez comprendre comment l'air se mélange dans une pièce qui a une dimension de plus, une dimension que nous ne pouvons pas voir, mais qui existe mathématiquement. C'est plus facile à manipuler pour les mathématiques, un peu comme si on utilisait un échafaudage pour construire un pont.

2. La méthode : Un mélangeur de haute précision

Les auteurs ont construit un exemple très spécifique, un peu comme un ingénieur qui crée une machine à mélanger parfaite.

• Le mélangeur (le champ de vitesse) : Ils ont créé un courant invisible qui tourne et s'agite d'une manière très particulière. Ce courant est conçu pour être « chaotique » mais contrôlé.
• La substance (le scalaire) : Ils ont ajouté une substance (comme de la couleur ou de la température) dans ce courant.
• Le résultat : Même si on rend le liquide de plus en plus « fin » (en réduisant la viscosité à presque zéro), la substance ne se mélange pas parfaitement. Elle continue de perdre de l'énergie de manière constante, tout au long du temps.

3. La découverte majeure : Ce n'est pas un éclair, c'est un fleuve

Avant cette étude, les exemples connus de ce phénomène ressemblaient à un éclair : toute l'énergie disparaissait d'un coup, à un instant précis (par exemple, à la toute fin de l'expérience). C'était comme si le café restait chaud pendant 10 secondes, puis devenait froid instantanément à la 11ème seconde.

Les auteurs ont prouvé qu'il existe des cas où la dissipation d'énergie ressemble plutôt à un fleuve qui coule.

• L'analogie : Au lieu d'un éclair, imaginez une pluie fine qui tombe continuellement. L'énergie se perd goutte à goutte, de manière régulière, tout au long de la durée de l'expérience.
• Pourquoi c'est important ? Cela correspond beaucoup mieux à ce que l'on observe dans la réalité (les simulations informatiques et les expériences physiques montrent que la dissipation est continue). Les auteurs ont donc créé un exemple mathématique qui colle enfin à la réalité physique.

4. Le lien avec la réalité (le 4D pour comprendre le 3D)

Même s'ils ont travaillé en 4 dimensions, leur résultat a des conséquences pour notre monde à 3 dimensions. Ils ont montré que si on prend ces équations complexes, on peut construire des solutions où :

1. Le fluide se comporte de manière très turbulente.
2. Il perd de l'énergie de façon continue (pas juste à la fin).
3. Cette perte d'énergie est « lisse » et prévisible dans le temps, pas chaotique.

En résumé

Ces chercheurs ont construit un « laboratoire mathématique » en 4 dimensions pour prouver que la turbulence peut consommer de l'énergie de manière continue et régulière, et non pas seulement par à-coups.

Ils ont répondu à des questions ouvertes depuis longtemps : « Est-ce que la dissipation anormale peut être continue ? » La réponse est OUI.

C'est comme si on avait enfin réussi à prouver mathématiquement pourquoi votre café refroidit doucement et régulièrement, et non pas en un claquement de doigts, même si on enlève toute la viscosité du liquide. C'est une avancée majeure pour comprendre comment l'énergie se comporte dans les fluides, des courants océaniques aux vents dans l'atmosphère.

Résumé technique

1. Contexte et Problématique

L'article s'inscrit dans le cadre de la théorie de la turbulence et de l'analyse des équations de Navier-Stokes incompressibles en dimension 4 ($d=4$) sur le tore $\mathbb{T}^4$. Le problème central est l'étude du phénomène de dissipation anormale (ou « zeroth law of turbulence » de Kolmogorov).

• Le problème : Pour les solutions de Navier-Stokes avec viscosité $\nu$, l'énergie cinétique est dissipée par le terme $\nu |\nabla v_\nu|^2$. La question ouverte (notamment formulée dans [BDL23]) est de savoir si, lorsque $\nu \to 0$, cette dissipation converge vers une mesure non nulle pour les solutions de l'équation d'Euler (cas $\nu=0$), et si cette mesure possède une partie absolument continue par rapport à la mesure de Lebesgue en temps.
• L'obstacle précédent : Les exemples connus de dissipation anormale (souvent basés sur l'intégration convexe) produisaient des mesures de dissipation concentrées sur un instant unique (singularité temporelle, type Dirac en $t=1$), ce qui ne reflète pas le comportement continu observé dans les simulations et expériences de turbulence.
• Objectif : Construire des exemples de solutions « physiques » (au sens de la limite de viscosité nulle) en dimension 4 où la mesure de dissipation anormale $\mu$ a une partie absolument continue non triviale en temps, répondant ainsi aux Questions 2.2 et 2.3 de [BDL23].

2. Méthodologie

Les auteurs adoptent une approche constructive combinant l'analyse d'équations d'advection-diffusion et la réduction dimensionnelle des équations de Navier-Stokes.

A. Réduction dimensionnelle (3 + 1/2 dimensions)

Au lieu de traiter directement le système 4D complexe, les auteurs construisent une solution $v_\nu$ sur $\mathbb{T}^4$ qui dépend uniquement de trois variables spatiales $(x,y,z)$ et d'une variable temporelle, avec une quatrième composante de vitesse liée à un scalaire advecté.
La solution est de la forme :
$$v_\nu(t, x, y, z, w) = (u_\nu(x,y,z), \theta_\nu(t,x,y,z))$$
où $u_\nu$ est un champ de vitesse 3D et $\theta_\nu$ est un scalaire. Le système de Navier-Stokes 4D se réduit alors à un système couplé d'équations d'advection-diffusion pour $\theta_\nu$ et d'équations de Stokes/Navier-Stokes pour $u_\nu$, avec des forces externes spécifiques.

B. Champ de vitesse et initialisation

• Champ de vitesse $u$ : Ils utilisent une construction inspirée de [CCS23] (Chen, Colombo, Sorella) pour créer un champ de vitesse autonome $u \in C^\alpha(\mathbb{T}^3)$, divergence-free, qui possède des propriétés de mélange extrême (mixing) et de régularité contrôlée. Ce champ est conçu pour être très oscillant à certaines échelles et temps précis.
• Données initiales : Une donnée initiale $\theta_{in}$ est construite comme une superposition de fonctions « échiquier » (chessboard) lissées, localisées en temps et en espace selon une suite géométrique de paramètres $\{a_q\}$.

C. Stratégie de preuve pour la dissipation anormale

La preuve repose sur l'analyse de l'équation d'advection-diffusion :
$$\partial_t \theta_\kappa + u \cdot \nabla \theta_\kappa = \kappa \Delta \theta_\kappa$$
L'idée clé est de montrer que pour une suite de diffusivités $\kappa_q \to 0$, la solution $\theta_{\kappa_q}$ subit une dissipation d'énergie rapide sur des intervalles de temps spécifiques, tandis que la solution limite $\theta_0$ (advection pure) conserve une régularité suffisante.

Le schéma de la preuve (Théorème B) suit six étapes :

1. Décomposition : Décomposition de la donnée initiale en paquets spatiaux disjoints grâce à une partition de l'unité en $z$.
2. Stabilité $L^2$ : Montrer que tant que le temps est inférieur à un seuil critique $t_{q,j}$, la solution diffusante $\theta_{\kappa}$ reste proche de la solution advection $\theta_0$.
3. Décroissance rapide : Au-delà de ce seuil, la structure fine de $\theta_{\kappa}$ (devenue très oscillante) est rapidement dissipée par le terme de diffusion $\kappa \Delta$, entraînant une chute brutale de la norme $L^2$.
4. Estimation globale : Prouver que la norme $L^2$ totale à $t=1$ est très petite, ce qui implique, via le bilan d'énergie, que la dissipation intégrée $\int \kappa |\nabla \theta_\kappa|^2$ est strictement positive.
5. Convergence et régularité : Démontrer que $\theta_\kappa \to \theta_0$ faiblement-* dans $L^\infty$ et que le profil d'énergie $e(t) = \|\theta_0(t)\|_{L^2}^2$ est lisse.
6. Analyse de la mesure : Décomposer la mesure de dissipation $\mu_T$ (projection temporelle de $\kappa |\nabla \theta_\kappa|^2$) en une partie absolument continue (dominante) et une partie singulière (négligeable).

3. Résultats Principaux

Théorème A (Navier-Stokes 4D)

Les auteurs prouvent l'existence d'une solution faible physique $v_0$ aux équations d'Euler 4D forcées, limite d'une suite de solutions régulières $v_\nu$ de Navier-Stokes, telle que :

1. Dissipation anormale : $\limsup_{\nu \to 0} \nu \int |\nabla v_\nu|^2 > 0$.
2. Mesure de dissipation : La suite $\nu |\nabla v_\nu|^2$ converge faiblement-* vers une mesure $\mu$.
3. Partie absolument continue : La projection temporelle $\mu_T = \pi_\# \mu$ possède une partie absolument continue non triviale par rapport à la mesure de Lebesgue sur $(0,1)$. La partie singulière est arbitrairement petite ($\|\mu_{T, \text{sing}}\|_{TV} \le \beta$).
4. Profil d'énergie lisse : L'énergie cinétique de la solution limite $v_0$ est une fonction lisse et décroissante en temps.
5. Proximité de la distribution Duchon-Robert : La mesure $\mu$ est proche (au sens $H^{-1}$) de la distribution de Duchon-Robert $D[v_0]$ associée à la solution d'Euler.

Théorème B (Advection-Diffusion)

Ce théorème est le moteur technique du résultat principal. Il établit l'existence d'un champ de vitesse autonome $u \in C^\alpha(\mathbb{T}^3)$ et d'une donnée initiale lisse pour l'équation d'advection-diffusion, tels que la dissipation anormale se produise avec une mesure temporelle ayant une partie absolument continue non triviale.

Proposition 7.1 et Corollaire 7.2 (Distinction cruciale)

Les auteurs montrent que la distribution de Duchon-Robert $D[v_0]$ (qui apparaît dans l'identité d'énergie faible) n'est pas toujours égale à la mesure de dissipation anormale $\mu$ obtenue comme limite de $\nu |\nabla v_\nu|^2$.

• Ils construisent un exemple où $\mu \equiv 0$ (pas de dissipation anormale au sens de la limite de viscosité) mais $D[v_0] \neq 0$ (dissipation présente dans l'identité d'énergie faible).
• Cela implique que la convergence forte $v_\nu \to v_0$ en $L^p$ n'est pas garantie pour toutes les solutions physiques, remettant en cause certaines hypothèses d'approximation standard.

4. Signification et Implications

1. Réponse aux questions ouvertes : L'article répond positivement aux Questions 2.2 et 2.3 de [BDL23] en dimension 4, démontrant que la dissipation anormale peut être distribuée continûment dans le temps, et non seulement concentrée sur des singularités.
2. Validité physique : Le résultat renforce le lien entre les modèles mathématiques de turbulence (loi de Kolmogorov) et la réalité physique/simulation, où la dissipation est observée comme un processus continu.
3. Nuance sur la convergence : La distinction entre la mesure de dissipation $\mu$ et la distribution $D[v_0]$ (Proposition 7.1) est une contribution théorique majeure. Elle montre que la limite de viscosité nulle peut être pathologique : une suite de solutions régulières peut converger vers une solution d'Euler dissipative sans que la dissipation ne soit « capturée » par la limite de la norme du gradient ($\nu |\nabla v_\nu|^2 \to 0$), bien que l'identité d'énergie faible indique une perte d'énergie.
4. Méthodologie : L'utilisation de champs de vitesse autonomes et de techniques de mélange (mixing) pour générer de la dissipation anormale dans un cadre déterministe et contrôlé ouvre de nouvelles voies pour l'étude de la régularité et de la turbulence.

En résumé, ce travail fournit un contre-exemple constructif et rigoureux à l'idée que la dissipation anormale doit être singulière en temps, tout en clarifiant les subtilités mathématiques entourant la convergence des solutions de Navier-Stokes vers l'équation d'Euler.