On regularity estimates for axially symmetric Navier-Stokes equations in a cylinder and the critical-wedge occurrence problem

Resumen Técnico: Estimaciones de Regularidad para las Ecuaciones de Navier–Stokes Axialmente Simétricas en un Cilindro

Planteamiento del Problema
Este artículo aborda el problema de la existencia y unicidad global (well-posedness) para las ecuaciones de Navier–Stokes incompresibles tridimensionales bajo la restricción de simetría axial, específicamente dentro de un dominio cilíndrico finito $\Omega \subset \mathbb{R}^3$. Los autores se centran en la regularidad de las soluciones donde el campo de velocidades $v$ y el vórtice $\omega = \text{curl } v$ satisfacen condiciones de contorno específicas: en la frontera lateral $S_1$, la velocidad radial $v_r$, la velocidad azimutal $v_\phi$ y la vorticidad azimutal $\omega_\phi$ se anulan; en las fronteras superior e inferior $S_2$, la velocidad axial $v_z$, $\omega_\phi$ y la derivada axial $\partial_z v_\phi$ se anulan.

La dificultad central para establecer la regularidad de las soluciones axialmente simétricas radica en controlar el término de interacción no lineal que involucra la componente de rotación (swirl) $v_\phi$. Específicamente, los autores analizan las cantidades $\Phi = \omega_r/r$ y $\Gamma = \omega_\phi/r$, las cuales son cruciales para acotar la solución. La principal obstrucción para cerrar las estimaciones de energía proviene del término integral $\int_{\Omega_t} \frac{v_\phi}{r} \Phi \Gamma \, dx \, dt'$, cuyo control depende de la distribución de la componente de velocidad angular $v_\phi$.

Metodología
Los autores emplean una estrategia de estimación a priori condicional que particiona el intervalo de tiempo basándose en el comportamiento de las normas $L^s$ y $L^\infty$ de la componente de rotación $v_\phi$.

1. Identificación de la Cuña Crítica: Los autores definen una "cuña crítica" $W_{A,c_0}$ en el espacio de fase del tiempo $t$. Este régimen se caracteriza por tiempos donde la norma $L^s$ de $v_\phi$ es grande ($> A$) pero la razón entre la norma $L^s$ y la norma $L^\infty$ es pequeña ($< c_0$). Fuera de esta cuña, se aplican mecanismos de cierre estándar. Dentro de la cuña, las estimaciones estándar no logran cerrarse.
2. Medición del Residuo: En lugar de afirmar una regularidad global incondicional, el artículo introduce un "residuo de la cuña crítica" $E_{W,s}(t)$. Este término mide la porción no cerrable de la interacción no lineal específicamente cuando la trayectoria entra en la cuña crítica.
3. Herramientas Analíticas:
   • Función de Corriente Modificada: El análisis utiliza una función de corriente modificada $\psi_1 = \psi/r$, que satisface una ecuación elíptica con fuente $\Gamma$. Los autores derivan estimaciones elípticas $H^2$ y $H^3$ para $\psi_1$.
   • Expansiones de Liu-Wang: Para manejar las singularidades cerca del eje de simetría ($r=0$), los autores se apoyan en las expansiones de regularidad de $v_r, v_\phi, \psi$ y $\psi_1$ cerca del eje, tal como establecieron Liu y Wang. Estas expansiones son esenciales para estimar términos de frontera y la integración por partes que involucra a $r$.
   • Estimaciones de Reducción de Orden: Un paso técnico clave consiste en derivar desigualdades de "reducción de orden" que acotan las normas de orden superior (como $\|\Phi\|_{L^2}$) mediante normas de orden inferior y los datos, reduciendo efectivamente la complejidad de los términos no lineales.
   • Espacios de Sobolev y Besov: La demostración de la regularidad superior (Teorema 1.4) se basa en resultados de solvabilidad para el sistema de Stokes en espacios de Sobolev con normas mixtas y teoremas de traza para espacios de Besov.

Contribuciones Clave y Resultados

• Estimación A Priori Condicional (Teorema 1.2): El resultado principal es una estimación condicional para la cantidad $X_s(t) = \|\Phi\|_{V(\Omega_t)} + \|\Gamma\|_{V(\Omega_t)}$. Los autores demuestran que:
  $$X_s(t) \leq \Psi_{s,A,c_0}\left(\text{datos}, \int_0^t E_{W,s}(\tau) \, d\tau\right)$$
  donde $\Psi$ es una función positiva creciente. Esta estimación recupera el límite original dependiente de los datos si el residuo de la cuña crítica se anula (es decir, si la trayectoria no entra en la cuña crítica).
• Eliminación de Restricciones Previas: El artículo demuestra que la restricción $\psi_1|_{r=0} = 0$ (requerida en trabajos previos del segundo autor) no es necesaria para estas estimaciones. Sin embargo, la condición que relaciona las normas $L^s$ y $L^\infty$ (asumida previamente de forma global) se relaja a un requisito condicional: la estimación se mantiene siempre que el residuo de la cuña sea finito.
• Regularidad Superior (Teorema 1.4): Bajo supuestos adicionales sobre el término de forzamiento y los datos iniciales, los autores establecen una regularidad de Sobolev superior para la velocidad $v$ y el gradiente de presión $\nabla p$, con la misma dependencia condicional respecto al residuo de la cuña.
• Existencia Global para Datos Pequeños (Sección 8): El artículo incluye un resultado separado que prueba la existencia de soluciones regulares globales para datos pequeños. Este resultado es independiente de la obstrucción de la cuña crítica y se basa en el control directo de la componente angular.

Significado y Pretensiones
El artículo no pretende resolver el problema de la regularidad global para las ecuaciones de Navier–Stokes de forma incondicional. En su lugar, identifica el "régimen de concentración" específico (la cuña crítica) donde los métodos de energía estándar fallan. La importancia del trabajo reside en:

1. Caracterización Precisa de la Obstrucción: Aísla el mecanismo exacto (la razón entre las normas $L^s$ y $L^\infty$ de $v_\phi$) que impide el cierre de las estimaciones.
2. Control Condicional: Demuestra que el control a priori habitual se recupera siempre que el residuo asociado a la cuña sea finito. Esto implica que, si una solución llegara a volverse singular, debería hacerlo entrando en este régimen específico de la cuña crítica con un residuo no nulo.
3. Refinamiento Metodológico: Al utilizar las expansiones de Liu-Wang y estimaciones elípticas refinadas para la función de corriente modificada, los autores mejoran los resultados previos al eliminar la condición de frontera artificial $\psi_1|_{r=0}=0$, manteniendo al mismo tiempo un control riguroso sobre el comportamiento de la solución cerca del eje de simetría.

En resumen, el artículo proporciona un marco riguroso para comprender la regularidad de las soluciones de Navier–Stokes axialmente simétricas, cuantificando la "brecha" en las estimaciones como una función de la trayectoria de la solución respecto a una cuña crítica definida en el espacio de fase.