Global existence and blow-up for the Hardy-Sobolev parabolic equation in RN

Technische Zusammenfassung: Globale Existenz und Blow-up für die Hardy-Sobolev-Parabolische Gleichung in $\mathbb{R}^N$

Problemstellung
Diese Arbeit untersucht das Langzeitverhalten und die Eigenschaften des Blow-up in endlicher Zeit von Lösungen der folgenden klassischen semilinearen parabolischen Gleichung, die einen kritischen Sobolev-Exponenten und ein Hardy-Potential in $\mathbb{R}^N$ ($N \ge 3$) beinhaltet:
$$\begin{cases} u_t - \Delta u - \frac{\mu u}{|x|^2} = |u|^{p-1}u & \text{in } \mathbb{R}^N \times (0, T), \\ u(x, 0) = u_0(x) & \text{in } \mathbb{R}^N, \end{cases}$$
wobei $\mu \in [0, (N-2)^2/8]$ und $p = 2^* - 1$ mit $2^* = 2N/(N-2)$. Die Gleichung modelliert Phänomene in der Quantenmechanik, Chemie und Kosmologie, insbesondere dort, wo Potentiale mit dem Kehrwert des Quadrats auftreten. Die Studie konzentriert sich auf die Dichotomie zwischen globaler Existenz und Blow-up in endlicher Zeit für Anfangsdaten mit niedrigen, kritischen und hohen Energieniveaus.

Methodik
Die Autoren wenden einen zweigleisigen analytischen Ansatz an:

1. Selbstähnliche Transformation: Die ursprüngliche Gleichung wird durch die Variablensubstitution $v(y, s) = (1+t)^{1/(p-1)}u(x, t)$, $t = e^s - 1$ und $x = (1+t)^{1/2}y$ transformiert. Dies wandelt das ursprüngliche Problem in eine parabolische Gleichung mit einem linearen Driftterm und einer Quellterm um:
   $$v_s - \Delta v - \frac{1}{2}y \cdot \nabla v = \beta v + \frac{\mu v}{|y|^2} + |v|^{p-1}v,$$
   wobei $\beta = (N-2)/4$. Diese Transformation ermöglicht die Analyse des asymptotischen Verhaltens durch die Linse eines gewichteten Operators.
2. Modifizierte Potentialwellen-Methode: Die Autoren nutzen einen modifizierten Potentialwellen-Rahmen, der ursprünglich von Payne und Sattinger entwickelt und später von Liu et al. verfeinert wurde. Dies beinhaltet die Definition von Energiefunktionalen ($E_K$), Nehari-Mannigfaltigkeiten ($N$) und Potentialwellen ($W, V$) basierend auf dem Vorzeichen des Funktionals $D_K(v) = A(v) - B(v)$.
   • Eine gewichtete Hardy-Ungleichung wird etabliert, um den singulären Potentialterm $\mu/|y|^2$ innerhalb des gewichteten Hilbertraums $X$ zu behandeln, der mit dem Gewicht $K(y) = e^{|y|^2/4}$ ausgestattet ist.
   • Die Analyse unterscheidet zwischen drei Energiebereichen: sub-kritisch ($E_K(v_0) < d$), kritisch ($E_K(v_0) = d$) und super-kritisch ($E_K(v_0) > d$), wobei $d$ die Tiefe der Potentialwelle darstellt.

Hauptbeiträge und Ergebnisse

• Etablierung einer gewichteten Hardy-Ungleichung: Die Arbeit beweist eine spezifische gewichtete Hardy-Ungleichung (Lemma 2.2) mit der optimalen Konstante $C_N = (\frac{2}{N-2})^2$ im gewichteten Raum $L^2_K(\mathbb{R}^N)$. Dies ist entscheidend für die Kontrolle des singulären Terms in den Energieabschätzungen.
• Niedrige Anfangsenergie ($E_K(v_0) < d$):
  • Globale Existenz: Wenn die Anfangsdaten $D_K(v_0) > 0$ erfüllen, existiert die Lösung global in der Zeit und bleibt innerhalb der Potentialwelle $W$.
  • Blow-up: Wenn $D_K(v_0) < 0$, erfolgt der Blow-up der Lösung in endlicher Zeit.
  • Abklingrate: Für globale Lösungen mit niedriger Energie leiten die Autoren eine präzise exponentielle Abklingrate für die $L^2_K$-Norm her: $\|v(s)\|_{K,2}^2 \le \|v_0\|_{K,2}^2 e^{-\frac{1}{2}(1-\delta_1)s}$, wobei $\delta_1$ eine Nullstelle der Gleichung $d(\delta) = E_K(v_0)$ ist.
