On uniqueness of solutions to stochastic Navier--Stokes equations

Sintesi Tecnica: Sulla Unicità delle Soluzioni alle Equazioni di Navier-Stokes Stocastiche

Enunciato del Problema
Il saggio affronta il problema dell'unicità e della dipendenza continua dalle condizioni iniziali per le soluzioni delle equazioni di Navier-Stokes stocastiche (SNSE). Mentre i risultati classici di Leray e Hopf stabiliscono l'esistenza di soluzioni deboli per le equazioni deterministiche, e l'unicità è nota per il caso bidimensionale, il problema deterministico tridimensionale rimane aperto riguardo all'unicità delle soluzioni deboli. Recenti lavori hanno dimostrato la non unicità per specifici casi deterministici 3D, motivando la ricerca di teoremi di "unicità condizionata".

Gli autori estendono questa investigazione al contesto stocastico, considerando specificamente equazioni guidate simultaneamente da processi di Wiener moltiplicativi e misure casuali di Poisson compensate (rumore di salto). Lo studio si concentra sull'instaurare l'unicità all'interno di una classe ristretta di soluzioni (soluzioni ammissibili) su domini Lipschitziani arbitrari, andando oltre lo spazio intero $\mathbb{R}^d$.

Metodologia
Gli autori impiegano un approccio funzionale-analitico basato sulla teoria delle equazioni di evoluzione stocastica in tripli di Gelfand ($V \hookrightarrow H \hookrightarrow V^*$). La metodologia centrale prevede:

1. Riformulazione del Rumore: Gli autori utilizzano una tecnica (facendo riferimento a [29]) per riscrivere gli integrali di Itô stocastici rispetto a misure di martingala (rumore di Poisson) come integrali stocastici rispetto a martingale con valori in uno spazio di Hilbert. Ciò consente di trattare il sistema guidato sia da rumore di Wiener che di Poisson come un sistema unificato guidato da una sequenza di martingale.
2. Soluzioni Ammissibili e Spazi di Morrey: Viene introdotta una nuova classe di soluzioni, denominata "soluzioni ammissibili". Queste soluzioni sono decomposte in una "componente di Morrey" ($u_M$) e una "componente limitata" ($u_B$). La componente di Morrey soddisfa una specifica condizione di integrabilità locale relativa agli spazi di Morrey ($L^{r, \lambda}$), mentre la componente limitata è essenzialmente limitata. Questa decomposizione permette assunzioni più deboli rispetto alla classica condizione di Ladyzhenskaya-Prodi-Serrin (LPS).
3. Uguaglianza dell'Energia Stocastica: Uno strumento tecnico critico è una versione specializzata della formula di Itô per semimartingale con valori in spazi di Banach. Questa formula è adattata per gestire componenti di drift che sono somme di processi in $V^*$ e in $H$, dove la parte in $H$ è solo localmente integrabile nel tempo. Ciò è essenziale per derivare stime di energia per la differenza di due soluzioni.
4. Stime di Energia e Lemme di Gronwall: Applicando l'uguaglianza dell'energia stocastica alla differenza di due soluzioni ammissibili ($w = u - v$), gli autori derivano disuguaglianze differenziali. Queste stime si basano sulla piccolezza della componente di Morrey della soluzione e sulla coercitività dell'operatore di diffusione.

Contributi Chiave e Risultati

• Generalizzazione dei Modelli di Rumore: Il saggio estende i risultati di unicità condizionata per le SNSE guidate esclusivamente da processi di Wiener (come in [32]) a equazioni guidate simultaneamente da processi di Wiener e misure di martingala di Poisson compensate.
• Estensione ai Domini Lipschitziani: I risultati sono stabiliti per arbitrarie regioni Lipschitziane, generalizzando i lavori precedenti che erano spesso limitati allo spazio intero $\mathbb{R}^d$.
• Condizioni di Unicità Più Deboli: Gli autori introducono un criterio di unicità basato su una "classe Hopf-Leray ristretta" definita da condizioni di tipo Morrey.
  • Teorema 2.2: Stabilisce che se una soluzione ammissibile $u$ soddisfa una condizione di piccolezza sulla sua componente di Morrey ($\hat{u} < \delta/N$), allora la soluzione è unica all'interno della classe delle soluzioni ammissibili. Inoltre, prova la dipendenza continua dai dati iniziali, ottenendo la stabilità esponenziale per il caso deterministico (Teorema 2.3).
  • Corollario 2.4: Dimostra che la classica condizione di Ladyzhenskaya-Prodi-Serrin ($u \in L^q(0, T; L^p(\mathbb{R}^d))$ con $d/p + 2/q \leq 1$) implica la condizione di ammissibilità richiesta per l'unicità. Pertanto, i nuovi risultati generalizzano i classici teoremi di unicità LPS al contesto stocastico con rumore di salto.
• Esistenza di Soluzioni H: Il Teorema 2.1 prova che ogni soluzione ammissibile ammette una modifica che è un processo càdlàg con valori in $H$ (una "soluzione H"), garantendo che la soluzione abbia la regolarità necessaria per essere ben definita puntualmente nel tempo.

Significatività e Rivendicazioni
Il saggio sostiene di contribuire alla direzione dei risultati di unicità condizionata per le equazioni di Navier-Stokes stocastiche tridimensionali, un campo in cui si sa molto meno rispetto al caso bidimensionale o alla teoria dell'esistenza deterministica.

Gli autori affermano che il loro risultato principale (Teorema 2.2) stabilisce l'unicità condizionata per equazioni guidate sia da processi di Wiener che di Poisson su domini Lipschitziani generali. Essi sottolineano che la loro condizione di tipo Morrey è strettamente più debole della classica condizione LPS, ampliando così l'ambito dei dati iniziali e dei campi di forza per i quali l'unicità può essere garantita. Il lavoro fornisce anche un risultato di stabilità (Teorema 2.3) per il caso deterministico, mostrando la convergenza esponenziale delle soluzioni sotto le derivate condizioni di piccolezza.

Il saggio non pretende di risolvere il problema dell'unicità globale per arbitrarie soluzioni deboli in 3D, ma piuttosto fornisce un quadro rigoroso per l'unicità sotto specifiche, sebbene più deboli, assunzioni strutturali sulla regolarità della soluzione. I risultati sono presentati come generalizzazioni di precedenti scoperte deterministiche e stocastiche, estendendo specificamente il lavoro di [32] per includere il rumore di salto e domini più generali.