Large-Data Global Regularity for Three-Dimensional Navier--Stokes II: A Direct First-Threshold Continuation Proof for the Full System

Resumen Técnico: Regularidad Global para Grandes Datos en las Ecuaciones de Navier–Stokes Tridimensionales II

Planteamiento del Problema
Este artículo aborda el problema de la regularidad global para las ecuaciones de Navier–Stokes incompresibles tridimensionales con datos iniciales grandes. Específicamente, constituye la segunda parte de una serie de dos partes destinada a demostrar que las soluciones suaves existen para todo tiempo ($T^* = \infty$) sin que la solución desarrolle una singularidad en tiempo finito. Mientras que el artículo complementario Parte I estableció la regularidad global para la clase de simetría axial con remolino mediante un método de continuación directa de primer umbral, la Parte II ataca el frente "genuinamente tridimensional" del sistema completo. El desafío central es demostrar que ningún paquete de "primer umbral"—una región localizada donde la puntuación de vorticidad invariante de escala alcanza un valor crítico grande—puede persistir o crecer sin contraerse o reducirse a un caso regular conocido.

Metodología
La prueba emplea un argumento de "continuación directa de primer umbral" centrado en un envolvente crítico combinado, denotado $M_{crit}(t)$. Esta envolvente rastrea el supremo de una puntuación local de vorticidad invariante de escala ($Q_{3D}$) sobre todas las ubicaciones espaciales y escalas, aumentada por un componente de simetría axial ($M_{ax}$) derivado de la Parte I.

La metodología procede mediante un argumento por contradicción:

1. Suposición de Explosión: Se asume que $M_{crit}(t)$ alcanza un umbral grande $M^*$ en un tiempo finito $t^*$.
2. Selección de Paquete: Se selecciona un paquete mínimo de "primer umbral" $Q^*$ basado en un ordenamiento específico (tiempo más temprano, escala más pequeña, menor número de componentes, etc.).
3. Descenso de Superposición Finita: La prueba analiza los errores asociados con $Q^*$ (fugas, defectos de capa, exportación de cola, deformación pasiva, defectos de fase/parada/paridad). Utiliza un mecanismo de "superposición finita" para demostrar que cualquier error no perturbativo en estas categorías fuerza la existencia de un paquete "descendiente" $Q'$ con una puntuación comparable pero un orden de selección estrictamente menor.
4. Rigidez y Dicotomía: Si no se produce un descendiente (lo que implica que todos los errores son perturbativos), el paquete debe satisfacer una condición de "defecto final cero". El artículo introduce triadas de Littlewood–Paley angulares y rigidez de marco activo para clasificar estos paquetes de defecto cero.
5. Reducción: El análisis demuestra que cualquier paquete de defecto final cero debe ser o bien localmente bidimensional o de simetría axial con remolino. El primero se maneja mediante la regularidad clásica 2D, y el segundo mediante el teorema de la Parte I.

Contribuciones y Mecanismos Clave

• Envolvente Crítica Combinada: La introducción de $M_{crit}(t)$ unifica el análisis 3D completo con los resultados de simetría axial, permitiendo que la prueba trate el sistema completo al reducir estructuras 3D complejas a límites 2D o de simetría axial.
• Rigidez de Marco Activo: Una contribución central es la definición de un espacio de etiquetas de "marco activo" de dimensión finita derivado de triadas angulares resonantes. El artículo define funcionales de defecto ($D_{phase}, D_{stall}, D_{netpar}$) que miden la desviación de configuraciones geométricas rígidas.
  • Teorema 4.4/4.5: Establece una brecha cuantitativa: si la suma de estos defectos es pequeña, la medida del marco activo del paquete debe estar cerca de uno de dos conjuntos rígidos: $Z_{2D}$ (marco de estiramiento constante, localmente 2D) o $Z_{ax}$ (órbita azimutal física $m=1$, simetría axial con remolino).
• Visibilidad de Deformación Pasiva: El artículo introduce una desigualdad de "sin materia oscura" (Proposición 2.7, Lema 4.6) que demuestra que las contribuciones de deformación pasiva no pueden permanecer invisibles para el defecto final. Si la deformación pasiva es no perturbativa, debe manifestarse como un defecto medible (fuga, capa, fase, etc.) o ser absorbida en la disipación local.
• Extracción de Descendiente de Superposición Finita: El Teorema 6.6 formaliza el mecanismo mediante el cual errores grandes en los canales de fuga, capa, cola, fase o fragmentación se convierten en un nuevo paquete (descendiente) con una cota inferior garantizada en su puntuación. Esto impide que el paquete de "primer umbral" sea un contraejemplo mínimo si existen tales errores.

Resultados Principales

• Teorema 2.1 (Continuación Directa Tridimensional Completa): Para cualquier dato inicial suave y de divergencia cero $u_0 \in C_c^\infty(\mathbb{R}^3)$, la solución suave correspondiente existe globalmente ($T^* = \infty$).
• Acotación de la Envolvente: Para cualquier tiempo finito $T$, la envolvente crítica combinada permanece acotada: $\sup_{0<t<T} M_{crit}(t) \leq C(E_0, T)$, donde $E_0$ es la energía inicial $L^2$.
• Teorema 4.8 (No Existencia de Candidato de Defecto Final Cero de Dimensión Completa): El artículo demuestra que ningún paquete singular "genuinamente tridimensional" puede existir con defectos finales desvanecidos. Cualquier tal paquete se ve forzado a las clases localmente 2D o de simetría axial con remolino, ambas conocidas por ser regulares.

Significado y Afirmaciones
El artículo afirma proporcionar una prueba completa y directa de la regularidad global para las ecuaciones de Navier–Stokes 3D al cerrar el "frente" del problema. Su significado radica en:

1. Completar la Serie: Cierra la brecha entre el caso de simetría axial (Parte I) y el sistema 3D completo, demostrando que el sistema completo no admite nuevos tipos de singularidades que no sean capturados por las reducciones de simetría axial o 2D.
2. Mecanismo de Umbral Directo: A diferencia de los resultados de regularidad condicional que asumen un límite en una norma específica, esta prueba construye una contradicción directa: si se formara una singularidad, existiría un paquete mínimo, pero el análisis estructural (rigidez, visibilidad, descenso) demuestra que tal paquete no puede existir.
3. Rigidez Estructural: El trabajo establece que las únicas geometrías "estables" posibles para un paquete de alta puntuación en el límite de defecto cero son las configuraciones clásicas 2D y de simetría axial con remolino. Todas las demás geometrías 3D complejas (fases helicoidales, mezclas de múltiples ejes, enrollamientos superiores) se muestran que poseen defectos no nulos que o bien disipan energía estrictamente o generan descendientes, impidiendo así la formación de singularidades.

El artículo se basa en el teorema de la Parte I complementaria como entrada de punto final para la rama de simetría axial, pero no lo utiliza para probar las estimaciones microlocales para el frente 3D general. La prueba es autocontenida en lo que respecta a los mecanismos que descartan singularidades genuinamente 3D.