Compactness results for Sign-Changing Solutions of critical nonlinear elliptic equations of low energy

Titel: Kompaktheitsresultate für Vorzeichenwechselnde Lösungen kritischer nichtlinearer elliptischer Gleichungen niedriger Energie

Autoren: Hussein Cheikh Ali und Bruno Premoselli
Veröffentlicht: 1. Dezember 2024 (arXiv:2412.00817v1)

1. Problemstellung

Das Paper untersucht die Kompaktheitseigenschaften der Menge der vorzeichenwechselnden Lösungen (sign-changing solutions) $v \in H^1_0(\Omega)$ der folgenden kritischen elliptischen Gleichung auf einem beschränkten, glatten, zusammenhängenden Gebiet $\Omega \subset \mathbb{R}^n$ ($n \ge 3$):

$$\begin{cases} -\Delta v + h v = |v|^{2^*-2} v & \text{in } \Omega, \\ v = 0 & \text{auf } \partial\Omega, \end{cases}$$

wobei $2^* = \frac{2n}{n-2}$ der kritische Sobolev-Exponent ist und $h \in C^1(\Omega)$ eine gegebene Funktion ist. Der Operator $-\Delta + h$ wird als koerzitiv angenommen.

Der Fokus liegt auf Sequenzen von Lösungen $(v_\alpha)$, die eine minimale Energie aufweisen, die spezifisch für vorzeichenwechselnde Lösungen charakteristisch ist. Während die Kompaktheit positiver Lösungen (Ground States) bei niedrigen Energien gut verstanden ist (insbesondere im Zusammenhang mit dem Brézis-Nirenberg-Problem), ist das Verhalten vorzeichenwechselnder Lösungen komplexer und weniger untersucht.

Die zentrale Frage ist: Unter welchen Bedingungen an $h$ und in welchen Dimensionen $n$ ist die Menge der vorzeichenwechselnden Lösungen mit Energie unter einer bestimmten Schranke kompakt in der $C^2(\Omega)$-Topologie?

2. Methodik

Die Autoren verwenden eine Widerspruchsbeweis-Strategie (Proof by Contradiction) kombiniert mit einer Blow-up-Analyse.

1. Annahme der Nicht-Kompaktheit: Es wird angenommen, dass eine Folge von Lösungen $(v_\alpha)$ existiert, die beschränkt in $H^1_0(\Omega)$, aber nicht kompakt in $C^2(\Omega)$ ist (d.h., sie "blow-up", $\|v_\alpha\|_\infty \to \infty$).
2. Asymptotische Zerlegung: Basierend auf Strurwes Kompaktheitsresultat wird die Lösung zerlegt in:
   $$v_\alpha = B_\alpha \pm v_\infty + o(1)$$
   wobei $B_\alpha$ ein "Bubble" (eine konzentrierte Lösung der Gleichung auf $\mathbb{R}^n$) ist, der sich in einem Punkt $x_\alpha$ konzentriert, und $v_\infty$ eine schwache Lösung der Grenzgleichung ist.
3. Neue punktweise Abschätzungen (Hauptinnovation):
   Der Kern der Arbeit ist die Herleitung einer globalen punktweisen Beschreibung der blow-up-Sequenzen bis zum Rand $\partial\Omega$.
   • Die Autoren beweisen eine scharfe Abschätzung (Theorem 2.1):
     $$\left| v_\alpha(x) - \Pi B_\alpha(x) \mp v_\infty(x) \right| \le \varepsilon_\alpha (B_\alpha(x) + v_\infty(x))$$
     wobei $\Pi B_\alpha$ die Projektion des Bubbles auf $H^1_0(\Omega)$ ist.
   • Diese Abschätzung gilt uniform im gesamten Gebiet $\Omega$, auch wenn der Konzentrationpunkt $x_\alpha$ gegen den Rand konvergiert. Dies ist technisch anspruchsvoll, da sich das Verhalten von $B_\alpha$ und $\Pi B_\alpha$ in der Nähe des Randes unterscheidet.
4. Pohozaev-Identitäten:
   Um notwendige Bedingungen für das Blow-up zu erhalten, werden Pohozaev-Identitäten auf verschiedenen Skalen angewendet:
   • Im Inneren des Gebiets ($x_\infty \in \Omega$).
   • In der Nähe des Randes ($x_\infty \in \partial\Omega$).
     Durch sorgfältige Skalierung und Analyse der Terme in der Pohozaev-Identität leiten die Autoren Bedingungen ab, die $h$ und $v_\infty$ erfüllen müssen, damit ein Blow-up möglich ist.

3. Wichtige Ergebnisse

Das Hauptresultat (Theorem 1.1) und die Korollare liefern folgende Kompaktheitsaussagen für vorzeichenwechselnde Lösungen mit minimaler Energie (definiert durch die Schranke $K_n^{-n} + I_h(\Omega)^{n/2}$):

