Radial symmetry of positive solutions of an integral system associated with the reversed Stein-Weiss inequality

Technische Zusammenfassung: Radialsymmetrie positiver Lösungen eines Integralsystems im Zusammenhang mit der umgekehrten Stein-Weiss-Ungleichung

Problemstellung
Diese Arbeit untersucht die Radialsymmetrie und Monotonie positiver Lösungen eines spezifischen Systems von Integralgleichungen, das als Euler-Lagrange-System für Extremalfunktionen der umgekehrten Stein-Weiss-Ungleichung entsteht. Das System ist gegeben durch:
$$\begin{cases} u(x) = \int_{\mathbb{R}^n} \frac{|x|^\alpha v^{-p_2}(y) |y|^\beta}{|x-y|^\Lambda} dy, \\ v(x) = \int_{\mathbb{R}^n} \frac{|x|^\beta u^{-p_1}(y) |y|^\alpha}{|x-y|^\Lambda} dy, \end{cases}$$
wobei $n \ge 1$, $\Lambda > 0$, $p_1, p_2 > 1$, und die Gewichte bestimmte Bedingungen bezüglich $\alpha, \beta$ erfüllen. Die Autoren betrachten Lösungen $(u, v)$, die fast überall in $\mathbb{R}^n$ positiv sind und in $L^\infty_{loc}(\mathbb{R}^n) \times L^\infty_{loc}(\mathbb{R}^n)$ liegen.

Das Problem erweitert vorangegangene Arbeiten zur Hardy-Littlewood-Sobolev (HLS) und Stein-Weiss-Ungleichung (Chen, Li und Ou etablierten die Radialsymmetrie für Standard-HLS- und Stein-Weiss-Systeme mittels der Methode der beweglichen Ebenen, und Dou, Zhu und Liu befassten sich mit der umgekehrten HLS-Ungleichung; die Radialsymmetrie für das umgekehrte Stein-Weiss-System, welches doppelte Gewichte und negative Exponenten im Integranden beinhaltet, blieb jedoch eine offene Frage).

Methodik
Die Autoren verwenden die Methode der beweglichen Ebenen in integraler Form, eine Technik, die ursprünglich von Chen, Li und Ou entwickelt und später von Dou, Guo und Zhu für Systeme mit negativen Exponenten verfeinert wurde. Der Beweis erfolgt durch die folgenden technischen Schritte:

1. Hilfsfunktionen und Regularität: Um die doppelten Gewichte ($|x|^\alpha, |y|^\beta$) und die Singularität am Ursprung zu handhaben, führen die Autoren Hilfsfunktionen ein:
   $$t(x) = |x|^{-\alpha}u(x), \quad w(x) = |x|^{-\alpha/p_1}u(x), \quad s(x) = |x|^{-\beta}v(x).$$
   Zuerst etablieren sie das asymptotische Verhalten der Lösungen $(u, v)$ im Unendlichen und nahe dem Ursprung (Lemma 2.1). Entscheidend ist, dass sie beweisen, dass die Hilfsfunktionen $t$ und $s$ stetig in $\mathbb{R}^n$ und differenzierbar in $\mathbb{R}^n \setminus \{0\}$ sind, und sie leiten präzise Schätzungen für deren Gradienten ab (Lemmata 2.2 und 2.3). Diese Schätzungen sind notwendig, um die Singularitäten nahe dem Ursprung während des Prozesses der beweglichen Ebenen zu kontrollieren.

2. Integrale Darstellung: Die Autoren leiten integrale Darstellungen für die Differenzen $t(x) - t_\lambda(x)$ und $s(x) - s_\lambda(x)$ her, wobei $x_\lambda$ die Spiegelung von $x$ an der Ebene $T_\lambda = \{x_1 = \lambda\}$ bezeichnet. Diese Darstellungen beinhalten den Kern $G(x, y) = |x_\lambda - y|^\Lambda - |x - y|^\Lambda$ (Lemma 2.4).

