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

1. Definizione del Problema

Il lavoro studia le equazioni di Eulero comprimibili isentropiche monodimensionali in presenza di smorzamento frizionale lineare e forzante stocastica moltiplicativa "bianca nel tempo". Il sistema è definito su un intervallo limitato $[0, 1]$ con dati iniziali in $L^\infty$ e condizioni al contorno di Dirichlet imposte sulla quantità di moto ($m=0$ ai bordi).

Il sistema stocastico è governato dalle seguenti equazioni (in forma conservativa per densità $\rho$ e quantità di moto $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}$$
dove:

• $\alpha > 0$ è il coefficiente di smorzamento frizionale.
• $p(\rho) = \kappa \rho^\gamma$ è la legge dei gas perfetti ($\gamma > 1$).
• $\sigma(x, \rho, m)$ è un coefficiente di rumore moltiplicativo, Lipschitziano rispetto alle variabili di stato e a supporto compatto.
• $W(t)$ è un moto browniano reale.

L'obiettivo principale è stabilire l'esistenza globale di soluzioni e analizzare il comportamento asintotico a lungo termine ($t \to \infty$) di queste soluzioni.

2. Metodologia e Approccio Analitico

Gli autori sviluppano un approccio rigoroso basato su due livelli di approssimazione e tecniche avanzate di analisi stocastica e iperbolica:

A. Esistenza delle Soluzioni (Teorema 1.1)

Per dimostrare l'esistenza di soluzioni martingala $L^\infty$, viene utilizzata una schema di approssimazione a due livelli:

1. Regolarizzazione Parabolica ($\epsilon$): Il sistema iperbolico viene regolarizzato aggiungendo un termine di viscosità artificiale $\epsilon \partial_{xx} U$. Questo trasforma il problema in un sistema stocastico parabolico.
2. Schemi di Splitting Temporale ($\tau$): Per il sistema regolarizzato, viene impiegato uno schema di splitting di Lie-Trotter. L'intervallo di tempo viene discretizzato in sottointervalli di larghezza $\tau$. Su ciascun sottointervallo, il problema viene risolto alternando:
   • Un sottoproblema deterministico (con viscosità e smorzamento).
   • Un sottoproblema stocastico (dove la densità è costante e la quantità di moto evolve secondo un integrale stocastico).
   • Una interpolazione lineare tra le soluzioni dei due sottoproblemi definisce una soluzione continua approssimata.

Tecnica di Passaggio al Limite:

• Limite $\tau \to 0$: Vengono ottenute stime uniformi in $\tau$ (in particolare limiti $L^\infty$ e regolarità temporale Hölderiana). Utilizzando il Teorema di Rappresentazione di Skorokhod e il teorema di Gyöngy-Krylov, si dimostra l'esistenza di una soluzione pathwise (quasi ovunque) per il problema regolarizzato ($\epsilon > 0$).
• Limite $\epsilon \to 0$: Si utilizza la teoria delle misure di Young e la compattezza compensata stocastica (estendendo i lavori di Feng-Nualart e Berthelin-Vovelle) per passare al limite nella viscosità artificiale. Un punto cruciale è la dimostrazione che la densità rimane strettamente positiva e che le soluzioni approssimate convergono a una soluzione martingala $L^\infty$ che soddisfa una disuguaglianza entropica appropriata.

B. Comportamento Asintotico (Teoremi 1.2 e 1.3)

Per analizzare il comportamento a lungo termine, gli autori adottano una strategia sofisticata per gestire il rumore stocastico:

