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

Résumé Technique : Interfaces et Non-Unicité dans un Système de Cross-Diffusion avec Drifts Indépendants

Énoncé du Problème
L'article étudie un système de cross-diffusion unidimensionnel décrivant l'évolution de deux densités de population, $\rho(t, x)$ et $\mu(t, x)$, soumises à une loi de pression commune dépendant de la densité totale $S = \rho + \mu$ et à des potentiels de drift externes distincts $V$ et $W$. Le système est régi par :
$$\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 question centrale abordée est celle de la bien-définition du problème de Cauchy lorsque les données initiales sont ségréguées (c'est-à-dire que $\rho_0$ et $\mu_0$ ont des supports disjoints se rencontrant en une seule interface) et que les drifts sont distincts. Plus précisément, les auteurs examinent le régime où les drifts poussent les deux phases l'une vers l'autre à l'interface ($\partial_x W(0) - \partial_x V(0) > 0$). Alors que la littérature antérieure avait établi que des solutions ségréguées existent et restent ségréguées sous certaines conditions, ce travail remet en question l'unicité de telles solutions par rapport aux solutions obtenues via la limite de viscosité vanishing (viscosité nulle).

Méthodologie
Les auteurs emploient une approche par entropie relative pour distinguer différentes notions de solutions. Le cœur de leur méthodologie repose sur :

1. Fonctionnelle d'Entropie Relative : Ils définissent une fonctionnelle $\Phi[\rho, \mu] = \int_{\mathbb{R}} h(\rho, \mu) dx$, où $h(u, v) = (u+v)\log(u+v) - u\log u - v\log v$. Cette fonctionnelle est non négative et s'annule si et seulement si les densités sont ségréguées ($\rho\mu = 0$).
2. Approximation Visqueuse : Ils analysent le système avec des termes de viscosité ajoutés ($\varepsilon \partial_{xx}$) et étudient la limite quand $\varepsilon \to 0$. Ils dérivent une identité de dissipation d'entropie au niveau visqueux et passent à la limite pour obtenir une borne inférieure pour l'entropie relative de la solution de la viscosité nulle.
3. Analyse Distributionnelle à l'Interface : Une étape technique critique consiste à caractériser la dérivée distributionnelle de la quantité $q = \partial_x \rho - \frac{\rho}{S}\partial_x S$ à l'interface. Pour une solution ségréguée avec une interface nette, ce terme se comporte comme une masse de Dirac.
4. Contradiction par Mélange : Les auteurs prouvent que si les drifts poussent les phases ensemble, la borne inférieure de l'entropie relative pour une solution de viscosité nulle est strictement positive, impliquant un mélange. Inversement, une solution ségréguée maintient $\Phi \equiv 0$. Cette contradiction établit la non-unicité.
5. Gestion des Données Générales : Pour des données générales, les auteurs doivent s'assurer que l'interface ne disparaît pas (créant un vide) ou ne s'éloigne pas de la région où les drifts induisent le mélange. Ils utilisent :
   • Des résultats de régularité pour les solutions ségréguées issus de travaux antérieurs ([56]).
   • Des principes de comparaison et des inégalités de Harnack pour les équations de drift-diffusion découplées afin de montrer que si un vide se formait à l'interface, les espèces se mélangeraient instantanément, contredisant l'hypothèse de ségrégation.
   • La construction de sous-solutions de pression (inspirées des ondes progressives) pour le régime de diffusion lente ($\alpha > 1$) afin de prouver la persistance de l'interface.

Contributions Clés et Résultats

1. Non-Unicité Explicite pour les États Stationnaires :
   Les auteurs construisent une solution stationnaire ségréguée explicite $(\bar{\rho}, \bar{\mu})$ où le gradient de pression équilibre les drifts de chaque côté de l'interface. Ils prouvent que cette solution est une solution faible valide mais qu'elle ne peut pas être une solution de viscosité nulle. Sous la condition que les drifts poussent les phases ensemble, la limite de la viscosité nulle produit nécessairement un chevauchement (mélange), tandis que la solution stationnaire explicite reste ségréguée.

2. Non-Unicité pour les Données Générales :
   Étendant le résultat au-delà des états stationnaires, l'article prouve que pour une large classe de lois de pression (incluant les lois de puissance $f'(s) \sim s^{\alpha-1}$ avec $\alpha > 1/3$) et pour des données initiales ségréguées générales, le problème de Cauchy admet au moins deux solutions faibles distinctes :

   • Une solution ségréguée (construite via des schémas de mouvement minimal comme dans [56]).
   • Une solution de viscosité nulle (construite via des arguments de compacité comme dans [58]).
     Ces solutions sont distinctes car la solution de viscosité nulle développe une zone de mélange (entropie relative positive), alors que la solution ségréguée ne le fait pas.

3. Inégalité de Dissipation d'Entropie :
   Un résultat technique central est la dérivation de l'inégalité :
   $$\Phi[\rho(t), \mu(t)] \geq \int_0^t \langle q(s), \partial_x V - \partial_x W \rangle ds$$
   pour les solutions de viscosité nulle. Cette inégalité quantifie le mélange induit par la différence de drift et sert d'outil principal pour distinguer les classes de solutions.

Signification et Revendications
L'article affirme fournir la première démonstration de non-unicité pour cette classe spécifique de systèmes de cross-diffusion avec des drifts indépendants. Les auteurs soulignent que :

• Solutions Physiques vs Mathématiques : Ce phénomène illustre que la solution "physique" sélectionnée par la viscosité nulle (qui permet le mélange) diffère de la solution mathématiquement valide ségréguée. Cela remet en question la bien-définition du système dans la classe des solutions faibles.
• Analogie avec le Problème de Muskat : Le comportement présente une forte ressemblance avec le problème de Muskat, où une interface instable entre des fluides de densités différentes cède spontanément à une zone de mélange.
• Limites de la Théorie Existante : Ce travail souligne que les théories d'existence standard pour les systèmes de cross-diffusion (qui reposent souvent sur la compacité d'approximations lisses) peuvent sélectionner des solutions qui ne préservent pas la ségrégation, même lorsque des solutions ségréguées existent.
• Portée : Les auteurs précisent explicitement que ces résultats sont spécifiques aux systèmes de cross-diffusion où les espèces ne présentent pas de auto-diffusion. Ils notent que les systèmes possédant des termes d'auto-diffusion possèdent une régularité plus élevée qui empêche les interfaces nettes, et ainsi, ce mécanisme de non-unicité n'est pas censé s'appliquer aux modèles d'advection-diffusion à une seule espèce ou aux systèmes de cross-diffusion avec auto-diffusion.

L'article conclut que pour les systèmes de cross-diffusion avec des drifts indépendants poussant les phases ensemble, le problème de Cauchy est mal posé dans la classe des solutions faibles sans un critère de sélection plus restrictif (tel que la limite de la viscosité nulle) pour distinguer entre les états ségrégués et mélangés.