Corrigendum to "Optimal time-decay estimates for an Oldroyd-B model with zero viscosity [J. Differential Equations, 306(2022), 456--491]"

Cette note présente une correction mineure concernant l'hypothèse et la preuve du théorème 1.2 de l'article original sur les estimations de décroissance temporelle optimale pour un modèle Oldroyd-B sans viscosité.

L'essentiel

Imaginez que vous êtes un chef cuisinier qui a publié un livre de recettes très célèbre sur la façon de faire cuire une soupe de fluides étranges (appelés "fluides viscoélastiques", comme du ketchup ou du miel très épais). Dans votre livre, vous aviez promis de pouvoir prédire exactement à quelle vitesse cette soupe va refroidir et s'apaiser après avoir été remuée.

Ce document que vous lisez est une petite note de correction (un "erratum") que vous envoyez à tous vos lecteurs pour dire : "Attendez, il y a une petite erreur dans l'une de mes hypothèses de départ, mais ne vous inquiétez pas, la recette finale fonctionne toujours, il faut juste ajuster un ingrédient."

Voici l'explication de cette correction, imagée et simplifiée :

1. Le Problème : Une Contradiction dans la "Recette"

Dans votre article original, vous aviez dit : "Pour que ma prédiction de refroidissement soit vraie, il faut que la soupe initiale (les ingrédients de départ) soit bien définie et qu'elle ait une certaine 'énergie' visible partout."

Plus précisément, vous aviez demandé deux choses contradictoires :

1. Que la soupe soit parfaite et lisse (mathématiquement, elle doit être dans un espace appelé $L^1$, ce qui signifie qu'elle est bien "contenue" et ne s'échappe pas).
2. Que la soupe ait une présence forte à l'endroit même où elle commence (mathématiquement, une condition sur la transformée de Fourier qui dit que la valeur au point zéro ne doit pas être nulle).

L'analogie du silence :
Imaginez que vous demandez à un orchestre de jouer une musique très douce et contenue (condition 1), mais en même temps, vous exigez que le chef d'orchestre crie très fort dès la première seconde (condition 2).
En physique des fluides, si votre fluide est "parfaitement lisse" et qu'il ne bouge pas au début (il est incompressible, comme de l'eau qui ne peut pas être compressée), il est mathématiquement impossible qu'il ait cette "présence forte" au point de départ. C'est comme essayer de faire crier un fantôme qui n'a pas de corps. C'est une contradiction logique.

2. La Solution : Changer l'Ingrédient

Au lieu de demander que la soupe soit "contenue" d'une manière stricte ($L^1$), vous proposez de changer la règle du jeu.

L'analogie de la carte au trésor :
Au lieu de chercher le trésor (la solution) dans un coffre-fort très spécifique et verrouillé, vous dites : "Peu importe où le trésor est caché, tant que nous avons une carte (une représentation mathématique) qui nous dit où il est, et que cette carte ne contient pas de mensonges infinis."

Concrètement, vous remplacez l'exigence de la "forme physique" du fluide par une exigence sur sa "carte d'identité" (la transformée de Fourier). Vous demandez simplement que cette carte soit lisible et ne contienne pas de valeurs infinies. C'est une condition beaucoup plus souple et réaliste.

3. Pourquoi c'est une bonne nouvelle ?

Vous rassurez vos lecteurs :

• La recette fonctionne toujours : Une fois qu'on a changé cet ingrédient (la condition de départ), toutes les preuves mathématiques que vous aviez écrites pour prédire le refroidissement restent valables.
• C'est même mieux : En utilisant cette nouvelle condition plus souple, vous montrez qu'il existe bel et bien des fluides qui respectent vos règles. Vous donnez même un exemple concret (une "recette" mathématique) pour prouver que ce n'est pas juste une théorie, mais quelque chose de réel.

En résumé

Ce document est une honnête déclaration d'erreur suivie d'une solution élégante.