1. Stime di Momento: Vengono derivati stime di decadimento esponenziale per i momenti di ordine superiore dell'entropia (in particolare il secondo momento) nel sistema regolarizzato ($\epsilon$). Questo è essenziale perché le soluzioni limite soddisfano solo una disuguaglianza entropica, mentre le soluzioni regolarizzate soddisfano un'uguaglianza, permettendo l'applicazione della formula di Itô.
2. Decadimento Pathwise: Utilizzando un risultato recente di Yuskovych sulla convergenza quasi certa di integrali stocastici, gli autori dimostrano che i termini stocastici decadono sufficientemente velocemente. Questo permette di passare dalle stime in media (sull'aspettativa) a stime pathwise (quasi certe per ogni realizzazione del rumore).
3. Confronto con l'Equazione di Porosità Media: Si dimostra che lo stato stazionario verso cui converge il sistema stocastico è ben approssimato dalla soluzione classica dell'equazione deterministica di porosità media (PME) associata.

3. Risultati Principali

Risultato I: Esistenza Globale (Teorema 1.1)

È stato dimostrato l'esistenza di una soluzione martingala $L^\infty$ debole entropica globale nel tempo per il problema (1.1).

• Le soluzioni sono limitate in $L^\infty((0, \infty) \times (0, 1))$.
• Soddisfano una disuguaglianza entropica appropriata che include i termini di correzione di Itô.
• Questo risultato estende la letteratura precedente (es. Berthelin-Vovelle) a domini limitati con condizioni al contorno di Dirichlet e dati iniziali $L^\infty$.

Risultato II: Decadimento Esponenziale (Teorema 1.2)

Sotto ipotesi adeguate sul coefficiente di rumore (in particolare che la costante di Lipschitz $A_0$ sia sufficientemente piccola rispetto allo smorzamento $\alpha$), le soluzioni convergono quasi certamente ed esponenzialmente veloce verso uno stato stazionario costante:
$$\int_0^1 \left[ (\rho(t) - \rho^*)^2 + m(t)^2 \right] dx \leq C_0 e^{-rt}$$
dove $\rho^* = \int_0^1 \rho_0(x) dx$ è la massa totale iniziale.

• La densità converge a una costante spaziale $\rho^*$.
• La quantità di moto converge a zero.
• Il tasso di decadimento $r$ dipende dai parametri fisici e dalla forza del rumore.

Risultato III: Approssimazione di Porosità Media (Teorema 1.3)

Il comportamento asintotico del sistema stocastico è governato dall'equazione di porosità media deterministica:
$$\partial_t \rho = \partial_{xx} p(\rho), \quad m = -\frac{1}{\alpha} \partial_x p(\rho)$$
La soluzione stocastica $(\rho_{IE}, m_{IE})$ converge esponenzialmente alla soluzione classica $(\rho_{PME}, m_{PME})$ dell'equazione di porosità media con gli stessi dati iniziali. Questo fornisce una giustificazione rigorosa della legge di Darcy nel limite a lungo termine anche in presenza di rumore stocastico.

4. Contributi Chiave e Innovazioni

1. Primo Risultato di Convergenza Pathwise: Questo lavoro fornisce il primo risultato rigoroso di convergenza quasi certa (pathwise) per il comportamento a lungo termine delle equazioni di Eulero comprimibili stocastiche con smorzamento lineare. La maggior parte della letteratura precedente si limita all'esistenza di misure invarianti o soluzioni stazionarie senza dimostrare la convergenza delle traiettorie.
2. Gestione del Rumore Stocastico: Gli autori sviluppano nuove tecniche per quantificare e dimostrare il decadimento degli effetti stocastici a lungo termine, combinando stime di momenti superiori dell'entropia con risultati recenti sulla convergenza di integrali stocastici (Yuskovych).
3. Estensione a Dati $L^\infty$ e Condizioni al Contorno: A differenza di lavori precedenti su tori o con dati $L^2$, questo studio gestisce dati iniziali limitati ($L^\infty$) e condizioni al contorno di Dirichlet per la quantità di moto, che introducono difficoltà tecniche significative nella definizione delle tracce e nell'analisi entropica.
4. Connessione Fisica: Il lavoro collega rigorosamente la dinamica stocastica damped Euler all'equazione di porosità media, confermando che l'effetto dello smorzamento e del rumore (se sufficientemente piccolo) porta il sistema verso un equilibrio termodinamico descritto dalla legge di Darcy.

5. Significato

Questo studio è fondamentale per la comprensione della dinamica dei fluidi comprimibili in ambienti stocastici. Dimostra che, nonostante la natura caotica del rumore bianco, l'effetto dissipativo dello smorzamento frizionale domina a lungo termine, portando il sistema a un equilibrio deterministico prevedibile. I risultati hanno implicazioni per la modellazione di flussi in mezzi porosi, dinamica atmosferica e flussi emodinamici (dove il rumore può modellare fluttuazioni cardiache), fornendo una base matematica solida per l'uso di modelli di porosità media anche in contesti stocastici.