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

Titolo: Esistenza globale per un sistema senza auto-diffusione e con mobilità diverse

1. Il Problema

L'articolo studia un sistema di equazioni alle derivate parziali di tipo cross-diffusion (diffusione incrociata) in una dimensione spaziale, definito sul toro $T = \mathbb{R}/\mathbb{Z}$. Il sistema descrive l'evoluzione di due popolazioni interagenti con densità $m(t,x)$ e $n(t,x)$, soggette a una legge di pressione lineare e dotate di mobilità diverse.

Il sistema è dato da:
$$\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}$$
dove $\nu > 0$ e $\nu \neq 1$ è un parametro che rappresenta il rapporto tra le mobilità delle due specie (la prima ha mobilità 1, la seconda $\nu$).

La sfida principale:
La matrice di diffusione del sistema ha rango 1. Questo significa che esiste un solo modo diffusivo (legato alla densità totale $\rho = m+n$), mentre il secondo modo è puramente trasportato senza regolarizzazione.

• Quando $\nu = 1$, la densità totale soddisfa un'equazione di porous medium e si ottiene la compattezza forte del gradiente $\partial_x \rho$.
• Quando $\nu \neq 1$, l'entropia classica $H(m,n) = \int (m \log m + \frac{1}{\nu} n \log n) dx$ controlla solo $\partial_x \rho$, ma non i gradienti delle singole specie $\partial_x m$ e $\partial_x n$ separatamente.
• La difficoltà fondamentale risiede nel passare al limite nelle fluttuazioni non lineari (i termini di flusso $m \partial_x \rho$ e $n \partial_x \rho$) quando si dispone solo di compattezza debole per i gradienti. Le oscillazioni tra le densità delle specie e il gradiente di pressione impediscono l'identificazione diretta dei limiti non lineari.

2. Metodologia

L'autore adotta un approccio basato sulla teoria delle misure di Young e sul lemma div-curl (compattezza compensata), evitando la costruzione di uno schema di approssimazione specifico e concentrandosi invece sulle proprietà di compattezza necessarie.

Strumenti chiave:

1. Cambio di variabili: Si introduce la densità totale $\rho = m+n$ e una variabile scalare chiamata "attività" $a = \frac{m + \nu n}{m+n}$. Questo permette di riscrivere il sistema in termini di $(\rho, a)$, dove $\rho$ è l'unica variabile diffusiva e $a$ agisce come una mobilità variabile.
2. Stime Entropiche: Si utilizza l'identità entropica per ottenere stime a priori su $\rho$ e $\partial_x \rho$.
3. Famiglia di Leggi di Bilancio: L'autore costruisce una famiglia infinita di nuove leggi di bilancio (equazioni di conservazione approssimate) per combinazioni specifiche di $\rho$ e $a$, utilizzando funzioni speciali $\phi_s(a)$ e $M_s(a)$ derivate da un'equazione differenziale ordinaria. Queste leggi sono progettate per cancellare i termini problematici contenenti $\partial_x a$.
4. Lemma Div-Curl: Si applica una versione del lemma div-curl (basata su risultati di Murat e Tartar) alle coppie di campi vettoriali derivanti dalle leggi di bilancio. Questo permette di stabilire relazioni tra i limiti deboli dei prodotti non lineari.
5. Analisi delle Misure di Young: Si dimostra che la misura di Young $\mu_{t,x}$ generata dalla sequenza delle variabili di attività $a_k$ collassa in una massa di Dirac (cioè non ci sono oscillazioni) su tutto l'insieme dove il gradiente di pressione è non nullo.

3. Contributi Chiave

Il lavoro introduce un quadro teorico rigoroso per trattare sistemi cross-diffusion con matrici di diffusione singolari (rango 1) e mobilità diverse, un caso che era precedentemente aperto o trattato solo in casi specifici (es. $\nu=1$ o soluzioni separate).

• Definizione di Successione di Approssimazione Ammissibile: Invece di fissare uno schema numerico (come la regolarizzazione viscosa), l'autore definisce una classe di successioni approssimanti che preservano le strutture di bilancio e le stime energetiche del sistema originale. Il teorema principale garantisce che qualsiasi tale successione converge a una soluzione debole.
• Identificazione del Limite Non Lineare: Il contributo tecnico più significativo è la dimostrazione che, nonostante la mancanza di compattezza forte per le singole specie, le oscillazioni della variabile di attività $a$ sono sufficientemente accoppiate a quelle del gradiente di pressione $\partial_x \rho$ da permettere l'identificazione del limite del flusso non lineare $a \rho \partial_x \rho$.
• Collasso della Misura di Young: Si dimostra che la misura di Young associata alla variabile $a$ è una massa di Dirac quasi ovunque dove $\partial_x \rho \neq 0$. Questo risultato è ottenuto combinando le identità di compattezza compensata con una disuguaglianza integrale (disuguaglianza di Chebyshev) applicata alla struttura specifica delle funzioni $\phi_s$ e $M_s$.

4. Risultati Principali

Il risultato centrale è il Teorema 1.3:

Per dati iniziali limitati e non negativi $m_0, n_0 \in L^\infty(T)$, e per qualsiasi parametro $\nu > 0, \nu \neq 1$, esiste una soluzione debole globale $(m, n)$ al sistema (1.1).

La soluzione soddisfa:

1. $m, n \in L^\infty((0,T) \times T)$.
2. La densità totale $\rho \in L^2(0,T; H^1(T))$.
3. Le equazioni sono soddisfatte nel senso delle distribuzioni (soluzione debole).

Inoltre, il lavoro dimostra che il limite debole dei flussi non lineari è esattamente quello atteso:
$$\lim_{k \to \infty} m_k \partial_x \rho_k = m \partial_x \rho, \quad \lim_{k \to \infty} n_k \partial_x \rho_k = n \partial_x \rho$$
Questo risolve il problema della chiusura del sistema nel limite.

5. Significato e Implicazioni

• Avanzamento Teorico: Questo lavoro supera le difficoltà legate alla mancanza di auto-diffusione e alla singolarità della matrice di diffusione in sistemi multi-specie. Dimostra che la struttura geometrica del sistema (rango 1) non impedisce l'esistenza globale, a patto di utilizzare strumenti di analisi fine come le misure di Young.
• Generalità: Il risultato non dipende da uno specifico schema di regolarizzazione, ma vale per qualsiasi sequenza che rispetti le leggi di conservazione strutturali. Questo è cruciale per la validità dei modelli numerici e fisici.
• Applicazioni: Il modello è rilevante per la dinamica delle popolazioni, la crescita dei tessuti e il movimento di folle, dove gli effetti di affollamento guidano il movimento più della diffusione indipendente (Fick).
• Apertura Futura: L'autore nota che l'estensione a dimensioni superiori o a più di due specie rimane un problema aperto, suggerendo che la struttura unidimensionale e la specifica relazione tra le mobilità sono essenziali per la prova di collasso della misura di Young presentata.

In sintesi, il paper fornisce una prova rigorosa dell'esistenza globale per una classe di sistemi iperbolici-parabolici degeneri, risolvendo il problema della compattezza attraverso una combinazione ingegnosa di stime entropiche, nuove leggi di bilancio e la teoria delle misure di Young.