Résumé Technique : Cascades de Défauts Invisibles pour la Régularité de Navier–Stokes

1. Énoncé du Problème

L'article traite du problème de la régularité locale pour les équations de Navier–Stokes incompressibles en trois dimensions. Plus précisément, il étudie le scénario où un point singulier potentiel $z_0$ ne pénètre pas dans le régime de petite taille de Caffarelli–Kohn–Nirenberg (CKN) à une échelle dyadique suffisamment petite. Dans la théorie classique, si une quantité invariante d'échelle $\Psi(z_0, r) = C(z_0, r) + D(z_0, r)$ tombe en dessous d'un seuil universel $\varepsilon_{CKN}$, la solution est régulière. L'article suppose le contraire : que pour une branche non-CKN, $\Psi(r_n) > \varepsilon_{CKN}$ pour toutes les échelles dyadiques $r_n = 2^{-n}$.

La question centrale n'est pas de prouver directement la régularité, mais de caractériser structurellement la nature de l'obstacle qui empêche la régularité. L'article pose que si une singularité existe, elle ne peut pas être une concentration générique d'énergie ou de pression ; elle doit plutôt prendre une forme hautement spécifique : une cascade de défauts combinée, invisible, à échelle critique et réalisable par NS.

2. Méthodologie et Cadre de Travail

La méthodologie repose sur un processus de réduction à plusieurs étapes qui transforme le problème de la régularité locale en un problème de compatibilité et d'observabilité. Le cadre procède selon les étapes suivantes :

2.1 Paquets de Défauts Grossiers Dyadiques

Les auteurs associent un « paquet de défauts » à chaque échelle dyadique proche d'une singularité potentielle. Ce paquet est dérivé des équations de Navier–Stokes via un redimensionnement et un grossissement (mollification).

• Redimensionnement : La solution $(u, p)$ est redimensionnée à l'échelle unité : $u^{(n)}(x,t) = r_n u(r_n x, r_n^2 t)$.
• Grossissement : Un mollificateur $S_\ell$ est appliqué pour générer les champs résolus $U_{n,\ell}$ et $P_{n,\ell}$.
• Définition du Défaut : La différence entre le flux non linéaire du champ résolu et le flux non linéaire résolu définit le défaut de Reynolds $R_{n,\ell} = S_\ell(u^{(n)} \otimes u^{(n)}) - U_{n,\ell} \otimes U_{n,\ell}$.
• Décomposition de la Pression : La pression est divisée en une partie active ($P^{act}$), générée par la source quadratique locale, et une partie harmonique ($P^{har}$), qui est spatialement harmonique dans la fenêtre d'observation. Crucialement, la partie harmonique est conservée dans le paquet et n'est pas quotientée comme un gauge, car elle contribue au moment et à l'énergie.
• Flux d'Énergie : Le flux d'énergie $\Pi_{n,\ell} = -R_{n,\ell} : \nabla U_{n,\ell}$ est défini pour mesurer le transfert d'énergie entre les échelles.

2.2 Cartes d'Observabilité Combinées

L'article introduit une hiérarchie de canaux d'observation pour tester si un défaut est « visible ». Un défaut est considéré comme invisible uniquement s'il réussit tous les tests simultanément. Les canaux sont :

1. Pression Active : Teste la pression non harmonique générée par la source active.
2. Flux : Teste le transfert d'énergie inter-échelles ($\Pi$).
3. Énergie : Teste l'équilibre énergétique local et la covariance de Reynolds positive ($R \ge 0$).
4. Trace Adjointe : Teste si le défaut peut être détecté par des perturbations à temps sélectionné via le système linéaire adjoint.

La Carte d'Observabilité Combinée $O_{comb}$ agrège ces canaux. Un « véritable fantôme de défaut » est une direction non nulle du noyau de cette carte qui est également réalisable par NS (c'est-à-dire qu'elle provient d'une solution faible appropriée réelle, et non d'une simple linéarisation formelle).

2.3 Contrôle de Croissance de la Fenêtre Mobile

Le cadre passe de fenêtres fixes à une séquence de fenêtres mobiles $W_n$ à mesure que l'échelle $n \to \infty$. L'argument de régularité dépend de savoir si les constantes d'observabilité $M_n$ (l'inverse de la plus petite valeur singulière de la carte d'observation) croissent trop rapidement. Si la croissance est contrôlée (par exemple, polynomiale ou mono-exponentielle) et que la somme des inverses des constantes diverge, une échelle CKN doit finalement apparaître, à moins qu'une cascade invisible n'existe.

2.4 Diagnostics de Récurrence Critique

Pour expliquer comment une singularité pourrait persister, l'article propose un programme de « récurrence critique ». Il suggère qu'une mauvaise orbite persistante doit être soutenue par l'un des trois mécanismes suivants :

