Well-Posedness and Asymptotic Decay of Solutions to the Three-Dimensional Euler Equations with Damping

Resumen Técnico: Bien posedidad Global y Decaimiento Asintótico de Soluciones a las Ecuaciones de Euler Tridimensionales con Amortiguamiento

Planteamiento del Problema
El artículo aborda el problema abierto de larga data sobre la bien posedidad global de las ecuaciones de Euler compresibles multidimensionales con amortiguamiento. Si bien la existencia global de soluciones suaves para datos iniciales pequeños en el régimen isentrópico ($\gamma > 1$) ha sido establecida parcialmente en trabajos previos (p. ej., [29, 31]), el caso que permite datos iniciales parcialmente grandes en tres dimensiones sigue siendo un desafío. Específicamente, los autores investigan el problema de Cauchy para las ecuaciones de Euler amortiguadas tridimensionales tanto en el régimen isentrópico ($\gamma > 1$) como en el isotérmico ($\gamma = 1$). La dificultad principal radica en que, sin amortiguamiento, las soluciones típicamente desarrollan singularidades (choques) en tiempo finito independientemente de la suavidad de los datos iniciales. Si bien el amortiguamiento mejora la regularidad para datos pequeños, no evita la formación de singularidades para datos grandes en general. Este trabajo busca establecer la existencia global y tasas de decaimiento óptimas para datos iniciales donde la norma $L^2$ puede ser grande, siempre que la norma de Sobolev de tercer orden sea suficientemente pequeña.

Metodología
Los autores emplean una combinación de métodos de energía, análisis de la función de Green y argumentos de compacidad.

1. Transformación a un Sistema Hiperbólico Simétrico: Para el caso isentrópico ($\gamma > 1$), los autores introducen una nueva variable $\phi = \frac{2}{\gamma-1}(\sigma(\rho) - \sigma(\rho^*))$, donde $\sigma(\rho) = \sqrt{P'(\rho)}$ es la velocidad del sonido. Esto transforma el sistema original en un sistema hiperbólico simétrico con amortiguamiento parcial. Esta reformulación es crucial para derivar estimaciones a priori.
2. Criterio de Regularidad: Un paso clave es establecer un criterio de regularidad (Teorema 3.1). Los autores demuestran que si la integral de las normas $L^\infty$ de los gradientes de $\phi$ y $u$ respecto al tiempo permanece suficientemente pequeña, la solución local puede extenderse globalmente.
3. Función de Green y Análisis de Decaimiento: El sistema linealizado se analiza mediante su función de Green $G$. Al descomponer la solución en partes de baja frecuencia ($G^\ell$) y alta frecuencia ($G^h$), los autores derivan tasas de decaimiento precisas.
   • Se muestra que la parte de baja frecuencia satisface tasas de decaimiento algebraico óptimas similares a las de la ecuación del calor, derivadas de los autovalores del operador linealizado.
   • La parte de alta frecuencia se controla mediante estimaciones de energía y la estructura de amortiguamiento, lo que proporciona un decaimiento exponencial.
4. Manejo de Datos Iniciales Grandes: El marco permite datos iniciales $L^2$ grandes ($\|( \rho_0 - \rho^*, u_0) \|_{L^2} \le M_0$), asumiendo que la norma de orden superior es pequeña ($\|D^3(\rho_0 - \rho^*, u_0)\|_{L^2} \le \delta_0$). La prueba se basa en la pequeñez de $\delta_0$ para cerrar las estimaciones a priori, utilizando desigualdades de interpolación (Gagliardo-Nirenberg) para acotar las normas $L^\infty$ de los gradientes mediante las normas de orden superior pequeñas y las posibles normas de orden inferior grandes.
5. Límite Isotérmico: Para abordar el caso $\gamma = 1$, donde la transformación $\phi$ se vuelve singular, los autores utilizan un argumento de compacidad. Primero establecen estimaciones uniformes para las soluciones con respecto a $\gamma \in (1, 3]$. Luego, utilizando el lema de Aubin-Lions, prueban la convergencia fuerte de la secuencia de soluciones a medida que $\gamma \to 1$, justificando así rigurosamente el límite isotérmico.

Contribuciones Clave y Resultados

• Bien Posedidad Global con Datos Parcialmente Grandes: El artículo establece la existencia de soluciones clásicas globales únicas para las ecuaciones de Euler amortiguadas 3D tanto en el régimen isentrópico ($\gamma > 1$) como en el isotérmico ($\gamma = 1$). Se permite que los datos iniciales tengan una norma $L^2$ grande, siempre que la norma de Sobolev de tercer orden sea pequeña. Esto extiende resultados previos que típicamente requerían pequeñez en la norma de Sobolev completa.
• Tasas de Decaimiento Algebraico Óptimas: Los autores derivan tasas de decaimiento óptimas para las soluciones globales. Específicamente, para $k=0, 1, 2, 3$:
  • $\|D^k(\rho - \rho^*)(t)\|_{L^2} \le C(1+t)^{-k/2}$
  • $\|D^k u(t)\|_{L^2} \le C(1+t)^{-(k-1)/2}$
    Estas tasas coinciden con las del sistema linealizado correspondiente, confirmando su optimalidad.
• Límite Isotérmico: El artículo demuestra rigurosamente que, a medida que $\gamma \to 1$, las soluciones del sistema de Euler amortiguado isentrópico convergen fuertemente a la solución del sistema de Euler amortiguado isotérmico. Este resultado establece simultáneamente la bien posedidad global y el decaimiento asintótico para el caso isotérmico ($\gamma = 1$).
• Nuevo Marco Analítico: Para el caso isentrópico, se desarrolla un nuevo marco donde todas las estimaciones a priori requeridas se derivan bajo la condición de que $\int_0^T (\|\nabla \rho\|_{L^\infty} + \|\nabla u\|_{L^\infty}) dt$ permanezca pequeño. Esta condición se verifica utilizando las tasas de decaimiento óptimas derivadas.

Significancia
El artículo afirma resolver una brecha significativa en la teoría de la dinámica de fluidos compresibles al manejar datos iniciales "parcialmente grandes" en tres dimensiones. Al desacoplar el tamaño de la norma $L^2$ de los requisitos de regularidad de orden superior, los autores demuestran que existen soluciones suaves globales incluso cuando la perturbación inicial en la densidad y la velocidad es grande en el sentido $L^2$, siempre que los componentes de alta frecuencia sean pequeños. Además, el tratamiento unificado del límite isotérmico proporciona una base matemática rigurosa para la transición entre modelos isentrópicos e isotérmicos en presencia de amortiguamiento, una transición que anteriormente era difícil de justificar debido a la singularidad en la transformación de variables estándar en $\gamma = 1$. Los resultados se presentan como una consecuencia directa de las técnicas analíticas desarrolladas, sin invocar propuestas experimentales o aplicaciones futuras no verificadas.