Strict 2.5D Shadows for One-Component Navier-Stokes Regularity

Résumé Technique : Ombres 2.5D Strictes pour la Régularité à Un Composant de Navier–Stokes

Énoncé du Problème
Le papier traite du problème de la régularité locale à un composant pour les équations de Navier–Stokes incompressibles en trois dimensions. Plus précisément, il examine si une solution faible appropriée $(u, p)$ reste régulière en un point $(0,0)$ si la composante verticale $u_3$ est petite dans une norme critique invariante par changement d'échelle, tout en supposant que la solution complète satisfait une borne d'énergie invariante par changement d'échelle. La question centrale est de savoir si une composante verticale petite ($C_3(1) = \delta \ll 1$) combinée à une énergie totale bornée ($\Phi(1) \le M$) implique une borne inférieure sur le rayon de régularité $r_{reg}(0,0)$ qui décroît de manière logarithmique avec $\delta$.

Méthodologie et Architecture
Le papier ne prétend pas fournir une preuve inconditionnelle de la borne de régularité logarithmique. Au lieu de cela, il construit un théorème de réduction conditionnelle rigoureux. La méthodologie procède via une chaîne de dépendance spécifique, isolant le problème en entrées structurelles qui sont soit prouvées dans le papier, soit identifiées comme les obstructions restantes.

1. Comparaison d'Ombre 2.5D Stricte :
   La stratégie centrale consiste à comparer la solution de Navier–Stokes à un système limite « strict 2.5D ». Ce système est composé d'un champ de vitesse horizontal $V_h$ (avec $V_3=0$) et d'une pression $Q$ satisfaisant $\partial_3 Q = 0$. La comparaison est effectuée dans le quotient de pression harmonique, une topologie stable sous la décomposition de pression locale, où la pression est mesurée modulo les fonctions spatialement harmoniques. Cela permet d'éviter les problèmes liés aux pressions harmoniques dépendantes du temps qui peuvent présenter de grands gradients mais des oscillations bornées par changement d'échelle.

