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

1. Probleemstelling en Motivatie

Het artikel onderzoekt de regulariteit van zwakke oplossingen van de stationaire Korteweg-de Vries (KdV) vergelijking op de eenheidstorus $\mathbb{T}$:
$$6uu' - u^{(3)} = 0$$
waarbij $u: \mathbb{T} \to \mathbb{R}$.

De centrale vraag is of er niet-triviale zwakke oplossingen bestaan in ruimtes met lage regulariteit, specifiek in $L^p(\mathbb{T})$ voor $p < 2$.

• Achtergrond: Voor de tijdsafhankelijke KdV-vergelijking is er veel onderzoek gedaan naar goed- en slechtgestelde problemen in Sobolev-ruimtes $H^{-s}$. Er is bekend dat er oplossingen bestaan met lage regulariteit (bijv. Christ's constructie van oplossingen met nul beginwaarde).
• Het gat: Voor de stationaire KdV-vergelijking was de situatie van lage regulariteit oplossingen tot nu toe onontgonnen.
• De uitdaging: De klassieke definitie van een zwakke oplossing vereist dat de niet-lineariteit $u^2$ goed gedefinieerd is. Als $u \in L^p$ met $p < 2$, dan ligt $u$ niet noodzakelijk in $L^2$, waardoor het product $u^2$ als distributie niet direct gedefinieerd kan worden via standaard convolutie. Bovendien zou een oplossing in $L^2$ volgens bestaande resultaten automatisch glad ($C^\infty$) zijn, wat de constructie van "slechte" oplossingen in $L^2$ onmogelijk maakt.

2. Methodologie: Convex Integratie en Paraproducten

De auteur gebruikt een convex integratie-schema, een techniek die oorspronkelijk werd ontwikkeld voor vloeistofvergelijkingen (Navier-Stokes) door De Lellis en Székelyhidi, maar die hier voor het eerst succesvol wordt toegepast op een dispersieve vergelijking (KdV).

A. Definitie van Zwakke Oplossingen (Paraproducten)

Om de definitie van een oplossing uit te breiden naar $u \in L^p$ met $p < 2$, introduceert de auteur een verzwakte definitie gebaseerd op paraproducten (geïnspireerd door werk aan stationaire Navier-Stokes):

• In plaats van het volledige product $u^2$ te eisen, wordt alleen het "mean-free" paraproduct $P_{\neq 0}(u^2)$ gedefinieerd.
• Een functie $u \in \dot{H}^s$ (met $s < 0$) is een zwakke paraproduct-oplossing als er een $s'$ bestaat zodat $P_{\neq 0}(u^2)$ goed gedefinieerd is in $\dot{H}^{s'}$ en de vergelijking in distributieve zin geldt voor testfuncties.

B. Het Convex Integratie Schema

Het doel is om een rij van benaderingen $(u_q, E_q)$ te construeren die convergeert naar een limietoplossing $u$, waarbij $E_q$ een foutterm is die naar nul gaat.
De iteratie is: $u_{q+1} = u_q + w_{q+1}$.
De foutvergelijking wordt opgesplitst in drie componenten:

1. Oscillatiefout ($E_O$): Komt voort uit de kwadratische term $3w_{q+1}^2$.
2. Nash-fout ($E_N$): Komt voort uit de kruisterm $6w_{q+1}u_q$.
3. Dispersiefout ($E_D$): Komt voort uit de lineaire dispersieterm $-w_{q+1}'''$.

Het kernprobleem en de oplossing:
In standaard convex integratie voor dispersieve vergelijkingen is de dispersiefout $E_D = -w_{q+1}'''$ problematisch. Als $w_{q+1}$ frequentie-geconcentreerd is op schaal $\lambda_{q+1}$, dan is $\|E_D\|_{L^p} \sim \lambda_{q+1}^2 \|w_{q+1}\|_{L^p}$. Om de fout klein te maken, moet $\|w_{q+1}\|_{L^p}$ extreem klein zijn. Echter, in 1D is de maximale "intermittency" (onderbreking) van een bouwsteen beperkt, waardoor de schatting $\|w_{q+1}\|_{L^p} \lesssim \lambda_{q+1}^{1/2 - 1/p}$ is. Dit leidt tot een totale fout van orde $\lambda_{q+1}^{2 + 1/2 - 1/p}$, wat nooit klein wordt voor $p \ge 1$.

De innovatie:
Pathak omzeilt dit probleem door de fout niet in een $L^p$- of $C^\alpha$-norm te meten, maar in een homogene Sobolev-norm met een negatieve regulariteitsindex ($\dot{H}^{-s}$ met $s$ groot).

• Door de fout in $\dot{H}^{-s}$ te schatten, wordt de afgeleide "gecompenseerd" door de negatieve regulariteit.
• De schatting wordt: $\|E_D\|_{\dot{H}^{-s}} \lesssim \|w_{q+1}\|_{\dot{H}^{-s+2}} \lesssim \|w_{q+1}\|_{L^1}$.
• Met behulp van intermittente bouwstenen (specifiek "intermittent slabs" $\rho_{\lambda, \epsilon}$) kan de $L^1$-norm klein gehouden worden terwijl de $L^2$-norm groot blijft. Dit maakt het mogelijk om de fout te reduceren terwijl de oplossing in $L^p$ ($p<2$) blijft.

