Fujita Phenomenon for a Mixed Local-Nonlocal Hardy-Hénon Equation with Regularly Varying Time Weights

1. Probleemstelling

De auteurs onderzoeken het Cauchy-probleem voor een semilineaire parabolische vergelijking die wordt gedreven door een gemengde lokale-nietlokale diffusie-operator met een Hardy-Hénon-nietlineariteit en een tijdsafhankelijke dwangterm. De vergelijking is gegeven door:

$$\begin{cases} \partial_t u - (\Delta - (-\Delta)^s)u = h(t)|x|^{-b}|u|^p + t^\varrho w(x), & (x, t) \in \mathbb{R}^N \times (0, \infty), \\ u(x, 0) = u_0(x), & x \in \mathbb{R}^N, \end{cases}$$

Belangrijkste Parameters en Componenten:

• Operator: $L = \Delta - (-\Delta)^s$, waarbij $\Delta$ de klassieke Laplaciaan is (lokale diffusie) en $(-\Delta)^s$ ($s \in (0,1)$) de fractionele Laplaciaan is (nietlokale diffusie). Dit modelleert de competitie tussen kortafstands- en langafstandsinteracties.
• Nietlineariteit: $|x|^{-b}|u|^p$ met $b \ge 0$ en $p > 1$. De term $|x|^{-b}$ introduceert een ruimtelijke singulariteit (Hardy-potentiaal).
• Tijdsafhankelijke Coëfficiënt: $h(t)$ behoort tot de gegeneraliseerde klasse $M(\gamma)$ van functies met een logaritmische groeisnelheid $\gamma > -1$. Deze klasse breidt de klassiek regelmatig variërende functies uit om oscillatoire en niet-regelmatige gedragingen te omvatten (bijvoorbeeld $t^\gamma \sin(\log t)$).
• Dwangterm: $t^\varrho w(x)$ met $\varrho > -1$ en een voorgeschreven ruimtelijke bron $w(x)$.

De studie richt zich op twee hoofdregimes:

1. Gedwongen Geval ($w \equiv 0$): Het bepalen van de kritische Fujita-exponent die globale existentie scheidt van uitbarsting in eindige tijd.
2. Gedwongen Geval ($w \not\equiv 0$): Het vaststellen van voorwaarden voor het niet-bestaan van globale zwakke oplossingen en het afleiden van kleinheidsvoorwaarden voor globale milde oplossingen.

2. Methodologie

De analyse combineert verschillende geavanceerde wiskundige technieken:

• Semigroeptheorie: De auteurs maken gebruik van de semigroep $\{e^{tL}\}_{t \ge 0}$ gegenereerd door de gemengde operator $L$. Zij stellen gladmakende schattingen (afname-snelheden) vast voor de kern van deze semigroep, gebruikmakend van het feit dat de fundamentele oplossing een convolutie is van de klassieke warmtekern en de fractionele warmtekern.
• Regelmatig Variërende Functies (Karamata-theorie): Een kernnieuwigheid is het gebruik van de klasse $M(\gamma)$. De auteurs maken gebruik van asymptotische eigenschappen van deze functies (specifiek de stellingen van Karamata over integralen en uniforme convergentie) om de tijdsafhankelijke coëfficiënt $h(t)$ te behandelen, die strikt genomen niet regelmatig variërend hoeft te zijn maar wel vergelijkbare groeisnelheden deelt.
• Testfunctiemethode: Voor het bewijzen van niet-bestaan (uitbarsting) resultaten construeren de auteurs specifieke afgesneden testfuncties $\psi_R(x,t)$ die ruimtelijke en temporele schaling omvatten. Zij passen dit toe op de zwakke formulering van de vergelijking om integraalongelijkheden af te leiden die leiden tot contradicties voor globale oplossingen.
• Vastpuntargument (Banach-contractie): Voor het bewijzen van globale existentie wordt het probleem herschreven als een Duhamel-integraalvergelijking. De auteurs definiëren een geschikte gewogen Banachruimte (met inbegrip van tijdsafname-weights) en bewijzen dat de bijbehorende nietlineaire afbeelding een strikte contractie is voor kleine beginwaarden en dwangtermen.
• Schalingsargumenten: Precieze schalingsidentiteiten worden gebruikt om de kritische exponenten te bepalen en om de singuliere weight $|x|^{-b}$ in de nietlineaire term te behandelen.

3. Belangrijkste Bijdragen en Resultaten

A. Het Ongedwongen Probleem (Fujita-phenomeen)

Het artikel breidt eerdere resultaten uit (die aannamen dat $h(t) \sim t^\gamma$) naar de bredere klasse $h \in M(\gamma)$.

• Kritische Fujita-exponent: De auteurs stellen vast dat de kritische exponent $p_F$ blijft:
  $$p_F = 1 + \frac{2s(\gamma + 1)}{N}$$
  • Uitbarsting: Als $1 < p < p_F$, barst elke niet-negatieve niet-triviale oplossing uit in eindige tijd.
  • Globale Existentie: Als $p > p_F$, bestaan er globale milde oplossingen voor voldoende kleine beginwaarden.
