Global weak solutions to a compressible Navier--Stokes/Cahn--Hilliard system with singular entropy of mixing

Resumen Técnico: Soluciones Débiles Globales para un Sistema de Navier–Stokes Compresible/Cahn–Hilliard con Entropía de Mezcla Singular

Planteamiento del Problema
Este trabajo aborda el análisis matemático de un sistema de Navier–Stokes/Cahn–Hilliard compresible que modela la evolución de una mezcla binaria de fluidos viscosos que experimentan separación de fases. El sistema está definido en un dominio acotado $\Omega \subset \mathbb{R}^3$ sobre un intervalo de tiempo $(0, T)$. Las ecuaciones de gobierno describen la conservación de la masa, el momento y la evolución de la variable de fase (diferencia de concentración de masa) acoplada con un potencial químico.

La principal novedad y desafío de este estudio reside en la elección de la densidad de energía libre. A diferencia de la literatura previa sobre mezclas compresibles, que típicamente emplea potenciales regulares con crecimiento polinómico, este trabajo incorpora la entropía de mezcla de Flory-Huggins (logarítmica), la cual es físicamente relevante. Este potencial es singular en los límites del intervalo físico $[-1, 1]$, imponiendo la restricción de que la variable de fase $c$ debe permanecer dentro de $(-1, 1)$. El sistema está sujeto a condiciones de contorno de no deslizamiento para la velocidad y condiciones de Neumann homogéneas para la fase y el potencial químico.

Metodología
Los autores emplean un método de compacidad basado en un esquema de regularización-aproximación para probar la existencia de soluciones débiles globales en el tiempo para datos iniciales arbitrariamente grandes. La metodología central procede de la siguiente manera:

1. Esquema de Aproximación: El potencial singular de Flory-Higgins $F(c)$ se aproxima mediante una secuencia de potenciales regulares $F_\varepsilon(c)$ definidos en toda la recta real, que exhiben, como máximo, un crecimiento cuadrático en el infinito. Esto permite la aplicación de resultados de existencia ya establecidos para sistemas regularizados (específicamente aquellos establecidos por Abels y Feireisl para mezclas compresibles con potenciales regulares).
2. Estimaciones Uniformes: Un componente crítico de la prueba es la derivación de cotas uniformes para las soluciones aproximantes $(\varrho_\varepsilon, u_\varepsilon, c_\varepsilon)$ que son independientes del parámetro de regularización $\varepsilon$.
   • Estimaciones de Energía: Desigualdades de energía estándar proporcionan cotas para la densidad, la velocidad y el gradiente de la variable de fase.
   • Nuevas Estimaciones para Cahn-Hilliard Dependiente de la Densidad: Los autores derivan estimaciones novedosas para el potencial químico $\mu_\varepsilon$ y el término $\varrho_\varepsilon F'_\varepsilon(c_\varepsilon)$ bajo supuestos mínimos sobre la densidad (no negativa, $\gamma$-integrable con $\gamma > 3/2$). Al explotar el control de $\nabla_x \mu_\varepsilon$ desde el balance de energía y utilizando una función de prueba específica que involucra la diferencia de masa total, establecen cotas uniformes en $L^2$ para $\int_\Omega \varrho_\varepsilon |F'_\varepsilon(c_\varepsilon)| dx$.
   • Estimaciones de Presión: Para manejar la compresibilidad, los autores adaptan la teoría de Lions-Feireisl. Derivan estimaciones de integrabilidad mejoradas para la presión $p(\varrho_\varepsilon)$ mediante el uso de una función de prueba basada en un operador de Bogovskii específico. Esto produce cotas en $L^q$ para la presión, donde $q$ depende del exponente adiabático $\gamma$.
3. Compacidad y Paso al Límite: Utilizando las cotas uniformes, los autores extraen subsecciones convergentes. La convergencia fuerte de la densidad $\varrho_\varepsilon$ se establece mediante la ecuación de continuidad renormalizada y el argumento del flujo viscoso efectivo. La convergencia fuerte de la variable de fase $c_\varepsilon$ se obtiene adaptando argumentos de compacidad de estudios previos incompresibles, aprovechando la convergencia fuerte de la densidad y las cotas uniformes sobre el potencial químico.

Contribuciones Clave y Resultados
El resultado principal, enunciado en el Teorema 1.1, establece la existencia de soluciones débiles globales en el tiempo para $\gamma > 3/2$ en dominios acotados tridimensionales. La solución posee las siguientes propiedades:

• Regularidad: La solución $(\varrho, u, c, \mu)$ posee clases de regularidad específicas, incluyendo $\varrho \in C_{weak}([0, T]; L^\gamma(\Omega))$ y $c \in L^\infty(0, T; W^{1,2}(\Omega)) \cap L^2(0, T; W^{2, \frac{2\gamma}{\gamma+1}}(\Omega))$.
• Restricciones Físicas: Un logro significativo es la prueba de que la variable de fase $c$ satisface los límites físicos casi en todas partes. Específicamente:
  • $-1 \leq c \leq 1$ casi en todas partes en $(0, T) \times \Omega$.
  • $-1 < c < 1$ casi en todas partes en el conjunto donde la densidad es positiva ($\{\varrho > 0\}$).
• Datos Iniciales Generales: El resultado se sostiene para datos iniciales con energía total finita, sin requerir que la densidad sea estrictamente positiva o esté acotada lejos de cero, ni requerir que la concentración inicial esté estrictamente dentro de $(-1, 1)$ en todas partes (solo que la masa relativa $M_c/M \in (-1, 1)$).

Significancia y Reivindicaciones
El artículo afirma proporcionar el primer resultado de existencia para soluciones débiles globales al sistema de Navier–Stokes/Cahn–Hilliard compresible con el potencial de Flory-Huggins, el cual es físicamente relevante. Los autores destacan que los trabajos previos sobre mezclas compresibles se limitaban a potenciales regulares con crecimiento polinómico, los cuales no logran imponer la restricción física $c \in [-1, 1]$.

La significancia del trabajo radica en:

1. Cerrar la Brecha: Aborda la brecha analítica entre los modelos de campo de fase incompresibles y compresibles al manejar la entropía singular en el régimen compresible.
2. Supuestos Mínimos: La derivación de estimaciones para la ecuación de Cahn-Hilliard dependiente de la densidad no depende de la positividad estricta o de la acotación de la densidad, una condición requerida frecuentemente en estudios previos (por ejemplo, en el caso incompresible por el segundo autor y Temam).
3. Consistencia Física: La prueba demuestra rigurosamente que la solución límite respeta los límites físicos de la variable de fase, asegurando la consistencia del modelo con la termodinámica subyacente de la separación de fases.

Los autores señalan que su enfoque se basa en un método de compacidad y que la prueba de la convergencia fuerte de las densidades sigue técnicas establecidas (teoría de Lions-Feireisl) adaptadas a este sistema acoplado específico. También mencionan que los resultados pueden extenderse a dominios bidimensionales con una regularidad mejorada y que se pueden tratar potenciales singulares más generales que satisfagan condiciones de crecimiento similares.