Construction of two-bubble blow-up solutions for the mass-critical gKdV equations

1. Probleemstelling en Context

Het artikel onderzoekt de dynamica van de massa-kritische veralgemeende Korteweg-de Vries (gKdV) vergelijking:
$$\partial_t u + \partial_x (\partial_x^2 u + u^5) = 0, \quad (t, x) \in [0, \infty) \times \mathbb{R}.$$
De vergelijking behoudt de massa $M(u) = \int u^2 dx$ en energie $E(u)$. De vergelijking is "massa-kritiek" omdat de schaaltransformatie $u_\lambda(t,x) = \lambda^{1/2}u(\lambda^3 t, \lambda x)$ de $L^2$-norm invariant houdt.

Achtergrond:

• Voor subkritische massa ($\|u_0\|_{L^2} < \|Q\|_{L^2}$) bestaan er globale oplossingen.
• Voor superkritische massa is "blow-up" (singulariteitsvorming) mogelijk. Eerdere werken (Martel, Merle, Raphaël, Combet) hebben de dynamica rond solitons (solitaire golven) en eindtijd-blow-up bestudeerd.
• Er zijn reeds eindtijd-blow-up oplossingen met meerdere "bellen" (bubbles) geconstrueerd, maar deze vertonen vaak zwakke interacties.
• Het specifieke probleem: Het construeren van een globale oplossing die in onbeperkte tijd (infinite time) blow-up vertoont, waarbij de oplossing asymptotisch opgaat in de som van twee solitons met tegengestelde tekens die sterk met elkaar interageren.

2. Methodologie

De auteurs gebruiken een verfijde perturbatiebenadering rond een geschatte twee-bubble oplossing. De aanpak omvat de volgende stappen:

A. Modulatie en Geometrische Parameters:
De oplossing wordt ontbonden in een hoofdterm (de som van twee solitons) en een restterm $\varepsilon$. De geometrische parameters die de schaal ($\lambda$), positie ($x_1$), afstand tussen de bellen ($z$), en het verschil in schaal ($\mu$) beschrijven, worden dynamisch aangepast via modulatievergelijkingen.
De schaalvariabelen worden omgezet naar:
$$ds = \frac{dt}{\lambda^3(t)}, \quad y = \frac{x - x_1(t)}{\lambda(t)}.$$

B. Constructie van een Geschatte Oplossing (Approximate Solution):
Dit is het kernpunt van de moeilijkheid. In tegenstelling tot eerdere werken (zoals voor de NLS-vergelijking), vereist de gKdV-vergelijking een zeer verfijde benadering vanwege:

1. Lineaire groei: De blow-up-profielen groeien lineair aan één kant van de reële as, wat leidt tot complexe interacties.
2. Niet-gelocaliseerde profielen: De auteurs introduceren extra functies ($X, A, B, E, F$) die niet lokaal zijn (ze vallen niet exponentieel af aan beide kanten). Deze zijn nodig om de interacties tussen de solitons en de "staart" van de oplossing correct te modelleren.
3. De parameter $\mu$: Het verschil in schaal tussen de twee bellen introduceert een extra parameter die als leidende term optreedt in de ODE-systeem voor de afstand $z$. Dit is fundamenteel anders dan bij de NLS-vergelijking.

De geschatte oplossing $V$ heeft de vorm:
$$V = Q_1 - Q_2 + b_1 X_1 \phi - b_2 X_2 \phi + e^{-z}(A_1 + B_2)\phi + \dots$$
waarbij $Q_1, Q_2$ de solitons zijn en de andere termen de interactiecorrecties voorstellen.

C. Energie-Functionaal en Monotonie:
Om de restterm $\varepsilon$ te controleren, construeren de auteurs een aangepast energie-functionaal $F(s, \varepsilon)$.

• Dit functionaal bevat een glocaliseerde variant van de massa en energie.
• Het heeft een monotonie-eigenschap (afnemend in de tijd) die essentieel is om de stabiliteit van de oplossing te bewijzen.
• Een specifiek probleem is dat de schaalterm gerelateerd aan $\mu$ geen gunstig teken heeft. Dit wordt opgelost door een lokaal verfijnd term toe te voegen aan het energie-functionaal, geïnspireerd door eerdere werken van Martel en Raphaël.