3. Das Argument der beweglichen Ebene:

   • Ausgangspunkt: Für hinreichend negatives $\lambda$ zeigen die Autoren, dass $t(x) \ge t_\lambda(x)$ und $s(x) \ge s_\lambda(x)$ in der Region $\Sigma_\lambda = \{x \in \mathbb{R}^n \mid x_1 \le \lambda\}$ gelten. Dies beruht auf dem asymptotischen Verhalten der Lösungen im Unendlichen und den spezifischen Wachstumsraten der Hilfsfunktionen.
   • Bewegen der Ebene: Die Ebene $T_\lambda$ wird nach rechts verschoben, solange die Ungleichungen anhalten. Die Autoren definieren $\lambda_0 = \sup \{ \mu < 0 \mid \text{Ungleichheiten halten für alle } \lambda < \mu \}$.
   • Widerspruch: Sie nehmen an, dass $\lambda_0 < 0$ ist, und führen einen Widerspruch her. Durch die Analyse der integralen Darstellungen und unter Nutzung der strikten Positivität des Kerns $G(x, y)$ sowie der Monotonie der Potenzfunktionen zeigen sie, dass die Ungleichungen, falls sie bis $\lambda_0$ anhalten, auch in einer Umgebung jenseits von $\lambda_0$ strikt gelten müssen, sofern die Lösung nicht bereits symmetrisch ist. Der Beweis behandelt die Singularität am Ursprung sorgfältig, indem er die Integrationsbereiche aufteilt und die etablierten Gradientenschätzungen verwendet.
   • Schlussfolgerung der Symmetrie: Der Widerspruch impliziert $\lambda_0 = 0$. Da die Richtung der $x_1$-Achse beliebig ist, sind die Lösungen $w$ und $s$ (und folglich $u$ und $v$) radialsymmetrisch bezüglich des Ursprungs.

Wesentliche Beiträge und Ergebnisse
Das Hauptresultat ist Theorem 1.1, welches besagt, dass unter den Bedingungen $n \ge 1$, $\Lambda > 0$, $\min\{p_1, p_2\} > 1$ und spezifischen Beschränkungen der Gewichte $\alpha$ und $\beta$, jedes Paar positiver Lösungen $(u, v)$ des Systems (1.12) radialsymmetrisch und um den Ursprung herum monoton steigend ist.

Die spezifischen technischen Beiträge der Arbeit sind:

• Die Erweiterung der Methode der beweglichen Ebenen auf das umgekehrte Stein-Weiss-System, welches doppelte Gewichte und negative Exponenten ($v^{-p_2}, u^{-p_1}$) aufweist.
• Die Einführung und Nutzung spezifischer Hilfsfunktionen ($t, w, s$), um die Gewichte von den Integralkernen zu entkoppeln, was die Anwendung der Methode der beweglichen Ebenen trotz des Fehlens einer direkten umgekehrten Stein-Weiss-Ungleichung für das System ermöglicht.
• Die Bereitstellung rigider Schätzungen für die Gradienten der Hilfsfunktionen nahe dem Ursprung und im Unendlichen, um die Gültigkeit der für das Argument der beweglichen Ebenen erforderlichen Integralschätzungen zu gewährleisten.

Bedeutung und Behauptungen
Die Arbeit beansprucht, die Frage der Radialsymmetrie für die Extremalfunktionen der umgekehrten Stein-Weiss-Ungleichung zu klären – ein Problem, das durch die Arbeit von Chen, Liu, Lu und Tao (2018) motiviert wurde, welche zwar die Ungleichung etablierten, aber die Klassifizierung der Symmetrie ihrer Extremalfunktionen nicht vornahmen.

Die Autoren ordnen ihre Arbeit als eine natürliche Fortsetzung der Untersuchung konformer Gleichungen und Integralsysteme ein. Sie merken an, dass die Stein-Weiss-Ungleichung nicht direkt auf ihr System anwendbar ist (wie es bei dem Standard-Stein-Weiss-System der Fall war, siehe Jin und Li, 2006), das von Dou, Guo und Zhu für die umgekehrte HLS-Ungleichung entwickelte Schema jedoch erfolgreich adaptiert werden kann. Die Arbeit betont, dass die doppelt gewichtete Natur des Systems eine Schwierigkeit darstellt, die die Einführung der Hilfsfunktionen erfordert, um die Singularität am Ursprung effektiv zu handhaben.

Die Arbeit schlägt keine neuen Anwendungen oder experimentellen Aufbauten vor, trägt aber zum theoretischen Verständnis der Struktur von Lösungen nichtlinearer Integralgleichungen bei, die in der mathematischen Physik und der Theorie der Bestimmung von optimalen Konstanten in funktionalen Ungleichungen eine Rolle spielen.