Finite-Chain CKN-Bad Scale Counting for Navier-Stokes: Standard PDE Closure and Canonical Detector Realization

Resumen Técnico: Conteo de Escalas CKN-Malas de Cadena Finita para Navier–Stokes

Problema y Motivación
Este artículo aborda el problema del registro de "cadena finita" dentro de la teoría de regularidad parcial de las ecuaciones de Navier–Stokes incompresibles tridimensionales. Específicamente, investiga el reverso del criterio de $\epsilon$-regularidad de Caffarelli–Kohn–Nirenberg (CKN): si una cadena finita de escalas normalizadas permanece "CKN-mala" (es decir, la cantidad de velocidad-presión crítica de escala $\Phi$ excede un umbral $\varepsilon_{CKN}$), ¿qué canales de las EDP (Ecuaciones en Derivadas Parciales) estándar deben concentrarse para sostener esta maldad?

La motivación principal es evitar la "tautología". Un teorema de conteo se considera vacío si su lado derecho (el costo) contiene implícitamente la propia cantidad de maldad de CKN. El artículo busca acotar el tamaño ponderado de un conjunto de escalas malas utilizando "costos de canales" de EDP estándar —como la concentración de la componente vertical, la fuga anular, las colas de presión y los residuales de presión-flujo-energía— sin reconstruir la norma CKN completa en el lado derecho.

Metodología y Marco de Trabajo
El análisis se lleva a cabo dentro del marco de soluciones débicas adecuadas, utilizando una cadena geométrica finita de escalas $r_k = \lambda^k r_0$. La metodología se divide en dos vías paralelas: un Enfoque de EDP Estándar y una Realización de Detector Canónico.

1. Enfoque de EDP Estándar:

   • Entradas: La prueba se basa en dos entradas clásicas importadas: (1) la compacidad de soluciones débicas adecuadas bajo un límite crítico local completo $\Psi(1) \le M$ (incluyendo la convergencia de la descomposición de presión) y (2) la regularidad de los límites de compacidad donde la componente vertical de la velocidad $v_3 = 0$.
   • Mecanismo de Cierre: El artículo establece un teorema de "compacidad de una componente cualitativa". Demuestra que si la concentración de la componente vertical ($\int |u_3|^3$) es suficientemente pequeña, y el límite crítico completo $\Psi(1)$ está controlado, entonces la cantidad CKN $\Phi$ se vuelve pequeña en un radio específico $\rho_M$.
   • Definición de Costo: El "costo estándar" $C_{std}$ se define como la suma de términos no tautológicos:
     • $C_{3,k}$: Concentración de la componente vertical ($\int |u_3|^3$).
     • $L_{ann, k}$: Fuga anular (energía y disipación en el anillo).
     • $P_{tail, k}$: Costos de colas de presión (errores de conmutador, colas armónicas y errores de truncamiento), excluyendo explícitamente la oscilación de presión de media libre completa.
     • $R_{PFE, k}$: Residuales de Presión-Flujo-Energía (desajustes, defectos o residuales de comparación del detector), también excluyendo las normas nucleares de CKN.

2. Realización de Detector Canónico:

   • El artículo define un nuevo "detector canónico enmendado" para realizar la filosofía de conteo de ventana finita de una manera basada en coordenadas.
   • A diferencia de los detectores abstractos, este modelo construye explícitamente coordenadas utilizando componentes estándar de EDP: presión activa, presión armónica, flujo, energía y residuales de dimensión finita.
   • Crucialmente, se muestra que el detector "no enmendado" es insuficiente para extraer la maldad de CKN porque carece de controles sobre la velocidad $L^\infty_t L^2_x$ y los modos de baja presión retenidos.
   • El detector enmendado añade energía central ($A_{core}$), disipación central ($E_{core}$) y modos de baja presión retenidos ($P_{low}$) a la estructura de costos. Esta enmienda permite la extracción de la pequeñez de CKN mediante la interpolación de velocidad y la descomposición de presión.

Resultados Clave

1. Compacidad de una Componente Cualitativa (Teorema 4.3):
   Bajo el límite crítico completo $\Psi(1) \le M$, si la concentración de la componente vertical $\int_{Q_1} |u_3|^3$ es suficientemente pequeña, la cantidad CKN $\Phi(\rho_M)$ es pequeña. Este resultado es condicional a las entradas de compacidad clásica y regularidad de componente cero.

2. Cierre Local No Tautológico (Teorema 5.1):
   Si el costo estándar total $C_{std}$ (dominado por el canal de la componente vertical en la prueba) es pequeño, entonces la solución es CKN-pequeña en el radio $\rho_M$. El contrapositivo establece que la maldad de CKN fuerza la concentración de al menos un canal estándar.

3. Teorema de Conteo de Cadena Finita (Teorema 6.3):
   Para una cadena de escalas finita $k=0, \dots, K$, la suma ponderada de las escalas malas está acotada por la suma ponderada de los costos de los canales estándar:
   $$\sum_{k \in B} w_k \le \frac{1}{\varepsilon_{close}(M)} \sum_{k=0}^K w_k \left( C_{3,k} + L_{ann, k} + P_{tail, k} + R_{PFE, k} \right)$$
   donde $B$ es el conjunto de índices donde $\Phi_k(\rho_M) \ge \varepsilon_{CKN}$.

4. Teorema de Conteo del Detector (Teorema 8.15):
   Se prueba un teorema de conteo paralelo para el detector canónico enmendado. Establece que la suma ponderada de las escalas malas está acotada por la suma ponderada de la distancia del detector enmendado (involucrando $L_{AEF}$, $P_{tail,+}$ y $R_{PFE,+}$). Este teorema demuestra la "realización superior" (el detector está acotado por los costos), la "auditoría inferior" (los costos están acotados por el detector) y la "extracción de CKN" (la distancia pequeña del detector implica la pequeñez de CKN).

Afirmaciones y Significado
El artículo se posiciona explícitamente como una contribución técnica y conservadora en lugar de un avance en la regularidad global.

• Alcance: Los resultados son de "ventana finita" y "cadena finita". El artículo no reclama un teorema de regularidad de escala uniforme ni una prueba de la regularidad global para Navier–Stokes.
• el Modestia sobre los Mecanismos: El mecanismo de cierre principal probado es el canal de la componenta vertical. Aunque el libro de contabilidad incluye la fuga anular, las colas de presión y los residuales de PFE, el artículo admite que no ha probado que estos canales adicionales fuercen de forma independiente la pequeñez de CKN. Un "lema de cierre de presión-flujo-energía" más fuerte sigue siendo un problema abierto.
• Distinción del Detector: El artículo aclara que el detector canónico enmendado es un nuevo modelo, no una reconstrucción de detectores abstractos previos. Demuestra que este detector enmendado específico realiza con éxito la filosofía de conteo sin tautología.
• Significado: El trabajo proporciona un marco de "contabilidad" riguroso que aísla los canales específicos de las EDP responsables de sostener el comportamiento singular (maldad de CKN) dentro de un rango de escala finito, asegurando que las estimaciones de conteo no asuman implícitamente la regularidad que pretenden testear. Formaliza la relación entre la compacidad de una componente y la distribución de las escalas malas.