D. Topologische Argumenten:
Om het bestaan van een oplossing met de gewenste asymptotische gedrag te bewijzen, gebruiken de auteurs een topologische methode (Brouwer's vastpuntsstelling/No-retraction theorema). Ze kiezen einddata op een tijdstip $T_n$ en tonen aan dat er een specifieke keuze van parameters bestaat die de oplossing terugbrengt naar de gewenste "buik" van de oplossing voor $t \to \infty$.

3. Belangrijkste Resultaten

Hoofdstelling (Theorem 1.1):
Er bestaat een globale oplossing $u \in C([0, \infty); H^1)$ van de gKdV-vergelijking die asymptotisch opgaat in de som van twee bellen met tegengestelde tekens:
$$\lim_{t \to \infty} \left\| u(t) - \frac{1}{\lambda^{1/2}(t)} \sum_{n=1,2} (-1)^{n+1} Q\left(\frac{\cdot - x_n(t)}{\lambda(t)}\right) \right\|_{H^1} = 0.$$

Asymptotisch Gedrag:
De parameters gedragen zich als volgt voor $t \to \infty$:

• Afstand tussen bellen: $x_2(t) - x_1(t) \sim (2 + o(1)) \log^{5/6} t$.
• Schaalparameter: $\lambda(t) \sim (1 + o(1)) (\log^{1/6} t)^{-1}$.
• Blow-up-snelheid: De $H^1$-norm van de afgeleide groeit als:
  $$\|\partial_x u(t)\|_{L^2} \sim (2 + o(1)) \|Q'\|_{L^2} \log^{1/3} t.$$

Interactie:
De oplossing vertoont sterke interactie. De dynamica van elke bubbel wordt op de hoofdordening verstoord door de aanwezigheid van de andere bubbel. Dit staat in contrast met "zwakke interacties" waar de solitons zich onafhankelijk gedragen.

4. Technische Uitdagingen en Oplossingen

1. Het ODE-systeem: De parameters $(z, \mu, b_1, b_2)$ voldoen aan een gekoppeld ODE-systeem. De auteurs tonen aan dat $\mu$ (het schaalverschil) van dezelfde orde is als $b_1 z$. Dit leidt tot een structuur die fundamenteel verschilt van die van de NLS-vergelijking, wat resulteert in een andere blow-up-snelheid ($\log^{1/3} t$ in plaats van de NLS-snelheid).
2. Niet-gelocaliseerde profielen: De noodzaak om profielen te gebruiken die lineair groeien (zoals $A$ en $B$) vereist een nauwkeurige analyse van de interactie tussen deze profielen en de solitons. De auteurs bewijzen specifieke lemmata (o.a. Lemma 2.7, 2.14) om deze interacties te kwantificeren.
3. Signatuur van de interactie: De constructie is alleen mogelijk voor bellen met tegengestelde tekens ($+Q$ en $-Q$). Voor bellen met hetzelfde teken is het bijbehorende ODE-systeem niet oplosbaar in deze context.

5. Betekenis en Bijdrage

• Eerste voorbeeld: Dit is het eerste voorbeeld van een infinite-time blow-up oplossing voor de gKdV-vergelijking die voortkomt uit de sterke interactie van twee bellen.
• Vergelijking met NLS: Het werk vult een gat in de theorie door de analogie met de 2D massakritische NLS-vergelijking (Martel-Raphaël [39]) te trekken, maar toont aan dat de gKdV-vergelijking door zijn structuur (lineaire groei, extra parameter $\mu$) unieke dynamische eigenschappen heeft.
• Verfijning van de theorie: De paper levert een diepgaande analyse van de interactie tussen solitons en niet-gelocaliseerde profielen, wat essentieel is voor het begrijpen van complexe multi-soliton dynamica in kritieke dispersieve vergelijkingen.
• Blow-up-snelheid: Het onthult een nieuwe klasse van blow-up-snelheden die logaritmisch zijn, wat verschilt van de bekende eindtijd-blow-up snelheden of de exponentiële groei in andere contexten.

Kortom, dit artikel is een fundamentele bijdrage aan de niet-lineaire analyse van partiële differentiaalvergelijkingen, die de complexiteit van multi-soliton interacties in kritieke systemen blootlegt en nieuwe methoden voor de constructie van exotische oplossingen introduceert.