The zero-dispersion limit for the Benjamin--Ono equation on the circle

1. Il Problema: Il Limite a Dispersione Zero

Il lavoro si concentra sull'equazione di Benjamin-Ono (BO) definita sul cerchio $T := \mathbb{R}/2\pi\mathbb{Z}$:
$$\partial_t u + \partial_x(u^2 - |D|u) = 0$$
dove $|D|$ è il moltiplicatore di Fourier non locale definito da $\mathcal{F}(|D|u)(\xi) = |\xi|\mathcal{F}(u)(\xi)$.

Il problema studiato è il limite a dispersione zero. Si considera una famiglia di soluzioni $u_\varepsilon$ dell'equazione BO con un parametro di dispersione $\varepsilon > 0$:
$$\partial_t u_\varepsilon + \partial_x((u_\varepsilon)^2 - \varepsilon|D|u_\varepsilon) = 0, \quad u_\varepsilon(0, x) = u_0(x)$$
Quando $\varepsilon \to 0$, l'equazione tende all'equazione di Burgers (che è globalmente mal posta e sviluppa shock in tempo finito). Per $\varepsilon > 0$, gli shock sono sostituiti da rapide oscillazioni (shock dispersivi). L'obiettivo è dimostrare l'esistenza e caratterizzare il limite debole $ZD[u_0]$ di $u_\varepsilon$ quando $\varepsilon \to 0$.

Sebbene il limite sia stato studiato per dati iniziali "a campana" (bell-shaped) su $\mathbb{R}$ (Miller-Xu) e su $T$ (Gassot), o per dati in $L^2 \cap L^\infty$ su $\mathbb{R}$ (Gérard, Chen), questo lavoro estende il risultato a dati iniziali limitati generici $u_0 \in L^\infty(T, \mathbb{R})$ sul cerchio.

2. Metodologia

L'autore utilizza un approccio basato su una formula esplicita per le soluzioni dell'equazione di Benjamin-Ono, scoperta recentemente da P. Gérard.

1. Formula Esplicita e Scaling:
   Partendo dalla formula esplicita di Gérard per la soluzione $u$ su $T$, l'autore applica un argomento di scaling per derivare una formula esplicita per la soluzione $u_\varepsilon$ dell'equazione dispersiva. Questa formula coinvolge operatori di Toeplitz e proiezioni di Szegő sugli spazi di Hardy $L^2_+(T)$.
   $$(\Pi u_\varepsilon(t))(x) = \sum_{k=0}^\infty e^{i\varepsilon k t} \langle (e^{2it(\varepsilon D - T_{u_0})}S^*)^k \Pi u_0, 1 \rangle e^{ikx}$$

2. Passaggio al Limite Debole:
   Si dimostra che, quando $\varepsilon \to 0$, la successione $u_\varepsilon$ converge debolmente in $L^2(T)$ a una funzione limite $ZD[u_0]$. La convergenza è uniforme in tempo su compatti. Il limite è caratterizzato da una serie di Fourier che coinvolge l'operatore $e^{-2it T_{u_0}}$.

3. Equivalenza con la Formula di Miller-Xu Generalizzata:
   Il cuore tecnico del lavoro è dimostrare che questa espressione complessa (basata su operatori) coincide con una formula più semplice e intuitiva, nota come somma alternata delle ramificazioni della soluzione multivalore di Burgers.
   Per dati generici in $L^\infty$, la soluzione multivalore non è necessariamente finita, quindi l'autore introduce una generalizzazione basata su una funzione indicatrice $\chi$:
   $$ZD[u_0](t, x) = \int_{\mathbb{R}} \chi(u_0(x - 2ty), y) \, dy$$
   dove $\chi(u, y) = \mathbb{1}_{u>y>0} - \mathbb{1}_{u<y<0}$.

4. Strumenti Combinatori (Lemma di Raney):
   Per provare l'uguaglianza tra la serie di Fourier derivata dalla formula esplicita e l'integrale sopra, l'autore sviluppa un'espansione in serie dei coefficienti di Fourier. La dimostrazione richiede un lemma combinatorio non banale (Lemma 3.3), una variante del Lemma di Raney, che conta le permutazioni cicliche di sequenze di interi per stabilire un'identità tra pesi di operatori di shift.

3. Risultati Chiave

Teorema 1.1: Caratterizzazione del Limite

Per ogni dato iniziale $u_0 \in L^\infty(T, \mathbb{R})$, la soluzione $u_\varepsilon$ converge debolmente in $L^2(T)$ a una funzione $ZD[u_0]$ data da:
$$ZD[u_0](t, x) = \int_{\mathbb{R}} \chi(u_0(x - 2ty), y) \, dy$$
Questa formula generalizza il risultato di Miller-Xu (valido per dati a campana su $\mathbb{R}$) e conferma che il limite a dispersione zero è dato dalla somma alternata delle ramificazioni della soluzione di Burgers, anche nel caso periodico e per dati non regolari.

Teorema 1.2: Proprietà di Regolarità

Il limite $ZD[u_0]$ gode di proprietà di regolarità simili a quelle delle soluzioni entropiche dell'equazione di Burgers:

1. Principio del Massimo: Il limite rimane confinato tra l'estremo inferiore e superiore essenziale di $u_0$.
2. Controllo delle Norme: La norma $L^p$ non aumenta nel tempo.
3. Contrazione $L^1$: La distanza tra due soluzioni nel tempo non supera la distanza iniziale.
4. Stima di Oleinik: Una stima di regolarità che controlla la crescita delle differenze finite, tipica delle soluzioni di Burgers.
5. Convergenza Forte: Se $u_0 \in C^1$, la convergenza è forte in $L^2$ fino al tempo di rottura (breaking time) delle caratteristiche classiche.
6. Formula di Trotter: La mappa del limite può essere ottenuta come composizione infinitesima di mappe di trasporto-collasso, collegando il sistema dispersivo all'equazione iperbolica limite.

4. Contributi e Significatività

• Generalizzazione dei Dati: Il risultato rimuove le restrizioni sulla forma dei dati iniziali (come la condizione "a campana" richiesta in lavori precedenti) e si applica a qualsiasi dato limitato $u_0 \in L^\infty(T)$.
• Approccio Diretto: A differenza del lavoro di Gassot, che utilizzava le coordinate di Birkhoff e richiedeva l'analisi asintotica degli autovalori dell'operatore di Lax, questo lavoro utilizza la formula esplicita di Gérard. Questo approccio è più diretto e non richiede la conoscenza degli autovalori, rendendo la dimostrazione più accessibile e robusta.
• Unificazione dei Risultati: Il lavoro conferma che la struttura del limite a dispersione zero per l'equazione di Benjamin-Ono è universale (indipendentemente dal dominio $\mathbb{R}$ o $T$ e dalla regolarità dei dati, purché limitati) e coincide con la descrizione data dalla soluzione multivalore di Burgers.
• Strumenti Matematici: L'introduzione e l'applicazione di un lemma combinatorio di tipo Raney per manipolare le serie di operatori di Toeplitz rappresentano un contributo metodologico significativo per l'analisi di equazioni integrabili.

In sintesi, il paper fornisce una caratterizzazione completa e rigorosa del comportamento asintotico dell'equazione di Benjamin-Ono sul cerchio quando la dispersione tende a zero, collegando la dinamica dispersiva non lineare alla soluzione entropica dell'equazione di Burgers attraverso una formula esplicita e potente.