Non-unique solutions to the periodic gKdV equation

Technische Samenvatting: Niet-unieke oplossingen voor de periodieke GKdV-vergelijking

Probleemstelling
Dit artikel behandelt de kwestie van onvoorwaardelijke uniciteit voor de $k$-gegeneraliseerde Korteweg-de Vries ($k$-gKdV) vergelijking op de torus $\mathbb{T}$:
$$\partial_t u + \partial_{xxx} u + \sigma \partial_x (u^k) = 0, \quad u(0, x) = u_0(x),$$
waarbij $k \ge 2$ en $\sigma \in \{\pm 1\}$. Hoewel er aanzienlijke vooruitgang is geboekt bij het vaststellen van welgedetermineerdheid (well-posedness) in Sobolev-ruimten $H^s(\mathbb{T})$ voor diverse $s$, blijft er een kritische kloof bestaan met betrekking tot het gedrag van oplossingen wanneer de niet-lineariteit $u^k$ niet integreerbaar is (d.w.z. wanneer $u \notin C^0_t L^k_x$).

In de klassieke distributieleer vereist de term $\partial_x(u^k)$ dat $u^k$ een distributie is, wat doorgaans noodzaktelijk maakt dat $u \in L^k$. Onder deze drempel is het product $u^k$ niet op de standaard wijze gedefinieerd. Eerdere werken, zoals die van Christ, hebben niet-uniciteit voor KdV ($k=2$) in $C^0_t H^s_x$ voor $s < 0$ aangetoond door een op mollificatie gebaseerde definitie van de niet-lineariteit te hanteren. De regulariteit van deze oplossingen is echter laag en de definitie van de oplossing is relatief zwak.

De centrale probleemstelling die hier wordt aangepakt, is of niet-uniciteit voortduurt in "bijna optimale" regulariteitsklassen—specifiek, net onder de Lebesgue-drempel $L^k_x$—en om een begrip van zwakke oplossingen te formuleren dat sterker is dan vorige definities, maar toch in staat is de singuliere niet-lineariteit aan te pakken.

Methodologie
De auteurs maken gebruik van een convex integratie-schema dat is aangepast aan de dispersieve setting van de gKdV-vergelijking. De constructie verloopt iteratief, waarbij een sequentie van gladde benaderende oplossingen $(u_q, E_q)$ wordt gegenereerd die een gerelaxeerde vergelijking oplossen:
$$\partial_t u_q + \partial_{xxx} u_q + \sigma \partial_x (u_q^k) = \partial_x E_q,$$
waarbij de foutterm $E_q$ naar nul wordt gedreven in een specifieke norm.

Belangrijke technische componenten zijn:

1. Intermitterende Bouwstenen: De perturbaties $w_{q+1}$ die in elke stap worden toegevoegd, worden geconstrueerd met behulp van "intermitterende platen" (Lemma 2.11). Dit zijn ruimtelijk sterk geconcentreerde profielen die $L^k$-genormaliseerd zijn maar klein zijn in subkritische $L^p$-normen ($p < k$). Deze intermittentie maakt het mogelijk dat de $k$-de macht van de perturbatie de bestaande fout compenseert, terwijl de lagere orde normen optelbaar blijven.
2. Frequentielokalisatie: De perturbaties zijn frequentielokalisert naar schalen $\lambda_{q+1}$ met specifieke intermittentie-parameters $\epsilon_{q+1}$. Dit zorgt ervoor dat de Sobolev-normen van de incrementen optelbaar zijn voor regulariteiten $\alpha < \frac{1}{2} - \frac{1}{k}$, terwijl voldoende $L^k$-sterkte behouden blijft om fouten te compenseren.
3. Gewogen Wiener-ruimten: Een novum in de methodologie is het gebruik van homogene gewogen Wiener-ruimten ($\dot{A}^s$) om fouten te meten. In plaats van uitsluitend te vertrouwen op Sobolev-normen, meten de auteurs de absolute optelbaarheid van de Fourier-coëfficiënten van de niet-lineaire termen. Dit maakt een nauwkeurige controle mogelijk over de "oscillatiefout" die wordt gegenereerd door de hoogfrequente perturbaties.
4. Foutdecompositie: De fout $E_{q+1}$ wordt gedecomposed in vier delen:
   • Oscillatiefout ($E_O$): Gecompenseerd door het gemiddelde van de $k$-de macht van de perturbatie.
   • Nash-fout ($E_N$): Voortkomend uit lagere-orde kruistermen, gecontroleerd door de kleinheid van de perturbatie in $L^p$ voor $p < k$.
   • Dispersiefout ($E_D$): Gecontroleerd door de $C^0_t L^1_x$-norm van de perturbatie.
   • Temporele fout ($E_T$): Gecontroleerd door de tijdsafgeleide van de primitievevenster van de perturbatie.

Belangrijkste Bijdragen en Definities
Het artikel introduceert een nieuw kader voor het interpreteren van de niet-lineariteit in regimes waar deze niet klassiek integreerbaar is:

