Finite-Window Recursive Audit Chains for Navier-Stokes Generated Packages

Resumen Técnico: Cadenas de Auditoría Recursiva de Ventana Finita para Navier–Stokes

Planteamiento del Problema
El artículo opera dentro del marco de energía finita de Leray–Hopf para las ecuaciones de Navier–Stokes incompresibles y la teoría de regularidad parcial de soluciones débiles adecuadas (Schechefer, Caffarelli–Kohn–Nirenberg). El problema central abordado no es la demostración directa de la regularidad global o la exclusión de singularidades (el problema del Milenio de Clay), sino más bien el análisis estructural de los "paquetes de auditoría" generados por los datos de Navier–Stokes bajo restricción y reescalado.

Específicamente, el artículo investiga la "pregunta recursiva de ventana finita": tras un paso de restricción-reescalado, ¿permanece un paquete generado por Navier–Stokes dentro de una clase admisible? Si es así, ¿cómo evolucionan los coeficientes de auditoría y los libros de contabilidad de residuos (presupuestos de error)? El objetivo es establecer un marco donde una cota inferior de un valor de detector localizado pueda propagarse a través de una cadena finita de escalas, siempre que se cumplan condiciones algebraicas y estructurales específicas.

Metodología
La metodología construye un "marco de auditoría recursiva de ventana finita" que descompone la evolución de un paquete de solución a través de las escalas en dos componentes principales:

1. Admisibilidad de un Paso: Un mecanismo para verificar que un paquete $D_k$ en la escala $k$, al ser restringido y reescalado a $D_{k+1}$, permanece en la clase admisible $ANS_{k+1}$, siempre que todos los "desajustes" (errores introducidos por la transformación) se carguen a un "libro contable" explícito $\Delta_k$.
2. Propagación Recursiva: Un mecanismo para sumar certificados de auditoría estáticos disponibles en cada escala utilizando recursión de coeficientes variables y sumatoria ponderada para derivar una cota inferior global para la cadena finita.

El marco se basa en un sistema de "libro contable" que categoriza los errores en canales distintos:

• Canales Generados por la PDE: Preservación de presión/fuente, localización de energía/flujo y recomputación de presión localizada (vía conmutadores de Calderón–Zygmund).
• Canales Estructurales/Reducidos: Sincronización, colas de proyección/armónicas, restricciones de compuerta/holgura (gate/slack), comparaciones de detectores, visibilidad de gráficos y condiciones de brecha limpia (clean-gap).

El análisis utiliza cilindros normalizados $Q_1$, descomposiciones de presión estándar de Calderón–Zygmund e desigualdades de energía local. Distingue entre clases "amplias" (definidas por integrabilidad y admisibilidad) y clases "reducidas" (modelos de dimensión finita o de cociente compacto) donde se asumen o verifican entradas estructurales específicas como la ausencia de núcleo (kernel-freeness) o la compacidad.

Contribuciones Clave
El artículo realiza las siguientes contribuciones específicas:

1. Definición de Paquetes de Auditoría Generados por NS Amplios: Define una clase $ANS_k$ de paquetes generados por datos de Navier–Stokes de energía finita, equipados con coordenadas para velocidad, presión activa/armónica, fuente, localización, compuerta/holgura, detectores y residuos.
2. Módulos de PDE de Ventana Fija: Demuestra que, para datos admisibles de presión, el mapa de un paso preserva las coordenadas de presión/fuente y asigna la fuga de localización de energía/flujo y los errores de conmutador de recomputación de presión a componentes específicos del libro contable. Estos se prueban directamente de la desigualdad de energía local y las estimaciones de integrales singulares.
3. Asignaciones del Libro Contable Estructural: Formaliza la inserción de entradas estructurales (sincronización, proyección, colas armónicas, compuerta/holgura, comparación de detectores, gráfico y brecha limpia) en el libro contable. Crucialmente, las trata como entradas condicionales a menos que sean verificadas por teoremas separados (por ejemplo, la compacidad de una clase específica).
4. Teorema Anti-Fantasma Recursivo de Cadena Finita: Demuestra que si existe un certificado de auditoría estático en cada escala y se cumple la admisibilidad de un paso, una suma ponderada de valores de detectores satisface una cota inferior:
   $$\sum_{k=0}^K w_k M_k \geq c_{\min}^K \sum_{k=0}^K w_k \delta_k - E_{rec}^K$$
   donde $E_{rec}^K$ es el error recursivo acumulado.
