Critical exponent for semilinear damped wave equations with weighted nonlinear terms and data from Sobolev spaces of negative order

Technische Zusammenfassung: Kritischer Exponent für semilineare gedämpfte Wellengleichungen mit gewichteten nichtlinearen Termen und Daten aus Sobolev-Räumen negativer Ordnung

Problemstellung
Diese Arbeit untersucht das Cauchy-Problem für semilineare gedämpfte Wellengleichungen, die gewichtete nichtlineare Terme mit Coulomb-Typ-Singularitäten und Anfangsdaten aus Sobolev-Räumen negativer Ordnung aufweisen. Die spezifisch betrachtete Gleichung lautet:
$$\begin{cases} u_{tt}(t, x) - \Delta u(t, x) + u_t(t, x) = |x|^{-\alpha}|u(t, x)|^p, & x \in \mathbb{R}^n, t > 0, \\ u(0, x) = \varepsilon u_0(x), \quad u_t(0, x) = \varepsilon u_1(x), & x \in \mathbb{R}^n, \end{cases}$$
wobei $p > 1$, $\alpha \geq 0$ und die Anfangsdaten $(u_0, u_1)$ in den Produkträumen $\dot{H}^{-\beta}(\mathbb{R}^n) \times \dot{H}^{-\beta}(\mathbb{R}^n)$ mit $\beta \geq 0$ liegen. Der Parameter $\varepsilon > 0$ repräsentiert die Größe der Anfangsdaten. Die Autoren zielen darauf ab, den kritischen Exponenten $p_c(\alpha, \beta, n)$ zu bestimmen, der die globale Existenz von Lösungen kleiner Daten von der Finite-Zeit-Blow-up von schwachen Lösungen trennt, sowie Lebensdauerabschätzungen im subkritischen Fall abzuleiten.

Methodik
Die Autoren verwenden eine Kombination aus linearen Zerfallsschätzungen, Fixpunktargumenten und Testfunktionenmethoden.

1. Lineare Zerfallsschätzungen: Die Analyse beginnt mit der linearen gedämpften Wellengleichung. Die Autoren nutzen die Fourier-Transformierte, um scharfe $L^m-L^q$-Zerfallsschätzungen für die linearen Kerne $K(t, x)$ und deren zeitlichen Ableitungen abzuleiten. Diese Schätzungen überbrücken die diffusive Struktur der gedämpften Wellengleichung mit der Wärmegleichung und zeigen, dass Lösungen ähnlich wie Lösungen der Wärmegleichung für $t \to \infty$ zerfallen.
2. Globale Existenz (Kleine Daten): Für das Ergebnis der globalen Existenz definieren die Autoren einen geeigneten Funktionenraum $X(T)$, der mit zeitgewichteten Normen ausgestattet ist, welche die aus der linearen Theorie abgeleiteten Zerfallsraten beinhalten. Sie konstruieren eine Lösungsabbildung $\Phi$ mittels des Duhamel-Prinzips und wenden das Banachsche Fixpunkts theorem an.
   • Um die Singularität $|x|^{-\alpha}$ in der Nichtlinearität zu handhaben, nutzen die Autoren die Caffarelli-Kohn-Nirenberg-Ungleichung (Proposition 2.2), um die Zerfallsrate des gewichteten Terms zu kontrollieren.
   • Die Hardy-Littlewood-Sobolev-Ungleichung wird verwendet, um die Sobolev-Räume negativer Ordnung zu kontrollieren.
   • Der Beweis stützt sich auf die Etablierung von Kontraktionsmapping-Eigenschaften für den Operator $\Phi$ unter spezifischen Bedingungen auf $p$, $\alpha$ und $\beta$.
3. Blow-up-Ergebnis: Für die Nichtexistenz globaler Lösungen verwenden die Autoren die Testfunktionenmethode. Sie konstruieren eine spezifische Testfunktion $\Phi_R(t, x)$, die eine Abschneidefunktion in der Zeit und ein räumliches Gewicht im Zusammenhang mit der Singularität beinhaltet. Durch Integration der schwachen Formulierung gegen diese Testfunktion und Anwendung der Hölder-Ungleichung leiten sie einen Widerspruch für große $R$ her, wenn $p$ unter dem kritischen Schwellenwert liegt.
4. Lebensdauerabschätzungen: Im subkritischen Fall ($1 < p < p_c$) leiten die Autoren sowohl untere als auch obere Schranken für die Lebensdauer $T_{\alpha, \beta}(\varepsilon)$ ab. Die untere Schranke wird durch die Analyse der Kontraktionsbedingung im Fixpunktargument gewonnen, während die obere Schranke unter Verwendung der Testfunktionenmethode mit logarithmischen Korrekturen verfeinert wird.

Zentrale Beiträge und Ergebnisse