• Definitie van Zwakke Singuliere Oplossingen (Definitie 1.3): Een oplossing $u$ wordt gedefinieerd als een "zwakke singuliere oplossing" indien de niet-lineariteit $P_{\neq 0}(u^k)$ (de modes met een niet-nul frequentie van $u^k$) wel gedefinieerd is als een element van $C^0_t \dot{H}^{-s}_x$ via absolute Fourier-optelbaarheid (Definitie 1.2). Specifiek moet de reeks $\sum_{\xi_1 + \dots + \xi_k \neq 0} |\hat{u}(\xi_1) \dots \hat{u}(\xi_k)| |\xi_1 + \dots + \xi_k|^{-s}$ convergeren.
• Vergelijking met Vorige Begrippen: De auteurs bewijzen (in de Appendix) dat dit begrip strikt sterker is dan:
  • Het "paraproduct"-begrip dat gebruikt werd in eerdere convex integratie-werken voor dispersieve vergelijkingen.
  • Het op mollificatie gebaseerde begrip van oplossingen van Christ.
    Bij consequent zijn de geconstrueerde oplossingen ook geldig binnen deze bredere kaders.

Hoofdresultaten
Het primaire resultaat is Stelling 1.4, die de existentie van niet-triviale zwakke singuliere oplossingen met identiek nul initiële data ($u(0, x) = 0$) vaststelt in de volgende regulariteitsklassen:

1. Voor $k=2$ (KdV): Er bestaat een niet-nul oplossing $u \in \bigcap_{\epsilon > 0} C^0_t L^{2-\epsilon}_x([0, 1] \times \mathbb{T})$. Dit resultaat is scherp in de Lebesgue-schaal, aangezien onvoorwaardelijke uniciteit bekend is in $C^0_t L^2_x$ (verwijzend naar Babin-Ilyin-Titi [2]).
2. Voor $k \ge 3$: Er bestaat een niet-nul oplossing $u \in \bigcap_{\epsilon > 0} C^0_t H^{\frac{1}{2} - \frac{1}{k} - \epsilon}_x([0, 1] \times \mathbb{T})$. Dit bereikt de Sobolev-endpoint-minus schaal die overeenkomt met de Lebesgue-drempel $L^k_x$.

Daarnaast merkt Opmerking 1.5 op dat voor $k=2$, de oplossing verfijnd kan worden zodat deze in $\bigcap_{\epsilon > 0} C^0_t B^{-s}_{\infty, \infty, x}$ ligt, waardoor deze zowel "bijna continu" als "bijna kwadratisch integreerbaar" is.

Betekenis en Conjecturen
Het artikel voert aan dat het falen van het convex integratie-schema om te sluiten wanneer de niet-lineariteit in $C^0_t L^1_x$ ligt (d.w.z. wanneer $u \in C^0_t L^k_x$), wijst op een fundamentele drempel voor uniciteit.

• Noodzakelijke Voorwaarde: Het resultaat impliceert dat een noodzakelijke voorwaarde voor onvoorwaardelijke uniciteit voor $k$-gKdV is dat de niet-lineariteit in $C^0_t L^1_x$ ligt (wat overeenkomt met $u \in C^0_t L^k_x$).
• Conjectuur 1.1: Gebaseerd op de scherpte van het KdV-resultaat en de rigiditeit van de constructie onder de drempel, vermoeden de auteurs dat de $k$-gKdV-vergelijking onvoorwaardelijk lokaal welgedetermineerd is in $H^s(\mathbb{T})$ voor alle $s \ge \frac{1}{2} - \frac{1}{k}$.

Extensies
De methodologie wordt getoond als robuust en toepasbaar op andere dispersieve vergelijkingen:

• Stationaire gKdV: De auteurs breiden het resultaat uit naar de stationaire vergelijking, waarbij ze zowel rigiditeit (gladheid van $L^k$-oplossingen) als flexibiliteit (niet-uniciteit onder $L^k$) bewijzen.
• Gegeneraliseerde Benjamin-Ono (gBO) en Andere Dispersieve Modellen: Het schema is toepasbaar op vergelijkingen met lineaire operatoren $L$ waarbij het symbool gedeeld kan worden door $\partial_x$ met een polynomiaal verlies (bijv. gBO, hogere-orde dispersieve modellen). De dispersiefout-schattingen zijn voor deze operatoren vaak eenvoudiger dan voor de standaard KdV-dispersie.

Samenvattend gebruikt dit werk een verfijnd convex integratie-schema met intermitterende bouwstenen en gewogen Wiener-normen om niet-unieke oplossingen voor de periodieke gKdV-vergelijking te construeren in regulariteitsklassen die net onder de drempel liggen waar de niet-lineariteit klassiek integreerbaar wordt, waarmee een scherpe grens voor onvoorwaardelijke uniciteit wordt geïdentificeerd.