Critical quasi-linear Schrödinger system with $p$-Laplacian

Technische Zusammenfassung: Klassifizierung positiver Lösungen eines kritischen quasi-linearen Schrödinger-Systems mit dem p-Laplace-Operator

Problemstellung
Diese Arbeit untersucht die qualitativen Eigenschaften und die Klassifizierung positiver schwacher Lösungen $(u, v)$ des $D^{1,p}(\mathbb{R}^N)$-kritischen quasi-linearen Schrödinger-Systems unter Verwendung des $p$-Laplace-Operators:
$$\begin{cases} -\Delta_p u = u^\alpha v^\beta & \text{in } \mathbb{R}^N, \\ -\Delta_p v = u^\beta v^\alpha & \text{in } \mathbb{R}^N, \end{cases}$$
wobei $1 < p < N$, $N \ge 2$ und die Exponenten die Bedingung $0 \le \alpha \le \beta$ mit $\alpha + \beta = p^* - 1$ erfüllen. Die Lösungen gehören an den Raum $D^{1,p}(\mathbb{R}^N)$, definiert als die Vervollständigung von $C_0^\infty(\mathbb{R}^N)$ unter der Norm $\|\nabla u\|_{L^p}$. Hierbei ist $p^* = \frac{Np}{N-p}$ der Sobolev-kritische Exponent.

Die Studie adressiert die Verallgemeinerung der Unizität- und Klassifizierungsergebnisse, die zuvor für den semi-linearen Fall ($p=2$) durch Li und Ma [48] sowie Quittner und Souplet [58] etabliert wurden, auf das voll-quasi-lineare Regime $1 < p < N$.

Methodik und technische Herausforderungen
Die Autoren verwenden die Methode der beweglichen Ebenen (method of moving planes), um radiale Symmetrie und Monotonie zu etablieren. Die Erweiterung dieser Methode von $p=2$ auf $1 < p < N$ stellt jedoch erhebliche analytische Hürden dar, die auf die Nicht-Linearität des $p$-Laplace-Operators ($\Delta_p u = \text{div}(|\nabla u|^{p-2}\nabla u)$) zurückzuführen sind. Die Arbeit identifiziert vier primäre Schwierigkeiten:

1. Nicht-Linearität: Lineare Operationen können nicht mit $\Delta_p$ vertauscht werden, und Standard-Vergleichsprinzipien, die aus Maximumsprinzipien abgeleitet werden, sind nicht direkt anwendbar.
2. Fehlen von Kelvin-Transformationen: Das Fehlen konformer Invarianz für $p \neq 2$ verhindert die Verwendung von Kelvin-Transformationen, was die Ableitung scharfer asymptotischer Schätzungen für sowohl die Lösungen als auch deren Gradienten erforderlich macht.
3. Fehlen der Greenschen Repräsentationsformel: Das Fehlen einer Greenschen Integralrepräsentationsformel schließt indirekte Methoden aus, die auf äquivalenten Integralgleichungen basieren.
4. Singuläre/Degenerierte Elliptizität: Der Operator ist singulär elliptisch für $1 < p < 2$ und degeneriert elliptisch für $p > 2$, was eine getrennte Behandlung erfordert, da kein einheitliches starkes Vergleichsprinzip existiert.

Um diese Probleme zu lösen, nutzen die Autoren:

• Die Etablierung von Regularität und scharfen asymptotischen Schätzungen für $(u, v)$ und $(|\nabla u|, |\nabla v|)$ ohne Rückgriff auf Kelvin-Transformationen.
• De Giorgi-Moser-Nash-Iterationstechniken, um vorläufige Zerfallsschranken abzuleiten.
• Skalierungsargumente und Verdopplungs-Lemmata (doubling lemmas), um diese Schranken zu scharfen Schätzungen zu verfeinern.
• Gewichtete Poincaré-Typ-Ungleichungen und Hardy-Sobolev-Ungleichungen, um das Verfahren der beweglichen Ebenen in Gegenwart kritischer Mengen (wo die Gradienten verschwinden) zu handhaben.
• Eine getrennte Diskussion der singulären ($1 < p < 2$) und degenerierten ($p > 2$) Fälle durch Anpassung der Methode der beweglichen Ebenen und der Vergleichsprinzipien.

