Coarse-Grained Resolution and Pressure-Flux Work Depletion for Navier-Stokes CKN Badness

Résumé Technique : Résolution à Grain Grossier et Dépression du Travail Pression–Flux pour la « Mauvaise Témoin » de Navier–Stokes

É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, spécifiquement dans le cadre de la théorie de Caffarelli–Kohn–Nirenberg (CKN). Le défi central consiste à comprendre le comportement des échelles « CKN-mauvaises » (CKN-bad)—des régions de l'espace-temps où la quantité critique d'échelle $\Psi(r)$ (impliquant les normes $L^3$ de la vitesse et $L^{3/2}$ de la pression) est grande. L'auteur cherche à décomposer ce problème de régularité locale en deux composantes distinctes : une résolution à grain grossier (ce qui est visible à une échelle filtrée) et un résidu de sous-filtre (ce qui est caché par le filtre). De plus, l'article étudie le bilan énergétique des champs résolus, spécifiquement la distribution signée du « travail combiné pression–flux » $G_\ell$, afin de déterminer comment l'énergie est transférée, dissipée ou renvoyée (backscatter) à travers une chaîne finie d'échelles.

Méthodologie
L'article emploie une analyse mathématique rigoureuse basée sur le grossissement spatial (mollification) et des identités énergétiques exactes, évitant ainsi les heuristiques probabilistes ou numériques.

1. Grossissement Spatial : L'auteur définit un filtre spatial $S_\ell$ de longueur $\ell > 0$, produisant une vitesse résolue $U_\ell$ et une pression $P_\ell$, ainsi qu'un tenseur de contrainte de Reynolds $R_\ell = S_\ell(u \otimes u) - U_\ell \otimes U_\ell$.
2. Décomposition des Quantités CKN : La quantité CKN complète $\Psi(r)$ est décomposée en une partie résolue $\Psi_\ell(r)$ et une partie résiduelle $\Omega_\ell(r)$ représentant les oscillations du sous-filtre.
3. Téléscopage de Chaîne Finie : L'analyse est menée sur une chaîne géométrique fixe de plaques paraboliques adjacentes $Q_k$ avec des rayons $r_k = \theta^k r_0$. L'auteur construit une somme « télescopique » d'identités d'énergie localisées à travers ces plaques.
4. Extraction de Travail Actif : Au lieu de supposer que la distribution de travail $G_\ell$ est non négative ou possède un signe fixe, l'article utilise une famille finie de profils de test pour extraire de manière constructive un poids non négatif. Cela permet à l'auteur d'identifier si le travail est « direct » (dissipatif) ou « inverse » (backscatter) sur chaque plaque.
5. Décomposition de la Pression : Le terme de pression est divisé en une partie singulière locale (via les transformées de Riesz) et une queue harmonique, permettant un contrôle précis de l'invariance de jauge et des contributions harmoniques au travail.

Contributions Clés et Résultats

1. Le Lemme de Résolution (Inconditionnel)
Le premier résultat principal est une inégalité algébrique reliant la « mauvaise » CKN complète à ses composantes grossières et résiduelles :
$$\Psi(r) \leq 4\Psi_\ell(r) + 4\Omega_\ell(r)$$

• Signification : Ce lemme est inconditionnel ; il ne repose ni sur les équations de Navier–Stokes, ni sur des inégalités de petite taille. Il établit que si une échelle est « mauvaise » ( $\Psi$ grand), elle doit être soit visible dans les champs résolus ($\Psi_\ell$), soit portée par un résidu de sous-filtre important ($\Omega_\ell$).
• Implication : Un détecteur basé uniquement sur les champs résolus ne peut pas manquer une singularité à moins que le résidu de sous-filtre ne soit quantitativement important. Cela empêche les « faux négatifs » dans la détection de régularité dus aux artefacts de filtrage.

2. Le Théorème de Dépression de Travail en Chaîne Finie
Le second résultat principal est une identité exacte pour le travail combiné pression–flux $G_\ell = \Pi_\ell + \nabla \cdot (P_\ell U_\ell)$ sur une chaîne finie de plaques.

• Extraction Constructive : Pour toute chaîne finie, l'auteur prouve l'existence d'un poids de test spécifique $\phi_k$ sur chaque plaque tel que la magnitude du travail $|W_k|$ est bornée inférieurement par une norme de coefficient de la distribution de travail.
• Inégalité de Télescopage : La sommation des identités d'énergie locales produit une inégalité pondérée :
  $$\sum_{k} w_k (W_k^+ + D_k) \leq E_0^- + \sum_{k} w_k |L_k| + \sum_{k} w_k W_k^-$$
  où $W_k^+$ est le travail direct, $W_k^-$ est le backscatter (travail négatif), $D_k$ est la dissipation résolue, et $L_k$ représente la fuite de localisation.
• Signification : Ce théorème rend compte rigoureusement du « backscatter » (transfert d'énergie des petites vers les grandes échelles) et de la « fuite » (énergie perdue aux limites des fonctions de test). Il montre que le travail direct et la dissipation sont « payés » par l'énergie cinétique initiale, la fuite et le travail négatif.

3. L'Interface du Détecteur Conditionnel
L'article synthétise ces résultats en une implication conditionnelle. Si une estimation indépendante de « l'observabilité grossière » existe (c'est-à-dire que la mauvaise résolution résolue $\Psi_\ell$ implique un travail actif $A_k(G_\ell)$ important), alors le théorème de dépression s'applique au travail détecté.

• La Lacune : L'article stipule explicitement que l'implication $\Psi_\ell \geq \epsilon \implies A_k(G_\ell) \geq c$ n'est pas prouvée ici. Elle est identifiée comme un problème distinct et difficile de compacité-rigidité qui peut échouer en raison de l'annulation pression–flux, des queues de pression harmoniques ou de profils cohérents de basse fréquence.

4. Exemples de Diagnostic et Limites
L'auteur fournit des exemples démontrant que :

• La pression harmonique (qui est une jauge dans le sens global) effectue un travail local réel et ne peut être ignorée.
• Le transfert direct et le backscatter sont tous deux algébriquement possibles pour les champs grossiers.
• L'annulation pression–flux peut cacher de grandes composantes individuelles au sein d'un travail combiné $G_\ell$ réduit.

Signification et Revendications
L'article prétend fournir un calcul d'obstruction à grain grossier à échelle finie pour le problème de régularité de Navier–Stokes. Sa contribution principale est structurelle et algébrique :

1. Séparation des Préoccupations : Il sépare clairement le problème de la « détection » d'une singularité (qui nécessite de prouver que la mauvaise résolution implique un travail important) du problème de la « comptabilité » de l'énergie (qui est géré par le théorème de dépression exact).
2. Résolution Inconditionnelle : Il élimine l'ambiguïté des échelles de sous-filtre via le lemme de résolution.
3. Comptabilité Exacte : Il fournit un registre exact pour le flux d'énergie, la dissipation et le backscatter sur des chaînes finies, en suivant explicitement la fuite et les queues harmoniques.

L'auteur présente modestement son travail comme l'isolement des « identités de résolution inconditionnelle et de travail en chaîne fixe » nécessaires pour une interface de détecteur. L'article ne prétend pas résoudre le problème de la régularité de Navier–Stokes ou prouver que les singularités ne peuvent pas exister. Au contraire, il établit les conditions mathématiques précises sous lesquelles un détecteur basé sur le travail résolu réussirait ou échouerait, soulignant que la difficulté restante réside dans l'étape d'« observabilité grossière » (éliminer les profils silencieux comme les queues harmoniques ou les annulations).