The new observations about the parameter-dependent Schrödinger-Poisson system

Titel: Bemerkungen zum parametrischen Schrödinger-Poisson-System
Autoren: Chen Huang, Sihua Liang, Lei Ma und Patrizia Pucci

1. Problemstellung

Der Artikel untersucht die Existenz nichttrivialer Lösungen für das folgende parametrische nichtlineare Schrödinger-Poisson-System im $\mathbb{R}^3$:

$$\begin{cases} -\Delta u + V(x)u - \lambda \phi u = f(u) & \text{in } \mathbb{R}^3, \\ -\Delta \phi = u^2 & \text{in } \mathbb{R}^3, \end{cases}$$

wobei $V(x)$ ein gegebenes Potential, $f(u)$ eine nichtlineare Funktion und $\lambda > 0$ ein Parameter ist. Das System beschreibt stationäre Wellen in der Quantenmechanik, wobei das Potential $\phi$ über die Poisson-Gleichung mit der Wellenfunktion $u$ gekoppelt ist.

Das Hauptziel der Arbeit ist die Untersuchung der Existenz von Lösungen unter zwei unterschiedlichen Szenarien für das Potential $V(x)$ und die Nichtlinearität $f(u)$, wobei der Fokus auf dem Fall liegt, dass der Parameter $\lambda$ hinreichend groß ist.

2. Methodik und Vorgehensweise

Die Autoren entwickeln eine neue Methodik, die sich signifikant von früheren Arbeiten (insbesondere [12, 20, 21]) unterscheidet. Die zentralen methodischen Schritte sind:

• Transformation und Modifikation: Durch die Substitution $\lambda = \epsilon^{-2}$ und $u \to \epsilon u$ wird das System in eine äquivalente Form überführt, die für kleine $\epsilon > 0$ analysiert wird. Um die Funktionaldefinition in den entsprechenden Hilbert-Räumen zu sichern, wird eine Trunkierung der Nichtlinearität eingeführt. Dies ermöglicht die Konstruktion eines modifizierten Funktionals $I_\epsilon$, dessen kritische Punkte mit denen des ursprünglichen Problems übereinstimmen, sobald $\epsilon$ klein genug ist.
• Neue Ungleichung für die Poisson-Gleichung: Ein entscheidender technischer Durchbruch ist die Nutzung einer neuen Eigenschaft der Lösungen der Poisson-Gleichung. Die Autoren leiten die folgende Ungleichung her, die für die Beschränktheit der Palais-Smale-(PS)-Sequenzen entscheidend ist:
  $$\int_{\mathbb{R}^3} \phi_u u^2 \, dx = \int_{\mathbb{R}^3} |\nabla \phi_u|^2 \, dx \geq \int_{\mathbb{R}^3} |u|^3 \, dx - \frac{1}{4} \int_{\mathbb{R}^3} |\nabla u|^2 \, dx.$$
  Diese Ungleichung hängt ausschließlich von den Eigenschaften der Poisson-Gleichung ab und ersetzt die Notwendigkeit der Nichtentartung (non-degeneracy) der Lösungen der Grenzgleichung, wie sie in früheren Arbeiten erforderlich war.
• Variationsmethoden:
  • Fall 1 (Positives Potential): Wenn $V(x)$ positiv und radial ist, wird der Mountain-Pass-Satz angewendet. Die Autoren zeigen, dass das Funktional die geometrischen Voraussetzungen erfüllt und die (PS)-Sequenzen beschränkt sind.
  • Fall 2 (Vorzeichenwechselndes Potential): Wenn $V(x)$ beschränkt von unten ist, aber Vorzeichen wechselt (was den Schrödinger-Operator indefinit macht), wird der Mountain-Pass-Satz nicht direkt anwendbar, da $u=0$ kein lokales Minimum mehr ist. Hier wird eine Kombination aus lokaler Linking-Argumentation (nach Li und Willem) und der Morse-Theorie verwendet. Es wird gezeigt, dass das Funktional bei Null eine lokale Linking-Struktur besitzt und die kritischen Gruppen bei Unendlich verschwinden, was die Existenz einer nichttrivialen Lösung garantiert.
