Nontrivial weak solutions of the stationary KdV equation in sharp $L^p$ spaces

1. Il Problema e il Contesto

Il lavoro si concentra sull'equazione di Korteweg-de Vries (KdV) stazionaria, definita su un toro $T$ (periodo 1) come:
$$6uu' - u''' = 0$$
dove $u: T \to \mathbb{R}$. L'equazione KdV classica è un sistema completamente integrabile che modella fenomeni dispersivi non lineari (es. onde d'acqua poco profonde). Mentre la teoria della ben-postezza per l'equazione KdV non stazionaria è stata ampiamente studiata (con risultati di ill-postezza per dati in $H^{-s}$ per $s>1$ e ben-postezza per $s \le 1$), le soluzioni a bassa regolarità per la versione stazionaria sono rimaste poco esplorate.

Il problema centrale affrontato è la definizione e l'esistenza di soluzioni deboli non banali per l'equazione stazionaria nello spazio $L^p(T)$ con $p < 2$.

• Ostacolo tecnico: La non linearità $u^2$ nell'equazione richiede, per la definizione classica di soluzione debole, che $u \in L^2(T)$. Tuttavia, se $u \in L^2(T)$, si può dimostrare che la soluzione è necessariamente liscia ($C^\infty$). Questo crea un paradosso: per avere soluzioni non lisce, bisogna scendere sotto $L^2$, ma lì il prodotto $u^2$ non è ben definito nel senso classico delle distribuzioni.

2. Metodologia: Integrazione Convessa e Prodotti Paraprodotto

Per superare la difficoltà di definire il prodotto $u^2$ per distribuzioni con regolarità negativa, l'autore adotta un approccio innovativo basato su due pilastri:

1. Definizione di Soluzione Debole tramite Paraprodotto:
   L'autore estende la definizione di soluzione debole utilizzando la teoria dei paraprodotto (introdotta da Bony e adattata in contesti simili da Lemarié-Rieusset e altri). Invece di richiedere che $u^2$ esista come distribuzione classica, si richiede che il paraprodotto $P_{\neq 0}(u^2)$ sia ben definito in uno spazio di Sobolev omogeneo $\dot{H}^s$ con $s < 0$. La soluzione debole è definita come:
   $$-\langle u, \phi''' \rangle + 3 \langle P_{\neq 0}(u^2), \phi' \rangle = 0$$
   per ogni funzione test liscia $\phi$.

2. Schema di Integrazione Convessa (Convex Integration):
   L'esistenza di tali soluzioni è dimostrata attraverso uno schema di integrazione convessa, una tecnica sviluppata originariamente da De Lellis e Székelyhidi per le equazioni di Eulero e Navier-Stokes.

   • Sfida specifica per KdV: Nelle equazioni dispersive come KdV, l'errore di dispersione ($E_D = -w''_{q+1}$) genera una perdita di due derivate. In schemi standard (dove l'errore è stimato in norme $L^p$ o $C^\alpha$), questo richiederebbe blocchi di costruzione con un'intermittenza tale da rendere l'errore piccolo, ma in dimensione 1 questo è impossibile per $p \ge 1$.
   • Soluzione: L'autore stima l'errore in una norma di Sobolev omogenea con indice negativo ($\dot{H}^{-s}$). Questo permette di "assorbire" la perdita di derivate. Inoltre, vengono utilizzati blocchi di costruzione intermittenti (slabs intermittenti) basati su funzioni $\rho_{\lambda, \epsilon}$ che sono periodiche e concentrate spazialmente. L'intermittenza è usata in modo minimo ma cruciale per ottenere la migliore regolarità di Besov possibile.

3. Risultati Principali

Il paper stabilisce una dicotomia netta e precisa riguardo alla regolarità delle soluzioni deboli dell'equazione KdV stazionaria:

• Teorema di Rigidità (Teorema 1.3):
  Se $u \in L^2(T)$ è una soluzione debole (nel senso classico o paraprodotto), allora $u$ è necessariamente liscia ($u \in C^\infty(T)$).

  • Dimostrazione: Se $u \in L^2$, l'equazione implica $u'' - 3u^2 = C$. Poiché $u \in L^2$, allora $u^2 \in L^1$, quindi $u'' \in L^1$, il che implica $u \in W^{2,1} \subset C^1$. Una volta ottenuta la regolarità $C^1$, si può applicare un argomento di "bootstrapping" (o risultati noti come [18, Lemma 1]) per dedurre che $u$ è infinitamente differenziabile.

• Teorema di Flessibilità (Teorema 1.4):
  Per ogni $p < 2$, esistono soluzioni deboli non banali che non sono lisce.

  • Esiste una funzione $u$ tale che:
    $$u \in \bigcap_{0<\epsilon<1} \left( \dot{B}^{-\epsilon}_{\infty,\infty}(T) \cap L^{2-\epsilon}(T) \right) \setminus L^2(T)$$
  • Questa soluzione soddisfa l'equazione nel senso del paraprodotto (Definizione 1.2).
  • La soluzione è costruita come limite di una successione di funzioni lisce $u_q$, dove le differenze $w_q = u_q - u_{q-1}$ sono blocchi intermittenti ad alta frequenza.

4. Contributi Chiave e Tecniche Avanzate

• Superamento della perdita di derivate: Il lavoro dimostra come l'integrazione convessa possa essere applicata alle equazioni dispersive (KdV) superando l'ostacolo della dispersione, che in precedenza aveva impedito l'applicazione di questo metodo a tali equazioni. La chiave è la stima dell'errore in spazi $\dot{H}^{-s}$ invece che in $L^p$.
• Costruzione di soluzioni singolari: Viene costruita esplicitamente una soluzione che appartiene a $L^p$ per ogni $p < 2$ ma non a $L^2$, dimostrando che la soglia $L^2$ è critica.
• Uso di blocchi intermittenti unidimensionali: L'autore adatta i blocchi intermittenti (slabs) alla dimensione 1, sfruttando la periodicità e le proprietà di Fourier per controllare gli errori di oscillazione e Nash.
• Definizione rigorosa del prodotto non lineare: Fornisce un quadro coerente per definire $u^2$ per distribuzioni molto irregolari, essenziale per la teoria delle soluzioni deboli a bassa regolarità.

5. Significato e Implicazioni

Questo lavoro è significativo per diversi motivi:

1. Completezza della teoria della regolarità: Identifica la soglia esatta ($p=2$) che separa le soluzioni lisce da quelle potenzialmente singolari per l'equazione KdV stazionaria.
2. Estensione dell'Integrazione Convessa: Apre una nuova strada per applicare le tecniche di integrazione convessa a equazioni dispersive non lineari, un campo in cui il metodo era stato considerato inapplicabile a causa della perdita di derivate.
3. Confronto con Navier-Stokes: Il risultato è paragonabile a quelli noti per l'equazione di Navier-Stokes stazionaria 2D, ma con una differenza cruciale: mentre per Navier-Stokes le soluzioni deboli in $L^p$ ($p>2$) con media nulla sono nulle (rigidità), per KdV stazionaria esistono soluzioni non nulle in $L^p$ ($p<2$) che non sono lisce.
4. Impatto sulla fisica matematica: Suggerisce che, in contesti stazionari, le equazioni dispersive possono ammettere un ricco insieme di soluzioni a bassa regolarità, sfidando l'intuizione basata sui risultati di regolarità classica.

In sintesi, il paper risolve un problema aperto sulla regolarità delle soluzioni KdV stazionarie, dimostrando che la regolarità $L^2$ è il confine preciso tra il mondo delle soluzioni lisce e quello delle soluzioni deboli singolari, utilizzando tecniche sofisticate di analisi armonica e integrazione convessa.