On the large-time behavior of strong solutions to the generalized compressible Navier-Stokes-Korteweg system in 2D and 3D for arbitrarily large initial data

Resumen Técnico: Existencia Global y Comportamiento en Tiempo Largo de Soluciones Fuertes del Sistema Generalizado de Navier-Stokes-Korteweg Compresible

Planteamiento del Problema
Este artículo investiga la existencia global y el comportamiento asintótico en tiempo largo de soluciones fuertes del sistema periódico de Navier-Stokes-Korteweg (NSK) compresible de dos y tres dimensiones con datos iniciales arbitrariamente grandes $(\rho_0, u_0) \in H^3 \times H^2$. El sistema se caracteriza por coeficientes de viscosidad dependientes de la densidad que satisfacen la relación de Bresch-Desjardins (BD), $\mu(\rho) = \nu\rho^\alpha$ y $\lambda(\rho) = 2\nu(\alpha-1)\rho^\alpha$, y un coeficiente de capilaridad $\kappa(\rho) = \varepsilon^2\alpha^2\rho^{2\alpha-3}$.

Los principales desafíos matemáticos abordados son:

1. Existencia Global con Datos Grandes: Establecer la existencia de soluciones fuertes globales sin supuestos de pequeñez sobre los datos iniciales, particularmente en dimensiones superiores ($N=2,3$).
2. Cotas Uniformes de la Densidad: Probar que la densidad permanece uniformemente acotada lejos del vacío y de la concentración (es decir, $C^{-1} \le \rho(x,t) \le C$) para todo el tiempo, un prerrequisito para la regularidad de orden superior.
3. Comportamiento en Tiempo Largo: Demostrar la convergencia de las soluciones al estado de equilibrio cuando $t \to \infty$.

Trabajos previos habían establecido la existencia global para regímenes de parámetros específicos (por ejemplo, Gu-Huang-Meng-Zhou [16] para $\alpha < 1$ y Huang-Meng-Zhang [25] para $\alpha=1$), pero a menudo con exponentes adiabáticos $\gamma$ restringidos o sin establecer cotas de densidad uniformes en el tiempo y convergencia en tiempo largo para datos arbitrariamente grandes.

Metodología
Los autores emplean una estrategia analítica multifacética centrada en la transformación de la velocidad efectiva y una estructura doblemente parabólica del sistema reformulado.

1. Formulación de la Velocidad Efectiva: El sistema se reformula utilizando la velocidad efectiva $v := u + c\rho^{\alpha-2}\nabla\rho$, donde $c = \nu + \sqrt{\nu^2-\varepsilon^2}$. Esto transforma el sistema original en un sistema acoplado de densidad-velocidad efectiva (Ecuación 11), el cual exhibe una estructura doblemente parabólica. Esta estructura es crucial para derivar regularidad adicional y controlar la densidad.

2. Argumento de Bootstrap para Parámetros Admisibles:

   • Para el caso $\alpha < 1$, los autores mejoran el rango admisible del exponente adiabático $\gamma$. Utilizan un argumento de bootstrap que tiende un puente entre la estimación de energía estándar (weighted $L^2$) y la estimación crítica (weighted $L^3$). Al mejorar iterativamente la integrabilidad de la velocidad efectiva y la densidad, extienden el rango de $\gamma$ más allá de los resultados previos (específicamente, hasta $\frac{111\alpha^2-122\alpha+33}{21\alpha-13}$ en 3D).

3. Estrategia de Discretización Temporal para Cotas Superiores:

   • Para establecer una cota superior uniforme para la densidad, los autores adoptan una estrategia de discretización temporal. Particionan el eje del tiempo $[0, \infty)$ en subintervalos $[t_n, t_{n+1}]$ de longitud uniformemente acotada.
   • Utilizando las estimaciones de disipación, identifican puntos $t_n$ donde la densidad y la velocidad efectiva satisfacen cotas cuantitativas uniformes.
   • En cada subintervalo, aplican un esquema de iteración de Nash-Moser modificado (inspirado en Gu-Huang-Meng-Zhou [16]) para derivar una cota superior de la densidad que sea independiente del subintervalo específico, obteniendo así una cota superior global uniforme.

