Universality in the Low Mach number limit via a convex integration framework

Resumen Técnico: Universalidad en el Límite de Número de Mach Bajo mediante un Marco de Integración Convexa

Planteamiento del Problema
El artículo investiga el límite de número de Mach bajo de las ecuaciones de Euler compresibles, un límite singular donde el número de Mach $\delta$ tiende a cero. Físicamente, este régimen describe flujos de fluidos donde las velocidades son pequeñas en comparación con la velocidad del sonido, lo que conduce a variaciones de densidad insignificantes y un comportamiento incompresible. Matemáticamente, el objetivo es justificar la transición del sistema de Euler compresible (1.1) al sistema de Euler incompresible (1.2).

Mientras que trabajos previos (p. ej., Ebin; Klainerman–Majda) establecieron este límite para datos iniciales suaves y bien preparados, extensiones posteriores abordaron datos mal preparados y soluciones débiles utilizando métodos de compacidad o de entropía relativa; sin embargo, estos enfoques típicamente filtran comportamientos altamente oscilatorios o turbulentos. Una cuestión central permanece: ¿Es el sistema incompresible un "atractor universal" en el contexto de las soluciones débiles? Específicamente, ¿puede toda solución débil incompresible realizarse como el límite fuerte de una secuencia de soluciones débiles del sistema compresible, incluso cuando las soluciones compresibles exhiben la no unicidad y la turbulencia permitidas por la integración convexa?

Metodología
Los autores emplean un marco de integración convexa refinado, construyendo sobre su trabajo previo [5] que estableció la no unicidad para los sistemas de Euler incompresible y de Euler isentrópico compresible. La estrategia procede en tres etapas conceptuales:

1. Construcción de la Subsolución: Partiendo de una solución débil arbitraria $u$ de las ecuaciones de Euler incompresibles, los autores construyen una subsolución incompresible suave $(u_\varepsilon, \pi_\varepsilon, R_\varepsilon)$ para un sistema relajado, donde $R_\varepsilon$ es un tensor de esfuerzo de Reynolds definido positivo. Esta se eleva posteriormente a una subsolución compresible correspondiente $(\rho_\delta, V_\delta, R_\delta)$ para las ecuaciones rescaladas (1.3). Este levantamiento asegura que la densidad $\rho_\delta$ permanezca cercana a 1 y que el esfuerzo de Reynolds sea definido positivo.

2. Integración Convexa Refinada: La innovación central radica en la modificación del esquema estándar de integración convexa. Los autores introducen una nueva restricción de tipo $L^2$ en el conjunto de perturbaciones admisibles. Específicamente, las perturbaciones $\tilde{V}$ deben satisfacer:
   $$\left| \int V_\delta \cdot \tilde{V} \, \frac{dx dt}{\rho_\delta} \right| \leq \frac{1}{8} \int \frac{|\tilde{V}|^2}{\rho_\delta} \, dx dt$$
   Esta restricción está ausente en las teorías de integración convexa de $L^\infty$ previas (que dependen del teorema de la categoría de Baire), pero se alinea naturalmente con las teorías $C^\alpha$.

3. Estimaciones Uniformes y Convergencia: Al imponer esta restricción, los autores derivan una estimación de energía uniforme (Proposición 3.1) que muestra que la energía cinética de las perturbaciones está controlada por la traza del tensor de esfuerzo de Reynolds:
   $$\int \frac{|\tilde{V}|^2}{\rho_\delta} \, dx dt \leq C \int \text{tr}(R_\delta) \, dx dt$$
   Dado que la construcción de la subsolución asegura que $\text{tr}(R_\delta) = O(\delta)$, esta estimación domestica las oscilaciones turbulentas uniformemente con respecto al número de Mach $\delta$. Este control es crucial para probar la convergencia fuerte cuando $\delta \to 0$.

Contribuciones Clave

• Resultado de Atractor Universal: El artículo demuestra que el sistema incompresible actúa como un atractor universal para el sistema compresible dentro del marco de integración convexa. Para cualquier solución débil $L^2$ de las ecuaciones de Euler incompresibles, existe una familia de datos iniciales para el sistema compresible tal que las soluciones débiles resultantes convergen fuertemente a la solución incompresible dada a medida que el número de Mach se desvanece.
• Nueva Restricción para la Teoría de $L^\infty$: La introducción de la restricción de tipo $L^2$ (1.4) en el esquema de integración convexa no constructivo de $L^\infty$ es un avance técnico significativo. Esto cierra la brecha entre el control de las perturbaciones turbulentas por el tensor de Reynolds (visto previamente en contextos $C^\alpha$) y el enfoque de la categoría de Baire utilizado para soluciones $L^\infty$.
• Generalidad en el Exponente Adiabático: A diferencia de otros resultados previos de integración convexa para flujos compresibles que requerían restricciones sobre el exponente adiabático $\gamma$ (p. ej., $1 < \gamma \leq 1 + 2/n$) para satisfacer las desigualdades de energía, este resultado se mantiene para todo el rango $\gamma > 1$ porque la desigualdad de energía no se impone como un criterio de admisibilidad.

Resultados Principales
El teorema principal (Teorema 1.1) establece que para dimensiones $n=2$ o $3$ y cualquier $\gamma > 1$, dado cualquier solución débil $u$ de las ecuaciones de Euler incompresibles con datos iniciales $u_0 \in L^2$, existe una familia de datos iniciales $(\rho_\delta^0, m_\delta^0)$ para las ecuaciones de Euler rescaladas de tipo compresible. Para cualquier número de Mach $\delta$ suficientemente pequeño, existen infinitas soluciones débiles al sistema emanando de estos datos. Cuando $\delta \to 0$:

• La densidad $\rho_\delta$ converge a 1 en $C^0$.
• El momento $\rho_\delta v_\delta$ converge fuertemente a $u$ en $L^2(0, T; L^2)$.
• El momento inicial $m_\delta^0$ converge débilmente a $u_0$ en $L^2$.

Significado
El artículo afirma proporcionar una justificación matemática rigurosa para la robustez de la aproximación incompresible. Demuestra que cualquier campo de flujo de gran escala y sin divergencia puede emerger como la descripción efectiva y promediada de un fluido compresible en el régimen de número de Mach bajo, independientemente de la dinámica oscilatoria de escala fina y no única modelada por la integración convexa. Esto establece una nueva forma de universalidad para los límites singulares, desplazando el paradigma analítico de investigar si una familia específica de soluciones compresibles converge hacia demostrar constructivamente que cualquier solución débil incompresible puede ser objetivo y aproximada por soluciones débiles compresibles.