Pure-swirl loss of boundedness under $L^1_tL^2_x$ forcing: exact mixed-norm ranges

Resumen Técnico: Pérdida de Acotación de Pure-Swirl bajo $L^1_t L^2_x$ para Forzamiento

Planteamiento del Problema
El artículo aborda las propiedades de regularidad y acotación de las soluciones a las ecuaciones de Navier–Stokes incompresibles forzadas en un cilindro circular tridimensional $D = B_2(0, 1) \times (0, 1)$. Específicamente, investiga si una solución clásica puede perder la acotación $L^\infty$ (explotar) en un tiempo finito $T$ mientras la fuerza externa $f$ permanece dentro de espacios de norma mixta específicos, particularmente el espacio de clase de energía $L^1(0, T; L^2(D))$. Esta construcción tiene como objetivo aislar el efecto del forzamiento externo sobre los mecanismos de explosión sin depender de la amplificación no lineal, ya que el término de convección es absorbido por la presión en el ansatz específico utilizado.

Metodología
Los autores construyen una solución de "pure-swirl" (giro puro) explícita, donde el campo de velocidad es puramente azimutal: $v(x, t) = W(r, t)e_\theta$. En esta configuración, el término de convección no lineal $(v \cdot \nabla)v$ no tiene componente azimutal, y su componente radial es equilibrada exactamente por el gradiente de presión. En consecuencia, la componente azimutal $W(r, t)$ satisface una ecuación parabólica escalar impulsada por la componente azimutal de la fuerza $F(r, t)$:
$$\partial_t W - \left(\partial_r^2 + \frac{1}{r}\partial_r - \frac{1}{r^2}\right)W = F.$$
La construcción refina un perfil previo de Zhang [23] mediante la introducción de una cancelación anular. Los autores definen un perfil $\phi_0(\rho)$ basado en una función suave de soporte compacto $A(\rho)$ en un anillo $(a, b)$. Esta elección específica asegura que el perfil se anule cerca del eje de simetría ($r=0$) y se comporte como $1/r$ en el borde exterior de su soporte. Esta cancelación es crucial para mantener la suavidad en el eje de simetría cuando la solución se multiplica por una potencia no entera $r^\alpha$.

La solución se define como $W(r, t) = r^\alpha \phi(r, t) + \beta r$, donde $\phi(r, t)$ es un reescalado autosimilar de $\phi_0$ con una escala dependiente del tiempo $R(t) = \sqrt{2(T-t)}$. La fuerza $f$ se deriva directamente de este ansatz.

Contribuciones Claves y Resultados

1. Rangos de Norma Mixta Exactos:
   El artículo establece las condiciones precisas de norma mixta tanto para la fuerza $f$ como para la velocidad $v$.

   • Fuerza: La fuerza pertenece a $L^q(0, T; L^p(D))$ si y solo si $\alpha > 3 - \frac{2}{p} - \frac{2}{q}$.
   • Velocidad: La velocidad pertenece a $L^\sigma(0, T; L^m(D))$ si y solo si $\alpha > 1 - \frac{2}{m} - \frac{2}{\sigma}$.
   • Alcance del Límite (Endpoint): Al elegir parámetros tales que $1/p + 1/q > 1$, la construcción produce una fuerza en $L^1(0, T; L^2(D))$. Esta es una refinación significativa de resultados previos, ya que alcanza el umbral de forzamiento de la clase de energía.

2. Tasas de Explosión (Blow-up):
   A medida que $t \uparrow T$, la solución exhibe los siguientes comportamientos asintóticos:

   • Supremo de la Velocidad: $\|v(t)\|_{L^\infty(D)} \asymp (T-t)^{-(1+\alpha)/2} \to \infty$.
   • Entropía de Enstrofia: $\|\nabla v(t)\|_{L^2(D)}^2 \asymp (T-t)^{\alpha-1}$.
   • Norma de la Fuerza: $\|f(t)\|_{L^p(D)} \asymp (T-t)^{-(3-\alpha)/2 + 1/p}$.

3. Regularidad y Unicidad:

   • La solución es clásica en $[0, T)$ y suave para $t < T$.
   • La solución se extiende fuertemente en $L^2(D)$ a una solución única de Leray–Hopf en el tiempo $T$.
   • La solución construida satisface la igualdad de energía en $[0, T]$.
   • La pérdida de acotación ocurre estrictamente en $t=T$, mientras que la fuerza se vuelve no acotada solo en este tiempo terminal.

4. Aplicabilidad al Sistema de Stokes:
   Debido a la cancelación del término de convección por la presión, el mismo ejemplo es aplicable al sistema de Stokes forzado, demostrando que el mecanismo de explosión es impulsado enteramente por el término de forzamiento en lugar de interacciones no lineales.

Significancia y Reivindicaciones
El artículo afirma proporcionar un "refinamiento directo y autónomo" del caso $k=1$ de la construcción previa ponderada de los autores [2]. Su principal significancia radica en:

• Refinar el Límite (Endpoint): Corrige la condición de norma mixta para el caso $k=1$, alcanzando con éxito el régimen de forzamiento $L^1_t L^2_x$, el cual no fue capturado completamente en el argumento de jerarquía general anterior.
• Aislar Efectos de Forzamiento: Al utilizar el ansatz de pure-swirl, la construcción aísla el mecanismo de pérdida de acotación hacia la fuerza externa, probando que incluso con un forzamiento de clase de energía ($L^1_t L^2_x$) y una solución que satisface la igualdad de energía y la unicidad en la clase de Leray–Hopf, la acotación $L^\infty$ puede fallar.
• Suavidad en el Eje: La introducción de la cancelación anular permite el uso de exponentes $\alpha$ no enteros mientras se preserva la suavidad en el eje de simetría, un obstáculo técnico en las construcciones de perfiles previas.

Los autores señalan explícitamente que este resultado no aborda el problema del Milenio referente a la regularidad global de las ecuaciones de Navier–Stokes sin forzamiento con datos suaves, ya que la explosión es impulsada por un término de forzamiento singular. Sin embargo, proporciona un contraejemplo riguroso a la intuición de que el forzamiento de clase de energía garantiza soluciones acotadas.