A Classical Two-Part First-Threshold Proof of Global Smoothness for Navier--Stokes: Axisymmetric Swirl Closure and Full-System Reduction

Resumen Técnico: Una Prueba Clásica de Umbral Primero en Dos Partes de la Suavidad Global para Navier–Stokes: Cierre de Vórtice Axisimétrico y Reducción del Sistema Completo

Enunciado del Problema
El artículo aborda el problema de la regularidad global para las ecuaciones de Navier–Stokes incompresibles tridimensionales:
$$\partial_t u + u \cdot \nabla u + \nabla p = \Delta u, \quad \nabla \cdot u = 0$$
en $\mathbb{R}^3$ con datos iniciales suaves, de energía finita y con divergencia nula. La dificultad central reside en la posible formación de singularidades (explosión) en tiempo finito. El autor, Rishad Shahmurov, propone una prueba que sostiene que la continuación suave global ($T^* = \infty$) se cumple para todos esos datos iniciales.

Metodología: El Argumento de Umbral Primero en Dos Partes
La prueba se estructura como un argumento de "umbral primero en dos partes". Asume la existencia de un tiempo terminal singular hipotético $T^*$ e intenta derivar una contradicción analizando un "paquete terminal de umbral primero canónico": una concentración normalizada de vorticidad y energía que existiría si se formara una singularidad.

Parte I: Cierre de Vórtice Axisimétrico en Variables Elevadas de Cinco Dimensiones
La Parte I establece la regularidad global para la clase específica de flujos axisimétricos con vórtice.

• Elevación a Cinco Dimensiones: El autor utiliza una representación exacta de los campos escalares axisimétricos como funciones radiales SO(4) en un espacio de cinco dimensiones ($\mathbb{R}^4_y \times \mathbb{R}_z$). Esto transforma los pesos cilíndricos singulares (por ejemplo, $1/r$) en pesos radiales estándar, permitiendo el uso de herramientas estándar de análisis armónico en 5D.
• Variables Clave: El análisis se centra en la relación de vorticidad elevada $G = \omega_\theta/r$ y el cuadrado de la derivada regularizada del vórtice $H = (u_\theta/r)^2$. La deformación $U = u_r/r$ se recupera a partir de $G$ mediante un operador de orden $-1$ (potencial de Riesz).
• El Mecanismo del Par: La dificultad central es la fuente derivativa $-\partial_z H$ en la ecuación de $G$ y la retroalimentación compresiva $U[G]H^2$ en la ecuación de $H$. La prueba trata estos elementos como un "mecanismo de transferencia de pares" acoplado $(G, H)$ en lugar de separarlos en términos principales y de error.
• Puente Suave vs. Puente Estricto:
  • Puente Suave: Se utilizan estimaciones clásicas (Hardy–Littlewood–Sobolev, Sobolev, interpolación, desigualdad de Young) para absorber paquetes "subcríticos" donde la masa local es pequeña en relación con la disipación.
  • Puente Estricto: Para los paquetes restantes "compacto-críticos" (donde el escalado está equilibrado), las desigualdades de norma clásicas son insuficientes porque no pueden distinguir alineaciones geométricas (signos, paridad) que podrían permitir una saturación con coeficiente uno. La prueba introduce un argumento de estrictitud terminal utilizando compacidad de etapas finitas y una identidad localizada de Pohozaev–Morawetz. Al probar el perfil de extremo fuerte contra la homogeneidad de amplitud y dilatación, el autor deriva identidades incompatibles que fuerzan un coeficiente estricto $\theta < 1$, contradiciendo la saturación asumida.
• Recuperación: Una vez controlados $G$ y $H$, la variable de vórtice sin signo $F = u_\theta/r$ se recupera mediante una ecuación de orden inferior, estableciendo la acotación local y, por tanto, la regularidad global para esta clase.

Parte II: Reducción de Umbral Primero del Sistema Completo
La Parte II reduce el problema 3D general al caso axisimétrico y al caso 2D clásico.