• Dimensionen $3 \le n \le 5$:
  Die Menge der vorzeichenwechselnden Lösungen ist unbedingt kompakt in $C^2(\Omega)$, solange die Energie-Schranke eingehalten wird. Dies ist überraschend, da vorzeichenwechselnde Lösungen in diesen Dimensionen oft als "unruhiger" bekannt sind als positive Lösungen. Im Gegensatz dazu ist die Menge der positiven Lösungen in diesen Dimensionen unter ähnlichen Bedingungen im Allgemeinen nicht kompakt.

• Dimensionen $n \ge 7$:
  Die Kompaktheit gilt, sofern $h$ nirgends in $\Omega$ verschwindet ($h(x) \neq 0$ für alle $x \in \Omega$).

  • Falls $h > 0$ in $\Omega$, ergänzen die Ergebnisse frühere Resultate (z.B. aus [16]) für positive Lösungen auf vorzeichenwechselnde Lösungen.
  • Die Bedingung $h \neq 0$ ist entscheidend, um Blow-up-Punkte am Rand auszuschließen.

• Dimension $n = 6$ (Ausnahme):
  In Dimension 6 gilt die Kompaktheit nicht allgemein.

  • Proposition 1.1 zeigt, dass bei Blow-up in $n=6$ der Konzentrationpunkt $x_\infty$ im Inneren liegen muss und die Bedingung $h(x_\infty) = \pm 2v_\infty(x_\infty)$ erfüllt sein muss.
  • Es existieren nicht-kompakte Familien von Lösungen (konstruiert in [38]), die diese Bedingung erfüllen.

4. Technische Details und Schlüsselschritte

• Unterscheidung von Blow-up-Typen:
  Die Analyse unterscheidet strikt zwischen Innerem Blow-up ($x_\infty \in \Omega$) und Rand-Blow-up ($x_\infty \in \partial\Omega$).

  • Für $n \in \{3,4,5\}$ und $n \ge 7$ (mit $h \neq 0$) wird bewiesen, dass Rand-Blow-up unmöglich ist (Proposition 3.4).
  • Für $n=6$ ist Rand-Blow-up möglich, wenn $h$ bestimmte Bedingungen erfüllt.

• Rolle der Vorzeichenwechsel:
  Ein entscheidender Schritt im Beweis ist die Nutzung der Eigenschaft, dass $v_\alpha$ das Vorzeichen wechselt. Dies impliziert, dass der "Rest" $v_\infty$ nicht trivial sein kann (d.h. $v_\infty > 0$), was zu einem Widerspruch führt, wenn man annimmt, dass ein Blow-up stattfindet (Theorem 1.1, Fall $3 \le n \le 5$).

• Randverhalten:
  Die größte technische Hürde war die Kontrolle des Verhaltens der Lösungen in der Nähe des Randes $\partial\Omega$. Die neue punktweise Abschätzung (Theorem 2.1) erlaubt es, zu zeigen, dass sich der Konzentrationpunkt $x_\alpha$ nicht dem Rand nähern kann, ohne dass die Energie-Schranke verletzt wird oder $h$ spezifische Nullstellen aufweist.

5. Bedeutung und Beitrag

• Erweiterung der Theorie: Das Paper schließt eine Lücke in der Theorie kritischer elliptischer Gleichungen, indem es die Kompaktheit für vorzeichenwechselnde Lösungen systematisch behandelt. Bisher lag der Fokus stark auf positiven Lösungen.
• Dimensionale Phänomene: Es wird ein scharfes Bild der Abhängigkeit von der Dimension $n$ geliefert:
  • $n \le 5$: Robuste Kompaktheit für vorzeichenwechselnde Lösungen (im Gegensatz zu positiven).
  • $n = 6$: Ein kritischer Fall mit spezifischen nicht-kompakten Phänomenen.
  • $n \ge 7$: Kompaktheit unter der Bedingung $h \neq 0$.
• Methodischer Fortschritt: Die Entwicklung der globalen punktweisen Abschätzungen bis zum Rand (Theorem 2.1) ist ein eigenständiger methodischer Durchbruch. Diese Technik ist nicht nur für dieses Problem relevant, sondern kann auf andere kritische Gleichungen mit Vorzeichenwechsel angewendet werden.
• Vollständigkeit: Die Arbeit liefert eine vollständige Charakterisierung der Kompaktheit für den Fall der niedrigsten Energie von vorzeichenwechselnden Lösungen und klärt den Status der Dimension 6 als Ausnahme.

Zusammenfassend stellt dieses Paper einen bedeutenden Fortschritt im Verständnis der Struktur und Stabilität von Lösungen kritischer nichtlinearer elliptischer Gleichungen dar, insbesondere im Kontext von Vorzeichenwechseln und Randphänomenen.