Sharp quantitative stability for the fractional Sobolev trace inequality

Technische Zusammenfassung: Scharfe quantitative Stabilität für die fraktionale Sobolev-Trace-Ungleichung

Problemstellung
Diese Arbeit untersucht die quantitative Stabilität der scharfen fraktionalen Sobolev-Trace-Ungleichung, die ursprünglich von Einav und Loss etabliert wurde. Die Ungleichung besagt, dass für $0 \le m < n$ und $m/2 < \alpha < n/2$ eine scharfe Konstante $S(n, m, \alpha)$ existiert, sodass:
$$S(n, m, \alpha) \|\tau_m f\|_{L^q(\mathbb{R}^{n-m})}^2 \le \|f\|_{D^\alpha(\mathbb{R}^n)}^2$$
wobei $q = \frac{2(n-m)}{n-2\alpha}$, $\tau_m$ die Restriktion auf die Hyperebene $\mathbb{R}^{n-m}$ bezeichnet und $D^\alpha(\mathbb{R}^n)$ den fraktionalen Sobolev-Raum darstellt. Die Extremalfunktionen bilden eine Mannigfaltigkeit $M_{n,m,\alpha}$.

Die Autoren analysieren die Stabilität dieser Ungleichung in zwei unterschiedlichen Settings:

1. Funktionaler Kontext: Quantifizierung des Abstandes einer Funktion $f$ von der Extremalmannigfaltigkeit $M_{n,m,\alpha}$ basierend auf dem Defizit in der Ungleichung.
2. Kritischer Punkt-Kontext: Analyse der Stabilität von Lösungen der zugehörigen Euler-Lagrange-Gleichung (der Escobar-Trace-Gleichung) auf dem Halbraum $\mathbb{R}^n_+$, speziell wenn die Lösung nahe an einer Superposition von „Escobar-Bubbles“ liegt.

Methodik
Die Arbeit verwendet eine Kombination aus Reduktionsprinzipien, Spektralanalyse und Profilzerlegungstechniken.

• Reduktionsprinzip: Im funktionalen Kontext nutzen die Autoren ein Reduktionsprinzip (Theorem 3.3), das von Einav und Loss etabliert wurde. Dieses Prinzip zerlegt die fraktionale Sobolev-Trace-Ungleichung in eine Komposition einer Reduktionsoperator $\tau_m$ und einer Standard-fraktionalen-Sobolev-Ungleichung. Dies ermöglicht es den Autoren, das Stabilitätsproblem der Trace-Ungleichung auf die bekannten Stabilitätsresultate der Standard-fraktionalen-Sobolev-Ungleichung (Bianchi-Egnell-Typ Stabilität) zu reduzieren.
• Duales Schema: Um Stabilitätsschätzungen für das Neumann-Problem (das Dual der Trace-Ungleichung) abzuleiten, wenden die Autoren ein duales Schema an, das von Carlen entwickelt wurde. Dies beinhaltet die Analyse der Legendre-Transformationen der relevanten Funktionale und die Nutzung der Konvexitätseigenschaften der dualen Funktionale.
• Profilzerlegung: Im kritischen Punkt-Kontext erweitern die Autoren Struwes globales Kompaktheitsprinzip. Sie etablieren sowohl qualitative als auch quantitative Profilzerlegungen für Sequenzen von Funktionen, die „fast“ Lösungen der kritischen Gleichung sind. Dies beinhaltet die Trennung der Lösung in eine Summe interagierender Escobar-Bubbles und einen Restterm.
• Spektrallücke und konforme Abbildung: Um scharfe obere Schranken für die Stabilitätskonstante im Ein-Bubble-Fall zu erhalten, verwenden die Autoren eine konforme Abbildung zwischen dem Halbraum $\mathbb{R}^n_+$ und der Einheitskugel $B^n$. Diese Transformation verknüpft den linearisierten Operator des Problems mit dem Steklov-Eigenwertproblem auf der Kugel. Durch die Analyse des Spektrums des Steklov-Problems leiten sie eine raffinierte Spektrallücken-Ungleichung ab.
• Drittordnungsexpansion: Für die obere Schranke der Stabilitätskonstante im Single-Bubble-Fall führen die Autoren eine präzise Expansion dritter Ordnung der dualen Norm durch, wobei sie die Interaktionsterme und die Geometrie der Mannigfaltigkeit sorgfältig behandeln.

Wesentliche Beiträge und Ergebnisse

