The global well-posedness of the multi-dimensional compressible Euler system with damping in the $L^p$ critical Besov spaces for $p<2$

A continuación presento un resumen técnico detallado del artículo en español, estructurado según los puntos solicitados:

Resumen Técnico: Globalidad Bien Planteada del Sistema de Euler Compresible con Amortiguamiento en Espacios de Besov Críticos $L^p$ para $p < 2$

1. El Problema

El trabajo aborda el problema de Cauchy para el sistema de Euler compresible con amortiguamiento lineal, un modelo matemático que describe el flujo de gas a través de un medio poroso donde la matriz sólida ejerce una fuerza de fricción proporcional y opuesta al momento del fluido.

El sistema gobernante (1.1) se define en $\mathbb{R}^d$ ($d \geq 1$) para $t \geq 0$:
$$\begin{cases} \partial_t \rho + \text{div}(\rho u) = 0, \\ \partial_t (\rho u) + \nabla \cdot (\rho u \otimes u) + \nabla P(\rho) + \alpha \rho u = 0, \end{cases}$$
donde $\rho$ es la densidad, $u$ la velocidad, $P(\rho)$ la presión (suave alrededor de una densidad de referencia $\bar{\rho}$) y $\alpha > 0$ el coeficiente de amortiguamiento.

El desafío principal: Aunque existen resultados previos sobre la existencia y comportamiento asintótico en espacios de Sobolev y en espacios de Besov críticos tipo $L^2$ (para $p \geq 2$), la pregunta abierta era si la bien planteada global se mantiene en espacios de Besov críticos de tipo $L^p$ para $1 \leq p < 2$. Este rango es particularmente difícil porque los sistemas hiperbólicos sin términos de orden cero suelen estar mal planteados en espacios $L^p$ con $p \neq 2$, y los datos en estos espacios pueden ser más singulares y concentrados (como fuentes puntuales).

2. Metodología

Los autores transforman el sistema original introduciendo una nueva variable desconocida llamada "entalpía" $n(\rho)$, reescribiendo el sistema en términos de $(n, v)$ (donde $v$ es la velocidad). Para abordar el problema, utilizan un enfoque de espacios de Besov híbridos $L^2-L^p$, donde se tratan por separado las frecuencias bajas y altas:

1. Definición de Frecuencias: Se introduce un umbral $J_\varepsilon = -[\log_2 \varepsilon] + k$ para separar las frecuencias bajas ($j \leq J_\varepsilon - 1$) y altas ($j \geq J_\varepsilon$).
2. Espacio de Solución ($E^T_{J_\varepsilon}$): Se define un espacio funcional mixto donde:
   • Las frecuencias bajas se controlan en espacios de Besov homogéneos $\dot{B}^{d/p}_{p,1}$ (tipo $L^p$).
   • Las frecuencias altas se controlan en espacios $\dot{B}^{d/2+1}_{2,1}$ (tipo $L^2$).
3. Análisis de Baja Frecuencia (Marco $L^p$):
   • Se define una "velocidad efectiva" $z = \varepsilon^{-1}v + \nabla n$.
   • Se observa que la ecuación para la densidad se comporta como una ecuación de calor y la para la velocidad efectiva como una ecuación amortiguada.
   • Se utilizan estimaciones estándar de ecuaciones de calor y amortiguadas en el marco $L^p$.
4. Análisis de Alta Frecuencia (Marco $L^2$):
   • Se utiliza un método de energía ponderado en $L^2$ (funcional de Lyapunov), ya que el análisis de autovalores formal sugiere que el marco $L^2$ es el más adecuado para las frecuencias altas en sistemas disipativos.
5. Tratamiento de Términos No Lineales:
   • La dificultad central radica en estimar los términos no lineales (convección y presión) en el espacio híbrido.
   • Se emplea la descomposición de paraproducto de Bony para manejar las interacciones entre frecuencias.

3. Contribuciones Clave

