Resumen Técnico: Cascadas de Defectos Invisibles para la Regularidad de Navier–Stokes

1. Planteamiento del Problema

El artículo aborda el problema de la regularidad local para las ecuaciones de Navier–Stokes incompresibles en tres dimensiones. Específicamente, investiga el escenario donde un posible punto singular $z_0$ no entra en el régimen de pequeñez de Caffarelli–Kohn–Nirenberg (CKN) en ninguna escala diedica suficientemente pequeña. En la teoría clásica, si una cantidad invariante de escala $\Psi(z_0, r) = C(z_0, r) + D(z_0, r)$ cae por debajo de un umbral universal $\varepsilon_{CKN}$, la solución es regular. El artículo asume lo contrario: que para una rama no-CKN, $\Psi(r_n) > \varepsilon_{CKN}$ para todas las escalas diedicas $r_n = 2^{-n}$.

La cuestión central no es probar la regularidad directamente, sino caracterizar estructuralmente la naturaleza de la obstrucción que impide la regularidad. El artículo postula que, si existe una singularidad, esta no puede ser una concentración genérica de energía o presión; más bien, debe tomar una forma altamente específica: una cascada de defectos combinada, invisible, de escala crítica, limpia y realizable por NS (Navier–Stokes).

2. Metodología y Marco de Trabajo

La metodología se basa en un proceso de reducción de múltiples etapas que transforma el problema de regularidad local en un problema de compatibilidad y observabilidad. El marco procede a través de los siguientes pasos:

2.1 Paquetes de Defectos de Coarse-Graining Diedico

Los autores asocian un "paquete de defectos" a cada escala diedica cerca de una potencial singularidad. Este paquete se deriva de las ecuaciones de Navier–Stokes mediante reescalado y suavizado (coarse-graining o moldeo).

• Reescalado: La solución $(u, p)$ se reescala a escala unitaria: $u^{(n)}(x,t) = r_n u(r_n x, r_n^2 t)$.
• Suavizado (Coarse-Graining): Se aplica un suavizador $S_\ell$ para generar campos resueltos $U_{n,\ell}$ y $P_{n,\ell}$.
• Definición del Defecto: La diferencia entre el flujo no lineal del campo resuelto y el flujo no lineal resuelto define el defecto de Reynolds $R_{n,\ell} = S_\ell(u^{(n)} \otimes u^{(n)}) - U_{n,\ell} \otimes U_{n,\ell}$.
• Descomposición de la Presión: La presión se divide en una parte activa ($P^{act}$), generada por la fuente cuadrática local, y una parte armónica ($P^{har}$), que es espacialmente armónica en la ventana de observación. Crucialmente, la parte armónica se retiene en el paquete y no se elimina como un gauge, ya que contribuye al momento y a la energía.
• Flujo de Energía: El flujo de energía $\Pi_{n,\ell} = -R_{n,\ell} : \nabla U_{n,\ell}$ se define para medir la transferencia de energía entre escalas.

2.2 Mapas de Observabilidad Combinada

El artículo introduce una jerarquía de canales de observación para probar si un defecto es "visible". Un defecto se considera invisible solo si supera todas las pruebas simultáneamente. Los canales son:

1. Presión Activa: Prueba la presión no armónica generada por la fuente activa.
2. Flujo: Prueba la transferencia de energía interescalar ($\Pi$).
3. Energía: Prueba el balance de energía local y la covarianza de Reynolds positiva ($R \ge 0$).
4. Traza del Adjunto: Prueba si el defecto puede ser detectado por perturbaciones en tiempos seleccionados a través del sistema linealizado adjunto.

El Mapa de Observabilidad Combinada $O_{comb}$ agrega estos canales. Un "fantasma de defecto real" es una dirección no nula en el núcleo de este mapa que también es realizable por NS (es decir, surge de una solución débil adecuada real, no solo de una linealización formal).

2.3 Control de Crecimiento de Ventana Móvil

El marco pasa de ventanas fijas a una secuencia de ventanas móviles $W_n$ a medida que la escala $n \to \infty$. El argumento de regularidad depende de si las constantes de observabilidad $M_n$ (el inverso del valor singular más pequeño del mapa de observación) crecen demasiado rápido. Si el crecimiento está controlado (por ejemplo, polinomial o exponencial simple) y la suma de los inversos de las constantes diverge, una escala CKN debe aparecer eventualmente, a menos que exista una cascada invisible.

2.4 Diagnósticos de Recurrencia Crítica

Para explicar cómo una singularidad podría persistir, el artículo propone un programa de "recurrencia crítica". Sugiere que una órbita persistente y "mala" debe ser sostenida por uno de tres mecanismos:

• Estiramiento de Vórtices (Vortex Stretching): Producción de estiramiento resuelto positivo.
• Trabajo de la Presión Activa: Focalización de la presión activa.
• Flujo Interescalar: Flujo de energía con signo coherente u oscilatorio.
  El artículo formula diagnósticos para estos mecanismos para determinar si pueden sostener una recurrencia sin agotar un presupuesto local finito.

3. Principales Contribuciones

1. Teorema de Reducción Estructural: El artículo proporciona una reducción precisa: si un punto es singular, entonces o bien la observabilidad de la ventana móvil no es efectiva (las constantes crecen demasiado rápido), o existe una cascada de defectos combinada, invisible, de escala crítica y realizable por NS. Esto desplaza el problema de "probar la regularidad" a "descartar un tipo específico de obstrucción altamente organizada".
2. Filtro de Realizabilidad por NS: Una contribución novedosa es la distinción entre núcleos de dimensión finita formales y obstrucciones genuinas de Navier–Stokes. Un vector de núcleo formal solo es peligroso si se encuentra en el cierre del rango de los paquetes de defectos reales derivados de NS. Esto evita que los "fantasmas de modelos" sean confundidos con singularidades genuinas.
3. Mecanismo de Observabilidad Combinada: El artículo integra las observaciones de presión, flujo, energía y traza en una única jerarquía. Demuestra que un defecto invisible para un canal es forzado hacia una clase residual más pequeña probada por el siguiente, culminando en un análisis de costo de traza.
4. Objetos de Fallo Explícitos: El artículo define los objetos matemáticos precisos que constituirían un contraejemplo: una secuencia de ventanas, defectos realizables por NS y direcciones duales que son invisibles para todos los canales pero que se acoplan de forma no trivial.
5. Cuatro Objetivos Teóricos: El trabajo reduce el camino hacia una prueba de regularidad a cuatro tareas analíticas concretas:
   • Extracción de defectos diedicos.
   • Agotamiento observable (los defectos visibles deben consumir un presupuesto finito).
   • Exclusión de la realizabilidad por NS en ventanas finitas.
   • Control de crecimiento de la ventana móvil.

4. Resultados y Estado

El artículo no prueba la conjetura de regularidad global de Navier–Stokes, ni construye una solución singular. Sus resultados son estructurales y condicionales:

• Verificaciones de Modelos: El artículo demuestra que en regímenes "limpios" (por ejemplo, ventanas finitas periódicas o ventanas perturbativamente localizadas), la observabilidad combinada se cumple, y las únicas obstrucciones son núcleos explícitos de dimensión finita o espacios de obstrucción de traza proyectados.
• Regularidad Condicional: El Teorema 15.5 establece que si los cuatro objetivos teóricos se cumplen en una clase de ventanas controlada, entonces debe ocurrir una escala CKN, lo que implica regularidad local.
• El Contrapositivo: Si la regularidad falla, el fallo debe manifestarse como una "cascada invisible de ventana móvil residual de izquierda-singular": una secuencia de defectos realizables por NS que son invisibles para la presión, el flujo, la energía y la traza, y que se alinean con direcciones duales casi invisibles.

5. Significado y Reivindicaciones

El artículo reivindica su importancia como una reducción estructural más que como una solución.

• Refinamiento de la Obstrucción: Comprime la noción vaga de "fallo de compacidad" en un objeto altamente restringido: una cascada de escala crítica, limpia, realizable por NS y combinada, que es invisible para un conjunto combinado de observables físicos.
• Clarificación del Camino a Seguir: Al aislar los cuatro objetivos teóricos, el artículo clarifica exactamente qué trabajo analítico se requiere para probar la regularidad. Sugiere que si la ruta falla, el fallo debe deberse a un mecanismo específico y altamente organizado (por ejemplo, una alineación específica de estiramiento de vórtices y trabajo de presión que evade todos los presupuestos), en lugar de una falta de compacidad genérica.
• Estado Honesto: Los autores declaran explícitamente que el artículo no anuncia la exclusión de singularidades. En su lugar, transforma la pregunta "¿Puede ocurrir una singularidad de Navier–Stokes?" en la pregunta más estructurada: "¿Puede existir una cascada de defectos de ventana móvil, invisible, combinada y realizable por NS?".

En resumen, el artículo proporciona un marco riguroso para analizar potenciales singularidades descomponiéndolas en paquetes de defectos y probándolos contra una jerarquía de observables físicos. Concluye que cualquier singularidad genuina debe ser un objeto "limpio" que evade la detección por presión, flujo, energía y traza simultáneamente, cumpliendo además con las identidades exactas de Navier–Stokes, definiendo así la naturaleza precisa de la obstrucción restante para la regularidad.