A Structural Audit of Navier-Stokes Obstruction Calculus

Resumen Técnico: Una Auditoría Estructural del Cálculo de Obstrucción 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, investiga la "pregunta de regularidad local antes de la pequeñez": si una solución posee una persistencia de "maldad" de Caffarelli–Kohn–Nirenberg (CKN) (es decir, que las cantidades de escala crítica no decaen a cero), ¿qué mecanismos físicos o matemáticos sostienen, ocultan, transfieren o reproducen esta maldad a través de las escalas? El autor audita un programa de escala finita diseñado para responder a esto, el cual ha acumulado diversas herramientas estructurales (libros de contabilidad, descomposiciones de defectos, identidades de trabajo) pero que aún no ha producido una prueba de regularidad ni una exclusión definitiva de singularidades.

Metodología y Marco de Trabajo
El artículo emplea un enfoque de "auditoría estructural", analizando la arquitectura lógica de las teorías existentes de descomposición de ventana finita y escala finita. La metodología consiste en:

1. Categorización: Distinguir entre "estructuras de contabilidad" o "de interfaz" (que organizan dónde aparecen la energía y los defectos) y "estimaciones coercitivas de EDP" (que prueban que la pérdida total es inasequible o que un obstáculo no puede existir).
2. Análisis de Descomposición: Examinar módulos específicos desarrollados en trabajos previos, incluyendo libros de contabilidad críticos de escala finita, paquetes de defectos de grano grueso, identidades de trabajo de flujo-presión y limpiezas de cociente.
3. Resolución e Identificación de Cuellos de Botella: Probar lemas que separan la maldad completa de CKN en "maldad de grano grueso" y "residuales de subfiltro", y demostrar dónde los enfoques basados en detectores actuales fallan al intentar dominar la maldad completa de forma incondicional.
4. Cambio de Mecanismo: Argumentar que el enfoque debe desplazarse de las comparaciones de detectores abstractos (por ejemplo, aproximaciones de un solo componente) hacia el mecanismo intrínseco de estiramiento de vórtices en tres dimensiones.

Contribuciones Clave y Resultados

1. La Tesis Central:
   El artículo establece que el programa de escala finita existente constituye un cálculo de obstrucción exitoso, pero no un mecanismo de regularidad todavía. Las herramientas desarrolladas (libros de contabilidad, paquetes de defectos, teoremas de cociente) identifican correctamente dónde se debe "pagar" (por ejemplo, mediante fugas, colas de presión o retrodispersión), pero no prueban por sí mismas que el precio sea inasequible. Organizan la obstrucción en lugar de excluirla.

2. Lema de Resolución y Limitaciones de los Detectores:

   • Lema de Resolución: El autor demuestra que la maldad completa de CKN implica tanto "maldad de grano grueso" (detectable en una escala filtrada) como un "residual de subfiltro".
   • Sin Dominación Incondicional: Un resultado clave es la prueba de que no existe una dominación incondicional de una sola escala donde un detector de trabajo combinado con signo (presión + flujo) limite universalmente la norma CKN. Un contraejemplo (campo de velocidad constante) muestra que una solución puede tener cantidades CKN no nulas mientras el detector se anula.
   • Mecanismos Silenciosos: El artículo identifica seis "mecanismos silenciosos" que permiten que la maldad de CKN persista sin activar el detector: residuales de subfiltro, colas de presión armónica, cancelación presión-flujo, flujo coherente de baja frecuencia, retrodispersión y colapso de ventana móvil.

3. Crítica de las Estructuras Existentes:
   La auditoría revela por qué las estructuras actuales alcanzan un "muro":

   • Reducción $\neq$ Cierre: Muchos resultados reducen el problema a cotas inferiores de ventana finita, pero dependen de entradas estructurales (como la visibilidad de gráficos de escala uniforme) que son, en sí mismas, las estimaciones difíciles de las EDP.
   • Libro de Contabilidad vs. Lyapunov: La desigualdad crítica del libro de contabilidad es un teorema de contabilidad, no un funcional de Lyapunov. No prueba que el suministro sea siempre menor que el impuesto más la fuga.
   • Finito vs. Uniforme: La exactitud de ventana finita (vía compacidad) no implica exactitud de escala uniforme; las constantes pueden degenerar a medida que la ventana cambia.

4. Nuevas Estimaciones Propuestas (El Vínculo "Faltante"):
   El artículo formula una lista específica de nuevas estimaciones de EDP requeridas para cerrar la arquitectura, priorizando una estimación de estiramiento-difusión filtrada:

   • Vorticidad Filtrada: Dado que las soluciones débicas adecuadas carecen de $\nabla \omega \in L^2$, el artículo argumenta a favor de una formulación utilizando vorticidad espacialmente filtrada ($\Omega_\ell = \nabla \times S_\ell u$).
   • Balance Estiramiento-Difusión: El objetivo principal es una estimación de la forma:
     $$V^+_{r,\ell} \leq (1-\varepsilon^*) P_{r,\ell} + \text{defectos}$$
     donde $V^+$ es el término de estiramiento positivo, $P$ es la disipación filtrada, y los "defectos" incluyen incoherencia de dirección, forzamiento de subrejilla, fugas y colas de presión.
   • Cierre Condicional: El artículo demuestra un teorema de cierre abstracto condicional que muestra que, si se puede extraer trabajo hacia adelante fuera de un "conjunto silencioso" controlado, controlar la fuga/retrodispersión y acotar el conjunto silencioso, entonces una rama persistente no-CKN es imposible.

5. Ruta Revisada:
   El artículo propone un cambio de estrategia:

   • Ruta Antigua: Geometría del detector $\to$ Conteo de escalas malas.
   • Nueva Ruta: Mecanismo de estiramiento de vórtices filtrado $\to$ Estimación de estiramiento-difusión $\to$ Conteo de escalas malas $\to$ Certificación de ventana finita.

Significancia y Reivindicaciones
El artículo afirma que su significancia radica en diagnosticar el punto preciso de falla en el programa de regularidad actual. Argumenta que el refinamiento adicional del lenguaje de los detectores o de la contabilidad es insuficiente. En su lugar, el campo requiere una verdadera estimación de EDP que actúe directamente sobre el mecanismo de sustento de las singularidades potenciales, específicamente, el equilibrio entre el estiramiento de vórtices y la difusión en un entorno filtrado.

El autor concluye modestamente que el marco existente proporciona un sistema de "contabilidad" preciso para localizar los canales de obstrucción, pero debe ser aumentado por un "control coercitivo" del término de estiramiento positivo y los efectos de subrejilla para convertirse en un verdadero mecanismo de regularidad. El artículo no prueba la regularidad; más bien, define las condiciones necesarias (el "próximo objetivo necesario") que, de cumplirse, convertirían la actual teoría de descomposición en un mecanismo capaz de excluir obstrucciones.