Low Mach number limit and optimal time decay rates of the compressible Navier-Stokes-transport system in critical Besov spaces

Resumen Técnico: Límite de Número de Mach Bajo y Tasas de Decaimiento Temporal Óptimas del Sistema Navier-Stokes-Transporte Compresible en Espacios de Besov Críticos

Planteamiento del Problema
Este artículo investiga el sistema compresible de Navier-Stokes-Transporte (NST), un modelo de fluido que comprende un sistema de Navier-Stokes compresible para la densidad ($\rho$) y el momento ($\rho u$), acoplado con una ecuación de transporte para la temperatura potencial ($\theta$). A diferencia del conocido sistema de Navier-Stokes-Fourier (NSF), donde la temperatura satisface una ecuación parabólica que proporciona disipación tanto para la temperatura como para la densidad, el sistema NST presenta una ecuación de transporte para la temperatura. Esta diferencia estructural impide un mecanismo disipativo para la densidad, lo que conduce a comportamientos asintóticos significativamente distintos.

El estudio aborda tres desafíos matemáticos primarios dentro del marco de los espacios de Besov críticos ($\dot{B}^s_{p,r}$) en $\mathbb{R}^d$ ($d \ge 2$):

1. Bien posed de forma Global: Establecer la existencia y unicidad de soluciones fuertes para datos iniciales pequeños en espacios críticos, a pesar de la falta de disipación de la densidad.
2. Límite de Número de Mach Bajo: Probar rigurosamente la convergencia del sistema NST compresible al sistema de Navier-Stokes inhomogéneo incompresible cuando el número de Mach $\varepsilon \to 0$, específicamente para datos iniciales mal preparados (ill-prepared).
3. Tasas de Decaimiento Temporal Óptimas: Derivar tasas de decaimiento óptimas para soluciones fuertes en dimensiones $d \ge 3$, abordando la dificultad de que la densidad no decae en el tiempo debido a la ausencia de una estructura disipativa.

Metodología
Los autores emplean un análisis de energía refinado dentro del marco de la descomposición de Littlewood-Paley de los espacios de Besov. Las innovaciones metodológicas clave incluyen:

• Reformulación y Nuevas Variables: Para manejar la fuerte no linealidad de la presión y la falta de disipación de la densidad, el sistema se reformula en términos de la perturbación de la densidad $a = \rho - 1$, la velocidad $u$ y la perturbación de la presión $z = P - 1$. Crucialmente, los autores introducen una nueva cantidad derivada $\omega = \gamma a - z$. Aunque $\omega$ carece por sí misma de una estructura disipativa, proporciona un vínculo crucial entre $a$ y $z$, permitiendo la derivación de estimaciones uniformes para la densidad $a$ que de otro modo serían inalcanzables debido al término lineal $\text{div } u$ en la ecuación de continuidad.
• Análisis Localizado en Frecuencia: La prueba de la existencia global de soluciones utiliza una desigualdad de Lyapunov localizada en frecuencia. El sistema $(u, z)$ se trata como un sistema hiperbólico-parabólico donde las bajas frecuencias exhiben un comportamiento difusivo-térmico y las altas frecuencias exhiben amortiguamiento. Los autores estiman la parte incompresible ($Pu$) y la parte potencial ($Qu$) de la velocidad por separado, tanto en los regímenes de baja como de alta frecuencia, empleando el método de velocidad efectiva para las altas frecuencias.
• Estrategia del Límite de Número de Mach Bajo: Para el límite singular $\varepsilon \to 0$, los autores utilizan un argumento de reescalamiento. Para superar la falta de compacidad para la densidad $a^\varepsilon$ (que no pertenece a $L^2(\mathbb{R}^+; \dot{B}^{d/2}_{2,1})$), analizan la ecuación para el nuevo modo $\omega^\varepsilon = \gamma a^\varepsilon - z^\varepsilon$. Esto permite establecer la compacidad fuerte para $\omega^\varepsilon$ y, posteriormente, justificar la convergencia de la ecuación de continuidad en el sentido de las distribuciones. Se derivan estimaciones dispersivas para $z^\varepsilon$ y $Qu^\varepsilon$ para manejar la convergencia de la ecuación de momento.
• Análisis de Decaimiento Temporal: Para las tasas de decaimiento, los autores distinguen entre condiciones de acotación y de pequeñez en los datos iniciales. Utilizan funcionales de energía ponderados en el tiempo e desigualdades de interpolación. Un obstáculo técnico significativo es la "pérdida de derivada" causada por términos no lineales que involucran la densidad no disipativa $a$ (por ejemplo, $f(a)\nabla z$). Los autores superan esto aprovechando el acoplamiento entre $u$ y $z$ y el nuevo modo $\omega$ para cerrar las estimaciones de energía, evitando la necesidad de supuestos adicionales de pequeñez en los datos iniciales de baja frecuencia que son típicos en estudios isentrópicos.

