Stochastic Compressible Euler Equations with Frictional Damping: Existence of $L^\infty$ Martingale Solutions and Asymptotic Porous Medium-Like Behavior

1. Problématique et Contexte

L'article étudie le comportement des équations d'Euler compressibles isentropiques en une dimension d'espace, soumises à un amortissement frictionnel linéaire et perturbées par un bruit blanc multiplicatif en temps.

Le système est défini sur un intervalle borné $[0, 1]$ avec des conditions initiales dans $L^\infty$ et des conditions aux limites de Dirichlet pour la quantité de mouvement ($m=0$ aux bords). Les équations gouvernent l'évolution de la densité $\rho$ et de la quantité de mouvement $m = \rho u$ :

$$\begin{cases} d\rho + \partial_x m \, dt = 0 \\ dm + \partial_x \left(\frac{m^2}{\rho} + p(\rho)\right) dt = -\alpha m \, dt + \sigma(x, \rho, m) \, dW(t) \end{cases}$$

où :

• $p(\rho) = \kappa \rho^\gamma$ est la loi de pression (gaz parfait polytropique, $\gamma > 1$).
• $\alpha > 0$ est le coefficient d'amortissement.
• $W(t)$ est un mouvement brownien scalaire.
• $\sigma$ est un coefficient de bruit multiplicatif, lipschitzien et à support compact.

L'objectif principal est d'établir l'existence globale de solutions et d'analyser leur comportement asymptotique à long terme ($t \to \infty$) dans un cadre stochastique, une question qui reste largement ouverte comparée au cas déterministe.

2. Méthodologie

Les auteurs développent une approche rigoureuse combinant analyse stochastique, théorie des équations aux dérivées partielles (EDP) hyperboliques et méthodes d'approximation.

A. Définition de la Solution

Les auteurs travaillent avec des solutions martingales faibles $L^\infty$ satisfaisant une inégalité d'entropie. Contrairement aux solutions fortes, la base stochastique et le mouvement brownien font partie des inconnues. La définition inclut une inégalité d'entropie pour toutes les paires entropie-flux convexes, ce qui est crucial pour sélectionner les solutions physiques et gérer les chocs.

B. Schéma d'Approximation à Deux Niveaux

Pour prouver l'existence, les auteurs utilisent une double approximation :