• Kritische Anfangsenergie ($E_K(v_0) = d$):
  • Globale Existenz: Wenn $D_K(v_0) \ge 0$, existieren globale schwache Lösungen.
  • Blow-up: Wenn $D_K(v_0) < 0$, erfolgt der Blow-up der Lösungen in endlicher Zeit.
  • Die Arbeit erweitert die Potentialwellen-Methode auf das kritische Energieniveau und zeigt, dass sich Lösungen, die am Rand der Welle starten, ähnlich wie solche im Inneren verhalten, sofern das Nehari-Funktional nicht-negativ ist.
• Hohe Anfangsenergie ($E_K(v_0) > d$):
  • Die Autoren liefern hinreichende Bedingungen für globale Existenz und Blow-up, selbst wenn die Anfangsenergie die Tiefe der Potentialwelle überschreitet.
  • Insbesondere existiert die Lösung global und konvergiert gegen Null, wenn $v_0 \in N_+$ und $\|v_0\|_{K,2} \le \lambda_{E_K(v_0)}$ gilt. Umgekehrt erfolgt der Blow-up in endlicher Zeit, wenn $v_0 \in N_-$ und $\|v_0\|_{K,2} \ge \Lambda_{E_K(v_0)}$ gilt.
• Asymptotisches Verhalten: Für globale Lösungen, die gleichmäßig beschränkt sind, enthält die $\omega$-Grenzmenge eine stationäre Lösung. Die Arbeit zeigt, dass sich die globale Lösung asymptotisch wie eine Palais-Smale-Folge für die zugehörige stationäre Gleichung verhält und schwach gegen eine nicht-triviale stationäre Lösung oder Null konvergiert.

Bedeutung und Behauptungen
Die Arbeit behauptet, bestehende Ergebnisse zu semilinearen parabolischen Gleichungen zu verallgemeinern, indem sie gleichzeitig das Hardy-Potential und den kritischen Sobolev-Exponenten einbezieht.

• Allgemeingültigkeit: Die Ergebnisse für niedrige Anfangsenergie werden als allgemeiner dargestellt als frühere Arbeiten (z. B. [7]), insbesondere durch den Nachweis einer präziseren Abklingrate für die $L^2$-Norm globaler Lösungen.
• Methodische Erweiterung: Die Arbeit passt die modifizierte Potentialwellen-Methode erfolgreich auf den Kontext der Hardy-Sobolev-parabolischen Gleichung an und behandelt den singulären Potentialterm sowie den kritischen Wachstumsterm durch die selbstähnliche Transformation und die gewichtete Funktionalanalysis.
• Vollständigkeit: Die Studie bietet eine umfassende Klassifizierung des Lösungsverhaltens über alle Energieniveaus hinweg (niedrig, kritisch und hoch) und etabliert klare Schwellenwerte für globale Existenz versus Blow-up in endlicher Zeit basierend auf der Position der Anfangsdaten relativ zur Nehari-Mannigfaltigkeit und der Energietiefe.

Die Autoren schlagen keine neuen experimentellen Anwendungen vor, sondern positionieren ihre Arbeit als einen rigorosen theoretischen Fortschritt in der Analyse von Evolutionsgleichungen mit singulären Potentialen, der zum Verständnis des Wettstreits zwischen Diffusion, linearem Drift und nichtlinearem Wachstum im Vorhandensein von Potentialen mit dem Kehrwert des Quadrats beiträgt.