Non-unique solutions to the periodic gKdV equation

Sintesi Tecnica: Soluzioni Non Uniche per l'Equazione gKdV Periodica

Enunciato del Problema
Questo articolo affronta il problema della unicità incondizionata per l'equazione $k$-generalizzata di Korteweg-de Vries ($k$-gKdV) sul toro $\mathbb{T}$:
$$\partial_t u + \partial_{xxx} u + \sigma \partial_x (u^k) = 0, \quad u(0, x) = u_0(x),$$
dove $k \ge 2$ e $\sigma \in \{\pm 1\}$. Sebbene siano stati fatti progressi significativi nell'instaurare la ben determinazione (well-posedness) negli spazi di Sobolev $H^s(\mathbb{T})$ per vari valori di $s$, rimane una lacuna critica riguardante il comportamento delle soluzioni quando la non linearità $u^k$ non è integrabile (ovvero, quando $u \notin C^0_t L^k_x$).

Nella teoria classica delle distribuzioni, il termine $\partial_x(u^k)$ richiede che $u^k$ sia una distribuzione, il che tipicamente necessita che $u \in L^k$. Al di sotto di questa soglia, il prodotto $u^k$ non è ben definito nel senso standard. Lavori precedenti, come quelli di Christ, hanno dimostrato la non unicità per KdV ($k=2$) in $C^0_t H^s_x$ per $s < 0$, adottando una definizione della non linearità basata sulla molleggiazione (mollification). Tuttavia, la regolarità di queste soluzioni è bassa e la definizione della soluzione è relativamente debole.

Il problema centrale affrontato qui è determinare se la non unicità persista in classi di regolarità "quasi ottimali" — specificamente, appena al di sotto della soglia di Lebesgue $L^k_x$ — e formulare una nozione di soluzione debole che sia più forte delle definizioni precedenti pur essendo capace di gestire la singolarità della non linearità.

Metodologia
Gli autori impiegano uno schema di integrazione convessa adattato al contesto dispersivo dell'equazione gKdV. La costruzione procede iterativamente, generando una sequenza di approssimazioni di soluzioni lisce $(u_q, E_q)$ che risolvono un'equazione rilassata:
$$\partial_t u_q + \partial_{xxx} u_q + \sigma \partial_x (u_q^k) = \partial_x E_q,$$
dove il termine di errore $E_q$ viene spinto verso lo zero in una norma specifica.

Componenti tecniche chiave includono:

1. Blocchi Costruttivi Intermittenti: Le perturbazioni $w_{q+1}$ aggiunte ad ogni passaggio sono costruite utilizzando "slab intermittenti" (Lemma 2.11). Questi sono profili spaziali altamente concentrati che sono normalizzati in $L^k$ ma piccoli nelle norme $L^p$ subcritiche ($p < k$). Questa intermittenza permette alla $k$-esima potenza della perturbazione di cancellare l'errore esistente mantenendo sommabili le norme di ordine inferiore.
2. Localizzazione in Frequenza: Le perturbazioni sono localizzate in frequenza a scale $\lambda_{q+1}$ con parametri di intermittenza specifici $\epsilon_{q+1}$. Ciò assicura che le norme di Sobolev degli incrementi siano sommabili per regolarità $\alpha < \frac{1}{2} - \frac{1}{k}$, mantenendo al contempo una forza sufficiente in $L^k$ per cancellare gli errori.
3. Spazi di Wiener Pesati: Un aspetto innovativo della metodologia è l'uso di spazi di Wiener omogenei pesati ($\dot{A}^s$) per misurare gli errori. Inveve di fare affidamento esclusivamente sulle norme di Sobolev, gli autori misurano la sommabilità assoluta dei coefficienti di Fourier dei termini non lineari. Ciò consente un controllo preciso sull' "errore di oscillazione" generato dalle perturbazioni ad alta frequenza.
4. Decomposizione dell'Errore: L'errore $E_{q+1}$ è decomposto in quattro parti:
   • Errore di Oscillazione ($E_O$): Cancellato dalla media della $k$-esima potenza della perturbazione.
   • Errore di Nash ($E_N$): Derivante dai termini incrociati di ordine inferiore, controllato dalla piccolezza della perturbazione in $L^p$ per $p < k$.
   • Errore di Dispersione ($E_D$): Controllato dalla norma $C^0_t L^1_x$ della perturbazione.
   • Errore Temporale ($E_T$): Controllato dalla derivata temporale dell'antiderivata della perturbazione.