4. Bootstrap Inductivo para Cotas Inferiores ($\alpha < 1$):

   • Establecer una cota inferior positiva uniforme requiere una mayor integrabilidad de la velocidad efectiva ($L^p$ con $p > \frac{2}{1-\alpha}$).
   • Los autores desarrollan un novedoso procedimiento de bootstrap inductivo. Asumiendo las estimaciones del $(k-1)$-ésimo nivel, derivan las estimaciones uniformes y de disipación del $k$-ésimo nivel. Este proceso se repite un número finito de veces hasta alcanzar la integrabilidad requerida, permitiendo la aplicación de la iteración de Nash-Moser a la variable recíproca $\tau = \rho^{-1}$ para obtener una cota inferior positiva uniforme.
   • Para el caso crítico $\alpha = 1$, el artículo establece una cota superior uniforme pero señala que la cota inferior sigue siendo un problema abierto debido a la incapacidad de cerrar el bootstrap al nivel $L^\infty$ para la velocidad efectiva.

5. Estimaciones de Orden Superior y Decaimiento:

   • Con las cotas uniformes de la densidad establecidas, los autores derivan estimaciones globales de orden superior para la densidad y la velocidad efectiva.
   • Explotan la estructura elíptica inherente al sistema de velocidad efectiva para controlar las derivadas de orden superior.
   • Estas estimaciones conducen a la prueba del comportamiento en tiempo largo, demostrando que la norma $H^3$ de la desviación de la densidad y la norma $H^1$ del gradiente de la velocidad decaen a cero.

Contribuciones Clave y Resultados

• Teorema 1.1 (Caso $\alpha < 1$):

  • Establece la existencia global de soluciones fuertes únicas para datos iniciales arbitrariamente grandes en 2D y 3D.
  • Rango de Parámetros Ampliado: Expande significativamente el rango admisible del exponente adiabático $\gamma$ en comparación con trabajos previos (por ejemplo, [16]). En 3D, $\gamma$ puede alcanzar $\frac{111\alpha^2-122\alpha+33}{21\alpha-13}$.
  • Cotas Uniformes: Prueba que la densidad satisface $C^{-1} \le \rho(x,t) \le C$ para todo $t \ge 0$, asegurando que la solución permanezca alejada del vacío y la concentración.
  • Comportamiento en Tiempo Largo: Prueba que $\|\rho(t) - \rho_s\|_{H^3} + \|\nabla u(t)\|_{H^1} \to 0$ cuando $t \to \infty$, donde $\rho_s$ es la densidad promedio. Esto se cumple sin ningún supuesto de pequeñez sobre los datos iniciales.

• Teorema 1.2 (Caso $\alpha = 1$):

  • Establece la existencia global para el caso crítico $\alpha = 1$ (que incluye el modelo de Saint-Venant viscoso y el sistema de Navier-Stokes cuántico bajo condiciones específicas).
  • Rango de Parámetros Mejorado: Amplía aún más el rango admisible de $\gamma$ en 3D a $[1, 11/4)$, mejorando el rango $[1, 8/3)$ de [22] y el rango $[1, 7/3)$ de [25].
  • Cota Superior Uniforme: Prueba una cota superior uniforme para la densidad ($\rho(x,t) \le C$).
  • Limitación: El artículo establece explícitamente que establecer una cota inferior positiva uniforme para la densidad en el caso crítico $\alpha=1$ sigue siendo un desafío abierto y se deja para trabajos futuros.

Significancia
El artículo proporciona una respuesta afirmativa a las preguntas de si las soluciones fuertes globales con datos iniciales arbitrariamente grandes admiten cotas de densidad uniformes en el tiempo y convergen al equilibrio en el sistema NSK periódico multidimensional.

• Resolución de Problemas Abiertos: Resuelve el problema abierto respecto al comportamiento en tiempo largo y las cotas de densidad uniformes para el sistema NSK generalizado con datos grandes, los cuales no habían sido resueltos incluso tras el establecimiento de la existencia global en [16] y [25].
• Avance Metodológico: El desarrollo de la estrategia de discretización temporal combinada con el argumento de bootstrap para la integrabilidad representa un avance metodológico significativo. Permite la derivación de cotas uniformes sin depender del régimen intermediario restrictivo ($\varepsilon = \nu$) que a menudo se requiere en los análisis de Navier-Stokes cuánticos, cubriendo así el régimen parabólico más amplio ($\varepsilon < \nu$).
• Optimización de Parámetros: Al refinar los rangos admisibles para $\gamma$, los resultados amplían la aplicabilidad física de la teoría de existencia global para fluidos compresibles con efectos de capilaridad.

Los autores enfatizan que sus resultados se derivan sin imponer condiciones de pequeñez a los datos iniciales, lo que hace que los hallazgos sean robustos para escenarios físicamente relevantes que involucran grandes perturbaciones. El trabajo deja la extensión al problema de Cauchy y el establecimiento de cotas inferiores para el caso crítico $\alpha=1$ como direcciones para investigaciones futuras.