On the Cauchy problem to the axially-symmetric solutions to the Navier-Stokes equations

Resumen Técnico: Soluciones Regulares Globales para las Ecuaciones de Navier-Stokes Axisimétricas

Planteamiento del Problema
Este artículo aborda el problema de Cauchy para las ecuaciones de Navier-Stokes axisimétricas en $\mathbb{R}^3$. El objetivo principal es demostrar la existencia de soluciones regulares globales para datos iniciales arbitrarios, siempre que las soluciones posean la regularidad suficiente para satisfacer expansiones específicas cerca del eje de simetría. Los autores se centran en derivar una estimación a priori global para soluciones regulares, la cual, al combinarse con la existencia de soluciones locales, implica la existencia global.

Las ecuaciones se formulan en coordenadas cilíndricas $(r, \phi, z)$, donde el campo de velocidad $v$ y la vorticidad $\omega$ se descomponen en componentes radial, angular y axial. Una característica crítica del caso axisimétrico es el comportamiento del componente de "giro" (swirl) $v_\phi$ y los términos de vorticidad asociados cerca del eje de simetría ($r=0$), donde podrían surgir singularidades en las ecuaciones.

Metodología
Los autores emplean una estrategia de localización del análisis en dos regiones distintas: un entorno del eje de simetría y la región alejada del eje. Esta separación se logra mediante una partición de la unidad $\{\zeta(r), \vartheta(r)\}$, donde $\zeta$ tiene soporte cerca de $r=0$ y $\vartheta$ tiene soporte lejos del eje.

1. Función de Corriente Modificada y Formulación de la Vorticidad:
   El análisis utiliza la función de corriente modificada $\psi_1 = \psi/r$ y los componentes de vorticidad normalizados $\Phi = \omega_r/r$ y $\Gamma = \omega_\phi/r$. Los autores derivan estimaciones elípticas para $\psi_1$ en espacios $H^2$ y $H^3$, las cuales son cruciales para controlar los gradientes de velocidad cerca del eje.

2. Expansiones de Liu-Wang:
   Un requisito metodológico central es el supuesto de que las soluciones satisfacen las expansiones derivadas por Liu y Wang cerca del eje de simetría. Específicamente, se asume que los componentes de velocidad radial y angular, así como la función de corriente, se comportan como:
   $$v_r \sim a_1(z,t)r + a_2(z,t)r^3 + \dots$$
   $$v_\phi \sim b_1(z,t)r + b_2(z,t)r^3 + \dots$$
   $$\psi \sim d_1(z,t)r + d_2(z,t)r^3 + \dots$$
   Estas expansiones aseguran que los términos que implican la división por $r$ permanezcan acotados y regulares.

3. Estimaciones de Energía y Control del Giro (Swirl):
   Los autores derivan estimaciones de tipo energía para las cantidades $\Phi$ y $\Gamma$. Una parte significativa del trabajo consiste en estimar el término de acoplamiento no lineal $I = \int (v_\phi/r) \tilde{\Phi} \tilde{\Gamma} \, dx dt'$. Para manejar este término sin imponer supuestos restrictivos sobre la magnitud del giro, los autores dividen el análisis en dos regímenes complementarios basados en la razón $L(s) = \|\tilde{v}'_\phi\|_{s, \infty} / \|\tilde{v}'_\phi\|_{\infty}$:

   • Régimen 1 ($L(s) \geq c_0$): Corresponde a un perfil de giro no concentrado. Las estimaciones se derivan utilizando desigualdades de interpolación y las expansiones de Liu-Wang.
   • Régimen 2 ($L(s) \leq c_0$): Corresponde a un perfil de giro concentrado. Las estimaciones se derivan mediante cotas $L^s$ e interpolación.
     Al cubrir ambos regímenes, los autores evitan la condición restrictiva requerida previamente en trabajos relacionados (por ejemplo, requerir un límite inferior específico en la magnitud del giro).

