Sobolev estimates for the Keller-Segel system and applications to the JKO scheme

Sintesi Tecnica: Stime di Sobolev per il sistema di Keller-Segel e applicazioni allo schema JKO

Enunciato del Problema
Il saggio affronta le proprietà analitiche del sistema di Keller-Segel (KS) con diffusione lineare in un dominio convesso, limitato e regolare $\Omega \subset \mathbb{R}^d$. Il sistema è dato da:
$$\partial_t\rho - \Delta\rho + \text{div}(\rho\nabla u[\rho]) = 0, \quad -\Delta u[\rho] = \rho$$
soggetto a condizioni al contorno di non-flusso e Dirichlet. Le sfide primarie in questo contesto sono:

1. Blow-up in tempo finito: Le soluzioni possono esplodere se la massa iniziale supera una soglia critica (ad esempio, $8\pi$ in 2D). Il saggio si concentra su un "regime subcritico a dati piccoli" dove la norma $L^{d/2}$ iniziale è sufficientemente piccola da prevenire il blow-up.
2. Esistenza e Regolarità: Sebbene esistano soluzioni deboli, ottenere coti $L^\infty$ e stime di Sobolev di ordine superiore (specificamente $L^\infty_t W^{1,p}_x$ per tutti $1 \le p < \infty$) in dimensioni $d \ge 3$ è non banale a causa della mancanza di controllo sulla parte negativa dell'energia libera e della singolarità del kernel di interazione.
3. Convergenza dello schema JKO: Lo schema di Jordan-Kinderlehrer-Otto (JKO), una discretizzazione temporale variazionale dei gradienti di flusso nello spazio di Wasserstein, è stato stabilito per il sistema KS. Tuttavia, estendere i risultati di convergenza forte (specificamente in $L^2_t H^2_x$ noti per l'equazione di Fokker-Planck) al sistema KS richiede di superare difficoltà specifiche legate al potenziale $u[\rho]$ dipendente dal tempo e non regolare.

Metodologia
L'autore impiega una combinazione di analisi funzionale, teoria del trasporto ottimale e tecniche di gradiente di flusso discreto.

1. Disuguaglianza Funzionale (di tipo Brezis-Gallouet-Wainger):
   Uno strumento centrale è una nuova disuguaglianza funzionale (Teorema 1.1) ispirata alla disuguaglianza di Brezis-Gallouet-Wainger. Essa fornisce un limite $L^\infty$ sull'Hessiano $D^2 u$ in termini delle norme $L^\infty$ e $C^{0,\alpha}$ del Laplaciano $\Delta u$:
   $$\|D^2 u\|_{L^\infty} \le C \| \Delta u \|_{L^\infty} \left( 1 + \log \left( \frac{\|\Delta u\|_{C^{0,\alpha}}}{\|\Delta u\|_{L^\infty}} \right) \right)$$
   Questo controllo logaritmico è cruciale per chiudere le stime in presenza della non linearità.

2. Dissipazione del Funzionale $F_p$:
   L'autore analizza la dissipazione del funzionale $F_p[\rho] = \int_\Omega \rho |\nabla(\log \rho - u[\rho])|^p dx$. Calcolando la derivata temporale (nel caso continuo) o la differenza discreta (nello schema JKO), l'autore deriva una disuguaglianza differenziale della forma:
   $$\frac{d}{dt} F_p \lesssim F_p (\log(F_p + 1) + 1)$$
   La crescita logaritmica sul lato destro, derivata dalla disuguaglianza funzionale e dalle stime di Calderón-Zygmund, permette di ottenere limiti globali nel tempo tramite la lemma di Gronwall, prevenendo il blow-up delle norme di Sobolev.

3. Lo Schema JKO Penalizzato:
   Per gestire l'esistenza in alte dimensioni ($d \ge 3$) dove l'energia libera standard non è limitata inferiormente, l'autore introduce un funzionale penalizzato $\tilde{J}$. Questo include un termine artificiale che controlla la norma $L^{d/2}$. Il saggio dimostra che, per dati iniziali sufficientemente piccoli, il termine di penalizzazione rimane inattivo e lo schema coincide con lo schema JKO standard.

4. Stime Discrete e Disuguaglianza dei Cinque Gradienti:
   Per dimostrare la convergenza, l'autore adatta la "disuguaglianza dei cinque gradienti" (originariamente per le stime BV nel trasporto ottimale) al contesto del gradiente di flusso discreto JKO. Ciò consente di controllare la dissipazione del funzionale di informazione di Fisher $F_2$ a livello discreto. I passaggi chiave includono:

   • Stabilire un limite uniforme $L^\infty$ sulle soluzioni discrete utilizzando un metodo di iterazione di Alikakos adattato allo schema JKO.
   • Dimostrare un limite inferiore stretto (positività) per le soluzioni discrete, essenziale per controllare i potenziali di Kantorovich e i loro Hessiani.
   • Mostrare che i potenziali di Kantorovich convergono a zero con un tasso specifico, colmando il divario tra la dissipazione discreta e i limiti continui.

Contributi Chiave e Risultati

• Teorema 1.1 (Disuguaglianza Funzionale): Dimostra una nuova disuguaglianza che limita $\|D^2 u\|_{L^\infty}$ usando l'interpolazione logaritmica tra le norme $L^\infty$ e $C^{0,\alpha}$ di $\Delta u$. Questa è un raffinamento delle classiche inclusioni di Sobolev adatto alla specifica struttura del sistema KS.
• Teorema 1.5 (Stime di Sobolev): Stabilisce che per dati iniziali piccoli (norma $L^{d/2}$), la soluzione debole del sistema KS esiste globalmente ed è limitata in $L^\infty((0,T) \times \Omega) \cap L^\infty(0, T; W^{1,p}(\Omega))$ per tutti $1 \le p < \infty$. La prova si basa sulla dissipazione di $F_p$ e sulla disuguaglianza differenziale logaritmica derivata.
• Teorema 1.7 (Convergenza dello Schema JKO):
  • Esistenza: Dimostra l'esistenza della sequenza dello schema JKO in alte dimensioni usando il funzionale penalizzato.
  • Regolarità: Mostra che la curva discreta $\rho_\tau$ è uniformemente limitata in $L^\infty((0,T) \times \Omega)$ e $L^\infty(0, T; W^{1,p}(\Omega))$.
  • Convergenza Forte: Dimostra che la curva discreta $\rho_\tau$ converge fortemente in $L^2(0, T; H^2(\Omega))$ alla soluzione debole del sistema KS al tendere del passo temporale $\tau \to 0$.

Significato e Rivendicazioni
Il saggio sostiene di estendere i recenti risultati di Santambrogio e Toshpulatov (che hanno dimostrato la convergenza $L^2_t H^2_x$ per l'equazione di Fokker-Planck) al contesto di aggregazione-diffusione del sistema di Keller-Segel. L'autore evidenzia tre difficoltà specifiche superate:

1. Esistenza in Alte Dimensioni: Superare la mancanza di controllo dell'energia libera in $d \ge 3$ tramite il trucco della penalizzazione.
2. Limiti Inferiori: Stabilire un limite inferiore uniforme per la densità discreta $\rho_\tau$ senza assumere limiti a priori su $D^2 u$, il che è non banale poiché il potenziale $u$ dipende da $\rho$.
3. Regolarità dei Potenziali: Dimostrare stime $C^{0,\alpha}$ uniformi per le curve JKO per controllare la convergenza dei potenziali di Kantorovich, un passaggio che precedentemente dipendeva da stime $L^\infty_t W^{1,p}_x$ note solo per $p < 2$ nel contesto KS.

L'autore osserva che, mentre il limite $L^\infty$ per la PDE continua era considerato un problema aperto in parte della letteratura (ad es. [23]), questo lavoro fornisce una prova costruttiva tramite lo schema JKO. I risultati sono presentati come una giustificazione rigorosa della convergenza dello schema JKO in alti spazi di Sobolev per il sistema di Keller-Segel, basandosi sull'interazione tra la disuguaglianza funzionale e la struttura del gradiente di flusso.