• Canales de Defecto: Partiendo de una solución 3D singular hipotética, la prueba descompone las posibles obstrucciones en "canales de defecto": fugas, efectos de cáscara/cola, fragmentación, deformación pasiva, desajuste de fase angular y ráfagas de transferencia temporal.
• Mecanismo Descendiente: La prueba emplea una estrategia de "descendiente de superposición finita". Si algún canal de defecto es no perturbativo (es decir, demasiado grande para ser absorbido), genera un paquete "descendiente" (escala más pequeña, tiempo anterior o menos componentes) con una puntuación corregida positiva.
• Minimalidad Canónica: Al seleccionar un paquete terminal "canónicamente mínimo" (mínimo en tiempo, escala y complejidad), la existencia de cualquier descendiente de este tipo crea una contradicción.
• Rigidez de Defecto Cero: Si todos los canales de defecto se anulan (defecto final cero), el límite terminal es rígido. La prueba muestra que el límite debe ser o bien:
  1. Localmente bidimensional: Excluido por la teoría clásica de Navier–Stokes 2D (Ladyzhenskaya, Temam, Galdi).
  2. Axisimétrico con vórtice: Excluido por el resultado de la Parte I.
• Conclusión: Dado que ambas alternativas de defecto cero son regulares, y las alternativas de defecto positivo están descartadas por el argumento descendiente, no puede existir ningún paquete terminal singular.

Contribuciones Clave

1. Elevación Exacta a 5D para Vórtice Axisimétrico: El artículo proporciona un marco riguroso para tratar el problema de axisimétrico con vórtice como un sistema parabólico escalar en 5D, aislando la fuente derivativa y la retroalimentación compresiva en un único mecanismo de transferencia de pares.
2. Puente Terminal Estricto: El autor demuestra que el análisis armónico clásico (estimaciones de norma) no puede cerrar el caso crítico debido a la "ceguera de forma". La prueba introduce un paso de estrictitud geométrica utilizando identidades de Pohozaev–Morawetz en perfiles de extremo fuerte para romper el empate de escalado, forzando un coeficiente estrictamente menor que uno.
3. Marco de Descendiente de Superposición Finita: La Parte II categoriza sistemáticamente todas las posibles singularidades 3D en canales de defecto. Demuestra que cualquier defecto no perturbativo fuerza la existencia de un paquete "más pequeño", lo cual contradice la minimalidad de la selección de umbral primero.
4. Reducción a Clases Conocidas: La prueba del sistema completo no depende de nuevas estimaciones 3D, sino de un mecanismo de reducción que canaliza cualquier posible singularidad hacia la clase 2D o la clase axisimétrica con vórtice, ambas probadas como regulares.

Resultados
El artículo afirma probar el Teorema Principal 1.1 (continuación global axisimétrica con vórtice) y el Teorema Principal 1.2 (continuación global tridimensional). Específicamente, afirma que para cualquier dato inicial suave, de energía finita y con divergencia nula en $\mathbb{R}^3$, la solución correspondiente de Navier–Stokes existe globalmente en el tiempo ($T^* = \infty$) y permanece suave.

Significado y Afirmaciones
El artículo se sitúa dentro del programa de "umbral directo", utilizando identidades de energía localizadas y contabilidad tipo Caccioppoli en lugar de depender de la regularidad epsilon de Caffarelli–Kohn–Nirenberg como una caja negra.

• Motivación: El autor señala que el problema de axisimétrico con vórtice es un terreno de prueba central para la regularidad 3D porque conserva el mecanismo de estiramiento y la geometría singular, al tiempo que admite variables escalares exactas.
• Limitación de las Estimaciones Clásicas: El artículo argumenta explícitamente que las estimaciones clásicas se detienen en la etapa de "puente suave". Afirma que, sin el paso de "estrictitud terminal" (probar la forma geométrica del paquete mediante identidades de Pohozaev), la prueba no puede descartar la posibilidad de un saturador con coeficiente uno.
• Autosuficiencia: La prueba se presenta como autosuficiente en cuanto a las estimaciones utilizadas; todos los términos están definidos dentro del texto, y la transición entre la Parte II (sistema completo) y la Parte I (axisimétrico) se hace explícita.

El artículo no propone nuevas aplicaciones experimentales ni esquemas numéricos futuros; su contribución es puramente analítica, con el objetivo de resolver la conjetura de regularidad global mediante una descomposición específica del problema en un núcleo axisimétrico elevado a 5D y una interfaz de reducción 3D.