Large-Data Global Regularity for Three-Dimensional Navier--Stokes I: A Direct First-Threshold Continuation Proof for the Axisymmetric Swirl Class

Resumen Técnico: Regularidad Global para Grandes Datos en Navier–Stokes Tridimensionales I

Enunciado del Problema
El artículo aborda el problema de la regularidad global para las ecuaciones de Navier–Stokes incompresibles tridimensionales, específicamente dentro de la clase de soluciones axialsimétricas con remolino. Mientras que la regularidad global es conocida para flujos axialsimétricos sin remolino (donde la componente de remolino se anula), la presencia de remolino introduce un término fuente derivativo en la ecuación para la razón de vorticidad elevada $G = \omega_\theta/r$. Este término fuente, generado por el remolino $\Gamma = r u_\theta$, hace que el problema sea genuinamente crítico, ya que impide la aplicación directa de los principios del máximo clásicos que se cumplen en el caso sin remolino. El artículo tiene como objetivo demostrar que, para datos iniciales suaves, de divergencia nula y axialsimétricos con remolino en $H^1(\mathbb{R}^3)$, la correspondiente solución suave existe globalmente en el tiempo ($T_{\max} = \infty$).

Metodología y Marco
La prueba emplea un argumento de continuación directo de primer umbral, organizado como la primera parte de una serie de dos artículos. La metodología se desvía de los criterios de regularidad condicional al intentar demostrar que no puede ocurrir un "primer umbral" de concentración.

1. Variables Elevadas y Geometría:
   El análisis se realiza en una geometría elevada de cinco dimensiones $(y, z) \in \mathbb{R}^4 \times \mathbb{R}$, donde $r = |y|$. Las variables principales son:

   • $\Gamma = r u_\theta$ (remolino).
   • $G = \omega_\theta / r$ (razón de vorticidad elevada).
     La medida natural es $d\mu_5 = r^3 dr dz$, y el laplaciano es $\Delta_5$. La ecuación para $G$ se trata como una ecuación de transporte-difusión con un término de recuperación no local y un término fuente derivativo $-\partial_z(\Gamma_e^2)$.

2. Cantidades Clave:

   • Puntuación Axial ($Q_\rho$): Una medida invariante de escala de la concentración de $G$ en un centro y escala específicos.
   • Visibilidad de Dirichlet Completa ($V_\chi$): Una cantidad coercitiva que mide la disipación de Dirichlet del núcleo y la masa visible en el collar de transición de un paquete localizado.
   • Error de Umbral Finito ($E_{fin}$): Un término de error compuesto que incluye fugas (masa/energía del collar), cola (capas diádicas exteriores), residuos de baja frecuencia y concentración de la fuente.

3. El Mecanismo de Primer Umbral:
   El argumento asume, por contradicción, que la envolvente de puntuación axial crítica $Max(t)$ se vuelve ilimitada. Define un tiempo de primer umbral $t^*$ donde $Max(t)$ alcanza por primera vez un valor grande $M^*$. En este tiempo, se selecciona un paquete mínimo de primer umbral (un cilindro axial hacia atrás normalizado) basado en un ordenamiento específico (tiempo anterior, escala menor, menos componentes, etc.).

Contribuciones Clave y Resultados Técnicos

La prueba se basa en tres ingredientes cuantitativos para demostrar que no puede existir un paquete mínimo de primer umbral:

1. Puente Estricto de Dirichlet Completo:
   El artículo establece una desigualdad estricta que relaciona el término de transferencia no local $T_{G,\chi}[G]$ con la visibilidad $V_\chi[G]$:
   $$|T_{G,\chi}[G]| \le \theta V_\chi[G] + C E_{dir}[G], \quad 0 < \theta < 1$$
   El coeficiente $\theta < 1$ se deriva mediante un argumento de Ekeland–Pohozaev con restricciones en una clase admisible de "error cero". Al analizar la homogeneidad del término de transferencia (grado $3/2$) frente al término de visibilidad (grado $2$) bajo dilatación, los autores demuestran que ninguna secuencia puede saturar el cociente de transferencia en un nivel de 1 o superior sin violar las restricciones variacionales.

2. Extracción de Descendientes de Superposición Finita:
   El artículo demuestra que si cualquier componente del error de umbral finito (fuga, cola, fuente, baja frecuencia o fragmentación) es grande, necesariamente produce un paquete descendente con un orden de selección estrictamente menor y una puntuación corregida positiva.

   • Fuga/Cola/Baja Frecuencia: Valores grandes en estos canales permiten la extracción de un subpaquete (recentralizado o desplazado) que lleva una fracción de la puntuación.
   • Conversión de Fuente a Puntuación: Un lema crítico demuestra que una gran fuente derivativa $-\partial_z(\Gamma_e^2)$ puede convertirse en un descendiente de puntuación $G$ positiva utilizando un paquete adjunto de calor adaptado al signo. Este paso aísla la contribución de la fuerza del remolino a la concentración de vorticidad.

3. Contracción de Paquete y Dicotomía:
   Para un paquete de primer umbral mínimo (uno que no tiene descendientes de puntuación comparable), la extracción de superposición finita implica que todos los términos de error deben ser perturbativos (pequeños). En consecuencia, el puente estricto y el balance local de energía contraen la puntuación del paquete, lo que lleva a una contradicción: la puntuación del paquete no puede ser lo suficientemente grande para constituir un umbral si todos los errores son pequeños.

Resultado Principal
Teorema 2.1: Sea $u_0 \in H^1(\mathbb{R}^3)$ suave, de divergencia nula y axialsimétrico con remolino. La correspondiente solución suave $u$ existe globalmente ($T_{\max} = \infty$) y permanece suave para todo tiempo.

La prueba procede mostrando que si una singularidad se formara en un tiempo finito $T$, la envolvente crítica $Max(t)$ necesariamente explotaría. Sin embargo, el argumento de primer umbral demuestra que $Max(t)$ no puede exceder un límite finito determinado por la energía inicial, excluyendo así la formación de una singularidad.

Significado y Afirmaciones
El artículo afirma proporcionar una prueba directa de la regularidad global para esta clase, evitando la necesidad de criterios de regularidad condicional que asumen la acotación de ciertas normas.

• Directitud: El argumento se organiza en torno a la no existencia de un "primer umbral" en lugar de la propagación de cotas desde un estado regular conocido.
• Aislamiento del Mecanismo: El artículo aísla los mecanismos locales específicos requeridos para el cierre axialsimétrico: el puente estricto (vía Ekeland–Pohozaev), la conversión de fuente a puntuación y la extracción de superposición finita.
• Rol en la Serie: Este artículo (Parte I) establece el teorema de cierre para la clase de axialsimétricos con remolino. Los autores declaran que el artículo compañero Parte II utiliza este resultado solo después de que un mecanismo frontal tridimensional reduzca un paquete general de primer umbral a la clase de compatibilidad de axialsimétricos con remolino.

El trabajo se basa en insumos analíticos estándar (teoría de Calderón–Zygmund, estimaciones de Hardy–Littlewood–Sobolev, principio variacional de Ekeland e iteración de De Giorgi–Moser), pero los sintetiza en un nuevo marco de "umbral directo" adaptado a la geometría elevada de cinco dimensiones del problema de remolino axialsimétrico.