• Asymptotisches Verhalten: Die Konvergenz der Lösungen für $\lambda \to \infty$ (bzw. $\epsilon \to 0$) wird mittels der Moser-Iteration und der Analyse des modifizierten Funktionals untersucht.

3. Wichtige Beiträge und Innovationen

• Abschaffung von Bedingungen im Unendlichen: Im Gegensatz zu früheren Arbeiten (z.B. [12]), die Wachstumsbedingungen für $f(t)$ im Unendlichen (wie $\lim_{|t|\to\infty} |t|^{1-p}|f(t)| < \infty$) oder die Ambrosetti-Rabinowitz-Bedingung (AR) benötigten, zeigen die Autoren, dass für hinreichend großes $\lambda$ die Existenz von Lösungen nur vom Verhalten der Nichtlinearität im Ursprung abhängt. Es wird lediglich das superlineare Wachstum bei Null ($\lim_{t\to 0} f(t)/t = 0$) vorausgesetzt.
• Neuer Beweisweg für die Beschränktheit: Die Beschränktheit der (PS)-Sequenzen wird ohne die Annahme der Nichtentartung der Grenzgleichung bewiesen, sondern durch die oben genannte neue Ungleichung für das Poisson-Potential. Dies wird als eine neue Entdeckung im Kontext dieser Probleme bezeichnet.
• Behandlung indefiniter Potentiale: Der zweite Hauptsatz behandelt den Fall $\lambda > 0$ mit einem vorzeichenwechselnden Potential $V(x)$, was eine Erweiterung gegenüber der Literatur darstellt, die oft $\lambda < 0$ oder positive Potentiale betrachtet.

4. Hauptergebnisse

Satz 1.1 (Positives, radiales Potential):
Unter den Annahmen, dass $V(x)$ radial, stetig und positiv ($V(x) \geq V_0 > 0$) ist und $f$ superlinear bei Null wächst, existiert ein Schwellenwert $\lambda^* > 0$, sodass für alle $\lambda \geq \lambda^*$ das System (1.1) eine nichttriviale schwache Lösung besitzt.

Satz 1.3 (Vorzeichenwechselndes Potential):
Wenn $V(x)$ beschränkt von unten ist, das Maß der Menge, wo $V(x)$ negativ ist, endlich ist, und $0$ kein Eigenwert des Operators $-\Delta + V$ ist, existiert ebenfalls ein Schwellenwert $\lambda^{**} > 0$, sodass für $\lambda \geq \lambda^{**}$ eine nichttriviale Lösung existiert. Die Nichtlinearität muss hier zusätzlich lokal nichtnegativ sein ($f(t)t \geq 0$ für kleine $|t|$).

Satz 1.6 (Asymptotisches Verhalten):
Für die nichttriviale Lösung $u_\lambda$ gilt für $\lambda \to \infty$:

1. $u_\lambda \to 0$ stark in $H^1_r(\mathbb{R}^3)$.
2. $\sqrt{\lambda} u_\lambda \to u_0$ stark in $H^1_r(\mathbb{R}^3)$, wobei $u_0$ eine nichttriviale Lösung der Choquard-Gleichung ist:
   $$-\Delta u + V(x)u = \left( \frac{1}{4\pi} \int_{\mathbb{R}^3} \frac{u^2(y)}{|x-y|} dy \right) u.$$

5. Bedeutung und Fazit

Dieser Artikel stellt einen signifikanten Fortschritt in der Theorie der Schrödinger-Poisson-Systeme dar. Die Autoren zeigen, dass bei großen Parametern $\lambda$ die komplexen globalen Wachstumsbedingungen an die Nichtlinearität $f$ entbehrlich sind. Stattdessen reicht das lokale Verhalten bei Null aus. Dies erweitert die Anwendbarkeit der Existenztheorie erheblich.

Die entwickelte Methodik, insbesondere die Nutzung der neuen Ungleichung für das Poisson-Potential zur Sicherung der Kompaktheit, bietet einen robusten Rahmen, der auf andere verwandte Probleme in der nichtlinearen Analysis übertragen werden kann. Die Arbeit schließt eine Lücke in der Literatur, indem sie die Existenz von Lösungen für den Fall $\lambda > 0$ mit indefiniten Potentialen rigoros behandelt.