Heat equations driven by mixed local-nonlocal operators with exponential nonlinearity

Technische Zusammenfassung: Wärmeleitungsgleichungen mit gemischten lokal-nichtlokalen Operatoren und exponentieller Nichtlinearität

Problemstellung
Dieser Artikel untersucht das Cauchy-Problem für eine semilineare Wärmeleitungsgleichung, die durch einen gemischten lokal-nichtlokalen Operator $L := -\Delta + (-\Delta)^s$ mit $s \in (0, 1)$ getrieben wird und eine exponentielle Nichtlinearität $f(u)$ aufweist. Die Gleichung lautet:
$$\begin{cases} \partial_t u(x, t) + Lu(x, t) = f(u(x, t)), & (x, t) \in \mathbb{R}^d \times (0, \infty), \\ u(0, x) = u_0(x), & x \in \mathbb{R}^d, \end{cases}$$
wobei die Nichtlinearität $f$ ein exponentielles Wachstum im Unendlichen aufweist (speziell $f(u) \sim e^{|u|^p}$ für $|u| \to \infty$ mit $p > 1$) und $f(0)=0$ erfüllt. Der Operator $L$ kombiniert den klassischen Laplace-Operator (Modellierung lokaler Diffusion) und den fraktionalen Laplace-Operator (Modellierung nichtlokaler, sprungartiger Diffusion). Die Studie konzentriert sich auf die Begründung der lokalen und globalen Wohlgestelltheit für Anfangsdaten $u_0$, die unbeschränkt sein können, was einen funktionalanalytischen Rahmen jenseits der klassischen Lebesgue-Räume erfordert.

Methodik
Die Autoren wenden einen funktionalanalytischen Ansatz an, der auf Orlicz-Räumen basiert, speziell dem exponentiellen Orlicz-Raum $\exp L^p(\mathbb{R}^d)$ und seinem Unterraum $\exp L^p_0(\mathbb{R}^d)$. Diese Wahl wird durch das Versagen der Lebesgue-Räume motiviert, die kritischen Skalierungs- und Wachstumsbedingungen im Zusammenhang mit exponentiellen Nichtlinearitäten zu erfüllen, analog zur Rolle der Sobolev-Räume in kritischen polynomialen Fällen.

Zu den wesentlichen methodischen Komponenten gehören:

1. Funktionaler Rahmen: Die Analyse wird in $\exp L^p_0(\mathbb{R}^d)$ durchgeführt, definiert als der Abschluss von $C^\infty_0(\mathbb{R}^d)$ in $\exp L^p(\mathbb{R}^d)$. Dieser Raum ist entscheidend, da die Wärmehalbgruppe $e^{-tL}$ im Allgemeinen nicht auf dem gesamten Raum $\exp L^p(\mathbb{R}^d)$ beschränkt ist, wohl aber auf $\exp L^p_0(\mathbb{R}^d)$.
2. Halbgruppenabschätzungen: Die Autoren leiten verfeinerte Abbildungseigenschaften und Zerfallsabschätzungen für die Wärmehalbgruppe $e^{-tL}$ ab, die mit dem gemischten Operator assoziiert sind. Diese Abschätzungen nutzen Schranken für den Wärmekern und Interpolationsargumente in Orlicz-Räumen, um das Zusammenspiel zwischen den lokalen ($-\Delta$) und nichtlokalen ($(-\Delta)^s$) Komponenten zu erfassen.
3. Fixpunktargumente:
   • Lokale Wohlgestelltheit: Bewiesen mittels einer Zerlegungstechnik, bei der die Anfangsdaten $u_0$ in einen glatten Teil $v_0 \in C^\infty_0$ und eine kleine Störung $w_0$ aufgeteilt werden. Der glatte Teil wird über klassische Halbgruppenargumente behandelt, während die Störung unter Verwendung des Banachschen Fixpunktsatzes in einem geeigneten Banach-Raum gelöst wird, der an $\exp L^p$ angepasst ist.
   • Globale Existenz: Für kleine Anfangsdaten etabliert unter Verwendung eines Kontraktionsabbildungsprinzips in einem vollständigen metrischen Raum, der mit zeitgewichteten Normen ausgestattet ist. Die Analyse unterscheidet Fälle basierend auf der Beziehung zwischen der fraktionalen Ordnung $s$ und dem kritischen Schwellenwert $d(p-1)/(2p)$.