• Bestimmung des kritischen Exponenten: Das primäre Ergebnis ist die Identifizierung des kritischen Exponenten für die gewichtete gedämpfte Wellengleichung mit Daten negativer Ordnung:
  $$p_c(\alpha, \beta, n) := 1 + \frac{4 - 2\alpha}{n + 2\beta}$$
  Diese Formel gilt für die Dimensionen $1 \leq n \leq 4$ und Parameter $0 \leq \alpha, \beta < n/2$. Die Autoren zeigen, dass sowohl das Gewicht $|x|^{-\alpha}$ als auch die negative Ordnung $\beta$ den kritischen Exponenten im Vergleich zum Standard-Fujita-Exponenten ($1 + 2/n$) oder dem Fall $\alpha=0$ nach links verschieben.

• Global Existence Theorem (Theorem 1.1): Für $p \geq p_c(\alpha, \beta, n)$ beweisen die Autoren die Existenz einer eindeutigen globalen Lösung für hinreichend kleine Anfangsdaten $\varepsilon$. Die Lösung gehört zu $C([0, \infty), H^1)$ und erfüllt spezifische zeitliche Zerfallsschätzungen:
  $$\|u(t, \cdot)\|_{L^2} \lesssim \varepsilon (1+t)^{-\frac{\beta}{2}}, \quad \|\nabla u(t, \cdot)\|_{L^2} \lesssim \varepsilon (1+t)^{-\frac{1+\beta}{2}}.$$
  Zusätzliche Einschränkungen auf $p$ werden für die Dimensionen $n=3, 4$ bereitgestellt, um die Gültigkeit der verwendeten Sobolev-Einbettungen und Ungleichungen sicherzustellen.

• Blow-up Theorem (Theorem 1.2): Für $1 < p < p_c(\alpha, \beta, n)$ beweisen die Autoren, dass keine globalen schwachen Lösungen existieren, selbst bei kleinen Daten, sofern die Anfangsdaten eine spezifische untere Schrankenbedingung unter Einbeziehung logarithmischen Zerfalls erfüllen.

• Lebensdauerabschätzungen: In der subkritischen Regime wird die Lebensdauer $T_{\alpha, \beta}(\varepsilon)$ wie folgt abgeschätzt:
  $$\varepsilon^{-\frac{4(p-1)}{4 - 2\alpha - (n+2\beta)(p-1)}} \lesssim T_{\alpha, \beta}(\varepsilon) \lesssim \varepsilon^{-\frac{4(p-1)}{4 - 2\alpha - (n+2\beta)(p-1)}} (\log(\varepsilon^{-1}))^{\frac{4(p-1)}{4 - 2\alpha - (n+2\beta)(p-1)}}.$$
  Die Autoren stellen fest, dass das Vorhandensein des Gewichts $|x|^{-\alpha}$ zur Erhöhung der Lebensdauer von Blow-up-Lösungen im Vergleich zum ungewichteten Fall beiträgt.

• Korollare für $L^m$-basierte Daten: Die Autoren erweitern ihre Ergebnisse auf Anfangsdaten in $\dot{H}^{-\bar{\beta}}_m \times \dot{H}^{-\bar{\beta}}_m$ für $m \in (1, 2]$, wobei sie einen entsprechenden kritischen Exponenten $p_c(\alpha, \bar{\beta} + \theta(m), n)$ ableiten.

Bedeutung und Behauptungen
Das Paper behauptet, bisherige Ergebnisse zu semilinearen gedämpften Wellengleichungen dadurch erweitert zu haben, dass es gleichzeitig zwei Generalisierungen integriert:

1. Gewichtete Nichtlinearität: Adressierung der Coulomb-Typ-Singularität $|x|^{-\alpha}$, die isoliert betrachtet wurde (z. B. in [26] für $\beta=0$), aber nicht in diesem spezifischen Rahmen mit Daten negativer Ordnung kombiniert wurde.
2. Daten negativer Ordnung: Erweiterung des Raums der Anfangsdaten auf $\dot{H}^{-\beta}$, basierend auf der Arbeit von [5] und [8], die $\alpha=0$ betrachteten.

Die Autoren geben an, dass ihre Ergebnisse die Befunde von [5, 8, 26] generalisieren. Insbesondere zeigen sie, dass der kritische Exponent sowohl durch die Stärke der Singularität $\alpha$ als auch durch den Regularitätsdefizit $\beta$ verschoben wird. Das Paper hebt zudem eine Verbesserung der oberen Schätzung für die Lebensdauer im Vergleich zu früheren Arbeiten (speziell [15, Theorem 1.8]) im Fall $\alpha = \beta = 0$ hervor, indem ein logarithmischer Korrekturfaktor einbezogen wird. Die Arbeit wird als rigorose mathematische Analyse präsentiert, die den Schwellenwert zwischen globaler Existenz und Blow-up für diese spezifische Klasse von Gleichungen festlegt.