Nonexistence of Hölder continuous solution for the Camassa-Holm equation in Besov spaces

Titel en Context

Titel: Nonexistence van Hölder-continuïteit voor de oplossing van de Camassa-Holm-vergelijking in Besov-ruimten.
Auteurs: Y. Yu, J. Li, W. Zhu.
Onderwerp: De analyse van de tijd-regulariteit van oplossingen voor de klassieke Camassa-Holm (CH) vergelijking binnen de context van Besov-ruimten ($B^s_{p,r}$).

---

1. Het Probleem

De Camassa-Holm (CH) vergelijking, een niet-lineaire hyperbolische partiële differentiaalvergelijking die golfbreking en piek-solitonoplossingen (peakons) beschrijft, is uitgebreid bestudeerd op het gebied van goed-geplaatstheid (well-posedness).

• Bestaande kennis: Het is bekend dat voor initiële data $u_0 \in B^s_{p,r}$ met $s > \max\{1+1/p, 3/2\}$ (of randgevallen), er een unieke oplossing bestaat die continu is in de tijd met waarden in $B^s_{p,r}$, d.w.z. $u \in C([0, T]; B^s_{p,r})$.
• De open vraag: De auteurs stellen de volgende fundamentele vraag: Kan deze continuïteit worden verbeterd tot Hölder-continuïteit in de tijd? Met andere woorden, geldt er voor een zekere $\alpha \in (0, 1)$ dat $u \in C^\alpha([0, T]; B^s_{p,r})$?
• Doel: Bewijzen dat dit niet het geval is. De oplossing is continu, maar niet Hölder-continu in de tijd, zelfs niet voor willekeurig kleine $\alpha$.

---

2. Methodologie

De auteurs hanteren een constructieve aanpak om de afwezigheid van Hölder-continuïteit aan te tonen. De methode omvat de volgende stappen:

A. Constructie van Specifiek Initieel Data

In plaats van te werken met willekeurige data, construeren de auteurs een specifieke rij van initiële functies $u_0$ die gebaseerd is op een som van gediscretiseerde golven met hoge frequentie:
$$u_0(x) := \sum_{n=3}^{\infty} n^{-2} 2^{-ns} \phi(x) \cos\left(\frac{17}{12} 2^n x\right)$$
waarbij $\phi$ een gladde, compacte ondersteunde functie is. Deze constructie zorgt ervoor dat de $n$-de Littlewood-Paley blok $\Delta_n u_0$ dominant is, terwijl de totale norm in $B^s_{p,r}$ begrensd blijft.

B. Foutanalyse en Taylor-ontwikkeling

De oplossing $S_t(u_0)$ wordt geanalyseerd rond $t=0$ door gebruik te maken van de Newton-Leibniz-formule en een Taylor-ontwikkeling:
$$S_t(u_0) - u_0 = t \cdot \tilde{e}_{u_0} + w(t)$$
waarbij:

• $\tilde{e}_{u_0} = P(u_0) - u_0 \partial_x u_0$ de initiële snelheid is (de rechterkant van de transportvergelijking).
• $w(t)$ de restterm is.

De auteurs bewijzen schattingen voor de restterm $w(t)$ in lagere reguliere ruimten:

• Voor $s > \max\{1+1/p, 3/2\}$: $\|w\|_{B^{s-2}_{p,r}} \lesssim t^2$.
• Voor $1+1/p < s \leq 3/2$: $\|w\|_{B^0_{p,r}} \lesssim t^s$.

C. Schatting van de Commutator en Lineaire Termen

Het kernargument ligt in het analyseren van de term $t \cdot \tilde{e}_{u_0}$. De auteurs tonen aan dat de term $u_0 \partial_x \Delta_n u_0$ (die voortkomt uit de niet-lineariteit) een grootte heeft van orde $n^{-2} 2^{n(1-s)}$ in de $L^p$-norm.
Door gebruik te maken van commutatorschattingen (Lemma 2.4) en Bony's decompositie, tonen ze aan dat de dominante term in de fout $S_t(u_0) - u_0$ lineair in $t$ is, maar met een coefficient die exponentieel groeit met de frequentie $n$.

