Finite-Window Singularity Audits and Local-to-Clean Defect Transfer for Navier-Stokes

Resumen Técnico: Auditorías de Singularidades de Ventana Finita y Transferencia de Defectos de Local-a-Limpio para 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 los requisitos estructurales para una "rama no-CKN" —una secuencia de escalas donde una solución débil adecuada falla al entrar en el régimen de pequeñez de Caffarelli–Kohn–Nirenberg (CKN), lo que de otro modo garantizaría la regularidad local. La cuestión central es: si una singularidad persiste a través de las escalas, ¿cuáles son los mecanismos precisos que le permiten sobrevivir a las observaciones de ventana finita, ocultarse de los observables estándar y reproducirse de escala a escala permaneciendo realizable por la ecuación de Navier–Stokes?

El artículo no pretende demostrar la regularidad de las soluciones de Navier–Stokes ni construir una solución singular. En su lugar, busca reducir el problema de las potenciales singularidades a un obstáculo algebraico y analítico altamente estructurado.

2. Metodología
El artículo emplea un marco de dos partes: una Auditoría de Singularidad de Ventana Finita y una Transferencia de Defecto de Local-a-Limpio.

• La Auditoría (Pago y Ocultación): Los autores modelan la persistencia de la "maldad" (cantidades de escala crítica) como un libro contable financiero. Demuestran que, para que una rama no-CKN persista, debe generar ya sea "suministro crítico no gravado" (energía o flujo no disipado) o "acumulación de fugas" (pérdidas debidas a cortes y localización). Esto se formaliza mediante una desigualdad de libro contable crítico de escala finita derivada de la desigualdad de energía local y las estimaciones de interpolación estándar.
• La Transferencia (Local-a-Limpio): El artículo construye un mapeo entre "paquetes de defectos localizados" (que contienen artefactos como cortes, colas de presión armónica y errores de truncamiento inherentes al análisis de ventana finita) y "paquetes de defectos limpios" (modelos de dimensión finita donde estos artefactos se eliminan o se contabilizan explícitamente). La herramienta técnica central es un teorema de transferencia algebraica que eleva un "gap anti-fantasma limpio" (una estimación coercitiva en el modelo limpio) de vuelta al entorno localizado, siempre que se cumplan ciertas entradas estructurales específicas.

3. Contribuciones e Innovaciones Clave
El artículo introduce cuatro innovaciones primarias:

1. Libro Contable de Pago de Escala Finita: Una alternativa cuantitativa que muestra que la persistencia de la maldad crítica fuerza un suministro no gravado acumulado o una fuga acumulada. Esto convierte la pregunta cualitativa de "¿existe una singularidad?" en un problema de contabilidad cuantitativa.
2. Auditoría de Defectos Realizable por NS: Un filtro rigurooso que distingue entre "fantasmas formales" (vectores del núcleo algebraico de los mapas de observación) y "obstrucciones de NS". Una obstrucción peligrosa debe satisfacer ecuaciones de momento gruesas, compatibilidad de presión, positividad de Reynolds y la identidad de flujo de energía heredada de las soluciones débiles adecuadas.
3. Teorema de Transferencia Local-a-Limpio: Un resultado algebraico que establece que si un mapa de detección limpio satisface una condición de gap coercitivo ($c_{cl}^\Lambda$), y si el presupuesto residual satisface un límite normalizado ($\eta_\Lambda < c_{cl}^\Lambda(1-\epsilon_G)$), entonces el mapa de detección localizado satisface una estimación coercitiva con una constante positiva $c_{loc}^\Lambda$. Este teorema es puramente algebraico; su aplicación a Navier–Stokes depende de la verificación de las entradas estructurales.
4. Mapa de Cierre de Presupuesto de Residuos: Una descomposición sistemática de todos los errores potenciales que obstruyen la transferencia (colas de presión, fugas de corte, pérdida de truncamiento, desajuste no lineal, deriva de reproducción, desajuste de gauge y discrepancia de beneficios) en entradas explícitas de un libro contable de ventana finita.

