Global existence for a system without self-diffusion and different mobilities

1. Problématique et Contexte

L'article étudie l'existence globale de solutions faibles pour un système de diffusion croisée (cross-diffusion) unidimensionnel sur le tore $\mathbb{T} = \mathbb{R}/\mathbb{Z}$, décrivant l'évolution de deux populations interagissantes, notées $m$ et $n$. Le système est donné par :

$$\begin{cases} \partial_t m - \partial_x (m \partial_x (m + n)) = 0, \\ \partial_t n - \nu \partial_x (n \partial_x (m + n)) = 0, \end{cases}$$

avec $\nu > 0, \nu \neq 1$, et des données initiales non négatives et bornées.

Difficultés principales :

• Absence de diffusion propre : La matrice de diffusion a un rang de 1. Seul le gradient de la densité totale $\rho = m+n$ est régularisé par diffusion. Les densités individuelles $m$ et $n$ ne sont pas régularisées directement, ce qui empêche l'obtention de compacité forte pour $\partial_x m$ et $\partial_x n$.
• Mobilités différentes : Le paramètre $\nu \neq 1$ implique que les deux espèces se déplacent avec des mobilités différentes sous le même gradient de pression $\partial_x \rho$.
• Défaut de compacité : L'estimation d'entropie classique contrôle $\partial_x \rho$ mais pas les oscillations séparées des espèces. Dans le cas $\nu \neq 1$, la compacité forte de $\partial_x \rho$ n'est pas suffisante pour passer à la limite dans les flux non linéaires $m \partial_x \rho$ et $n \partial_x \rho$ sans comprendre la structure des oscillations entre les densités et le gradient de pression.

2. Méthodologie et Stratégie

L'auteur adopte une approche basée sur la compacité compensée et la théorie des mesures de Young, plutôt que de construire un schéma d'approximation spécifique.

A. Changement de variables

Le système est reformulé en utilisant deux nouvelles variables :

1. La densité totale : $\rho = m + n$.
2. La variable d'activité (ou rapport) : $a = \frac{m + \nu n}{m + n} = \frac{m + \nu n}{\rho}$.

Ce changement permet d'écrire le système comme :
$$\partial_t \rho - \partial_x (a \rho \partial_x \rho) = 0$$
où $a$ agit comme une mobilité pour la variable diffusive $\rho$. La difficulté se concentre alors sur le terme non linéaire $a \rho \partial_x \rho$. Il faut prouver que la limite faible de $a_k \rho_k \partial_x \rho_k$ est bien $a \rho \partial_x \rho$, ce qui revient à identifier la limite de $a_k \partial_x \rho_k$.

B. Séquences d'approximation admissibles

Au lieu de définir un schéma numérique précis, l'auteur introduit la notion de séquence d'approximation admissible (Définition 3.1). Une telle suite $(m_k, n_k)$ doit satisfaire :

• Des bornes $L^\infty$ et des estimations d'entropie.
• Une compacité forte de $\rho_k$ et une compacité faible de $\partial_x \rho_k$.
• La conservation des lois d'équilibre (balance laws) au sens des distributions, même pour les termes régularisés.

C. Outils d'analyse

1. Mesures de Young : Pour gérer les oscillations de la paire $(a_k, \xi_k)$ où $\xi_k = \partial_x \rho_k$, l'auteur utilise une mesure de Young paramétrée $\lambda_{t,x} \in \mathcal{P}(I \times \mathbb{R})$. L'objectif est de montrer que la mesure marginale sur $a$, notée $\mu_{t,x}$, est une masse de Dirac.
2. Lemme Div-Curl : L'outil central est une conséquence du lemme Div-Curl (version de [22]), qui permet de passer à la limite dans les produits de termes faiblement convergents sous certaines conditions de structure (divergence et rotationnels précompacts).
3. Famille de lois d'équilibre : L'auteur construit une famille infinie de lois de conservation (Proposition 2.5) de la forme :
   $$\partial_t (\rho^s \phi_s(a)) - \partial_x (M_s(a) \rho^s \partial_x \rho) = (1-s) M_s(a) \rho^{s-1} (\partial_x \rho)^2$$
   où $\phi_s$ et $M_s$ sont des fonctions spécifiques dépendant d'un paramètre $s$. Cette famille est dense dans l'espace des fonctions continues sur l'intervalle des valeurs de $a$.

