A Structural Audit of Navier-Stokes Obstruction Calculus

Résumé Technique : Un Audit Structurel du Calcul d'Obstruction de Navier–Stokes

Énoncé du Problème
Le document traite du problème de la régularité locale des équations de Navier–Stokes incompressibles en trois dimensions. Plus précisément, il examine la « question de la régularité locale avant la petiteurité » : si une solution possède une « méchanceté » (badness) CKN (Caffarelli–Kohn–Nirenberg) persistante (c'est-à-dire que les quantités critiques d'échelle ne tendent pas vers zéro), quels mécanismes physiques ou mathématiques soutiennent, cachent, transfèrent ou reproduisent cette méchanceté à travers les échelles ? L'auteur réalise l'audit d'un programme à échelle finie conçu pour répondre à cela, lequel a accumulé divers outils structurels (registres, décompositions de défauts, identités de travail) mais n'a pas encore produit de preuve de régularité ou d'exclusion définitive des singularités.

Méthodologie et Cadre
Le document emploie une approche d'« audit structurel », analysant l'architecture logique des théories existantes de décomposition à échelle et fenêtre finies. La méthodologie comprend :

1. Catégorisation : Distinguer entre les « structures de comptabilité » ou « d'interface » (qui organisent où l'énergie et les défauts apparaissent) et les « estimations de PDE coercitives » (qui prouvent que la perte totale est inabordable ou qu'une obstruction ne peut exister).
2. Analyse de Décomposition : Examiner les modules spécifiques développés dans les travaux antérieurs, notamment les registres critiques à échelle finie, les paquets de défauts à gros grain, les identités de travail pression-flux et les nettoyages par quotient.
3. Résolution et Identification des Goulots d'Étranglement : Prouver des lemmes qui séparent la pleine méchanceté CKN en une « méchanceté grossière » et un « résidu de sous-filtre », et démontrer où les approches basées sur des détecteurs actuels échouent à dominer la pleine méchanceté de manière inconditionnelle.
4. Changement de Mécanisme : Soutenir que l'accent doit passer des comparaisons de détecteurs abstraits (par exemple, les approximations à un composant) au mécanisme intrinsèque de l'étirement de vortex en trois dimensions.

Contributions Clés et Résultats

1. La Thèse Centrale :
   Le document établit que le programme actuel à échelle finie constitue un calcul d'obstruction réussi, mais pas encore un mécanisme de régularité. Les outils développés (registres, paquets de défauts, théorèmes de quotient) identifient correctement là où une preuve doit « payer » (par exemple, via la fuite, les queues de pression ou le backscatter) mais ne prouvent pas en soi que le prix est inabordable. Ils organisent l'obstruction plutôt que de l'exclure.

2. Lemme de Résolution et Limites des Détecteurs :

   • Lemme de Résolution : L'auteur prouve que la pleine méchanceté CKN implique soit une « méchanceté grossière » (détectable à une échelle filtrée), soit un « résidu de sous-filtre ».
   • Absence de Domination Inconditionnelle : Un résultat clé est la preuve qu'il n'existe aucune domination inconditionnelle à une seule échelle où un détecteur de travail combiné signé (pression + flux) bornerait universellement la norme CKN. Un contre-exemple (un champ de vitesse constant) montre qu'une solution peut avoir des quantités CKN non nulles alors que le détecteur s'annule.
   • Mécanismes Silencieux : Le document identifie six « mécanismes silencieux » qui permettent à la méchanceté CKN de persister sans déclencher le détecteur : résidus de sous-filtre, queues de pression harmonique, annulation pression-flux, flux cohérent à basse fréquence, backscatter et effondrement de fenêtre mobile.

3. Critique des Structures Existantes :
   L'audit révèle pourquoi les structures actuelles atteignent un « mur » :

   • Réduction $\neq$ Clôture : De nombreux résultats réduisent le problème à des bornes inférieures à fenêtre finie mais reposent sur des entrées structurelles (comme la visibilité de la carte uniforme d'échelle) qui sont elles-mêmes les estimations de PDE difficiles.
   • Registre vs Lyapunov : L'inégalité du registre critique est un théorème de comptabilité, et non un fonctionnel de Lyapunov. Elle ne prouve pas que l'offre est toujours inférieure à la taxe plus la fuite.
   • Fini vs Uniforme : L'exactitude à fenêtre finie (via la compacité) n'implique pas l'exactitude uniforme d'échelle ; les constantes peuvent dégénérer lorsque la fenêtre change.

4. Nouvelles Estimations Proposées (Le Lien « Manquant ») :
   Le document formule une liste spécifique de nouvelles estimations de PDE requises pour clore l'architecture, en privilégiant une estimation d'étirement-diffusion filtrée :

   • Vorticité Filtrée : Puisque les solutions faibles appropriées manquent de $\nabla \omega \in L^2$, le document plaide pour une formulation utilisant la vorticité spatialement filtrée ($\Omega_\ell = \nabla \times S_\ell u$).
   • Équilibre Étirement-Diffusion : La cible principale est une estimation de la forme :
     $$V^+_{r,\ell} \leq (1-\varepsilon^*) P_{r,\ell} + \text{défauts}$$
     où $V^+$ est le terme d'étirement positif, $P$ est la dissipation filtrée, et les « défauts » incluent l'incohérence de direction, le forçage de sous-grille, la fuite et les queues de pression.
   • Clôture Conditionnelle : Le document prouve un théorème de clôture conditionnelle abstraite montrant que si l'on peut extraire le travail vers l'avant en dehors d'un « ensemble silencieux » contrôlé, contrôler la fuite/le backscatter, et borner l'ensemble silencieux, alors une branche persistante non-CKN est impossible.

5. Nouvelle Voie :
   Le document propose un changement de stratégie :

   • Ancienne Voie : Géométrie du détecteur $\to$ Comptage de mauvaises échelles.
   • Nouvelle Voie : Mécanisme de l'étirement de vortex filtré $\to$ Estimation étirement-diffusion $\to$ Comptage de mauvaises échelles $\to$ Certification à fenêtre finie.

Signification et Revendications
Le document affirme que sa signification réside dans le diagnostic du point de rupture précis du programme de régularité actuel. Il soutient que l'affinement supplémentaire du langage des détecteurs ou de la comptabilité est insuffisant. Au lieu de cela, le domaine nécessite une véritable estimation de PDE qui agit directement sur le mécanisme de maintien des singularités potentielles — spécifiquement, l'équilibre entre l'étirement de vortex et la diffusion dans un cadre filtré.

L'auteur conclut modestement que le cadre existant fournit un système de « comptabilité » précis pour localiser les canaux d'obstruction, mais qu'il doit être augmenté par un « contrôle coercitif » du terme d'étirement positif et des effets de sous-grille pour devenir un véritable mécanisme de régularité. Le document ne prouve pas la régularité ; il définit plutôt les conditions nécessaires (la « prochaine cible nécessaire ») qui, si elles sont remplies, convertiront la théorie de décomposition actuelle en un mécanisme capable d'exclure les obstructions.