1. Régularisation parabolique ($\epsilon$-niveau) : Ajout d'un terme de viscosité artificielle $\epsilon \partial_{xx} U$ pour lisser le système hyperbolique.
2. Discrétisation temporelle ($\tau$-niveau) : Utilisation d'un schéma de fractionnement (splitting) de type Lie-Trotter.
   • Le système est divisé en un sous-problème déterministe (avec viscosité et amortissement) et un sous-problème stochastique (où la densité reste constante et seule la quantité de mouvement évolue via l'intégrale stochastique).
   • Une interpolation continue est construite entre ces deux sous-systèmes sur chaque intervalle de temps.

C. Estimations et Compacité

• Bornes $L^\infty$ : L'hypothèse de support compact du bruit et la régularisation permettent d'établir des bornes uniformes en $L^\infty$ pour la densité et la quantité de mouvement, évitant ainsi les singularités de vide.
• Estimations d'entropie : Des estimations précises sur les moments de l'entropie (en particulier les moments d'ordre supérieur) sont dérivées pour contrôler les termes stochastiques.
• Théorème de Skorokhod et Compacité : Pour passer à la limite ($\tau \to 0$ puis $\epsilon \to 0$), les auteurs utilisent le théorème de représentation de Skorokhod pour obtenir une convergence presque sûre sur un nouvel espace de probabilité, combiné à la théorie des mesures de Young et la compacité compensée stochastique pour traiter les termes non linéaires.

D. Analyse Asymptotique

Pour l'étude du comportement à long terme, les auteurs :

1. Prouvent d'abord la décroissance exponentielle en espérance ($L^2_\omega L^2_x$) pour le système régularisé.
2. Utilisent des résultats récents de Yuskovych sur la convergence presque sûre des intégrales stochastiques pour transformer ces estimations en espérance en convergence presque sûre pathwise.
3. Montrent que la solution stochastique converge vers un état stationnaire constant, et que cette dynamique est bien approximée par l'équation de milieu poreux déterministe.

3. Résultats Principaux

Résultat I : Existence Globale (Théorème 1.1)

Les auteurs établissent l'existence globale en temps d'une solution martingale faible $L^\infty$ pour le système stochastique d'Euler avec amortissement.

• Les solutions satisfont l'inégalité d'entropie appropriée.
• La densité et la quantité de mouvement restent bornées presque sûrement.
• Ce résultat est obtenu pour des données initiales dans $L^\infty$ sur un domaine borné avec conditions de Dirichlet pour la quantité de mouvement.

Résultat II : Comportement Asymptotique (Théorèmes 1.2 et 1.3)

Sous des hypothèses appropriées sur le bruit (notamment que la constante de Lipschitz du bruit est suffisamment petite par rapport au coefficient d'amortissement $\alpha$) :

1. Convergence vers un état stationnaire : Toute solution $(\rho, m)$ converge presque sûrement et exponentiellement vite vers un état d'équilibre constant $(\rho^*, 0)$, où $\rho^*$ est la masse totale initiale.
   $$\int_0^1 \left( (\rho(t) - \rho^*)^2 + m(t)^2 \right) dx \leq C_0 e^{-rt} \quad \text{p.s.}$$
2. Approximation par l'Équation de Milieu Poreux : L'asymptotique de la densité stochastique est bien approximée par la solution classique de l'équation de milieu poreux déterministe :
   $$\partial_t \rho = \partial_{xx} p(\rho)$$
   La quantité de mouvement stochastique converge vers la loi de Darcy : $m \approx -\frac{1}{\alpha} \partial_x p(\rho)$.

4. Contributions Clés et Innovations

1. Premier résultat de convergence pathwise : À la connaissance des auteurs, c'est le premier résultat rigoureux établissant la convergence presque sûre (et non seulement statistique ou en loi) des solutions des équations d'Euler compressibles stochastiques amorties vers un état d'équilibre. La plupart des travaux antérieurs se limitaient à l'existence de mesures invariantes.
2. Gestion du bruit multiplicatif : L'article développe de nouvelles techniques pour quantifier et prouver la décroissance des effets stochastiques à long terme, en dérivant des estimations de moments d'ordre supérieur pour l'entropie.
3. Lien avec la loi de Darcy : L'article fournit une justification rigoureuse du fait que, même en présence de bruit, le comportement à long terme du système hyperbolique amorti est dominé par la diffusion parabolique (équation de milieu poreux) et la loi de Darcy, généralisant des résultats déterministes connus (Pan et Zhao) au cadre stochastique.
4. Traitement des conditions aux limites : La preuve gère rigoureusement les conditions de Dirichlet pour la quantité de mouvement sur un domaine borné, ce qui est techniquement plus délicat que le cas périodique ou sur $\mathbb{R}$.

5. Signification et Impact

Ce travail comble un vide important dans la théorie des EDP stochastiques hyperboliques. Il démontre que l'amortissement frictionnel, combiné à une structure de bruit contrôlée, permet de stabiliser le système stochastique vers un état d'équilibre déterministe, malgré la nature aléatoire des perturbations temporelles.

Les résultats ont des implications pour la modélisation de phénomènes physiques où les fluctuations aléatoires sont présentes (par exemple, l'écoulement sanguin dans les artères élastiques, mentionné comme motivation physique), suggérant que les effets stochastiques peuvent s'atténuer à long terme au profit d'une dynamique macroscopique déterministe régie par des lois de diffusion. L'approche méthodologique, combinant schémas de fractionnement, compacité compensée stochastique et analyse fine des moments, ouvre la voie à l'étude d'autres systèmes fluides stochastiques complexes.