Refined wave breaking for the generalized Fornberg-Whitham equation

1. Il Problema

Il lavoro si concentra su una classe di equazioni non locali che rappresentano perturbazioni debolmente dispersive dell'equazione di Burgers inviscida. L'equazione generale studiata è:
$$u_t + u u_x - L u_x = 0$$
dove $L$ è un operatore moltiplicatore di Fourier definito da $\widehat{Lf}(\xi) = p(\xi)\hat{f}(\xi)$.

Il caso specifico di interesse è l'equazione di Fornberg-Whitham generalizzata, ottenuta quando il moltiplicatore è $p(\xi) = (1 + |\xi|^2)^{(\alpha-1)/2}$ con $\alpha < 0$. Questo modello include l'equazione di Fornberg-Whitham classica (caso $\alpha = -1$) e descrive fenomeni di onde d'acqua con dispersione esatta a profondità finita.

L'obiettivo principale è analizzare il fenomeno del "wave breaking" (rottura dell'onda) per $\alpha < 0$. In questo contesto, la soluzione $u(x,t)$ rimane limitata ($L^\infty$), ma il suo gradiente $\partial_x u$ diverge in tempo finito. Sebbene la formazione di singolarità fosse già nota per questo intervallo di parametri, la letteratura precedente forniva informazioni qualitative o meno precise sulla dinamica esatta del blow-up.

2. Metodologia

Gli autori adottano una tecnica sofisticata nota come blow-up auto-similare modulato (modulated self-similar blowup technique), sviluppata in lavori precedenti (in particolare [3, 10, 11, 21, 22, 32]) per equazioni iperboliche e dispersive.

I passaggi metodologici chiave includono:

• Trasformazione Auto-Similare: Viene introdotta una trasformazione di coordinate che "ingrandisce" la regione di blow-up. Si definiscono variabili dinamiche di modulazione:
  • $\xi(t)$: posizione del blow-up.
  • $\tau(t)$: tempo di blow-up (dove $\tau(t) \to T^*$).
  • $\kappa(t)$: ampiezza dell'onda.
    La trasformazione porta a variabili di scala $s = -\log(\tau(t) - t)$ e $X = (x-\xi(t))/(\tau(t)-t)^{3/2}$.
• Profilo di Blow-up: La soluzione viene assunta nella forma $u(x,t) = e^{-s/2}U(X,s) + \kappa(t)$. Il profilo limite $U$ è scelto per convergere asintoticamente alla soluzione auto-similare stabile dell'equazione di Burgers inviscida (il "ground state"), che soddisfa un'equazione stazionaria specifica.
• Decomposizione dell'Operatore: A causa della natura non omogenea del moltiplicatore di Fourier per $\alpha < 0$, l'operatore dispersivo viene scomposto in una parte a bassa frequenza ($L$) e una ad alta frequenza ($H$).
  • L'operatore $L$ (bassa frequenza) mostra un buon decadimento temporale grazie alle disuguaglianze di Bernstein.
  • L'operatore $H$ (alta frequenza) non decade temporalmente ma possiede una struttura integrale limitata da $L^\infty$ a $L^\infty$, permettendo stime efficaci.
• Ipotesi di Bootstrap: Viene costruito un insieme di ipotesi a priori (bootstrap) sulle derivate della soluzione nelle variabili auto-similari, divise in tre regioni spaziali:
  1. Near field ($|X| \le h$): Vicino al punto di blow-up.
  2. Middle field ($h \le |X| \le \frac{1}{2}e^{3s/2}$): Regione intermedia.
  3. Far field ($|X| > \frac{1}{2}e^{3s/2}$): Regione lontana.
     Le stime vengono chiuse dimostrando che le soluzioni rimangono entro questi vincoli per tempi sufficientemente lunghi.

3. Contributi Chiave

Rispetto ai lavori precedenti (come [32] che trattava il caso $\alpha \in [-1, 0)$ con ipotesi più restrittive), questo paper introduce diversi avanzamenti tecnici:

• Mancanza di Assunzioni di Decadimento: A differenza di [32], gli autori non impongono ipotesi di decadimento bootstrap sulla seconda derivata $\partial_X^2 U$ nel campo medio e lontano. Questo è possibile perché, per $\alpha < 0$, l'effetto dispersivo è più debole e l'equazione si comporta in modo più "iperbolico".
• Gestione della Non Omogeneità: La gestione della parte ad alta frequenza dell'operatore dispersivo (che non decade temporalmente) viene risolta sfruttando la sua struttura integrale limitata, superando le difficoltà poste dalla trasformata di Hilbert presente in altri casi.
• Precisione della Singolarità: Viene fornita una descrizione quantitativa precisa della singolarità, inclusa la regolarità esatta della soluzione al momento del blow-up.

4. Risultati Principali (Teorema 2.1)

Il teorema principale stabilisce l'esistenza di dati iniziali (in un insieme aperto della topologia $H^5$) che portano a un blow-up in tempo finito $T^*$ con le seguenti proprietà:

1. Tempo e Posizione: Il tempo di blow-up $T^*$ e la posizione $x^*$ sono ben definiti e limitati da funzioni di $\varepsilon$ (parametro di scala iniziale).
2. Limitatezza della Soluzione: La soluzione $u$ rimane limitata in norma $L^\infty$ fino al tempo $T^*$.
3. Tasso di Blow-up del Gradiente: Il gradiente $\partial_x u$ diverge con un tasso preciso:
   $$\frac{1}{3(T^*-t)} \le \|\partial_x u(\cdot, t)\|_{L^\infty} \le \frac{3}{T^*-t}$$
4. Regolarità al Blow-up: Al tempo critico $T^*$, la soluzione $u(\cdot, T^*)$ appartiene allo spazio di Hölder $C^{1/3}(\mathbb{R})$ e presenta una singolarità a cuspide nel punto $(x^*, T^*)$.
5. Convergenza Asintotica: Nelle variabili auto-similari, la soluzione converge asintoticamente a una soluzione auto-similare stabile dell'equazione di Burgers inviscida (profilo $U_\nu$). Questo conferma che la dinamica del blow-up è dominata dal termine non lineare, con la dispersione che agisce come una perturbazione debole che non altera la struttura fondamentale della singolarità.

5. Significato e Implicazioni

Questo lavoro è significativo per diversi motivi:

• Raffinamento della Teoria: Passa dalla semplice dimostrazione dell'esistenza del blow-up a una descrizione dettagliata della sua dinamica interna (profilo, tasso di crescita, regolarità).
• Robustezza del Metodo: Dimostra che la tecnica del blow-up auto-similare modulato è applicabile anche a equazioni con dispersione non omogenea e debole ($\alpha < 0$), estendendo i risultati oltre i casi di dispersione forte o omogenea.
• Comprensione Fisica: Conferma che per l'equazione di Fornberg-Whitham con $\alpha < 0$, la competizione tra non linearità e dispersione porta a un comportamento "quasi iperbolico" dove la formazione di onde d'urto (shock) è il meccanismo dominante, simile all'equazione di Burgers, ma con una regolarità finale specifica ($C^{1/3}$) dovuta alla dispersione residua.
• Stabilità: I risultati sono stabili rispetto a piccole perturbazioni dei dati iniziali, indicando che il fenomeno del wave breaking descritto è un comportamento generico per una vasta classe di condizioni iniziali.

In sintesi, il paper fornisce una mappa completa e rigorosa della dinamica di formazione delle singolarità per una classe importante di equazioni dispersive non lineari, colmando il divario tra le simulazioni numeriche e la teoria analitica rigorosa.