Global existence of weak solutions for the Maxwell--Stefan system in the whole space

Résumé Technique : Existence Globale de Solutions Faibles pour le Système de Maxwell–Stefan dans l'Espace Entier

Énoncé du Problème
Cet article traite de l'analyse mathématique du système de Maxwell–Stefan isotherme, un modèle de cross-diffusion fortement couplé décrivant le transport de masse multicomposant dans les mélanges de fluides. Le système est défini sur l'espace entier $\mathbb{R}^3$ plutôt que sur un domaine borné. Les équations de conservation sont composées de lois de conservation de la masse $\partial_t c_i + \text{div } J_i = 0$ couplées à un système algébrique linéaire reliant les flux des espèces $J_i$ aux gradients de potentiel chimique $\nabla \mu_i$, sous les contraintes $\sum c_i = 1$ et $\sum J_i = 0$.

Le principal défi mathématique dans le cadre de l'espace entier est que les concentrations $c_i$ ne possèdent généralement pas de masse finie (c'est-à-dire $\int_{\mathbb{R}^3} c_i \, dx = \infty$) si elles tendent vers un état d'équilibre constant strictement positif à l'infini spatial. Par conséquent, le fonctionnel d'entropie de Boltzmann/mélange standard, qui sert de fonction de Lyapunov dans les domaines bornés, devient infini et est inapplicable. De plus, l'absence d'injection compacte de $H^1(\mathbb{R}^3)$ dans $L^2(\mathbb{R}^3)$ empêche l'application directe des arguments de compacité globale utilisés dans les théories sur domaines bornés.

Méthodologie
La preuve de l'existence globale repose sur une stratégie d'approximation basée sur l'épuisement de $\mathbb{R}^3$ par une suite de boules $B_R$, combinée à un cadre d'entropie relative.

1. Formulation de l'Entropie Relative : Au lieu de l'entropie standard, l'auteur utilise un fonctionnel d'entropie relative $H[c|\bar{c}]$ par rapport à un état d'équilibre constant, strictement positif $\bar{c}$. La densité d'entropie relative diffère de l'entropie standard uniquement par un terme affine en concentrations. Crucialement, cette modification préserve les relations de flux de Maxwell–Stefan car les gradients des potentiels chimiques restent inchangés ($\nabla \log(c_i/\bar{c}_i) = \nabla \log c_i$).
2. Approximation sur Domaines Bornés : Le problème est d'abord résolu sur des boules $B_R$ avec des conditions aux limites de flux nul homogène ($J_i \cdot \nu = 0$). L'existence de solutions faibles sur ces domaines bornés est établie en utilisant la méthode de l'entropie développée par Jüngel et Stelzer [8].
3. Estimations Uniformes : Une étape clé consiste à dériver des estimations indépendantes du rayon $R$.
   • La condition de flux nul assure la conservation de la masse sur $B_R$, permettant de réécrire l'inégalité d'entropie standard comme une inégalité d'entropie relative par rapport à l'état constant $\bar{c}$.
   • Le terme de dissipation d'entropie contrôle les gradients des racines carrées des concentrations ($\nabla \sqrt{c_i}$) et les flux ($J_i$).
   • Ces estimations reposent purement sur des propriétés entropiques et algébriques, évitant explicitement l'usage des inégalités de Poincaré, qui échoueraient lorsque $R \to \infty$ en raison de la divergence de la constante de Poincaré.
4. Passage à la Limite : Pour passer à la limite $R \to \infty$, l'auteur emploie des arguments de compacité locale.
   • Des extensions des solutions approximatives $c^R$ et $J^R$ sont définies sur l'espace entier (en posant $c^R = \bar{c}$ et $J^R = 0$ à l'extérieur de $B_R$).
   • Les bornes uniformes dans $L^\infty(0, T; L^2(\mathbb{R}^3))$ pour $c^R - \bar{c}$ et dans $L^2((0, T) \times \mathbb{R}^3)$ pour $\nabla \sqrt{c^R}$ et $J^R$ permettent une convergence faible.
   • Une convergence forte locale dans $L^2_{loc}$ est obtenue via le lemme d'Aubin–Lions sur des sous-domaines fixes $B_K$, en utilisant un argument de diagonale. Cette convergence forte est suffisante pour passer à la limite dans les relations de Maxwell–Stefan non linéaires.
   • L'inégalité d'entropie globale est récupérée en utilisant le lemme de Fatou et la semi-continuité inférieure des termes d'entropie relative et de dissipation.

Contributions Clés et Résultats
L'article établit le théorème principal suivant :

• Existence : Sous l'hypothèse que les données initiales $c_0$ satisfont $0 \le c_{0,i} \le 1$, $\sum c_{0,i} = 1$, et possèdent une entropie relative finie $H[c_0|\bar{c}] < \infty$, il existe une solution faible globale dans le temps $(c, J)$ sur $(0, T) \times \mathbb{R}^3$.
• Régularité : La solution satisfait $c_i - \bar{c}_i \in L^\infty(0, T; L^2(\mathbb{R}^3))$, $\nabla \sqrt{c_i} \in L^2((0, T) \times \mathbb{R}^3)$, et $J_i \in L^2((0, T) \times \mathbb{R}^3)$.
• Inégalité d'Entropie : La solution obéit à une inégalité d'entropie relative globale :
  $$H[c(t)|\bar{c}] + C \int_0^t \int_{\mathbb{R}^3} \sum_{i=1}^{n+1} |\nabla \sqrt{c_i}|^2 \, dx \, ds \le H[c_0|\bar{c}]$$
  pour presque tout $t > 0$, où $C$ dépend uniquement des diffusivités de Maxwell–Stefan.

Signification et Portée
L'article affirme fournir la première preuve de l'existence globale de solutions faibles pour le système de Maxwell–Stefan isotherme sur l'espace entier $\mathbb{R}^3$. La signification réside dans le fait de surmonter la double difficulté de la masse infinie et de l'absence de compacité globale.

L'auteur note explicitement les limites et la portée du résultat :

• La condition de champ lointain n'est pas imposée point par point ; l'utilisation de la condition d'entropie relative finie sert de remplacement naturel à la masse finie, garantissant que la solution reste proche de l'état d'équilibre au sens de l'entropie relative.
• Contrairement aux résultats sur domaines bornés, la preuve ne repose pas sur des inégalités de type Poincaré et ne produit pas de convergence exponentielle vers l'équilibre.
• Par conséquent, le résultat est strictement un théorème d'existence pour des solutions faibles globales à entropie finie, plutôt qu'un résultat de relaxation à long terme ou de stabilité asymptotique.