Variational problems related to self-similar solutions of Hardy-Sobolev heat equation in RN

Technische Zusammenfassung: Variationsprobleme im Zusammenhang mit selbstähnlichen Lösungen der Hardy-Sobolev-Wärmegleichung in $\mathbb{R}^N$

Problemstellung
Dieser Artikel untersucht das Vorhandensein, die Vielfachheit und das Nichtvorhandensein selbstähnlicher Lösungen für die semilineare parabolische Gleichung mit einem singulären Hardy-Sobolev-Potential in $\mathbb{R}^N$:
$$u_t - \Delta u = \frac{|u|^{q-2}u}{|x|^s}, \quad \text{in } \mathbb{R}^N \times (0, \infty),$$
wobei $2 < q \leq 2^*(s) \equiv \frac{2N-2s}{N-2}$ und $0 \leq s < 2$. Die Studie konzentriert sich auf die Umwandlung dieses parabolischen Problems in ein äquivalentes elliptisches Problem mittels einer selbstähnlichen Transformation. Die transformierte Gleichung lautet:
$$-\Delta v - \frac{1}{2}y \cdot \nabla v = \alpha v + \frac{|v|^{q-2}v}{|y|^s}, \quad \text{in } \mathbb{R}^N,$$
wobei $\alpha = \frac{2-s}{2q-4}$. Das Hauptziel besteht darin, die variationsstrukturelle Eigenschaft dieser elliptischen Gleichung zu analysieren, wobei speziell die subkritischen ($q < 2^*(s)$) und kritischen ($q = 2^*(s)$) Fälle unter dem Einfluss des singulären Terms $|y|^{-s}$ und des Gaußschen Gewichts $K(y) = e^{|y|^2/4}$ betrachtet werden.

Methodik
Die Autoren verwenden eine Kombination aus Funktionalanalysis, gewichteten Ungleichungen und variationsmethoden innerhalb eines spezifischen Hilbertraum-Rahmens.

1. Funktionaler Rahmen: Das Problem wird in einem Hilbertraum $X$ formuliert, der als Vervollständigung von $C_c^\infty(\mathbb{R}^N)$ bezüglich der durch das Skalarprodukt $(v_1, v_2)_K = \int_{\mathbb{R}^N} (\nabla v_1 \cdot \nabla v_2) K(y) dy$ induzierten Norm definiert ist. Die schwachen Lösungen entsprechen kritischen Punkten des Energiefunktionals $E_K(v)$.
2. Gewichtete Ungleichungen: Ein grundlegender Schritt besteht in der Herleitung der gewichteten Hardy-Ungleichung und der gewichteten Sobolev-Hardy-Ungleichung. Diese Ungleichungen sind entscheidend für den Nachweis der Stetigkeit und Kompaktheit der relevanten Einbettungen $X \hookrightarrow L^q_K(\mathbb{R}^N, |y|^{-s})$.
3. Variationsmethoden:
   • Subkritischer Fall: Der Brunnen-Satz (Fountain Theorem) wird verwendet, um die Existenz unendlich vieler Lösungen zu etablieren. Dies erfordert die Verifizierung der geometrischen Bedingungen des Satzes und der Palais-Smale-(PS)-Bedingung.
   • Kritischer Fall: Die Existenz von Lösungen beruht auf dem Konzentrations-Kompaktheits-Prinzip und der Analyse der besten Konstante $S_{K,\alpha}$, die mit der gewichteten Sobolev-Hardy-Ungleichung verbunden ist. Die Autoren vergleichen $S_{K,\alpha}$ mit der Standard-besten Konstante $S^0$ (und $S_{K,0}$), um sicherzustellen, dass das Infimum angenommen wird.
   • Nichtexistenz: Die Pohozaev-Identität wird angewendet, um Bedingungen abzuleiten, unter denen keine nichttrivialen Lösungen existieren.
4. Alternativer Beweis: Für den kritischen Fall wird ein alternativer Beweis unter Verwendung des Bergpass-Satzes (Mountain Pass Theorem) bereitgestellt, der sich auf einen spezifischen Energiewert-Schwellenwert stützt, um die (PS)-Bedingung zu verifizieren.

