Interfaces and non-uniqueness in a cross-diffusion system with independent drifts

Sintesi Tecnica: Interfacce e Non-Unicità in un Sistema di Cross-Diffusione con Drifts Indipendenti

Enunciato del Problema
Il documento investiga un sistema di cross-diffusione monodimensionale che descrive l'evoluzione di due densità di popolazione, $\rho(t, x)$ e $\mu(t, x)$, soggette a una legge di pressione comune dipendente dalla densità totale $S = \rho + \mu$ e a distinti potenziali di drift esterno $V$ e $W$. Il sistema è governato da:
$$\begin{aligned} \partial_t\rho - \partial_x(\rho \partial_x f'(\rho + \mu)) - \partial_x(\rho \partial_x V) &= 0, \\ \partial_t\mu - \partial_x(\mu \partial_x f'(\rho + \mu)) - \partial_x(\mu \partial_x W) &= 0. \end{aligned}$$
La questione centrale affrontata è la ben-posedness del problema di Cauchy quando i dati iniziali sono segregati (ovvero $\rho_0$ e $\mu_0$ hanno supporti disgiunti che si incontrano in un'unica interfaccia) e i drift sono distinti. Nello specifico, gli autori esaminano il regime in cui i drift spingono le due fasi l'una verso l'altra all'interfaccia ($\partial_x W(0) - \partial_x V(0) > 0$). Mentre la letteratura precedente aveva stabilito che soluzioni segregate esistono e rimangono segregate sotto certe condizioni, questo lavoro mette in discussione se tali soluzioni siano uniche rispetto alle soluzioni ottenute tramite il limite della viscosità evanescente.

Metodologia
Gli autori utilizzano un approccio basato sull'entropia relativa per distinguere tra diverse nozioni di soluzione. Il nucleo della loro metodologia consiste in:

1. Funzionale di Entropia Relativa: Definiscono un funzionale $\Phi[\rho, \mu] = \int_{\mathbb{R}} h(\rho, \mu) dx$, dove $h(u, v) = (u+v)\log(u+v) - u\log u - v\log v$. Questo funzionale è non negativo e si annulla se e solo se le densità sono segregate ($\rho\mu = 0$).
2. Approssimazione Viscosa: Analizzano il sistema con termini di viscosità aggiunti ($\varepsilon \partial_{xx}$) e studiano il limite per $\varepsilon \to 0$. Derivano un'identità di dissipazione dell'entropia al livello viscoso e passano al limite per ottenere un limite inferiore per l'entropia relativa della soluzione della viscosità evanescente.
3. Analisi Distribuzionale all'Interfaccia: Un passaggio tecnico critico consiste nel caratterizzare la derivata distribuzionale della quantità $q = \partial_x \rho - \frac{\rho}{S}\partial_x S$ all'interfaccia. Per una soluzione segregata con un'interfaccia netta, questo termine si comporta come una massa di Dirac.
4. Contraddizione tramite Mixing: Gli autori dimostrano che se i drift spingono le fasi l'una contro l'altra, il limite inferiore sull'entropia relativa per una soluzione di viscosità evanescente è strettamente positivo, implicando un mixing. Al contrario, una soluzione segregata mantiene $\Phi \equiv 0$. Questa contraddizione stabilisce la non-unicità.
5. Gestione di Dati Generali: Per dati generali, gli autori devono garantire che l'interfaccia non scompaia (creando un vuoto) o si allontani dalla regione in cui i drift inducono il mixing. Utilizzano:
   • Risultati di regolarità per soluzioni segregate dal lavoro precedente ([56]).
   • Principi di confronto e disuguaglianze di Harnack per equazioni di drift-diffusione disaccoppiate per mostrare che, se un vuoto si formasse all'interfaccia, le specie si mescolerebbero istantaneamente, contraddicendo l'assunto di segregazione.
   • Costruzione di sottosoluzioni di pressione (ispirate alle onde viaggianti) per il regime di diffusione lenta ($\alpha > 1$) per dimostrare la persistenza dell'interfaccia.

Contributi Chiave e Risultati

1. Non-Unicità Esplicita per Stati Stazionari:
   Gli autori costruiscono una soluzione stazionaria segregata esplicita $(\bar{\rho}, \bar{\mu})$ dove il gradiente di pressione bilancia i drift su ciascun lato dell'interfaccia. Dimostrano che questa soluzione è una soluzione debole valida ma non può essere una soluzione di viscosità evanescente. Sotto la condizione che i drift spingano le fasi insieme, il limite della viscosità evanescente produce necessariamente una sovrapposizione (mixing), mentre la soluzione stazionaria esplicita rimane segregata.

2. Non-Unicità per Dati Generali:
   Estendendo il risultato oltre gli stati stazionari, il documento dimostra che per una vasta classe di leggi di pressione (incluse le leggi di potenza $f'(s) \sim s^{\alpha-1}$ con $\alpha > 1/3$) e per dati iniziali segregati generici, il problema di Cauchy ammette almeno due soluzioni deboli distinte:

   • Una soluzione segregata (costruita tramite schemi di movimento minimo come in [56]).
   • Una soluzione di viscosità evanescente (costruita tramite argomenti di compattezza come in [58]).
     Queste soluzioni sono distinte perché la soluzione di viscosità evanescente sviluppa una zona di mixing (entropia relativa positiva), mentre la soluzione segregata no.

3. Disuguaglianza di Dissipazione dell'Entropia:
   Un risultato tecnico centrale è la derivazione della disuguaglianza:
   $$\Phi[\rho(t), \mu(t)] \geq \int_0^t \langle q(s), \partial_x V - \partial_x W \rangle ds$$
   per le soluzioni di viscosità evanescente. Questa disuguaglianza quantifica il mixing indotto dalla differenza di drift e funge da strumento primario per distinguere le classi di soluzioni.

Significatività e Rivendicazioni
Il documento sostiene di fornire la prima dimostrazione di non-unicità per questa specifica classe di sistemi di cross-diffusione con drift indipendenti. Gli autori evidenziano che:

• Soluzioni Fisiche vs. Matematiche: Il fenomeno illustra che la soluzione "fisica" selezionata dalla viscosità evanescente (che permette il mixing) differisce dalla soluzione matematicamente valida segregata. Ciò mette in discussione la ben-posedness del sistema all'interno della classe delle soluzioni deboli.
• Analogia con il Problema di Muskat: Il comportamento presenta una stretta somiglianza con il problema di Muskat, dove un'interfaccia instabile tra fluidi di diverse densità cede spontaneamente a una zona di mixing.
• Limiti della Teoria Esistente: Il lavoro sottolinea come le teorie di esistenza standard per i sistemi di cross-diffusione (che spesso si basano sulla compattezza di approssimazioni regolari) possono selezionare soluzioni che non preservano la segregazione, anche quando esistono soluzioni segregate.
• Ambito: Gli autori dichiarano esplicitamente che questi risultati sono specifici per i sistemi di cross-diffusione in cui le specie non esibiscono auto-diffusione. Notano che i sistemi con termini di auto-diffusione possiedono una regolarità superiore che impedisce interfacce nette, e quindi questo meccanismo di non-unicità non si prevede applichi ai modelli di advezione-diffusione a singola specie o ai sistemi di cross-diffusione con auto-diffusione.

Il documento conclude che, per i sistemi di cross-diffusione con drift indipendenti che spingono le fasi l'una contro l'altra, il problema di Cauchy è mal-posed nella classe delle soluzioni deboli senza un criterio di selezione più restrittivo (come il limite della viscosità evanescente) per distinguere tra gli stati segregati e quelli miscelati.