D. Het Limietargument

Om de niet-Hölder-continuïteit te bewijzen, kiezen ze een tijdschaal $t_n$ die afhankelijk is van $n$ (bijvoorbeeld $t_n \sim n^3 2^{-n}$). Ze analyseren de limiet:
$$\limsup_{t \to 0^+} \frac{\|S_t(u_0) - u_0\|_{B^s_{p,r}}}{t^\alpha}$$
Door de specifieke keuze van $u_0$ en $t_n$, laten ze zien dat deze uitdrukking naar oneindig gaat voor elke $\alpha \in (0, 1)$.

---

3. Belangrijkste Resultaten

Hoofdstelling (Theorem 1.1)

Voor parameters $(s, p, r)$ die voldoen aan de voorwaarden voor lokale goed-geplaatstheid ($s > 1+1/p$ of $s=1+1/p, r=1$), bestaat er een initiële data $u_0 \in B^s_{p,r}$ zodanig dat de oplossing niet Hölder-continu is in de tijd.
Formeel:
$$\limsup_{t \to 0^+} \frac{\|S_t(u_0) - u_0\|_{B^s_{p,r}}}{t^\alpha} = +\infty \quad \text{voor elke } \alpha \in (0, 1).$$
Dit betekent dat de oplossingmap $u_0 \mapsto S_t(u_0)$ wel continu is, maar niet met een Hölder-modulus van continuïteit.

Corollary 1.1 (Ill-posedness in $B^s_{p,\infty}$)

Als bijproduct bewijzen de auteurs de slecht-geplaatstheid (ill-posedness) van de CH-vergelijking in de ruimte $B^s_{p,\infty}$ voor $s > 1+1/p$. Ze tonen aan dat de oplossingmap discontinu is bij $t=0$ in de metriek van deze ruimte:
$$\limsup_{t \to 0^+} \|S_t(u_0) - u_0\|_{B^s_{p,\infty}} \geq \varepsilon_0 > 0.$$
Dit resulteert in een uitbreiding van eerdere resultaten (zoals die van Danchin en Guo et al.) naar een breder scala aan reguliere parameters, inclusief het geval $1+1/p < s \leq 3/2$.

---

4. Bijdrage en Significatie

1. Eerste resultaat over tijd-regulariteit: Dit is, voor zover bekend, het eerste werk dat specifiek de mislukking van Hölder-continuïteit in de tijd voor de klassieke CH-vergelijking adresseert. Het vult een gat in de literatuur over de fijnere structuur van de oplossingmap.
2. Verfijning van Ill-posedness: De resultaten tonen aan dat zelfs in ruimten waar de oplossingmap continu is (voor $r < \infty$), de continuïteit "zwak" is (niet Hölder). Voor $r=\infty$ is de map zelfs discontinu.
3. Uitbreiding van het parameterbereik: De auteurs behandelen succesvol het kritieke geval $1+1/p < s \leq 3/2$, wat eerder moeilijk te analyseren was door de beperkingen van eerdere methoden (zoals norm-inflatie alleen bij $s=1+1/p$).
4. Algemeenheid: De resultaten zijn niet beperkt tot de CH-vergelijking op de reële lijn; ze gelden ook voor het torus-geval en voor verwante vergelijkingen zoals de $b$-familie en de Novikov-vergelijking.

Conclusie

Het artikel demonstreert dat de tijd-continuïteit van oplossingen voor de Camassa-Holm-vergelijking in Besov-ruimten fundamenteel beperkt is tot gewone continuïteit ($C^0$) en niet kan worden verbeterd tot Hölder-continuïteit ($C^\alpha$). Dit onderstreept de complexe en "ruwe" aard van de dynamiek van deze vergelijking, zelfs binnen ruimten waar de oplossing uniek en continu is.