5. Extracción de Defecto Compatible con CKN Condicional: Establece una rama que conecta la distancia de la base de auditoría con el criterio de $\epsilon$-regularidad de Caffarelli–Kohn–Nirenberg (CKN). Muestra que si una escala es "mala para CKN" (viola el umbral de regularidad), la distancia del defecto de auditoría $\delta_k$ debe ser positiva, siempre que se cumpla una hipótesis explícita de dominación de auditoría-a-CKN.
6. Verificación en Clases Reducidas Suaves: Demuestra que para una clase de paquetes de Navier–Stokes suaves y reducidos ($A_{K,N,M}^{sm,red}$), las entradas estructurales (compacidad, ausencia de núcleo, colas de proyección) pueden ser verificadas, haciendo que el marco sea no vacío y aplicable a datos suaves.

Resultados

• Teorema 8.1 (Admisibilidad de un Paso Amplia): Establece que un paquete generado por Navier–Stokes permanece admisible en la siguiente escala si cada desajuste se carga al componente correspondiente del libro contable.
• Teorema 10.3 (Anti-Fantasma Recursivo de Cadena Finita): Provee la cota inferior ponderada para una cadena finita de certificados de auditoría.
• Teorema 16.14 (Extracción Condicional de Cadena de Auditoría Finita): Muestra que una cadena de escalas "malas para CKN" genera una cadena de auditoría finita admisible con defectos de base no degenerados, asumiendo la hipótesis de dominación de auditoría-a-CKN.
• Teorema 17.1 (Teorema Final de Ventana Finita): Sintetiza la admisibilidad de un paso, los certificados estáticos y las entradas estructurales en un teorema integral de cota inferior de cadena finita.

Significancia y Reivindicaciones
El artículo es explícitamente modesto en su alcance. No pretende:

• Probar la propagación de cadena infinita o la regularidad de escala uniforme.
• Excluir singularidades o resolver el problema de la regularidad de Navier–Stokes.
• Probar que las hipótesis estructurales (compacidad, ausencia de núcleo, estabilidad de sincronización) se cumplen para todas las soluciones débiles adecuadas.

La significancia reside en la descomposición estructural del problema de regularidad. El artículo aísla las entradas "difíciles" de la PDE (preservación de presión/fuente, localización de energía) de las entradas "estructurales" (compacidad, estabilidad del detector, visibilidad del gráfico). Proporciona un marco riguroso donde:

1. Las partes generadas por la PDE se prueban como estimaciones de contabilidad de ventana finita.
2. Las partes estructurales se identifican como hipótesis explícitas que deben ser verificadas para una clase específica de soluciones (por ejemplo, modelos suaves o reducidos).
3. La rama "auditoría-a-CKN" proporciona un puente condicional: si se puede verificar la dominación de la distancia de auditoría por la distancia de CKN, entonces la mala condición para CKN implica un defecto de auditoría positivo.

El artículo concluye que el marco de auditoría recursiva es una herramienta para analizar cadenas finitas de escalas. Cualquier conclusión respecto a cadenas infinitas o regularidad global requiere hipótesis uniformes adicionales (por ejemplo, positividad uniforme de coeficientes, sumabilidad de errores) que no se prueban aquí, pero que se identifican como las "obligaciones abiertas" necesarias para trabajos futuros. El trabajo sirve como una verificación de "ventana finita" de la mecánica requerida para propagar la información de regularidad, deteniéndose antes de pretender que estas mecánicas se apliquen universalmente a todas las soluciones de Navier–Stokes.