4. Bootstrapping de Regularidad:
   Una vez establecida la estimación global a priori para las normas de energía de $\Phi$ y $\Gamma$, los autores utilizan la teoría de solvabilidad para el sistema de Stokes no estacionario en espacios de Sobolev con normas mixtas (referenciando [MS]) para aumentar iterativamente la regularidad de la velocidad $v$ y el gradiente de presión $\nabla p$. Este proceso eleva la solución desde su regularidad inicial hasta la clase $W^{3, 3/2}_3$.

Contribuciones Clave y Resultados

• Estimación Global A Priori: El resultado principal es el Teorema 1.1, que establece la estimación global a priori:
  $$\|\omega_r/r\|_{V(\Omega_t)} + \|\omega_\phi/r\|_{V(\Omega_t)} \leq \phi(\text{datos})$$
  donde $V(\Omega_t)$ es la norma de energía, y $\phi$ es una función positiva creciente de los datos iniciales y las fuerzas externas. Esta estimación se mantiene para cualquier tiempo finito $t < \infty$.

• Eliminación de Condiciones Restrictivas: A diferencia de trabajos previos (por ejemplo, [Z1, Z2, OZ]) que requerían condiciones específicas sobre la magnitud del giro o condiciones de anulación en el eje, este artículo deriva la estimación global sin asumir las condiciones $(*)$ o $(**)$ de la introducción. Esto se logra tratando las regiones cercana al eje y alejada del eje de forma independiente y utilizando el análisis de dos regímenes para el término de giro.

• Existencia de Soluciones Regulares Globales: El Teorema 1.2 demuestra que si los datos iniciales y la fuerza externa poseen suficiente regularidad ($v(0) \in W^{3-2/3}_3$ y $f \in W^{1, 1/2}_3$), y si existe una solución local, la estimación global a priori implica la existencia de una solución regular global $v \in W^{3, 3/2}_3(\mathbb{R}^3_t)$ con $\nabla p \in W^{1, 1/2}_3(\mathbb{R}^3_t)$.

• Caso de Datos Pequeños: La Sección 8 proporciona un resultado complementario para datos iniciales pequeños, demostrando la existencia mediante aproximaciones sucesivas. Los autores señalan que el régimen de datos pequeños corresponde a un giro pequeño, que es el complemento al régimen de giro grande analizado en el cuerpo principal del texto.

Significancia y Reivindicaciones
El artículo afirma proporcionar una prueba rigurosa para la existencia de soluciones axisimétricas globales regulares a las ecuaciones de Navier-Stokes bajo el supuesto de que las soluciones son suficientemente regulares para satisfacer las expansiones de Liu-Wang cerca del eje. Los autores enfatizan que estas expansiones son "absolutamente necesarias" para sus pruebas.

La significancia del trabajo radica en:

1. Completar la Estimación Global: Proporcionar una cota global a priori que no dependa de las restrictivas condiciones de giro encontradas en la literatura anterior.
2. Novedad Técnica: El uso de una partición de la unidad para separar el eje singular del resto del dominio, permitiendo técnicas de estimación independientes en cada región.
3. Propagación de la Regularidad: Demostrar cómo la acotación de las normas de energía de los componentes de la vorticidad normalizada puede utilizarse para realizar un bootstrapping de la solución hacia una mayor regularidad de Sobolev.

Los autores reconocen modestamente que el supuesto de regularidad suficiente (específicamente la validez de las expansiones de Liu-Wang) es un prerrequisito para su teorema principal. Citan la teoría de regularidad parcial de Caffarelli, Kohn y Nirenberg, señalando que cualquier posible singularidad para soluciones axisimétricas debe ocurrir en el eje. Por lo tanto, sus resultados se aplican a soluciones que no desarrollan tales singularidades. Si la cota global puede derivarse sin asumir estas expansiones sigue siendo un problema abierto.