Singular limit for nonlocal conservation laws with non-locality in density and velocity

Enunciato del Problema
Questo articolo investiga il limite singolare di una legge di conservazione scalare non locale che incorpora la non-località sia nella densità che nella velocità. L'equazione governante è data da:
$$\begin{cases} \partial_t u^\varepsilon + \partial_x \left( V_1(V_2(u^\varepsilon) * \eta_\varepsilon) u^\varepsilon \right) = 0, \\ u^\varepsilon(0, x) = u_0(x), \end{cases}$$
dove $V_1$ e $V_2$ sono funzioni di velocità, e $\eta_\varepsilon$ è un nucleo riscalato che approssima l'identità. Gli autori mirano a giustificare rigorosamente la convergenza della soluzione non locale $u^\varepsilon$ alla classica soluzione locale $u$ della corrispondente legge di conservazione non lineare:
$$\partial_t u + \partial_x \left( V_1(V_2(u)) u \right) = 0,$$
per $\varepsilon \to 0$. Questo problema specifico era stato posto come una questione aperta nel lavoro precedente [10], il quale aveva stabilito la ben-posedness per il modello non locale ma non aveva dimostrato il limite.

Contesto e Sfide
L'articolo nota che, mentre il limite singolare per il caso degenero (dove $V_2 = \text{Id}$) è ben studiato, il caso generale con non-località nella velocità presenta difficoltà significative. Gli standard argomenti di compattezza (ad esempio, tramite la conservazione in $L^1$ e Banach-Alaoglu) sono insufficienti per passare al limite nel termine non lineare $V_1(V_2(u^\varepsilon) * \eta_\varepsilon)u^\varepsilon$. I tentativi precedenti per gestire il caso generale erano spesso limitati a dati iniziali monotoni o a scelte specifiche del nucleo (come il nucleo esponenziale). Una sfida primaria consiste nell'identificare le assunzioni precise sul nucleo $\eta$ e sulle funzioni di velocità necessarie per garantire la convergenza per soluzioni classiche fino al tempo di formazione degli shock.

Metodologia
La strategia di prova si basa sull'instaurare la convergenza per soluzioni classiche ($W^{2,\infty}$) prima della formazione di shock. La metodologia procede attraverso i seguenti passi:

1. Trasformazione delle Variabili: Gli autori introducono la variabile $U^\varepsilon = V_2(u^\varepsilon)$ e $U = V_2(u)$. Il cuore della prova si concentra sulla derivazione di un'equazione di evoluzione per la differenza $U^\varepsilon - U$ e sull'instaurare la sua convergenza a zero.
2. Analisi del Principio di Massimo: Analizzando l'equazione che governa $U^\varepsilon - U$, gli autori valutano la derivata temporale della norma $L^\infty$ $\| (U^\varepsilon - U)(t, \cdot) \|_\infty$ in un punto di massimo. Ciò comporta il moltiplicare l'equazione della differenza per la funzione segno della differenza.
3. Stima dei Termini: La derivata differenziale risultante viene decomposta in termini ($I$ e $J$) che rappresentano le differenze nei flussi e nelle interazioni non locali.
   • Gli autori utilizzano la proprietà bi-Lipschitz di $V_2$ e la regolarità di $V_1, V_2$ per limitare le differenze nei termini di flusso.
   • Crucialmente, essi sfruttano la struttura specifica del nucleo anisotropo $\eta$ (supportato su $\mathbb{R}^-$, non decrescente e non negativo) per gestire i termini di convoluzione non locali. Nello specifico, mostrano che l'interazione tra la derivata del nucleo e la funzione segno produce contributi non positivi, permettendo stime favorevoli.
4. Argomento di Approssimazione: La prova è condotta inizialmente sotto l'assunzione che il nucleo $\eta$ sia Lipschitz continuo. Per estendere il risultato a nuclei generali che soddisfano le condizioni anisotrope (integrabili, limitati, supportati su $\mathbb{R}^-$, non decrescenti), gli autori impiegano un lemma di approssimazione. Costruiscono una sequenza di nuclei Lipschitz convergenti al nucleo target e utilizzano la stabilità delle soluzioni rispetto al nucleo per passare al limite.
5. Disuguaglianza di Grönwall: Le stime portano a una disuguaglianza differenziale della forma $\frac{d}{dt} \|U^\varepsilon - U\|_\infty \leq O(\varepsilon) + C \|U^\varepsilon - U\|_\infty$. Applicando la disuguaglianza di Grönwall si ottiene la desiderata velocità di convergenza.

Risultati Chiave
Il risultato principale, Teorema 1.1, afferma che sotto le seguenti assunzioni:

• Dati iniziali $u_0 \in W^{2,\infty}(\mathbb{R})$ con $u_0 \geq 0$.
• Il nucleo $\eta$ soddisfa le condizioni anisotrope (I): $\eta \in L^1 \cap L^\infty$, $\text{supp}(\eta) \subset \mathbb{R}^-$, $\int \eta = 1$, e $\eta$ è non decrescente su $\mathbb{R}^-$.
• Le funzioni di velocità $V_1, V_2$ sono sufficientemente regolari ($W^{3,\infty}_{loc}$) con specifiche condizioni di monotonicità ($V_1' \geq 0, V_2' \leq 0$) e $V_2$ è bi-Lipschitz sull'intervallo della soluzione.

Allora, per ogni tempo $T$ strettamente minore del tempo di esistenza massimale $T^*$ della soluzione classica $u$ (ovvero, prima della formazione dello shock), la soluzione non locale $u^\varepsilon$ converge alla soluzione locale $u$ nella norma $L^\infty$ con una velocità lineare:
$$\sup_{t \in [0, T]} \| (u^\varepsilon - u)(t, \cdot) \|_\infty = O(\varepsilon).$$

Significato e Ambito
L'articolo fornisce una risposta affermativa alla questione sollevata in [10] riguardante il limite singolare delle leggi di conservazione non locali con non-località sia nella densità che nella velocità. Gli autori sottolineano che il loro metodo copre nuclei anisotropi generali, rimuovendo la restrizione a forme specifiche di nucleo (come il nucleo esponenziale) o a dati iniziali monotoni presenti nella letteratura precedente.

Gli autori dichiarano esplicitamente i limiti del loro attuale lavoro: il risultato è valido per soluzioni classiche fino al tempo di formazione dello shock. Essi notano che estendere questa derivazione a soluzioni ammissibili per l'entropia globali nel tempo (che gestirebbero la formazione dello shock) rimane un problema aperto riservato a lavori futuri. L'articolo non propone nuove applicazioni o setup sperimentali, ma si concentra strettamente sulla giustificazione matematica rigorosa del limite per la classe specificata di equazioni.