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

Resumen Técnico: Sombras 2.5D Estrictas para la Regularidad de un Solo Componente de Navier–Stokes

Planteamiento del Problema
El artículo aborda el problema de la regularidad local de un solo componente para las ecuaciones de Navier–Stokes incompresibles tridimensionales. Específicamente, investiga si una solución débil adecuada $(u, p)$ permanece regular en un punto $(0,0)$ si la componente vertical $u_3$ es pequeña en una norma crítica invariante de escala, mientras que la solución completa satisface un límite de energía invariante de escala. La cuestión central es si un componente vertical pequeño ($C_3(1) = \delta \ll 1$) combinado con una energía total acotada ($\Phi(1) \le M$) implica un límite inferior en el radio de regularidad $r_{reg}(0,0)$ que escala logarítmicamente con $\delta$.

Metodología y Arquitectura
El artículo no pretende una demostración incondicional del límite de regularidad logarítmica. En su lugar, construye un teorema de reducción condicional riguroso. La metodología procede a través de una cadena de dependencia específica, aislando el problema en entradas estructurales que son probadas dentro del artículo o identificadas como las obstrucciones restantes.

1. Comparación de Sombras 2.5D Estrictas:
   La estrategia central compara la solución de Navier–Stokes con un sistema límite "2.5D estricto". Este sistema consiste en un campo de velocidad horizontal $V_h$ (con $V_3=0$) y una presión $Q$ que satisface $\partial_3 Q = 0$. La comparación se realiza en el cociente de presión armónica, una topología estable bajo la descomposición de presión local, donde la presión se mide módulo funciones espacialmente armónicas. Esto evita problemas con presiones armónicas dependientes del tiempo que pueden tener gradientes grandes pero oscilaciones invariantes de escala acotadas.

2. Entropía Relativa con Amortiguación de Varianza:
   Un obstáculo técnico importante es el conmutador de Reynolds (o estrés de covarianza) $\tau^\ell = S_\ell(u_h \otimes u_h) - S_\ell u_h \otimes S_\ell u_h$ generado por el granulado (coarse-graining) de la velocidad. Las estimaciones estándar forzarían este término a través de un alto factor exponencial ($e^{C\ell^{-N}}$), destruyendo cualquier tasa logarítmica.

   • Innovación: El artículo introduce un marco de entropía relativa con amortiguación de varianza. Al definir una varianza no resuelta $\kappa^\ell = \frac{1}{2}\text{tr}(\tau^\ell)$ y utilizar una identidad de varianza de Onsager localizada, el término peligroso $\tau^\ell : \nabla_h U^\ell_h$ se cancela mediante la derivada temporal del término de varianza.
   • Resultado: El conmutador de Reynolds contribuye aditivamente (como una potencia positiva de la escala $\ell$) en lugar de multiplicativamente a través del factor exponencial. Solo los residuales que involucran genuinamente al componente vertical pequeño $u_3$ portan el factor exponencial.

3. Selección de Sombra Subcrítica y Análisis de Explosión (Blow-up):
   El artículo reduce la selección cuantitativa de una "sombra estricta de buen tiempo" a un problema geométrico.

   • Selección Subcrítica: En lugar de exigir una escala de selección de $\ell^2$ (que es demasiado fuerte para los límites de estrés actuales), el artículo formula un principio de selección subcrítica con una escala $\ell^\mu$ donde $0 < \mu < 1/6$. Este exponente se elige para asegurar que los errores de covarianza normalizados y los errores de corte desaparezcan en el límite de explosión.
   • Estrechez de Traza (Trace Tightness): Utilizando un conjunto de "buen tiempo" grueso y un argumento de caída de traza de alta frecuencia, el artículo establece que los casi-minimizadores agudos no pierden energía de traza hacia frecuencias arbitrariamente altas, siempre que se cumpla una hipótesis de intersección específica.
   • Análisis de Estratos Singulares: La reducción identifica que, si la selección de sombra estricta falla, el límite de explosión debe residir en un estrato singular de la restricción no lineal de compatibilidad de presión $C(V) = \nabla_h \partial_3 \Delta^{-1}_{h,g} \partial_a \partial_b (V_a V_b) = 0$. El artículo analiza la geometría de estos estratos (ramas de sombra cero, rama de no nulo de temperamento y ramas planas de modo finito).