• Avant : "Il faut que le fluide soit X et Y" (ce qui était impossible).
• Maintenant : "Il faut que la 'carte' du fluide soit Z" (ce qui est possible et suffit pour que tout le reste fonctionne).

C'est comme si un architecte disait : "J'avais dit que pour que ce pont tienne, il fallait qu'il soit en or massif (impossible à construire). En fait, il suffit qu'il soit en acier de haute qualité (possible), et le pont tiendra tout aussi bien !"

Les mathématiciens qui lisent votre travail n'ont donc pas besoin de jeter leur copie, ils doivent juste mettre une petite étiquette sur la page 1 pour changer la règle du jeu, et tout reste valide.

Résumé technique

Titre : Correction des estimations de décroissance temporelle optimale pour un modèle Oldroyd-B avec viscosité nulle

1. Problématique

Cette note vise à corriger une erreur fondamentale dans l'hypothèse initiale de l'article original publié par Huang, Wang, Wen et Zi (J. Differential Equations, 2022). L'article original étudiait les estimations de décroissance temporelle optimales pour le système de Cauchy du modèle Oldroyd-B sur $\mathbb{R}^3$ en l'absence de viscosité (ou avec viscosité nulle pour l'une des équations).

Le problème central réside dans l'incompatibilité mathématique de l'hypothèse utilisée dans le Théorème 1.2 (ii) de l'article original. Ce théorème affirmait que si les données initiales $(u_0, \tau_0)$ appartiennent à $L^1(\mathbb{R}^3)$ et satisfont la condition de non-décroissance du spectre basse fréquence :
$$\inf_{0 \le |\xi| \le R} |\hat{u}_0| \ge c_0 > 0$$
alors des bornes inférieures (optimalité) pour la décroissance de la solution peuvent être établies.

L'erreur identifiée :
Les auteurs ont démontré que cette hypothèse est contradictoire pour un fluide incompressible. En effet, selon un lemme classique (cité de Schonbek, Schonbek et Suli), si $u_0 \in L^1(\mathbb{R}^3)$ et $\text{div } u_0 = 0$, alors la transformée de Fourier de la vitesse au point zéro doit s'annuler :
$$\hat{u}_0(0) = \int_{\mathbb{R}^3} u_0 \, dx = 0$$
Par conséquent, il est impossible que $|\hat{u}_0| \ge c_0 > 0$ dans un voisinage de l'origine ($\xi=0$) si $u_0 \in L^1$. L'hypothèse originale rendait donc le théorème inapplicable aux données réalistes satisfaisant la condition d'incompressibilité.

2. Méthodologie

La correction repose sur une reformulation des espaces fonctionnels pour les données initiales et une réévaluation des constantes dans les preuves :

1. Changement d'espace fonctionnel : Au lieu d'exiger que les données initiales $(u_0, \tau_0)$ soient dans $L^1(\mathbb{R}^3)$, les auteurs remplacent cette condition par une hypothèse plus faible sur la transformée de Fourier des données initiales :
   $$(\hat{u}_0, \hat{\tau}_0) \in L^\infty(\mathbb{R}^3)$$
   Cette modification permet de contourner la contradiction liée à l'intégrale nulle tout en conservant la validité des estimations de décroissance.

2. Construction d'un contre-exemple valide (Remarque 4) : Pour prouver que le nouveau théorème n'est pas vide, les auteurs construisent explicitement une fonction $u_0$ satisfaisant toutes les nouvelles conditions :

   • $u_0 \in H^3(\mathbb{R}^3)$ (régularité suffisante).
   • $\text{div } u_0 = 0$ (incompressibilité).
   • $\hat{u}_0 \in L^\infty$ et $\inf_{0 \le |\xi| \le R} |\hat{u}_0| \ge c_0 > 0$.
     La construction utilise une fonction lisse $g$ et une structure vectorielle spécifique dans l'espace de Fourier pour garantir la divergence nulle tout en maintenant une amplitude spectrale non nulle près de l'origine.

3. Ajustement des preuves : La preuve originale du théorème est maintenue mais nécessite des modifications mineures. Les normes $L^1$ des données initiales utilisées dans les estimations de l'article original sont systématiquement remplacées par les normes $L^\infty$ de leurs transformées de Fourier.

3. Résultats Principaux

Le théorème corrigé (Théorème 3) établit les estimations de décroissance temporelle optimales suivantes pour la solution $(u_{\epsilon,\mu}, \tau_{\epsilon,\mu})$ :

• Hypothèses : Les paramètres $\epsilon, \mu$ satisfont l'un des deux cas (viscosité sur la contrainte ou sur la vitesse), et les données initiales vérifient $(\hat{u}_0, \hat{\tau}_0) \in L^\infty(\mathbb{R}^3)$.

• Estimation supérieure (Upper bound) : Pour tout $t \ge 0$ :
  $$\|\nabla^k u_{\epsilon,\mu}(t)\|_{L^2} \le C_2 (1+t)^{-\frac{3}{4} - \frac{k}{2}}, \quad k=0,1,2$$
  $$\|\nabla^{k_1} \tau_{\epsilon,\mu}(t)\|_{L^2} \le C_2 (1+t)^{-\frac{5}{4} - \frac{k_1}{2}}, \quad k_1=0,1$$
  La constante $C_2$ dépend désormais de $\|(u_0, \tau_0)\|_{H^3}$, $\|(\hat{u}_0, \hat{\tau}_0)\|_{L^\infty}$ et d'autres constantes génériques.

• Estimation inférieure (Lower bound / Optimalité) : Sous la condition supplémentaire $\inf_{0 \le |\xi| \le R} |\hat{u}_0| \ge c_0 > 0$, il existe un temps $t_0$ et une constante $c > 0$ tels que pour $t \ge t_0$ :
  $$\|\nabla^k u_{\epsilon,\mu}(t)\|_{L^2} \ge c (1+t)^{-\frac{3}{4} - \frac{k}{2}}$$
  $$\|\nabla^{k_1} \tau_{\epsilon,\mu}(t)\|_{L^2} \ge c (1+t)^{-\frac{5}{4} - \frac{k_1}{2}}$$
  Ces bornes confirment que les taux de décroissance annoncés sont optimaux.

4. Contributions Clés

• Correction d'une erreur conceptuelle : Identification et résolution de l'incompatibilité entre la condition $L^1$ et la condition de non-décroissance spectrale pour les fluides incompressibles.
• Généralisation des hypothèses : Passage d'une hypothèse restrictive ($L^1$) à une hypothèse plus naturelle et plus large ($L^\infty$ pour la transformée de Fourier), rendant le résultat applicable à une classe plus vaste de solutions physiques.
• Validation constructive : Démonstration par l'exemple qu'il existe bien des données initiales satisfaisant les nouvelles conditions du théorème.
• Préservation de la structure de la preuve : Démonstration que la méthode originale reste valide avec des ajustements mineurs (changement de normes dans les tableaux de preuve).

5. Signification

Ce corrigendum est essentiel pour la rigueur mathématique de l'étude des modèles Oldroyd-B sans viscosité. Il garantit que les estimations de décroissance temporelle, qui sont cruciales pour comprendre le comportement asymptotique des fluides viscoélastiques, sont fondées sur des hypothèses mathématiquement cohérentes. Sans cette correction, les résultats d'optimalité auraient été considérés comme inapplicables aux solutions physiques réalistes (divergence nulle). La note rétablit la crédibilité des taux de décroissance $O(t^{-3/4})$ pour la vitesse et $O(t^{-5/4})$ pour la contrainte, confirmant ainsi la robustesse des résultats originaux une fois les hypothèses correctement formulées.