4. Resultados Clave

• Teorema 3.3 (Alternativa de Supervivencia de Escala Finita): A lo largo de cualquier cadena de ventanas de escala admisible, si la maldad del reservorio permanece acotada inferiormente, la suma acumulada del suministro no gravado menos los impuestos debe ser positiva, o la fuga acumulada debe ser no despreciable.
• Teorema 9.5 (Alternativa de Auditoría de Singularidad Condicional): Bajo supuestos de extracción de defectos diedricos, depletación de observables y control de crecimiento de ventana móvil, una rama no-CKN persistente implica una de cinco alternativas:
  • (a) Fuga acumulada no despreciable.
  • (b) Suministro crítico promedio no gravado positivo.
  • (c) Observabilidad de ventana móvil ineficaz (las constantes crecen demasiado rápido).
  • (d) Existencia de una cascada de defectos de NS-realizable, limpia, de escala crítica, combinada-invisible, rentable y reproducible.
  • (e) Un fallo de la dualidad vertical o del cierre anti-fantasma en regímenes de degeneración de un solo componente.
• Teorema 17.4 (Transferencia Anti-Fantasma Algebraica de Local-a-Limpio): Si el mapa de detección limpio satisface una condición de gap coercitivo ($c_{cl}^\Lambda$), y el presupuesto residual satisface un límite normalizado ($\eta_\Lambda < c_{cl}^\Lambda(1-\epsilon_G)$), entonces el mapa de detección localizado satisface una estimación coercitiva con una constante positiva $c_{loc}^\Lambda$. Este teorema es puramente algebraico; su aplicación a Navier–Stokes depende de la verificación de las entradas estructurales.
• Corolario 18.1 (Alternativa Unificada): Sintetiza los resultados de la auditoría y la transferencia. Concluye que si la fuga es despreciable, el suministro es gravado/depletado, las constantes están controladas y las cascadas PRV (Rentables, Reproducibles, Verificadas) de NS-realizables son excluidas, entonces la rama debe entrar en una escala CKN, implicando regularidad.

5. Significado y Reivindicaciones
El artículo se enmarca explícitamente como una reducción condicional. Su importancia radica en aislar la naturaleza exacta de la obstrucción restante a la regularidad de Navier–Stokes.

• Lo que se Prueba: El artículo demuestra la estimación del libro contable de escala finita (un input de la EDP incondicional) y el teorema de transferencia algebraica (un resultado estructural bajo hipótesis explícitas). También proporciona un registro detallado de todos los términos residuales que deben controlarse.
• Lo que Queda Abierto: El artículo identifica el "bloqueador restante genuino" como el problema de absorción normalizada. Específicamente, se debe probar la compatibilidad de componentes de la forma:
  $$\text{Err}_\bullet(D) \leq \eta_\bullet \text{dist}_{loc}(D, \text{Im } G_{loc}^\Lambda) + \Delta_\bullet$$
  donde la suma de los coeficientes $\eta_\bullet$ es estrictamente menor que el margen de gap limpio.
• La Obstrucción Final: Si no se puede probar la regularidad, el artículo argumenta que cualquier contraejemplo debe ser un objeto altamente organizado: una cascada de defectos de NS-realizable, limpia, combinada-invisible, rentable y reproducible. Por el contrario, si tal cascada puede construirse satisfaciendo todas las restricciones de compatibilidad, positividad y energía, esto constituiría una singularidad.

En resumen, el trabajo transforma la amplia pregunta de la regularidad de Navier–Stokes en un desafío estructural preciso: o bien demostrar que los presupuestos residuales específicos pueden absorberse en la distancia del cociente localizado con la suficiente pequeñez, o construir un tipo específico de cascada de defectos que evada toda la observabilidad de ventana finita y las restricciones algebraicas. El trabajo no pretende haber resuelto el problema de la regularidad, sino que proporciona un marco riguroso para definir exactamente cómo debe ser una solución (o un contraejemplo).