4. Dualidad Vertical y Exclusión:
   Este último paso involucra una estimación de residuo activo de dualidad vertical. Esta hipótesis afirma que la ecuación de momento vertical impide que los residuales exciten direcciones "fantasma" en el espacio cociente estricto. Si esto se cumple, excluye la existencia de una rama plana de modo finito "supervivente" que de otro modo obstruiría la selección.

Contribuciones Clave

• Teorema de Reducción Condicional: El artículo demuestra que el problema de la regularidad de un solo componente logarítmica se reduce a un conjunto finito de entradas estructurales. Específicamente, muestra que si la factorización de residuo activo de dualidad vertical y la selección de curvas en estratos singulares se cumplen, entonces el radio de regularidad satisface $r_{reg}(0,0) \ge c_{M,\theta} |\log \delta|^{-\sigma/3}$.
• Topología de Cociente de Presión Armónica: Formaliza el uso del cociente de presión armónica como la topología local natural para la compacidad de la presión en este contexto, resolviendo ambigüedades respecto a las presiones espacialmente armónicas.
• Tratamiento Aditivo del Estrés de Reynolds: Proporciona un mecanismo (mediante entropía relativa con amortiguación de varianza e identidades de Onsager) para tratar el conmutador de Reynolds de forma aditiva, evitando la explosión exponencial que típicamente impide las tasas logarítmicas en los argumentos de unicidad débil-fuerte.
• Identificación de la Obstrucción Geométrica: Identifica precisamente la obstrucción restante no como un problema de regularidad general, sino como un problema de selección de curvas en estratos singulares para la restricción de compatibilidad de presión no lineal.

Resultos
El resultado principal es el Teorema 1.1, un teorema de reducción condicional. Establece que, bajo las entradas estructurales explícitamente listadas (incluyendo la estimación de dualidad vertical y la selección de curvas en estratos singulares), el radio de regularidad está acotado inferiormente por una función logarítmica del componente vertical pequeño:
$$r_{reg}(0, 0) \ge c_{M,\theta} |\log C_3(1)|^{-\sigma/3}$$
El artículo establece explícitamente que esto no constituye una resolución incondicional del problema de la regularidad de un solo componente logarítmica. La demostración de las entradas estructurales (específicamente los Problemas 1.5, 1.6 y 1.8 en el texto) queda como la tarea pendiente.

Significancia y Reivindicaciones
El artículo reivindica su significancia como una reducción impulsada por teoremas. Desplaza la carga de la prueba de una estimación analítica global a un problema geométrico-analítico específico: la selección de curvas estrictas en el cono tangente de los estratos singulares del mapa de compatibilidad de presión.

• Modestia: Los autores son explícitos al señalar que el trabajo es un "teorema de reducción". El "fallo de selección de sombra estricta" se reduce a una "obstrucción de traza plana de modo finito", la cual es eliminada condicionalmente por la dualidad vertical.
• Alcance: El trabajo aísla la "obstrucción específica de la EDP" (dualidad vertical) de las "entradas estructurales" (suavizado, estrechez de traza, selección de curvas). Clarifica que la tasa logarítmica es compatible con las estimaciones de estabilidad débil-fuerte donde las constantes crecen exponencialmente en una escala de baja frecuencia, siempre que el estrés de Reynolds se maneje de forma aditiva.

En resumen, el artículo proporciona una hoja de ruta completa para probar la regularidad de un solo componente logarítmica, demostrando que el problema es resoluble si y solo si se resuelven las obstrucciones geométricas específicas relacionadas con la restricción de presión vertical.