Well-posedness and longtime behavior of the conserved Navier--Stokes--Allen--Cahn equation with unmatched viscosities and singular potential

Resumen Técnico: Bien-posedness y Comportamiento a Largo Plazo de la Ecuación de Navier–Stokes–Allen–Cahn Conservada con Viscosidades No Coincidentes y Potencial Singular

1. Formulación del Problema
El artículo investiga un modelo de conservación de masa para el flujo incompresible de dos fases con densidades coincidentes, descrito por el sistema de Navier–Stokes acoplado no linealmente con una ecuación de Allen–Cahn conservada. El sistema se define en un dominio acotado $\Omega \subset \mathbb{R}^d$ ($d \in \{2, 3\}$) e involucra la velocidad del fluido $v$, la variable de campo de fase $\phi$ (que representa la concentración relativa) y el potencial químico $\mu$. El modelo incorpora:

• Viscosidades No Coincidentes: El coeficiente de viscosidad $\nu(\phi)$ depende del campo de fase y se asume que no es constante.
• Potencial Singular: La densidad de energía libre incluye un potencial singular $f(\phi)$, típicamente de tipo Flory–Huggins, que se vuelve infinito en las fases puras $\phi = \pm 1$. Esto impone la restricción física $|\phi| < 1$.
• Condiciones de Contorno: Condiciones de no deslizamiento para la velocidad ($v=0$) y condiciones de Neumann homogéneas para el campo de fase ($\partial_n \phi = 0$).

Las ecuaciones gobernantes son:
$$\begin{aligned} \partial_t v + (v \cdot \nabla)v - \text{div}(\nu(\phi)Dv) + \nabla \pi &= \mu \nabla \phi, \\ \nabla \cdot v &= 0, \\ \partial_t \phi + v \cdot \nabla \phi + \mu - \bar{\mu} &= 0, \\ \mu &= -\Delta \phi + f'(\phi), \end{aligned}$$
donde $\bar{\mu}$ denota el promedio espacial de $\mu$.

2. Metodología
Los autores emplean una combinación de análisis funcional, métodos de energía y técnicas de análisis asintótico:

• Aproximación de Galerkin: Para las pruebas de existencia, se utiliza un esquema de Galerkin completo, regularizando el potencial singular mediante una aproximación de Yosida ($F_\lambda$) para manejar la singularidad.
• Estimaciones de Energía: Se establecen soluciones débiles globales mediante desigualdades de energía estándar. Para las soluciones fuertes, se derivan estimaciones de orden superior aplicando los operadores de tiempo y de Stokes ($A_S$), utilizando desigualdades de Gagliardo–Nirenberg y Agmon.
• Enfoque de Energía Relativa: Para establecer la unicidad débil-fuerte condicional, los autores utilizan un método de energía relativa. Este enfoque compara una solución débil con una solución fuerte, controlando la diferencia mediante un funcional que da cuenta de la no linealidad del potencial y de la viscosidad variable.
• Iteraciones de De Giorgi: Para probar la propiedad de separación estricta asintótica (que la solución se mantiene alejada de las fases puras $\pm 1$ cuando $t \to \infty$), los autores aplican la técnica de iteración de De Giorgi a la ecuación parabólica, adaptándola al sistema acoplado.
• Desigualdad de Lojasiewicz–Simon: La convergencia a un equilibrio único se demuestra utilizando la desigualdad de Lojasiewicz–Simon, que relaciona el funcional de energía con la norma de su gradiente, siempre que el potencial sea real analítico.

3. Contribuciones Clave y Resultados

• Bien-posedness Local en 3D: El artículo demuestra la existencia y unicidad de soluciones fuertes locales en el tiempo en dimensión tres para datos iniciales con mayor regularidad ($v_0 \in H^1_\sigma$, $\phi_0 \in H^2_N$, $F'(\phi_0) \in L^2$). Crucialmente, se muestra que estas soluciones están instantáneamente separadas estrictamente de las fases puras.
• Unicidad Incondicional en 2D: Los autores resuelven una pregunta abierta de la literatura previa demostrando que las soluciones débiles son incondicionalmente únicas en dimensión dos. Esto se logra sin requerir que las soluciones estén estrictamente separadas de las fases puras, apoyándose en cambio en la estructura específica de la desigualdad de Ladyzhenskaya en 2D.
• Unicidad Débil-Fuerte Condicional en 3D: Se establece un resultado de unicidad débil-fuerte condicional en dimensión tres. La condición requiere que la solución débil satisfaga una condición de integrabilidad sobre la derivada del potencial ($F'(\phi) \in L^4(0, T; L^4(\Omega))$), la cual se muestra más débil que la suposición estándar de separación estricta.
• Separación Asintótica y Convergencia:
  • Regularidad Mínima de la Viscosidad: El artículo demuestra que cualquier solución débil global se separa asintóticamente de las fases puras y converge a un equilibrio único tanto en 2D como en 3D. Este resultado se sostiene bajo supuestos mínimos sobre la viscosidad, específicamente $\nu \in C^0([-1, 1])$, sin requerir continuidad de Lipschitz.
  • Regularización Asintótica: Si la viscosidad es más regular ($\nu \in W^{1,\infty}(\mathbb{R})$), los autores muestran que cualquier solución débil se regulariza asintóticamente. Esto significa que, tras un tiempo finito, la solución débil se convierte en una solución fuerte, lo que conduce a la convergencia al equilibrio en normas de orden superior.

4. Significación y Reivindicaciones
El artículo reivindica varios avances significativos sobre la literatura existente (específicamente haciendo referencia a trabajos como [15], [18] y [19]):

• Primer Resultado sobre Separación Asintótica: Los autores afirman que esta es la primera vez que se demuestra que las soluciones débiles globales de este sistema acoplado (con viscosidades no coincidentes y potenciales singulares) se separan asintóticamente de las fases puras y convergen a un equilibrio único en 2D y 3D, sin necesidad de supuestos de regularización iniciales adicionales.
• Supuestos de Viscosidad Relajados: La convergencia al equilibrio se demuestra incluso cuando el coeficiente de viscosidad es meramente continuo ($\nu \in C^0$), lo que representa una relajación significativa respecto a resultados previos que a menudo requerían continuidad de Lipschitz.
• Resolución de Problemas Abiertos: La unicidad incondicional de las soluciones débiles en 2D, que quedó abierta en estudios anteriores, se establece de manera rigurosa.
• Robustez del Enfoque: La metodología combina la propiedad de separación estricta asintótica con la unicidad débil-fuerte condicional para demostrar que las soluciones débiles eventualmente se regularizan si la viscosidad es suficientemente suave, asegurando así la convergencia en normas de orden superior.

El trabajo se apoya en resultados seminales recientes de los primeros y terceros autores (referenciados como [18, 19]) y los extiende al caso de viscosidades no coincidentes y potenciales singulares, proporcionando una imagen completa de la dinámica a largo plazo del sistema bajo supuestos estructurales mínimos.