Wesentliche Beiträge und Ergebnisse

1. Lokale Wohlgestelltheit (Satz 1.3):
   Der Artikel etabliert die Existenz und Eindeutigkeit einer milden Lösung $u \in C([0, T], \exp L^p_0(\mathbb{R}^d))$ für beliebige Anfangsdaten $u_0 \in \exp L^p_0(\mathbb{R}^d)$. Die Nichtlinearität wird angenommen, eine Lipschitz-artige Bedingung mit exponentiellem Wachstum zu erfüllen: $|f(u) - f(v)| \leq C|u-v|(e^{\lambda|u|^p} + e^{\lambda|v|^p})$. Es wird gezeigt, dass die Lösung für $t > 0$ lokal in $L^\infty(\mathbb{R}^d)$ beschränkt ist.

2. Globale Existenz für kleine Daten (Satz 1.4):
   Unter der Annahme, dass sich die Nichtlinearität in der Nähe des Ursprungs wie $|u|^m$ verhält (mit $m \geq p$ und unter Einhaltung spezifischer Wachstumsbeschränkungen im Zusammenhang mit dem Fujita-Exponenten), beweisen die Autoren die Existenz globaler schwach-milder Lösungen für hinreichend kleine Anfangsdaten in $\exp L^p(\mathbb{R}^d)$. Der Beweis erfordert die Unterscheidung von drei Regimen basierend auf dem Parameter $s$ relativ zu $d(p-1)/(2p)$:

   • $s < d(p-1)/(2p)$
   • $s = d(p-1)/(2p)$
   • $s > d(p-1)/(2p)$ (erfordert $m > p$)

3. Langzeit-Zerfallsabschätzungen:
   Die Autoren leiten explizite Zerfallsgeschwindigkeiten für die Lösung in Lebesgue-Räumen $L^q$ her. Die Zerfallsabschätzung (Gleichung 1.8) offenbart einen einzigartigen asymptotischen Übergang:

   • Kurzzeit-Regime ($t \to 0$): Die Lösung imitiert das Zerfallsverhalten der lokalen Wärmeleitungsgleichung, gesteuert durch einen effektiven Exponenten $\tilde{m}$, der mit lokalen Glättungseffekten zusammenhängt.
   • Langzeit-Regime ($t \to \infty$): Die Abschätzung geht über, um die rein nichtlokalen Asymptotiken wiederzugewinnen, die charakteristisch für den fraktionalen Laplace-Operator $(-\Delta)^s$ sind.

Bedeutung und Behauptungen
Der Artikel behauptet, die Lücke zwischen lokalen und nichtlokalen Diffusionstheorien im Kontext exponentieller Nichtlinearitäten zu schließen. Insbesondere:

• Er identifiziert $\exp L^p_0(\mathbb{R}^d)$ als den geeigneten funktionalen Rahmen für den gemischten Operator mit exponentiellem Wachstum und adressiert die Dichte-Probleme, die im vollen Orlicz-Raum vorhanden sind.
• Er zeigt, dass das Vorhandensein des lokalen Diffusionsterms das fundamentale globale Existenzverhalten, das durch die fraktionale Komponente diktiert wird (der kritische Fujita-Exponent bleibt $p_c = 1 + 2s/d$), nicht verändert, jedoch die Kurzzeit-Dynamik erheblich beeinflusst.
• Die abgeleiteten Zerfallsabschätzungen heben eine kontinuierliche Interpolation zwischen singulären lokalen Dynamiken und schwerfälligen fraktionalen Dissipationseffekten hervor und zeigen, dass nichtlokale Effekte nicht instantan auftreten, sondern sich im Laufe der Zeit entwickeln.

Die Arbeit erweitert frühere Ergebnisse zu polynomialen Nichtlinearitäten in gemischten Operatoren (z. B. [4, 10, 28]) sowie zu exponentiellen Nichtlinearitäten in rein lokalen oder rein nichtlokalen Settings (z. B. [16, 23, 24, 30, 31, 34]) auf den gemischten lokal-nichtlokalen Fall.