Contributi Chiave e Definizioni
Il saggio introduce un nuovo quadro per interpretare la non linearità in regimi in cui essa non è classicamente integrabile:

• Definizione di Soluzioni Singolari Deboli (Definizione 1.3): Una soluzione $u$ è definita come una "soluzione singolare debole" se la non linearità $P_{\neq 0}(u^k)$ (i modi a frequenza non nulla di $u^k$) è ben definita come elemento di $C^0_t \dot{H}^{-s}_x$ tramite sommabilità assoluta di Fourier (Definizione 1.2). Nello specifico, la serie $\sum_{\xi_1 + \dots + \xi_k \neq 0} |\hat{u}(\xi_1) \dots \hat{u}(\xi_k)| |\xi_1 + \dots + \xi_k|^{-s}$ deve convergere.
• Confronto con Nozioni Precedenti: Gli autori dimostrano (nell'Appendice) che questa nozione è strettamente più forte di:
  • La nozione di "paraproduct" utilizzata nei lavori precedenti di integrazione convessa per equazioni dispersive.
  • La nozione di soluzione basata sulla molleggiazione di Christ.
    Di conseguenza, le soluzioni costruite sono valide anche in questi quadri più ampi.

Risultati Principali
Il risultato primario è il Teorema 1.4, che stabilisce l'esistenza di soluzioni singolari deboli non triviali con dati iniziali identicamente nulli ($u(0, x) = 0$) nelle seguenti classi di regolarità:

1. Per $k=2$ (KdV): Esiste una soluzione non nulla $u \in \bigcap_{\epsilon > 0} C^0_t L^{2-\epsilon}_x([0, 1] \times \mathbb{T})$. Questo risultato è ottimale nella scala di Lebesgue, poiché l'unicità incondizionata è nota in $C^0_t L^2_x$ (facendo riferimento a Babin-Ilyin-Titi [2]).
2. Per $k \ge 3$: Esiste una soluzione non nulla $u \in \bigcap_{\epsilon > 0} C^0_t H^{\frac{1}{2} - \frac{1}{k} - \epsilon}_x([0, 1] \times \mathbb{T})$. Questo raggiunge la scala limite di Sobolev meno l'epsilon corrispondente alla soglia di Lebesgue $L^k_x$.

Inoltre, la Nota 1.5 osserva che per $k=2$, la soluzione può essere raffinata affinché appartenga a $\bigcap_{\epsilon > 0} C^0_t B^{-s}_{\infty, \infty, x}$, rendendola "quasi continua" oltre che "quasi quadratica integrabile".

Significato e Congetture
Il saggio sostiene che il fallimento dello schema di integrazione convessa nel chiudersi quando la non linearità risiede in $C^0_t L^1_x$ (ovvero, quando $u \in C^0_t L^k_x$) suggerisce una soglia fondamentale per l'unicità.

• Condizione Necessaria: Il risultato implica che una condizione necessaria per l'unicità incondizionata per la $k$-gKdV è che la non linearità risieda in $C^0_t L^1_x$ (il che corrisponde a $u \in C^0_t L^k_x$).
• Congettura 1.1: Basandosi sulla precisione del risultato per KdV e sulla rigidità della costruzione al di sotto della soglia, gli autori congetturano che l'equazione $k$-gKdV sia ben determinata localmente in modo incondizionato in $H^s(\mathbb{T})$ per tutti i $s \ge \frac{1}{2} - \frac{1}{k}$.

Estensioni
La metodologia si dimostra robusta e applicabile ad altre equazioni dispersive:

• gKdV Stazionaria: Gli autori estendono il risultato all'equazione stazionaria, dimostrando sia la rigidità (regolarità $L^k$ delle soluzioni) sia la flessibilità (non unicità al di sotto di $L^k$).
• Benjamin-Ono Generalizzata (gBO) e Altri Modelli Dispersivi: Lo schema è applicabile ad equazioni con operatori lineari $L$ il cui simbolo può essere diviso per $\partial_x$ con perdita polinomiale (ad esempio, gBO, modelli dispersivi di ordine superiore). Le stime dell'errore di dispersione sono spesso più semplici per questi operatori rispetto allo standard di dispersione KdV.

In sintesi, questo lavoro utilizza uno schema di integrazione convessa raffinato con blocchi costruttivi intermittenti e norme di Wiener pesate per costruire soluzioni non uniche per l'equazione gKdV periodica in classi di regolarità appena al di sotto della soglia in cui la non linearità diventa classicamente integrabile, identificando così un confine netto per l'unicità incondizionata.