3. Résultats Clés et Preuve

La preuve de l'existence globale (Théorème 1.3) repose sur trois étapes majeures :

Étape 1 : Première identité de compacité compensée

En appliquant le lemme Div-Curl à la loi d'équilibre de la densité totale et à la famille de lois d'équilibre indexée par $s$, l'auteur établit une relation structurelle entre les oscillations de $a$ et $\xi$.
Il démontre que pour presque tout $(t,x)$ où $\rho > 0$ :
$$\langle a \xi f(a) \rangle = A \langle f(a) \rangle_\mu$$
où $A = \langle a \xi \rangle$ et $\langle \cdot \rangle_\mu$ désigne l'intégration par rapport à la mesure marginale $\mu_{t,x}$. Cela implique que la corrélation entre $a$ et $\xi$ est linéaire par rapport à $a$.

Étape 2 : Effondrement de la mesure de Young (Collapse)

C'est le cœur technique de l'article. En utilisant une deuxième identité de compacité compensée (basée sur la loi d'équilibre de $a\rho$ et l'entropie), l'auteur obtient une identité de covariance pour la mesure $\mu_{t,x}$ :
$$\text{Cov}_\mu \left( a, \frac{M_s(a)}{a} \right) = \text{Cov}_\mu \left( \phi_s(a), -\frac{\nu}{a} \right)$$
En exploitant les propriétés de monotonie stricte des fonctions $\phi_s$ et $M_s/a$ (dérivées de la structure de l'équation), et en utilisant l'inégalité de Chebyshev pour les intégrales, l'auteur montre que cette égalité n'est possible que si la mesure $\mu_{t,x}$ est une masse de Dirac $\delta_{a(t,x)}$ sur l'ensemble où le gradient de pression est non nul ($\partial_x \rho \neq 0$).

Étape 3 : Identification des flux et conclusion

Une fois établi que $\mu_{t,x} = \delta_{a(t,x)}$ (ce qui signifie l'absence d'oscillations pour $a$ là où il y a de la diffusion), il s'ensuit que :
$$\langle a \xi \rangle = a \langle \xi \rangle = a \partial_x \rho$$
Cela permet d'identifier les limites faibles des flux non linéaires :
$$m_k \partial_x \rho_k \rightharpoonup m \partial_x \rho, \quad n_k \partial_x \rho_k \rightharpoonup n \partial_x \rho$$
En passant à la limite dans les équations approximées, on obtient que la limite $(m, n)$ est une solution faible globale du système (1.1).

4. Contributions et Signification

• Existence globale sans auto-diffusion : L'article résout le problème de l'existence globale pour un système de diffusion croisée avec un rang de diffusion 1 (incomplet) et des mobilités différentes, un cas qui résistait aux méthodes classiques de compacité forte.
• Rôle des mesures de Young : Il démontre que pour ce type de systèmes, la compacité forte des densités individuelles n'est pas nécessaire. La structure de l'équation force la compacité d'une variable scalaire appropriée (l'activité $a$) via des identités de compacité compensée.
• Généralité de la méthode : En utilisant la notion de "séquence admissible", le résultat s'applique à tout schéma d'approximation (visqueux, volumes finis, etc.) qui préserve les lois d'équilibre structurelles, sans dépendre d'un schéma spécifique.
• Ouverture : L'auteur note que l'extension à des dimensions supérieures ou à plus de deux espèces reste un problème ouvert, suggérant que la structure unidimensionnelle et le rang 1 sont cruciaux pour la preuve actuelle.

En résumé, ce travail fournit un cadre rigoureux pour comprendre la dynamique des systèmes de populations à diffusion incomplète, en reliant la structure algébrique des lois de conservation à la régularité des solutions via la théorie des mesures de Young.