Sharp Lifespan Estimates and Fujita Phenomena for Fractional Hardy-Hénon Type Parabolic Equations

Technische Samenvatting: Scherpe Levensduurindicaties en Fujita-fenomenen voor Fractale Hardy–Hénon-type Parabolische Vergelijkingen

Probleemstelling
Het artikel onderzoekt het Cauchy-probleem voor de fractale semilineaire parabolische vergelijking met een Hardy–Hénon-type gewicht:
$$\begin{cases} u_t + (-\Delta)^s u = |x|^{-\gamma} |u|^p, & (t, x) \in (0, \infty) \times \mathbb{R}^N, \\ u(0, x) = \varepsilon u_0(x), & x \in \mathbb{R}^N, \end{cases}$$
waarbij $0 < s < 1$, $0 \leq \gamma < \min(2s, N)$, $p > 1$, en de initiële data $u_0 \in L^1(\mathbb{R}^N) \cap L^\infty(\mathbb{R}^N)$ voldoet aan $\int_{\mathbb{R}^N} u_0 \, dx > 0$. De parameter $\varepsilon > 0$ is klein. Het primaire doel is om de levensduur $T_\varepsilon$ (de maximale existentietijd) van milde oplossingen te bepalen en het blow-up gedrag te karakteriseren, specifiek door de kritieke Fujita-exponent te identificeren en scherpe levensduurindicaties vast te stellen in subkritieke, kritieke en superkritieke regimes.

Methodologie
De auteurs maken gebruik van een combinatie van semigroeptheorie, heat-kernel-schattingen en verfijnde testfunctie-methoden aangepast voor niet-lokale operatoren.

1. Ondergrenzen (Bootstrap-argument):

   • Het ondergrens op de levensduur wordt afgeleid via een bootstrap-argument gebaseerd op een hulpfunctie $M(t)$, die de $L^1$- en gewogen $L^\infty$-normen combineert.
   • Een cruciaal instrument is een gewogen interpolatie-ongelijkheid (Lemma 2.2) die de niet-lineaire term $\||x|^{-\gamma}|u|^p\|_{L^1}$ controleert door te interpoleren tussen $L^1$- en $L^\infty$-normen.
   • Het bewijs maakt gebruik van scherpe $L^p$–$L^q$ smoothing-schattingen van de fractale hitte-semigroep $\{e^{-t(-\Delta)^s}\}$ en de specifieke verval eigenschappen van de fractale hitte-kernel $G_s(t, x)$.

2. Bovengrenzen (Testfunctie-methode):

   • De bovengrens wordt vastgesteld door de vergelijking te testen tegen de achterwaartse fractale hitte-kernel $G_s(b-t, \cdot)$.
   • Cruciaal is dat deze aanpak geen gebruik maakt van compact ondersteunde afkapfuncties (cutoff functions), die incompatibel zijn met het niet-lokale karakter van $(-\Delta)^s$ (omdat de operator van een compact ondersteunde functie nooit compact ondersteund is).
   • Door een globaal gedefinieerde, polynomiaal vervallende testfunctie te gebruiken, vallen de lineaire termen identiek weg vanwege de zelf-adjointheid van $(-\Delta)^s$. Dit reduceert het probleem tot een scalaire differentiële ongelijkheid voor de functionaal $g_b(t) = \int u(x,t) G_s(b-t, x) \, dx$.
   • Voor het kritieke geval ($p = p_F$) gebruiken de auteurs een schaal-superpositie techniek (integreren over een dyadische band van schalen) om het logaritmische levensduurgedrag te herstellen.

3. Blow-Up Rate en Profielen:

   • De blow-up rate wordt geanalyseerd met behulp van een niet-lokale maximumprincipe-ongelijkheid en schalingargumenten.
   • Het asymptotische gedrag wordt bestudeerd via zelf-similaire variabelen, wat leidt tot een stationair probleem met een fractale Laplaciaan en een Ornstein–Uhlenbeck driftterm.

Belangrijkste Bijdragen en Resultaten