Contribuciones Clave y Resultados

1. Bien posed de forma Global (Teorema 1.2):
   El artículo establece la existencia global y la unicidad de soluciones fuertes para el sistema NST compresible en espacios de Besov críticos $\dot{B}^{d/2}_{2,1} \times \dot{B}^{d/2-1}_{2,1} \times \dot{B}^{d/2}_{2,1}$ para $d \ge 2$, siempre que los datos iniciales sean suficientemente pequeños.

   • Significancia: A diferencia de trabajos previos (por ejemplo, Zhai et al. [59]), este resultado proporciona tasas de decaimiento temporal óptimas y utiliza un método diferente que maneja explícitamente la falta de disipación de la densidad mediante el nuevo modo $\omega$.

2. Límite de Número de Mach Bajo (Teorema 1.3):
   Los autores prueban rigurosamente que, a medida que $\varepsilon \to 0$, las soluciones del sistema NST compresible convergen a la solución global del sistema de Navier-Stokes inhomogéneo incompresible.

   • Significancia: Este resultado es válido para datos iniciales mal preparados (ill-prepared, donde $\text{div } u_0 = O(1)$ y $\nabla z_0 = O(1)$), un caso que es matemáticamente más desafiante que el caso bien preparado. La convergencia se establece en el sentido de las distribuciones, con tasas de convergencia explícitas para los modos acústicos.

3. Tasas de Decaimiento Temporal Óptimas (Teoremas 1.4–1.6):
   Para $d \ge 3$, el artículo deriva tasas de decaimiento temporal óptimas para la velocidad $u$ y la perturbación de presión/temperatura $z$.

   • Límites Superiores: Bajo una condición de acotación en los datos iniciales (Teorema 1.4), se obtienen tasas de decaimiento de $(1+t)^{-\frac{1}{2}(\sigma - \sigma_0)}$ para $\sigma \in (\sigma_0, d/2 - 1]$. Bajo una condición de pequeñez (Teorema 1.5), estas tasas se extienden a una mayor regularidad $\sigma \in (\sigma_0, d/2 + 1]$.
   • Límites Inferiores: El Teorema 1.6 establece límites inferiores coincidentes, confirmando la optimalidad de las tasas de decaimiento.
   • Comportamiento Distintivo: Un hallazgo clave es que la densidad $a$ permanece uniformemente acotada en el tiempo pero no exhibe decaimiento temporal. Esto contrasta fuertemente con el sistema NSF y las ecuaciones de Navier-Stokes isentrópicas, donde la densidad posee una estructura disipativa y decae. Los autores señalan que la falta de disipación de la densidad impide que los términos de acoplamiento no lineales contribuyan con tasas de decaimiento adicionales al sistema.

Significancia y Reivindicaciones
El artículo afirma resolver desafíos técnicos significativos derivados de la naturaleza hiperbólica del transporte de densidad y temperatura en el sistema NST. Al introducir el modo $\omega = \gamma a - z$, los autores logran sortear la obstrucción causada por la falta de una estructura disipativa para la densidad, una limitación que impide la aplicación de las teorías de perturbación clásicas utilizadas para sistemas isentrópicos o NSF.

El trabajo extiende la comprensión matemática de la dinámica de fluidos no isentrópica, particularmente en regímenes donde se descuidan los procesos diabáticos. Los resultados sobre el límite de número de Mach bajo para datos mal preparados en espacios de Besov críticos llenan un vacío en la literatura, proporcionando una justificación rigurosa para el límite incompresible en un entorno donde los argumentos de compacidad estándar fallan. Además, la derivación de las tasas de decaimiento óptimas, al notar explícitamente la naturaleza no decreciente de la densidad, ofrece una caracterización precisa del comportamiento a largo plazo de este modelo de fluido específico.