1. Sfe Schätzung der funktionalen Stabilität:
   Die Autoren etablieren eine scharfe quantitative Stabilitätsschätzung für die fraktionale Sobolev-Trace-Ungleichung:
   $$C \inf_{v \in M_{n,m,\alpha}} \|f - v\|_{D^\alpha(\mathbb{R}^n)}^2 \le \|f\|_{D^\alpha(\mathbb{R}^n)}^2 - S(n, m, \alpha) \|\tau_m f\|_{L^q(\mathbb{R}^{n-m})}^2$$
   Sie beweisen, dass der Exponent 2 scharf ist und liefern explizite obere und untere Schranken für die optimale Stabilitätskonstante $C_{BE}(n, m, \alpha)$. Entscheidend ist, dass sie zeigen, dass $C_{BE}(n, m, \alpha) = C_{BE}(n-m, 0, \alpha - m/2)$ gilt, was effektiv das Trace-Problem auf das Standard-fraktionale-Sobolev-Problem reduziert. Sie beweisen zudem die Existenz von Minimierern für die Stabilitätskonstante, wenn $n-m \ge 2$.

2. Verbesserte Trace-Ungleichungen und Neumann-Stabilität:
   Als Korollar der Gradientenstabilitätsresultate leiten die Autoren verbesserte Sobolev-Einbettungen für Funktionen ab, die in allgemeinen Domänen (einschließlich Streifen) unterstützt sind, mit Resttermen, die schwache $L^q$-Normen beinhalten. Des Weiteren etablieren sie unter Verwendung des dualen Schemas eine scharfe a priori Stabilitätsschätzung für das Neumann-Problem auf dem Halbraum, indem sie das Defizit in der dualen Ungleichung mit dem Abstand zur Extremalmannigfaltigkeit des Neumann-Problems verknüpfen.

3. Quantitative Profilzerlegung:
   Im kritischen Punkt-Kontext beweisen die Autoren ein quantitatives Profilzerlegungstheorem. Sie zeigen, dass wenn eine Funktion $u$ nahe an einer Summe von $\nu$ schwach interagierenden Escobar-Bubbles (in der $H^1$-Norm) liegt, der Abstand zur Mannigfaltigkeit dieser Bubbles linear durch die $H^{-1}$-Norm des Residuums $\|\Delta u + |u|^{p-1}u\|_{H^{-1}}$ kontrolliert wird. Dieses Resultat gilt für nicht-negative Funktionen und erweitert vorangegangene Arbeiten zur klassischen Yamabe-Gleichung auf den Escobar-Trace-Fall.

4. Scharfe obere Schranke für die Stabilitätskonstante:
   Für den Single-Bubble-Fall ($\nu=1$) leiten die Autoren eine strikte obere Schranke für die optimale Stabilitätskonstante $CCP(n, 1)$ ab:
   $$CCP(n, 1) < \frac{2}{n+2}$$
   Dieses Resultat wird durch die Konstruktion einer spezifischen Testfunktion erreicht, die eine Perturbation dritter Ordnung der Extremal-Bubble beinhaltet, unter Nutzung der aus dem Steklov-Eigenwertproblem abgeleiteten Spektrallücken-Ungleichung.

Bedeutung
Die Arbeit beansprucht, bisherige Stabilitätsresultate zur Escobar-Trace-Ungleichung und zur fraktionalen Sobolev-Ungleichung zu erweitern. Durch die Etablierung eines Reduktionsprinzips vereinheitlichen die Autoren die Stabilitätsanalyse der Trace-Ungleichung mit der der Standard-fraktionalen-Sobolev-Ungleichung. Die Ableitung expliziter Schranken für die Stabilitätskonstanten und der Beweis der Existenz von Minimierern (im funktionalen Setting) adressieren offene Fragen bezüglich der quantitativen Natur dieser Ungleichungen.

Im kritischen Punkt-Kontext liefert die Arbeit die erste quantitative Profilzerlegung für die Escobar-Trace-Gleichung und generalisiert damit Ergebnisse, die für die klassische Yamabe-Gleichung bekannt sind. Die strikte obere Schranke $2/(n+2)$ für die Stabilitätskonstante im Single-Bubble-Fall stellt eine signifikante Verfeinerung dar, die über generische Schätzungen hinausgeht und die spezifischen spektralen Eigenschaften des linearisierten Operators in diesem Kontext hervorhebt. Die Autoren merken an, dass die Nicht-Degeneriertheit der Lösungen, welche entscheidend für diese quantitativen Resultate ist, über die Verbindung zum Steklov-Eigenwertproblem etabliert wird – eine Verbindung, die von eigenständigem Interesse sein kann.