Sharp non-explicit blow-up profile for perturbed nonlinear heat equations with gradient terms

Titel: Scherp niet-expliciet opblaasprofiel voor verstoord niet-lineaire warmtevergelijkingen met gradiënttermen

1. Probleemstelling

Het artikel onderzoekt het fenomeen van "blow-up" (opblazen) voor een klasse van oplossingen van een verstoord niet-lineaire warmtevergelijking met gradiënttermen in $\mathbb{R}^N$:
$$u_t = \Delta u + |u|^{p-1}u + h(u, \nabla u)$$
met beginwaarde $u_0 \in W^{1,\infty}(\mathbb{R}^N)$.

De vergelijking bevat een verstoringsfunctie $h(u, \nabla u)$ die voldoet aan bepaalde groeivoorwaarden (polynoomgroei met exponent $\gamma < p$). Het doel is om de asymptotische gedrag van oplossingen te analyseren die in een eindige tijd $T$ opblazen.

Kernvragen:

1. Is het opblaaspunt uniek (single-point blow-up)?
2. Kan een definitieve "final blow-up profile" $u^*(x)$ worden gedefinieerd voor $x \neq a$?
3. Kan de foutmarge in de huidige beschrijving van het opblaasprofiel worden verbeterd? Bestaande resultaten (zoals die van Ebde en Zaag) geven een profiel met een foutterm die schaalt met $1/\sqrt{|\log(T-t)|}$, wat als "traag" wordt beschouwd. De auteur wil een scherper profiel vinden dat schaalt met de snellere variabele $T-t$.

2. Methodologie

De auteur hanteert een geavanceerde analyse gebaseerd op self-simile variabelen en spectrale decompositie.

• Self-simile Variabelen: De vergelijking wordt getransformeerd naar variabelen $(y, s)$ waarbij $y = \frac{x-a}{\sqrt{T-t}}$ en $s = -\log(T-t)$. De oplossing wordt herschaald als $w(y,s) = (T-t)^{\frac{1}{p-1}}u(x,t)$. Dit transformeert de oorspronkelijke vergelijking in een parabolische vergelijking met een tijdsafhankelijke verstoringsterm.
• Linearisatie en Spectrale Analyse: De oplossing wordt geanalyseerd in de buurt van een bekend expliciet profiel $f(y/\sqrt{s})$. Het verschil $q = w - f$ wordt onderzocht. De lineaire operator $L = \Delta - \frac{y}{2}\cdot\nabla + 1$ speelt een centrale rol; zijn spectrum bestaat uit eigenwaarden $1 - n/2$.
• Krimpende Set (Shrinking Set): Er wordt een set $V_A(s)$ gedefinieerd waarin de oplossing $q$ moet blijven. Deze set controleert de grootte van de projecties van $q$ op de eigenfuncties van $L$ (Hermite-polynomen) en zorgt ervoor dat de oplossing naar nul convergeert op een specifieke snelheid.
• Vergelijking van twee oplossingen: Een cruciale stap is het vergelijken van twee oplossingen $u_1$ en $u_2$ (waarvan de ene verstoord is en de andere niet, of beide verstoord). Het verschil $g = w_1 - w_2$ wordt geanalyseerd om te bewijzen dat ze asymptotisch naar hetzelfde gedrag convergeren.
• Reguliereits- en Iteratiestappen: De bewijzen maken gebruik van parabolische regulariteitsestimates, de Duhamel-formule en iteratieve argumenten (geïnspireerd door Giga-Kohn en Zaag) om de invloed van de gradiëntterm $h(u, \nabla u)$ te controleren, vooral in de regio's dicht bij het opblaaspunt.

3. Belangrijkste Bijdragen en Resultaten

Resultaat 1: Uniekheid van het opblaaspunt en definitief profiel (Stelling 1)

• De auteur bewijst dat voor een brede klasse van oplossingen (die voldoen aan de krimpende-set conditie), het opblaaspunt $a$ uniek is. Er vinden geen andere opblaaspunten plaats.
• Er bestaat een definitieve limietfunctie $u^*(x) = \lim_{t \to T} u(x,t)$ voor alle $x \neq a$.
• De auteur geeft een schatting van het gedrag van $u^*(x)$ in de buurt van het opblaaspunt $a$:
  $$|u^*(x) - C |x-a|^{-\frac{2}{p-1}} |\log|x-a||^{\frac{1}{p-1}}| \leq C |x-a|^{-\frac{2}{p-1}} |\log|x-a||^{\frac{1}{p-1} - \frac{1}{4}}$$
  Dit verduidelijkt de singulariteit van de oplossing buiten het opblaaspunt.

Resultaat 2: Scherper niet-expliciet opblaasprofiel (Stelling 2)

• Dit is het belangrijkste technische doorbraak. In plaats van het expliciete profiel $f$ (dat een fout heeft van orde $1/\sqrt{|\log(T-t)|}$), toont de auteur aan dat de oplossing $u(x,t)$ asymptotisch convergeert naar een niet-expliciet profiel $\hat{u}$.
• $\hat{u}$ is de oplossing van de onverstoorde vergelijking ($h \equiv 0$) die opblaast op tijd $T=1$ in de oorsprong.
• De foutmarge wordt drastisch verbeterd. Voor de algemene dimensie geldt:
  $$|u(x,t) - \hat{u}(x-a, t-T+1)| \leq C \max\left( (T-t)^{-\frac{1}{p-1}}|\log(T-t)|^{-1}, |x-a|^{-\frac{2}{p-1}}|\log|x-a||^{\frac{1}{4} - \frac{1}{p-1}} \right)$$
• Specifiek voor dimensie $N=1$: De schatting is nog scherper en bevat termen die afhangen van de exponent $\nu = \frac{p-\gamma_0}{p-1}$, waarbij $\gamma_0$ gerelateerd is aan de groeicijfers van de verstoring $h$. Dit toont aan dat de gradiënttermen op lange termijn een verwaarloosbaar effect hebben op de vorm van het opblaasprofiel, zolang ze binnen de gegeven grenzen blijven.

4. Significatie en Impact

• Overcoming the "Slow Variable" Limit: Eerdere werken (zoals [EZ11] en [Zaa02]) stuitten op een muur omdat fouten in de "trage" variabele $1/|\log(T-t)|$ zaten. Door te switchen naar een niet-expliciet profiel (oplossing van de onverstoarde vergelijking), slaagt de auteur erin om de fout te reduceren naar de "snelle" variabele $T-t$. Dit is een fundamentele verbetering in de precisie van de asymptotische analyse.
• Robuustheid tegen Verstoringen: Het bewijs toont aan dat de complexe dynamica van het opblaasprofiel robuust is ten opzichte van niet-lineaire gradiënttermen, mits deze subkritisch zijn. De structuur van het opblaasprofiel wordt gedicteerd door de zuivere niet-lineaire bronterm, niet door de verstoring.
• Technische Innovatie: De methode combineert spectrale analyse met nieuwe parabolische regulariteitsestimates om de gradiënttermen te beheersen. Dit biedt een blauwdruk voor het analyseren van andere verstoord niet-lineaire parabolische vergelijkingen.

Conclusie:
Het artikel levert een definitief antwoord op de open vragen rondom de uniciteit van het opblaaspunt en de definitie van het eindprofiel voor deze klasse vergelijkingen. Het introduceert een nieuw, scherpere beschrijving van het opblaasgedrag door gebruik te maken van een niet-expliciet referentiepunt, wat de nauwkeurigheid van de theoretische voorspellingen aanzienlijk verhoogt.