La contribución más significativa del artículo es el desarrollo de una nueva estimación de producto (Lema 2.1) en espacios de Besov híbridos $L^p-L^2$ para $p < 2$.

• Nueva Desigualdad de Producto: Los autores demuestran que para $1 \leq p < 2$ y $0 < s_1 < d/2$:
  $$\|ab\|_{\dot{B}^{s_1}_{p,1}}^{\ell, J_\varepsilon} \lesssim \left( \|b\|_{\dot{B}^{s_1}_{p,1}}^{\ell, J_\varepsilon} + 2^{(s_1 - d/p)J_\varepsilon} \|b\|_{\dot{B}^{d/2}_{2,1}}^{h, J_\varepsilon} \right) \|a\|_{\dot{B}^{d/2}_{2,1}}$$
  Esta estimación permite controlar el producto de funciones donde una parte vive en el espacio $L^p$ (bajas frecuencias) y la otra en $L^2$ (altas frecuencias), cerrando así las estimaciones a priori necesarias.
• Generalización de Resultados Previos: Extienden los trabajos de Crin-Barat, Danchin, Xu y Wang, que anteriormente solo cubrían el caso $p \geq 2$, eliminando la necesidad de suposiciones de linealidad específicas para la función de presión.

4. Resultados Principales

El teorema principal (Teorema 1.1) establece lo siguiente:

• Hipótesis: Sean $1 \leq p < 2$, $d \geq 1$ y $P'(\bar{\rho}) > 0$.
• Condición Inicial: Si los datos iniciales $(n_0, v_0)$ son suficientemente pequeños en la norma híbrida:
  $$\|(n_0, v_0)\|_{\dot{B}^{d/p}_{p,1}}^{\ell, J_\varepsilon} + \varepsilon \|(n_0, v_0)\|_{\dot{B}^{d/2+1}_{2,1}}^{h, J_\varepsilon} \leq \delta_1$$
  donde $\delta_1$ es una constante pequeña.
• Conclusión: El problema de Cauchy admite una solución global única en el espacio $E^\infty_{J_\varepsilon}$ para todo $\varepsilon > 0$.
• Observación Importante: Dado que $\dot{B}^{d/p}_{p,1} \hookrightarrow \dot{B}^{d/2}_{2,1}$ cuando $p < 2$, el resultado garantiza la existencia en un espacio más pequeño (más restrictivo) que el espacio $L^2$ tradicional, lo que permite manejar datos iniciales más singulares.

Además, se menciona que el límite de relajación (convergencia a la ecuación de medio poroso) para el caso $p < 2$ puede realizarse siguiendo el mismo procedimiento que en trabajos anteriores para $p \geq 2$.

5. Significado e Impacto

• Avance Teórico: El trabajo cierra una brecha importante en la teoría de sistemas hiperbólicos con amortiguamiento, demostrando que la bien planteada global es posible incluso en regímenes de baja regularidad ($p < 2$) donde la teoría clásica de $L^2$ no es suficiente o aplicable directamente.
• Aplicabilidad Física: Al permitir $p < 2$, el marco matemático puede describir fenómenos físicos con datos iniciales altamente concentrados o singulares (como filamentos de vórtice o fuentes puntuales), que son comunes en aplicaciones de ingeniería y física de fluidos pero que caían fuera del alcance de los resultados anteriores.
• Herramientas Versátiles: La nueva estimación de producto desarrollada (Lema 2.1) no es específica solo para el sistema de Euler; los autores sugieren que esta herramienta puede aplicarse a otros sistemas complejos, como sistemas de quimiotaxis hiperbólico-parabólicos o las ecuaciones de Navier-Stokes en marcos $L^p-L^2$ para $p < 2$.

En resumen, el artículo demuestra que el amortiguamiento juega un papel crucial en la estabilización de las frecuencias bajas en espacios $L^p$ ($p<2$), permitiendo la existencia global de soluciones únicas bajo condiciones de datos iniciales más generales y singulares que las permitidas anteriormente.