• Étirement de Vortex : Production positive d'étirement résolu.
• Travail de la Pression Active : Focalisation de la pression active.
• Flux Inter-échelles : Flux d'énergie cohérent en signe ou oscillatoire.
  L'article formule des diagnostics pour ces mécanismes afin de déterminer s'ils peuvent soutenir une récurrence sans épuiser un budget local fini.

3. Contributions Clés

1. Théorème de Réduction Structurelle : L'article fournit une réduction précise : si un point est singulier, alors soit l'observabilité de la fenêtre mobile n'est pas effective (les constantes croissent trop vite), soit il existe une cascade de défauts combinée, invisible et réalisable par NS. Cela déplace le problème de « prouver la régularité » vers « exclure un type spécifique d'obstruction hautement organisée ».
2. Filtre de Réalisabilité NS : Une contribution novatrice est la distinction entre les noyaux de dimension finie formels et les véritables obstructions de Navier–Stokes. Un vecteur de noyau formel n'est dangereux que s'il se trouve dans la clôture de l'image des paquets de défauts réellement dérivés de NS. Cela empêche les « fantômes de modèles » d'être confondus avec de véritables singularités.
3. Mécanisme d'Observabilité Combinée : L'article intègre les observations de pression, de flux, d'énergie et de trace dans une hiérarchie unique. Il démontre qu'un défaut invisible pour un canal est forcé vers une classe résiduelle plus petite testée par le canal suivant, culminant par une analyse de coût de trace.
4. Objets d'Échec Explicites : L'article définit les objets mathématiques précis qui constitueraient un contre-exemple : une séquence de fenêtres, des défauts réalisables par NS, et des directions duales qui sont invisibles à tous les canaux mais s'apparient de manière non triviale.
5. Quatre Cibles Théorématiques : Le travail réduit le chemin vers une preuve de régularité à quatre tâches analytiques concrètes :
   • Extraction de défauts dyadiques.
   • Épuisement observable (les défauts visibles doivent consommer un budget fini).
   • Exclusion de la réalisabilité NS en fenêtre finie.
   • Contrôle de la croissance de la fenêtre mobile.

4. Résultats et Statut

L'article ne prouve pas la conjecture de la régularité globale de Navier–Stokes, ni ne construit de solution singulière. Ses résultats sont structurels et conditionnels :

• Vérifications de Modèles : L'article prouve que dans des « régimes propres » (par exemple, des fenêtres périodiques finies ou des fenêtres localisées perturbativement), l'observabilité combinée est vérifiée, et les seules obstructions sont des noyaux explicites de dimension finie ou des espaces de trace d'obstruction projetés.
• Régularité Conditionnelle : Le Théorème 15.5 stipule que si les quatre cibles théoriques sont satisfaites dans une classe de fenêtres contrôlée, alors une échelle CKN doit se produire, impliquant la régularité locale.
• La Contraposée : Si la régularité échoue, l'échec doit se manifester sous la forme d'une « cascade de défauts invisibles résiduelle, nettoyée et gauche-singulière » — une séquence de défauts réalisables par NS qui sont invisibles à la pression, au flux, à l'énergie et à la trace, et qui s'alignent avec des directions duales presque invisibles.

5. Signification et Revendications

L'article revendique une importance en tant que réduction structurelle plutôt qu'en tant que solution.

• Affinement de l'Obstruction : Il compresse la notion vague de « perte de compacité » en un objet hautement contraint : une cascade nettoyée, à échelle critique et réalisable par NS, qui est invisible à un ensemble combiné d'observables physiques.
• Clarification de la Voie à Suivre : En isolant les quatre cibles théoriques, l'article clarifie exactement le travail analytique requis pour prouver la régularité. Il suggère que si la voie échoue, l'échec doit être dû à un mécanisme spécifique et hautement organisé (par exemple, un alignement spécifique de l'étirement de vortex et du travail de pression qui échappe à tous les budgets), plutôt qu'à un manque de compacité générique.
• Statut Honnête : Les auteurs déclarent explicitement que l'article n'annonce pas l'exclusion des singularités. Au lieu de cela, il transforme la question « Une singularité de Navier–Stokes peut-elle survenir ? » en la question plus structurée « Peut-il exister une cascade de défauts mobile, invisible et réalisable par NS ? »

En résumé, l'article fournit un cadre rigoureux pour analyser les singularités potentielles en décomposant les défauts en paquets et en les testant contre une hiérarchie d'observables physiques. Il conclut que toute véritable singularité doit être un objet « nettoyé » qui échappe simultanément à la détection par la pression, le flux, l'énergie et la trace tout en satisfaisant les identités exactes de Navier–Stokes, définissant ainsi la nature précise de l'obstruction restante à la régularité.