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

Resumen Técnico: Resolución de Grano Grueso y Depleción de Trabajo de Presión–Flujo para la "Maldad" de Navier–Stokes

Planteamiento del Problema
El artículo aborda el problema de la regularidad local para las ecuaciones de Navier–Stokes incompresibles tridimensionales, específicamente dentro del marco de la teoría de Caffarelli–Kohn–Nirenberg (CKN). El desafío central es comprender el comportamiento de las escalas "CKN-malas" (CKN-bad)—regiones espacio-temporales donde la cantidad crítica de escala $\Psi(r)$ (que involucra las normas $L^3$ de la velocidad y $L^{3/2}$ de la presión) es grande. El autor busca descomponer este problema de regularidad local en dos componentes distintos: una resolución de grano grueso (lo que es visible en una escala filtrada) y un residuo de subfiltro (lo que está oculto por el filtro). Además, el artículo investiga el balance de energía de los campos resueltos, específicamente la distribución con signo del "trabajo combinado de presión–flujo" $G_\ell$, para determinar cómo se transfiere, disipa o retrodispersa la energía a través de una cadena finita de escalas.

Metodología
El artículo emplea un análisis matemático riguroso basado en el granado espacial (mollificación) e identidades de energía exactas, evitando heurísticas probabilísticas o numéricas.

1. Granado Espacial (Coarse Graining): El autor define un filtro espacial $S_\ell$ con longitud $\ell > 0$, que produce la velocidad resuelta $U_\ell$ y la presión $P_\ell$, así como un tensor de esfuerzo de Reynolds $R_\ell = S_\ell(u \otimes u) - U_\ell \otimes U_\ell$.
2. Descomposición de las Cantidades CKN: La cantidad CKN completa $\Psi(r)$ se descompone en una parte resuelta $\Psi_\ell(r)$ y una parte residual $\Omega_\ell(r)$ que representa las oscilaciones del subfiltro.
3. Telescopaje de Cadena Finita: El análisis se lleva a cabo sobre una cadena geométrica fija de losas parabólicas adyacentes $Q_k$ con radios $r_k = \theta^k r_0$. El autor construye una suma "telescópica" de identidades de energía localizadas a través de estas losas.
4. Extracción de Trabajo Activo: En lugar de asumir que la distribución de trabajo $G_\ell$ es no negativa o tiene un signo fijo, el artículo utiliza una familia finita-dimensional de perfiles de prueba para extraer constructivamente un peso no negativo. Esto permite al autor identificar si el trabajo es "hacia adelante" (disipativo) o "hacia atrás" (retrodispersión/backscatter) en cada losa.
5. Descomposición de la Presión: El término de presión se divide en una parte de integral singular local (vía transformadas de Riesz) y una cola armónica, permitiendo un control preciso de la invarianza de calibre y las contribuciones armónicas al trabajo.

Contribuciones Clave y Resultados

1. El Lema de Resolución (Incondicional)
El primer resultado principal es una desigualdad algebraica que relaciona la "maldad" CKN completa con sus componentes de grano grueso y residual:
$$\Psi(r) \leq 4\Psi_\ell(r) + 4\Omega_\ell(r)$$

• Significancia: Este lema es incondicional; no depende de las ecuaciones de Navier–Stokes, de las desigualdades de energía local ni de condiciones de pequeñez. Establece que si una escala es "mala" (grande $\Psi$), debe ser visible en los campos resueltos ($\Psi_\ell$) o estar transportada por un residuo de subfiltro cuantificablemente grande ($\Omega_\ell$).
• Implicación: Un detector basado únicamente en campos resueltos no puede omitir una singularidad a menos que el residuo del subfiltro sea cuantitativamente grande. Esto evita "falsos negativos" en la detección de regularidad debido a artefactos de filtrado.

2. El Teorema de Depleción de Trabajo de Cadena Finita
El segundo resultado principal es una identidad exacta para el trabajo combinado de presión–flujo $G_\ell = \Pi_\ell + \nabla \cdot (P_\ell U_\ell)$ sobre una cadena finita de losas.

• Extracción Constructiva: Para cualquier cadena finita, el autor demuestra la existencia de un peso de prueba específico $\phi_k$ en cada losa tal que la magnitud del trabajo $|W_k|$ está acotada inferiormente por una norma de coeficiente de la distribución de trabajo.
• Desigualdad Telescópica: Al sumar las identidades de energía locales se obtiene una desigualdad ponderada:
  $$\sum_{k} w_k (W_k^+ + D_k) \leq E_0^- + \sum_{k} w_k |L_k| + \sum_{k} w_k W_k^-$$
  donde $W_k^+$ es el trabajo hacia adelante, $W_k^-$ es la retrodispersión (trabajo negativo), $D_k$ es la disipación resuelta y $L_k$ representa la fuga de localización.
• Significancia: Este teorema contabiliza rigurosamente la "retrodispersión" (transferencia de energía de escalas pequeñas a grandes) y la "fuga" (energía perdida en los límites de las funciones de prueba). Muestra que el trabajo hacia adelante y la disipación son "pagados" por la energía cinética inicial, la fuga y el trabajo negativo.

3. La Interfaz del Detector Condicional
El artículo sintetiza estos resultados en una implicación condicional. Si existe una estimación de "observabilidad de grano grueso" independiente (es decir, si una gran maldad resuelta $\Psi_\ell$ implica un gran coeficiente de trabajo activo $A_k(G_\ell)$), entonces el teorema de depleción se aplica al trabajo detectado.

• La Brecha: El artículo establece explícitamente que la implicación $\Psi_\ell \geq \epsilon \implies A_k(G_\ell) \geq c$ no se demuestra aquí. Se identifica como un problema de compacidad-rigidez separado y difícil que puede fallar debido a la cancelación presión–flujo, las colas de presión armónica o perfiles coherentes de baja frecuencia.

4. Ejemplos Diagnósticos y Limitaciones
El autor proporciona ejemplos que demuestran que:

• La presión armónica (que es un calibre en el sentido global) realiza un trabajo local real y no puede ser ignorada.
• La transferencia hacia adelante y la retrodispersión son ambas algebraicamente posibles para los campos de grano grueso.
• La cancelación presión–flujo puede ocultar componentes individuales grandes dentro de un trabajo combinado $G_\ell$ pequeño.

Significancia y Reivindicaciones
El artículo afirma proporcionar un cálculo de obstrucción de grano grueso de escala finita para el problema de la regularidad de Navier–Stokes. Su contribución principal es estructural y algebraica:

1. Separación de Preocupaciones: Separa claramente el problema de "detectar" una singularidad (que requiere demostrar que la maldad resuelta implica un trabajo grande) del problema de "contabilizar" la energía (que es manejado por el teorema de depleción exacto).
2. Resolución Incondicional: Elimina la ambigüedad de las escalas de subfiltro en el criterio CKN mediante el lema de resolución.
3. Contabilidad Exacta: Proporciona un libro de contabilidad exacto para el flujo de energía, la disipación y la retrodispersión en cadenas finitas, rastreando explícitamente la fuga y las colas armónicas.

El autor enmarca modestamente el trabajo como el aislamiento de la "resolución incondicional y las identidades de trabajo de cadena fija" necesarias para una interfaz de detector. El artículo no pretende resolver el problema de la regularidad de Navier–Stokes ni probar que las singularidades no pueden existir. En su lugar, establece las condiciones matemáticas precisas bajo las cuales un detector basado en el trabajo resuelto tendría éxito o fallaría, resaltando que la dificultad restante reside en el paso de "observabilidad de grano grueso" (descartar perfiles silenciosos como las colas armónicas o la cancelación).