Finite-Window Recursive Audit Chains for Navier-Stokes Generated Packages

Résumé Technique : Chaînes d'Audit Récursives à Fenêtre Finie pour Navier–Stokes

Énoncé du Problème
Le papier opère dans le cadre de l'énergie finie de Leray–Hopf pour les équations de Navier–Stokes incompressibles et la théorie de la régularité partielle des solutions faibles appropriées (Scheffer, Caffarelli–Kohn–Nirenberg). Le problème central abordé n'est pas la preuve directe de la régularité globale ou l'exclusion des singularités (le problème du prix du millénaire de Clay), mais plutôt l'analyse structurelle des « paquets d'audit » générés par les données de Navier–Stokes sous restriction et mise à l'échelle.

Plus précisément, le papier étudie la « question récursive à fenêtre finie » : après une étape de restriction-mise à l'échelle, un paquet généré par Navier–Stokes reste-t-il dans une classe admissible ? Si oui, comment les coefficients d'audit et les registres de résidus (budgets d'erreur) évoluent-ils ? L'objectif est d'établir un cadre où une borne inférieure sur une valeur de détecteur localisée peut être propagée à travers une chaîne finie d'échelles, à condition que des conditions structurelles et algébriques spécifiques soient remplies.

Méthodologie
La méthodologie construit un « cadre d'audit récursif à fenêtre finie » qui décompose l'évolution d'un paquet de solution à travers les échelles en deux composantes principales :

1. Admissibilité en une étape : Un mécanisme pour vérifier qu'un paquet $D_k$ à l'échelle $k$, lorsqu'il est restreint et mis à l'échelle en $D_{k+1}$, reste dans la classe admissible $ANS_{k+1}$ pourvu que tous les « écarts » (erreurs introduites par la transformation) soient imputés à un « registre » explicite $\Delta_k$.
2. Propagation Récursive : Un mécanisme pour sommer les certificats d'audit statiques disponibles à chaque échelle en utilisant une récursion d'erreurs à coefficients variables et une sommation pondérée afin de dériver une borne inférieure globale pour la chaîne finie.

Le cadre repose sur un système de « registre » qui catégorise les erreurs en canaux distincts :

• Canaux Générés par la PDE : Préservation de la pression/source, localisation de l'énergie/flux, et recomputation de la pression localisée (via les commutateurs de Calderón–Zygmund).
• Canaux Structurels/Réduits : Synchronisation, projections/queues harmoniques, contraintes de porte/jeu (gate/slack), comparaisons de détecteurs, visibilité de la carte (chart), et conditions de gap propre (clean-gap).

L'analyse utilise des cylindres normalisés $Q_1$, des décompositions de pression standard de Calderón–Zygmund, et des inégalités d'énergie locale. Elle distingue les classes « larges » (définies par l'intégrabilité et l'admissibilité) des classes « réduites » (modèles à dimension finie ou à quotient compact) où des entrées structurelles spécifiques comme l'absence de noyau (kernel-freeness) ou la compacité sont supposées ou vérifiées.

Contributions Clés
Le papier apporte les contributions spécifiques suivantes :

1. Définition des Paquets d'Audit Générés par NS (Large) : Il définit une classe $ANS_k$ de paquets générés par des données de Navier–Stokes à énergie finie, équipés de coordonnées pour la vitesse, la pression active/harmonique, la source, la localisation, la porte/jeu, les détecteurs et les résidus.
2. Modules PDE à Fenêtre Fixe : Il prouve que pour des données admissibles en pression, la carte d'une étape préserve les coordonnées de pression/source et impute les fuites de localisation d'énergie/flux ainsi que les erreurs de commutateur de recomputation de pression à des composantes spécifiques du registre. Ces points sont prouvés directement à partir de l'inégalité d'énergie locale et des estimations d'intégrales singulières.
3. Attributions du Registre Structurel : Il formalise l'insertion des entrées structurelles (synchronisation, projection, queues harmoniques, porte/jeu, comparaison de détecteur, carte et gap propre) dans le registre. Crucialement, il les traite comme des entrées conditionnelles à moins qu'elles ne soient vérifiées par des théorèmes séparés (ex: compacité d'une classe spécifique).
4. Théorème Anti-Fantôme Récursif de Chaîne Finie : Il prouve que si un certificat d'audit statique existe à chaque échelle et que l'admissibilité d'une étape est respectée, une somme pondérée des valeurs de détecteur satisfait une borne inférieure :
   $$\sum_{k=0}^K w_k M_k \geq c_{\min}^K \sum_{k=0}^K w_k \delta_k - E_{rec}^K$$
   où $E_{rec}^K$ est l'erreur récursive accumulée.
5. Extraction de Défaut Compatible avec CKN Conditionnelle : Il établit une branche reliant la distance de base de l'audit au critère de régularité epsilon de Caffarelli–Kohn–Nirenberg (CKN). Il montre que si une échelle est « mauvaise pour CKN » (violation du seuil de régularité), le défaut d'audit $\delta_k$ doit être positif, à condition qu'une hypothèse explicite de domination audit-vers-CKN soit vérifiée.
6. Vérification sur des Classes Réduites et Lisses : Il démontre que pour une classe de paquets de Navier–Stokes lisses et réduits ($A_{K,N,M}^{sm,red}$), les entrées structurelles (compacité, absence de noyau, queues de projection) peuvent être vérifiées, rendant le cadre non vide et applicable aux données lisses.

Résultats

• Théorème 8.1 (Admissibilité Large en une Étape) : Établit qu'un paquet généré par Navier–Stokes reste admissible à l'échelle suivante si chaque écart est imputé au composant correspondant du registre.
• Théorème 10.3 (Anti-Fantôme Récursif de Chaîne Finie) : Fournit la borne inférieure pondérée pour une chaîne finie de certificats d'audit.
• Théorème 16.14 (Extraction Conditionnelle de Chaîne d'Audit Finie) : Montre qu'une chaîne d'échelles « mauvaises pour CKN » génère une chaîne d'audit finie admissible avec des défauts de base non dégénérés, en supposant l'hypothèse de domination audit-vers-CKN.
• Théorème 17.1 (Théorème Final de Fenêtre Finie) : Synthétise l'admissibilité d'une étape, les certificats statiques et les entrées structurelles en un théorème complet de borne inférieure de chaîne finie.

Signification et Revendications
Le papier est explicitement modeste quant à sa portée. Il ne prétend pas :

• Prouver la propagation de chaîne infinie ou la régularité uniforme d'échelle.
• Exclure les singularités ou résoudre le problème de régularité de Navier–Stokes.
• Prouver que les hypothèses structurelles (compacité, absence de noyau, stabilité de synchronisation) s'appliquent à toutes les solutions faibles appropriées.

La signification réside dans la décomposition structurelle du problème de régularité. Le papier isole les entrées « dures » de la PDE (préservation de la pression/source, localisation de l'énergie) des entrées « structurelles » (compacité, stabilité du détecteur, visibilité de la carte). Il fournit un cadre rigoureux où :

1. Les parties générées par la PDE sont prouvées être des estimations de comptabilité à fenêtre finie.
2. Les parties structurelles sont identifiées comme des hypothèses explicites qui doivent être vérifiées pour une classe spécifique de solutions (ex: modèles lisses ou réduits).
3. La branche « audit-vers-CKN » fournit un pont conditionnel : si l'on peut vérifier la domination de la distance d'audit par la distance CKN, alors la « mauvaiseté pour CKN » implique un défaut d'audit positif.

Le papier conclut que le cadre d'audit récursif est un outil pour analyser des chaînes finies d'échelles. Toute conclusion concernant les chaînes infinies ou la régularité globale nécessite des hypothèses uniformes supplémentaires (ex: positivité uniforme des coefficients, sommabilité des erreurs) qui ne sont pas prouvées ici, mais sont identifiées comme les « obligations ouvertes » nécessaires pour les travaux futurs. Le travail sert de vérification « à fenêtre finie » des mécanismes requis pour propager l'information de régularité, s'arrêtant avant de prétendre que ces mécanismes s'appliquent universellement à toutes les solutions de Navier–Stokes.