Hauptbeiträge und Ergebnisse

• Ungleichungen: Der Artikel beweist rigoros die K-Hardy-Ungleichung und die K-Sobolev-Hardy-Ungleichung und etabliert die notwendigen Kompaktheitseigenschaften für die Einbettung des gewichteten Raums $X$ in gewichtete Lebesgue-Räume.
• Subkritischer Fall ($2 < q < 2^*(s)$):
  • Satz 3.1: Für jedes $\alpha \in \mathbb{R}$ besitzt das Problem unendlich viele Lösungen $\{\pm v_k\}_{k=1}^\infty$, sodass die Energie $E_K(\pm v_k) \to +\infty$ für $k \to \infty$. Dies impliziert die Existenz unendlich vieler selbstähnlicher Lösungen für die ursprüngliche Wärmegleichung.
• Kritischer Fall ($q = 2^*(s)$):
  • Nichtexistenz: Satz 4.1 stellt fest, dass für $\alpha \leq N/4$ (für $N \geq 3$) die einzige Lösung des Problems die triviale Lösung $v \equiv 0$ ist. Dies wird mittels der Pohozaev-Identität bewiesen.
  • Existenz:
    • Für $N \geq 4$ und $\alpha \in (N/4, N/2)$ existiert mindestens eine nichttriviale Lösung (Satz 4.2).
    • Für $N = 3$ und $\alpha \in (1, 3/2)$ existiert mindestens eine nichttriviale Lösung.
    • Der Artikel charakterisiert auch Bereiche, in denen positive Lösungen nicht existieren (z. B. $\alpha \leq N/4$ oder $\alpha \geq N/2$ für $N \geq 4$).
  • Optimalität der Konstanten: Die Autoren zeigen, dass für bestimmte Bereiche von $\alpha$ das Infimum des Quotientenfunktionals $Q_{K,\alpha}$ strikt kleiner als die Standard-besten Konstante $S^0$ ist, was die Annahme des Minimums und somit die Existenz einer Lösung sicherstellt.
• Alternativer Ansatz: Abschnitt 5 liefert einen zweiten Beweis für die Existenzergebnisse im kritischen Fall unter Verwendung der Bergpass-Geometrie und bestätigt die Robustheit der Existenzaussagen unter den abgeleiteten Energieeinschränkungen.

Bedeutung und Behauptungen
Der Artikel behauptet, die bestehende Literatur zu selbstähnlichen Lösungen von Wärmegleichungen (insbesondere die Arbeiten von Escobedo, Kavian und Tan bezüglich des Falls $s=0$) auf das komplexere Szenario mit singulären Hardy-Sobolev-Termen ($s > 0$) zu erweitern.

Die Bedeutung liegt in:

1. Vervollständigung der Dichotomie: Durch die Etablierung sowohl von Existenz- als auch von Nichtexistenzergebnissen basierend auf dem Parameter $\alpha$ und der Dimension $N$ klärt die Arbeit das Lösbarkeitslandschaft für die transformierte elliptische Gleichung.
2. Umgang mit Singularitäten: Die Herleitung gewichteter Ungleichungen und die Anwendung variationsmethoden in Gegenwart des singulären Terms $|y|^{-s}$ und des Gaußschen Gewichts $K(y)$ bieten einen rigorosen Rahmen für die Analyse solcher singulären Evolutionsprobleme.
3. Vielfachheit: Der Nachweis unendlich vieler Lösungen im subkritischen Fall unterstreicht die reiche Struktur der Lösungsmenge für diese Arten von parabolischen Gleichungen.

Die Autoren bewahren einen bescheidenen Ton, konzentrieren sich streng auf die mathematische Herleitung von Existenz-, Vielfachheits- und Nichtexistenzsätzen ohne Extrapolation auf spezifische physikalische Anwendungen jenseits der allgemeinen Charakterisierung von Diffusions- und singulären Evolutionsphänomenen, die in der Einleitung erwähnt werden. Die Ergebnisse werden als rigorose Erweiterungen klassischer Theorien auf das Hardy-Sobolev-Setting präsentiert.