Wesentliche Beiträge und Ergebnisse

1. Regularität und scharfe asymptotische Schätzungen (Theorem 1.3):
   Die Autoren beweisen, dass jede positive schwache Lösung $(u, v)$ in $C^{1,\theta}_{\text{loc}}(\mathbb{R}^N) \cap L^\infty(\mathbb{R}^N)$ liegt. Entscheidend ist, dass sie scharfe zweiseitige Schranken für die Lösungen und deren Gradienten für große $|x|$ festlegen:
   $$\frac{c_0}{1 + |x|^{\frac{N-p}{p-1}}} \le u(x), v(x) \le \frac{C_0}{1 + |x|^{\frac{N-p}{p-1}}},$$
   $$\frac{c'_0}{|x|^{\frac{N-1}{p-1}}} \le |\nabla u(x)|, |\nabla v(x)| \le \frac{C'_0}{|x|^{\frac{N-1}{p-1}}}.$$
   Diese Schätzungen werden ohne Kelvin-Transformationen hergeleitet, wodurch eine Lücke in der Literatur für allgemeines $p$ geschlossen wird.

2. Radiale Symmetrie und Monotonie (Theorem 1.4):
   Unter Verwendung der Methode der beweglichen Ebenen beweist die Arbeit, dass alle positiven Lösungen radial symmetrisch und streng abnehmend bezüglich eines Punktes $x_0 \in \mathbb{R}^N$ sind. Dieses Ergebnis gilt für den vollen Bereich $1 < p < N$. Der Beweis beinhaltet die Demonstration, dass die Lösungen symmetrisch bezüglich einer Hyperebene in jeder Richtung sind und schließlich zu einem eindeutigen Symmetriezentrum konvergieren.

3. Einzigartigkeit und vollständige Klassifizierung:
   Die Autoren zeigen, dass $u \equiv v$ gilt. Folglich reduziert sich das System auf die einzelne kritische $p$-Laplace-Gleichung $-\Delta_p u = u^{p^*-1}$. Durch die Nutzung bestehender Klassifizierungsergebnisse für die einzelne Gleichung (z. B. von Sciunzi [59] und Vetois [71]) liefert die Arbeit die vollständige Klassifizierung der positiven Lösungen:
   $$u(x) = v(x) = \left[ \lambda^{\frac{1}{p-1}} \left( N^{\frac{1}{p}} \left( \frac{N-p}{p-1} \right)^{\frac{p-1}{p}} \right) \lambda^{\frac{p}{p-1}} + |x-x_0|^{\frac{p}{p-1}} \right]^{-\frac{N-p}{p}},$$
   wobei $\lambda > 0$ und $x_0 \in \mathbb{R}^N$ beliebige Parameter sind.

Bedeutung und Umfang
Die Arbeit beansprucht, die für den semi-linearen Fall ($p=2$) bekannten Unizitätsresultate auf den allgemeinen quasi-linearen Fall $1 < p < N$ auszudehnen. Sie adressiert spezifisch das technische Vakuum, das durch das Fehlen konformer Invarianz und Kelvin-Transformationen im $p$-Laplace-Kontext entsteht. Durch die Etablierung des scharfen asymptotischen Verhaltens und die getrennte Behandlung der singulären/degenerierten Natur des Operators liefert die Arbeit eine rigorose Grundlage für die Klassifizierung von Lösungen kritischer quasi-linearer Systeme. Die Ergebnisse vereinheitlichen das Verständnis solcher Systeme über den gesamten Bereich von $p$ hinweg und bestätigen, dass trotz der erhöhten Komplexität des Operators das qualitative Verhalten (radiale Symmetrie, Monotonie und Einzigartigkeit bis auf Skalierung und Translation) konsistent mit dem semi-linearen Fall bleibt.