Interfaces and non-uniqueness in a cross-diffusion system with independent drifts

Resumen Técnico: Interfaces y No Unicidad en un Sistema de Cross-Difusión con Drifts Independientes

Planteamiento del Problema
El artículo investiga un sistema de cross-difusión unidimensional que describe la evolución de dos densidades de población, $\rho(t, x)$ y $\mu(t, x)$, sujetas a una ley de presión común dependiente de la densidad total $S = \rho + \mu$ y potenciales de drift externos distintos, $V$ y $W$. El sistema está gobernado por:
$$\begin{aligned} \partial_t\rho - \partial_x(\rho \partial_x f'(\rho + \mu)) - \partial_x(\rho \partial_x V) &= 0, \\ \partial_t\mu - \partial_x(\mu \partial_x f'(\rho + \mu)) - \partial_x(\mu \partial_x W) &= 0. \end{aligned}$$
La cuestión central abordada es la buena formulación (well-posedness) del problema de Cauchy cuando los datos iniciales están segregados (es decir, $\rho_0$ y $\mu_0$ tienen soportes disjuntos que se encuentran en una única interfaz) y los drifts son distintos. Específicamente, los autores examinan el régimen donde los drifts empujan las dos fases una contra la otra en la interfaz ($\partial_x W(0) - \partial_x V(0) > 0$). Si bien la literatura previa estableció que existen soluciones segregadas que permanecen segregadas bajo ciertas condiciones, este trabajo cuestiona si tales soluciones son únicas en comparación con las soluciones obtenidas mediante el límite de viscosidad evanescente.

Metodología
Los autores emplean un enfoque de entropía relativa para distinguir entre diferentes nociones de solución. El núcleo de su metodología consiste en:

1. Funcional de Entropía Relativa: Definen un funcional $\Phi[\rho, \mu] = \int_{\mathbb{R}} h(\rho, \mu) dx$, donde $h(u, v) = (u+v)\log(u+v) - u\log u - v\log v$. Este funcional es no negativo y se anula si y solo si las densidades están segregadas ($\rho\mu = 0$).
2. Aproximación Viscosa: Analizan el sistema con términos de viscosidad añadidos ($\varepsilon \partial_{xx}$) y estudian el límite cuando $\varepsilon \to 0$. Derivan una identidad de disipación de entropía al nivel viscoso y pasan al límite para obtener una cota inferior para la entropía relativa de la solución de viscosidad evanescente.
3. Análisis Distribucional en la Interfaz: Un paso técnico crítico implica caracterizar la derivada distribucional de la cantidad $q = \partial_x \rho - \frac{\rho}{S}\partial_x S$ en la interfaz. Para una solución segregada con una interfaz nítida, este término se comporta como una masa de Dirac.
4. Contradicción mediante Mezcla (Mixing): Los autores demuestran que si los drifts empujan las fases entre sí, la cota inferior de la entropía relativa para una solución de viscosidad evanescente es estrictamente positiva, lo que implica mezcla. Por el contrario, una solución segregada mantiene $\Phi \equiv 0$. Esta contradicción establece la no unicidad.
5. Manejo de Datos Generales: Para datos generales, los autores deben asegurar que la interfaz no desaparezca (creando un vacío) o se aleje de la región donde los drifts inducen la mezcla. Utilizan:
   • Resultados de regularidad para soluciones segregadas de trabajos previos ([56]).
   • Principios de comparación e desigualdades de Harnack para ecuaciones de difusión-drift desacopladas para mostrar que, si se formara un vacío en la interfaz, las especies se mezclarían instantáneamente, contradiciendo el supuesto de segregación.
   • Construcción de subsoluciones de presión (inspiradas en ondas viajeras) para el régimen de difusión lenta ($\alpha > 1$) para probar la persistencia de la interfaz.

Contribuciones Clave y Resultados

1. No Unicidad Explícita para Estados Estacionarios:
   Los autores construyen una solución segregada estacionaria explícita $(\bar{\rho}, \bar{\mu})$ donde el gradiente de presión equilibra los drifts en cada lado de la interfaz. Demuestran que esta solución es una solución débil válida pero no puede ser una solución de viscosidad evanescente. Bajo la condición de que los drifts empujan las fases juntas, el límite de viscosidad evanescente produce necesariamente un solapamiento (mezcla), mientras que la solución estacionaria explícita permanece segregada.

2. No Unicidad para Datos Generales:
   Extendiendo el resultado más allá de los estados estacionarios, el artículo demuestra que para una amplia clase de leyes de presión (incluyendo leyes de potencia $f'(s) \sim s^{\alpha-1}$ con $\alpha > 1/3$) y datos iniciales segregados generales, el problema de Cauchy admite al menos dos soluciones débicas distintas:

   • Una solución segregada (construida mediante esquemas de movimiento mínimo como en [56]).
   • Una solución de viscosidad evanescente (construida mediante argumentos de compacidad como en [58]).
     Estas soluciones son distintas porque la solución de viscosidad evanescente desarrolla una zona de mezcla (entropía relativa positiva), mientras que la solución segregada no lo hace.

3. Desigualdad de Disipación de Entropía:
   Un resultado técnico central es la derivación de la desigualdad:
   $$\Phi[\rho(t), \mu(t)] \geq \int_0^t \langle q(s), \partial_x V - \partial_x W \rangle ds$$
   para soluciones de viscosidad evanescente. Esta desigualdad cuantifica la mezcla inducida por la diferencia de drift y sirve como la herramienta principal para distinguir las clases de soluciones.

Significado y Reivindicaciones
El artículo afirma proporcionar la primera demostración de no unicidad para esta clase específica de sistemas de cross-difusión con drifts independientes. Los autores destacan que:

• Soluciones Físicas vs. Matemáticas: El fenómeno ilustra que la solución "física" seleccionada por la viscosidad evanescente (que permite la mezcla) difiere de la solución matemáticamente válida segregada. Esto desafía la buena formulación del sistema dentro de la clase de soluciones débicas.
• Analogía con el Problema de Muskat: El comportamiento guarda una notable semejanza con el problema de Muskat, donde una interfaz inestable entre fluidos de diferentes densidades cede espontáneamente ante una zona de mezcla.
• Limitaciones de la Teoría Existente: El trabajo subraya que las teorías de existencia estándar para sistemas de cross-difusión (que a menudo dependen de la compacidad de aproximaciones suaves) pueden seleccionar soluciones que no preservan la segregación, incluso cuando existen soluciones segregadas.
• Alcance: Los autores declaran explícitamente que estos resultados son específicos para sistemas de cross-difusión donde las especies no exhiben auto-difusión. Señalan que los sistemas con términos de auto-difusión poseen una mayor regularidad que evita interfaces nítidas, y por lo tanto, no se espera que este mecanismo de no unicidad se aplique a modelos de advección-difusión de una sola especie o sistemas de cross-difusión con auto-difusión.

El artículo concluye que, para sistemas de cross-difusión con drifts independientes que empujan las fases juntas, el problema de Cauchy es mal planteado (ill-posed) en la clase de soluciones débicas sin un criterio de selección más restrictivo (como el límite de viscosidad evanescente) para distinguir entre los estados segregados y mezclados.