1. Scherpe Levensduurindicaties (Theorem 1.1):
   Het artikel stelt de precieze levensduur $T_\varepsilon$ vast voor kleine $\varepsilon$:

   • Subkritiek ($1 < p < p_F$): $T_\varepsilon \approx \varepsilon^{-1/\beta}$, waarbij $\beta = \frac{(2s-\gamma) - N(p-1)}{2s(p-1)}$.
   • Kritiek ($p = p_F$): $T_\varepsilon \approx \exp(C \varepsilon^{-(p-1)})$.
   • Superkritiek ($p > p_F$): $T_\varepsilon = +\infty$ (globale existentie).
     Hierbij is de kritieke Fujita-exponent geïdentificeerd als $p_F = 1 + \frac{2s-\gamma}{N}$. De exponent $\beta$ wordt als scherp aangetoond.

2. Grote-Data Levensduur (Theorem 6.1):
   Voor initiële data zonder verval ($u_0 \geq c_0 > 0$), wordt een andere levensduurwet afgeleid: $T_\varepsilon \approx \varepsilon^{-\frac{2s(p-1)}{2s-\gamma}}$. Dit contrasteert met het regime van kleine data, wat de afhankelijkheid van de levensduur van het ruimtelijke verval van de initiële data benadrukt.

3. Blow-Up Rates (Theorem 7.1):

   • Universele Ondergrens: Onvoorwaardelijk voldoet elke blow-up niet-negatieve oplossing aan $N(t) \geq C(T-t)^{-\vartheta}$, waarbij $\vartheta = \frac{2s-\gamma}{2s(p-1)}$. Dit is de zelf-similaire rate.
   • Interne Ondergrens: Als de blow-up optreedt buiten de oorsprong ($|x| \geq \delta$), verbetert de rate naar de ODE-rate $N(t) \geq C(T-t)^{-1/(p-1)}$.
   • Conditionele Bovengrens: Een Type-I bovengrens $N(t) \leq C(T-t)^{-\vartheta}$ geldt, mits de oplossing een specifieke a priori zelf-similaire grens voldoet. Deze conditie is gekoppeld aan de exclusie van Type-II blow-up.

4. Asymptotische Profielen (Theorem 8.1):
   Onder de aanname van een Type-I grens convergeert de oplossing (langs een subreeks) naar een begrensde distributionele oplossing van de stationaire vergelijking:
   $$(-\Delta)^s V + \frac{1}{2s} y \cdot \nabla V + \vartheta V = |y|^{-\gamma} V^p.$$
   De uniciteit van dit profiel is voorwaardelijk op een Liouville-type classificatie voor deze stationaire vergelijking, waarvan de auteurs opmerken dat deze momenteel slechts gedeeltelijk begrepen wordt.

Betekenis en Claims
De auteurs beweren dat deze resultaten nieuw zijn, zelfs voor het geval $\gamma = 0$ (de fractale Fujita-vergelijking), en bieden de eerste scherpe tweezijdige levensduurindicaties voor de fractale Lee–Ni exponent in deze context.

• Correctie van Schalingsintuïtie: Het artikel weerlegt expliciet de "natuurlijke gok" dat de kritieke exponent of de levensduur-rate simpelweg verkregen kan worden door $2s$ te vervangen door $2s-\gamma$ in klassieke formules. De auteurs demonstreren dat het Hardy-gewicht de integreerbaarheid van de niet-lineariteit additief beïnvloedt (via de interpolatie-ongelijkheid), wat leidt tot de specifieke additieve correctie in de exponent $\beta$, in plaats van een multiplicatieve modificatie van de diffusieparameter.
• Methodologische Innovatie: Het gebruik van de achterwaartse fractale hitte-kernel als testfunctie wordt benadrukt als een significante vooruitgang. Dit omzeilt de beperkingen van de klassieke testfunctie-methode (die steunt op compact ondersteuning) bij het werken met niet-lokale operatoren, waardoor een verenigde behandeling van de bovengrenzen mogelijk is zonder kunstmatige afkappingen.
• Regime-onderscheid: Het werk verheldert de dichotomie tussen blow-up bij de oorsprong (gestuurd door het gesingulariseerde gewicht en de tragere zelf-similaire rate $\vartheta$) en blow-up in het binnenste gebied (gestuurd door de lokale ODE-dynamica en de snellere rate $1/(p-1)$).

Het artikel concludeert door op te merken dat hoewel de ondergrenzen en levensduurindicaties onvoorwaardelijk zijn, de overeenkomstige bovengrenzen en de uniciteit van het blow-up profiel voorwaardelijk blijven op een fractale Liouville-classificatie voor de bijbehorende stationaire vergelijking, wat wordt geïdentificeerd als een openstaand probleem.