• Betekenis: Dit resultaat demonstreert de robustheid van het Fujita-phenomeen. Zelfs als $h(t)$ oscillaties of onregelmatig gedrag vertoont (zolang de logaritmische groeisnelheid $\gamma$ is), blijft de drempel voor uitbarsting ongewijzigd. De lokale diffusieterm $\Delta$ verandert de kritische exponent niet, die uitsluitend wordt bepaald door het fractionele deel $s$.

B. Het Gedwongen Probleem (Niet-bestaan van Globale Oplossingen)

Voor de vergelijking met een bronterm $t^\varrho w(x)$ leiden de auteurs voorwaarden af waaronder geen globale zwakke oplossingen bestaan, ongeacht de grootte van de beginwaarden.

• Voorwaarden: Aannemende dat $w \in C_0 \cap L^1$ met $\int w > 0$:
  • Als $\varrho \le 0$, $0 \le \frac{b}{1+\gamma} < 2s < N$, en $1 < p < p^*$, waarbij:
    $$p^* = \frac{N - b - 2s(\varrho - \gamma)}{N - 2s(\varrho + 1)}$$
  • Als $\varrho > 0$ en $b, \gamma \ge 0$, geldt niet-bestaan voor alle $p > 1$.
• Methode: Het bewijs vertrouwt op de testfunctiemethode, waarbij zorgvuldig de afname van de operatorkern wordt gebalanceerd tegen de groei van de tijdsweights $h(t)$ en $t^\varrho$.

C. Het Gedwongen Probleem (Globale Existentie)

De auteurs geven voldoende voorwaarden voor het bestaan van globale milde oplossingen wanneer de parameters dit toelaten ($p > p^*$).

• Kleinheidsvoorwaarde: Er bestaat een $\epsilon > 0$ zodanig dat als de beginwaarde $u_0$ en bron $w$ voldoen aan:
  $$\|u_0\|_{L^{p_c}} + \|w\|_{L^{q_c}} < \epsilon$$
  waarbij $p_c$ en $q_c$ specifieke kritische exponenten zijn afgeleid uit de schalingsanalyse, er een unieke globale milde oplossing bestaat.
• Functioneel Kader: Het bewijs maakt gebruik van een gewogen ruimte met normen die tijdsafnamefactoren $t^\mu$ bevatten, zodat de oplossing globaal begrensd blijft.

4. Betekenis en Nieuwigheid

1. Generalisatie van Tijdsweights: Dit is het eerste onderzoek dat uitbarstingsverschijnselen voor niet-lineaire diffusievergelijkingen met coëfficiënten in de klasse $M(\gamma)$ adresseert. Eerdere werken waren beperkt tot machts-wet-coëfficiënten ($t^\gamma$). Deze generalisatie omvat oscillatoire en onregelmatige tijdsafhankelijkheden, waardoor de resultaten toepasbaar zijn op een bredere reeks fysische modellen.
2. Analyse van Gemengde Operator: Het werk analyseert strikt de wisselwerking tussen lokale ($\Delta$) en niet-lokale ($(-\Delta)^s$) diffusie. Het bevestigt dat de kritische Fujita-exponent wordt bepaald door het fractionele component, een niet-triviaal resultaat gezien de competitie tussen de twee operatoren.
3. Hardy-Hénon met Dwang: De opname van de ruimtelijke singulariteit $|x|^{-b}$ gecombineerd met een tijdsafhankelijke dwangterm $t^\varrho w(x)$ creëert een complex systeem. Het artikel biedt een complete classificatie van existentie versus niet-bestaan regimes op basis van de wisselwerking van $N, s, b, p, \gamma, \varrho$.
4. Unificerend Kader: De resultaten herstellen verschillende bekende gevallen (bijvoorbeeld puur fractioneel, puur lokaal, constante coëfficiënten) als speciale gevallen, waardoor een unificerend theoretisch kader wordt geboden voor gemengde diffusievergelijkingen.

5. Conclusie

Ben Belgacem en Majdoub karakteriseren met succes het uitbarstings- en globale existentiegedrag voor een complexe klasse van gemengde diffusievergelijkingen. Door semigroepschattingen te integreren met de asymptotische theorie van regelmatig variërende functies, breiden zij de klassieke Fujita-theorie uit om onregelmatige tijdsweights en externe dwang te omvatten. De bevindingen benadrukken dat hoewel de specifieke vorm van de tijdscoëfficiënt zeer onregelmatig kan zijn, de asymptotische groeisnelheid de enige bepalende factor is voor de kritische drempel voor uitbarsting. Door de auteurs voorgesteld toekomstig werk omvat het analyseren van lange-termijn asymptotiek, gradiëntnietlineariteiten en probabilistische interpretaties via Lévy-processen.