3. Belangrijkste Resultaten

Het artikel presenteert een scherpe dichotomie (twee tegengestelde resultaten) voor de regulariteit van oplossingen:

Resultaat 1: Rigideit (Stijfheid) voor $p=2$

Stelling 1.3: Als $u \in L^2(\mathbb{T})$ een zwakke oplossing is van de stationaire KdV-vergelijking, dan is $u \in C^\infty(\mathbb{T})$.

• Redenering: Als $u \in L^2$, dan is $u^2 \in L^1$. De vergelijking impliceert $u'' - 3u^2 = C$, wat betekent dat $u \in W^{2,1}$. Via Sobolev-inbedding volgt $u \in C^1$, en door bootstrapping (herhaaldelijk toepassen van de vergelijking) volgt $u \in C^\infty$.
• Dit betekent dat er geen niet-gladde oplossingen bestaan in $L^2$.

Resultaat 2: Flexibiliteit voor $p < 2$

Stelling 1.4: Er bestaan niet-triviale zwakke oplossingen $u$ die behoren tot de ruimte:
$$\bigcap_{0<\epsilon<1} \left( \dot{B}^{-\epsilon}_{\infty,\infty}(\mathbb{T}) \cap L^{2-\epsilon}(\mathbb{T}) \right) \setminus L^2(\mathbb{T})$$

• Deze oplossingen zijn niet glad (ze liggen niet in $L^2$).
• Ze voldoen aan de vergelijking in de zin van de gedefinieerde paraproducten.
• De constructie levert een oneindig aantal oplossingen op die in willekeurige $L^p$-ruimtes met $p < 2$ liggen, maar niet in $L^2$.

4. Technische Details van de Constructie

• Intermittente Blokken: De auteur gebruikt een specifieke bouwsteen $\rho_{\lambda, \epsilon}$ die periodiek is met een zeer kleine periode ($\lambda^\epsilon$) en een grote amplitude. Dit creëert een functie die "intermittent" is: hij is groot op kleine intervallen en nul elders.
• Frequentie-locatie: De correcties $w_{q+1}$ worden geconstrueerd als producten van een amplitude $a_q$ (afhankelijk van de huidige fout $E_q$), het intermittente blok $\rho_{q+1}$, en een snelle oscillatie $\cos(2\pi \sigma_{q+1} x)$.
• Foutreductie:
  • De Oscillatiefout wordt gereduceerd door de snelle oscillatie en de eigenschappen van het paraproduct.
  • De Nash-fout wordt klein gemaakt omdat $w_{q+1}$ in $L^1$ klein is.
  • De Dispersiefout wordt klein gemaakt door de keuze van de negatieve Sobolev-norm, waardoor de afgeleiden geen extra "straf" opleveren voor de frequentie $\lambda_{q+1}$.
• Convergentie: De rij $u_q$ convergeert in $L^p$ voor $p < 2$ en in $\dot{B}^{-\epsilon}_{\infty,\infty}$, maar de $L^2$-norm blijft groot (divergent), wat garandeert dat de limiet $u$ niet in $L^2$ ligt.

5. Betekenis en Impact

1. Scherpe Drempel: Het artikel identificeert $L^2$ als de scherpe drempel voor regulariteit bij stationaire KdV. Boven deze drempel zijn oplossingen noodzakelijk glad; eronder bestaan er pathologische, niet-gladde oplossingen.
2. Toepassing van Convex Integratie op Dispersieve Vergelijkingen: Dit is een doorbraak. Eerder werd convex integratie als onmogelijk beschouwd voor dispersieve vergelijkingen zoals KdV vanwege de "dispersiefout" (verlies van afgeleiden). De auteur toont aan dat door de fout in een negatieve Sobolev-norm te meten, dit obstakel kan worden overwonnen.
3. Vergelijking met Navier-Stokes: De resultaten worden vergeleken met de 2D stationaire Navier-Stokes vergelijking. Waar bij Navier-Stokes $L^p$ met $p>2$ leidt tot trivialiteit ($u=0$), leidt bij KdV $L^2$ tot gladheid, maar $L^p$ met $p<2$ tot een rijke verzameling van niet-triviale, niet-gladde oplossingen.
4. Nieuwe Richting: Het werk opent de deur voor het bestuderen van lage-regulariteit fenomenen in andere integrabele en niet-integrabele dispersieve PDE's, en suggereert dat de interactie tussen integrabiliteit, dispersie en lage regulariteit complexer is dan eerder gedacht.

Kortom, het artikel bewijst dat de stationaire KdV-vergelijking, ondanks haar integrabele structuur, een rijke verzameling van "slechte" oplossingen toelaat zolang de regulariteit onder de $L^2$-drempel zakt, en biedt een nieuwe methodologische aanpak om dit te bewijzen.