2. Entropie Relative à Tampon de Variance :
   Un obstacle technique majeur est le commutateur de Reynolds (ou stress de covariance) $\tau^\ell = S_\ell(u_h \otimes u_h) - S_\ell u_h \otimes S_\ell u_h$ généré par le lissage de la vitesse. Les estimations standards forceraient ce terme à travers un facteur exponentiel élevé ($e^{C\ell^{-N}}$), détruisant toute progression logarithmique.

   • Innovation : Le papier introduit un cadre d'entropie relative à tampon de variance. En définissant une variance non résolue $\kappa^\ell = \frac{1}{2}\text{tr}(\tau^\ell)$ et en utilisant une identité de variance d'Onsager localisée, le terme dangereux $\tau^\ell : \nabla_h U^\ell_h$ est annulé par la dérivée temporelle du terme de variance.
   • Résultat : Le commutateur de Reynolds contribue de manière additive (comme une puissance positive de l'échelle $\ell$) plutôt que multiplicative par le facteur exponentiel. Seuls les résidus impliquant réellement la petite composante verticale $u_3$ portent le facteur exponentiel.

3. Sélection d'Ombre Subcritique et Analyse de Blow-up :
   Le papier réduit la sélection quantitative d'une ombre stricte de « bon temps » à un problème géométrique.

   • Sélection Subcritique : Au lieu d'exiger une échelle de sélection de $\ell^2$ (trop forte pour les estimations de stress actuelles), le papier formule un prinment de sélection subcritique avec une échelle $\ell^\mu$ où $0 < \mu < 1/6$. Cet exposant est choisi pour garantir que les erreurs de covariance normalisées et les erreurs de troncature s'annulent dans la limite de blow-up.
   • Compacité de Trace : En utilisant un ensemble de « bon temps épais » et un argument de chute de trace à haute fréquence, le papier établit que les quasi-minimiseurs nets ne perdent pas d'énergie de trace vers des fréquences arbitrairement hautes, à condition qu'une hypothèse d'intersection spécifique soit satisfaite.
   • Analyse des Strates Singulières : La réduction identifie que si la sélection d'ombre stricte échoue, la limite de blow-up doit résider dans une strate singulière de la contrainte de compatibilité de pression non linéaire $C(V) = \nabla_h \partial_3 \Delta^{-1}_{h,g} \partial_a \partial_b (V_a V_b) = 0$. Le papier analyse la géométrie de ces strates (ombre nulle, branche non nulle tempérée, et branche plate à modes finis).

4. Dualité Verticale et Exclusion :
   La dernière étape implique une estimation de résidu actif de dualité verticale. Cette hypothèse affirme que l'équation de quantité de mouvement verticale empêche les résidus d'exciter des directions « fantômes » dans l'espace quotient strict. Si cela est vérifié, cela exclut l'existence d'une branche plate à modes finis « survivante » qui ferait autrement obstacle à la sélection.

Contributions Clés

• Théorème de Réduction Conditionnelle : Le papier prouve que le problème de régularité à un composant logarithmique est réduit à un ensemble fini d'entrées structurelles. Spécifiquement, il montre que si l'étalement de la factorisation de la dualité verticale et la sélection de courbe de la strate singulière sont vérifiés, alors le rayon de régularité satisfait $r_{reg}(0,0) \ge c_{M,\theta} |\log \delta|^{-\sigma/3}$.
• Topologie du Quotient de Pression Harmonique : Il formalise l'utilisation du quotient de pression harmonique comme la topologie locale naturelle pour la compacité de la pression dans ce contexte, résolvant les ambiguïtés concernant les pressions spatialement harmoniques.
• Traitement Additif du Stress de Reynolds : Il fournit un mécanisme (via l'entropie relative à tampon de variance et les identités d'Onsager) pour traiter le commutateur de Reynolds de manière additive, évitant l'explosion exponentielle qui empêche typiquement les taux logarithmiques dans les arguments de stabilité faible-forte.
• Identification de l'Obstruction Géométrique : Il identifie précisément l'obstruction restante non pas comme un problème de régularité générale, mais comme un problème de sélection de courbe de strate singulière pour la contrainte de compatibilité de pression non linéaire.

Résultats
Le résultat principal est le Théorème 1.1, un théorème de réduction conditionnelle. Il stipule que sous des entrées structurelles explicitement listées (incluant l'estimation de dualité verticale et la sélection de courbe de strate singulière), le rayon de régularité est borné inférieurement par une fonction logarithmique de la petite composante verticale :
$$r_{reg}(0, 0) \ge c_{M,\theta} |\log C_3(1)|^{-\sigma/3}$$
Le papier précise explicitement qu'il ne constitue pas une résolution inconditionnelle du problème de régularité à un composant logarithmique. La preuve des entrées structurelles (spécifiquement les Problèmes 1.5, 1.6 et 1.8 du texte) est laissée comme tâche restante.

Signification et Revendications
Le papier revendique sa signification en tant que réduction pilotée par le théorème. Il déplace la charge de la preuve d'une estimation analytique globale vers un problème géométrique-analytique spécifique : la sélection de courbes strictes dans le cône tangent des strates singulières de la carte de compatibilité de pression.

• Modestie : Les auteurs sont explicites sur le fait que le papier est un « théorème de réduction ». L'« échec de la sélection d'ombre stricte » est réduit à une « obstruction de trace à mode plat fini », qui est ensuite éliminée conditionnellement par la dualité verticale.
• Portée : Le travail isole l'« obstruction spécifique aux EDP » (dualité verticale) des « entrées structurelles » (lissage, compacité de trace, sélection de courbe). Il clarifie que le taux logarithmique est compatible avec les estimations de stabilité faible-forte où les constantes croissent exponentiellement en une échelle de basse fréquence, à condition que le stress de Reynolds soit traité de manière additive.

En résumé, le papier fournit une feuille de route complète pour prouver la régularité à un composant logarithmique, démontant que le problème est soluble si et seulement si les obstructions géométriques spécifiques liées à la contrainte de pression verticale peuvent être résolues.