Qualitative stability for a family of trace Sobolev inequalities

Technische Zusammenfassung: Qualitative Stabilität für eine Familie von Spur-Sobolev-Ungleichungen

Problemstellung
Dieser Artikel behandelt die qualitative Stabilität einer einparametrigen Familie von Spur-Sobolev-Ungleichungen auf dem Halbraum $H = \{x \in \mathbb{R}^n : x \cdot e_1 > 0\}$, wobei $n \ge 2$ und $p \in (1, n)$. Die Ungleichungen, die von Maggi und Neumayer [MN17] etabliert wurden, setzen die $L^p$-Norm des Gradienten einer Funktion $u$ in Beziehung zu ihrer $L^{p^*}$-Norm im Inneren und ihrer $L^{p^\sharp}$-Norm auf dem Rand $\partial H$. Für einen festen Spur-Parameter $T \ge 0$ wird die scharfe Konstante $\Phi_H(T)$ über das Variationsproblem definiert:
$$\Phi_H(T) = \inf \{ \|\nabla u\|_{L^p(H)} : u \in \mathcal{A}_T \},$$
wobei $\mathcal{A}_T = \{ u \in \dot{W}^{1,p}(H) : \|u\|_{L^{p^*}(H)} = 1, \|u\|_{L^{p^\sharp}(\partial H)} = T \}$.
Die Extremalen (Minimierer) für dieses Problem sind vollständig charakterisiert als spezifische Dilatationen und Translationen eines expliziten Profils $U_T$. Die zentrale Frage ist die Stabilität: Wenn eine Folge von Funktionen $\{u_k\} \subset \mathcal{A}_T$ ein verschwindendes Energie-Defizit $\delta_T(u_k) = \|\nabla u_k\|_{L^p}^p - \Phi_H(T)^p \to 0$ aufweist, konvergiert die Folge dann (in der Gradientennorm) gegen die Menge der Extremalen $\mathcal{M}_T$?

Während kürzlich eine lokale quantitative Stabilität für den Fall $p=2$ von Fan, Li und Zhang [FLZ26] etabliert wurde, fehlte ein globales Ergebnis zur qualitativen Stabilität (d. h. der Nachweis, dass ein verschwindendes Defizit eine verschwindende Distanz zu den Extremalen impliziert). Diese Lücke verhinderte die Erweiterung des lokalen quantitativen Ergebnisses auf einen globalen Rahmen.

Methodik
Der Beweis der qualitativen Stabilität stützt sich auf das Konzentrations-Kompaktheits-Prinzip in Kombination mit einer neuartigen strengen Bindungsungleichung für das Energiefunktional.

1. Konzentrations-Kompaktheits-Analyse: Der Autor passt die standardmäßigen Konzentrations-Kompaktheits-Lemmata (Lions [Lio85]) an das Spur-Setting an. Der Beweis erfolgt durch Widerspruch: Unter der Annahme, dass eine Folge mit verschwindendem Defizit nicht gegen eine Extremale konvergiert, muss die Folge entweder verschwinden (was durch die Normierung ausgeschlossen wird) oder sich in zwei asymptotisch nicht wechselwirkende Profile aufspalten (Dichotomie).
2. Die strenge Bindungsungleichung (Satz 1.3): Der Kern des Arguments besteht darin, das „Aufspaltungs"-Szenario auszuschließen. Der Autor beweist, dass für jede Zerlegung der Masse und der Spur-Normen in zwei Teile $(m_1, t_1)$ und $(m_2, t_2)$ die Summe der Energien der getrennten Profile strikt größer ist als die Energie des kombinierten Profils:
   $$\Phi_H(T)^p < m_1^p \Phi_H\left(\frac{t_1}{m_1}\right)^p + m_2^p \Phi_H\left(\frac{t_2}{m_2}\right)^p.$$
   Diese Ungleichung ist nicht-trivial, da im Gegensatz zur klassischen Sobolev-Ungleichung auf $\mathbb{R}^n$ die Konstante $\Phi_H(T)$ nicht-linear von $T$ abhängt, was einfache Skalierungsargumente zur Ausschließung von Aufspaltungen verhindert.
3. Massentransport-Argument: Um die strenge Bindungsungleichung zu beweisen, nutzt der Artikel den Massentransport-Beweis der Spur-Ungleichung aus [MN17]. Der Autor konstruiert eine spezifische Testfunktion $w$, die aus zwei weit voneinander entfernten Kopien von Extremalprofilen besteht. Durch die Analyse der mit $w$ assoziierten optimalen Transportabbildung (Brenier-Abbildung) nutzt der Autor die zyklische Monotonie der Transportabbildung aus. Die geometrische Trennung der Profile zwingt die Transportabbildung zu einem Verhalten, das mit der Bedingung der zyklischen Monotonie unvereinbar ist, es sei denn, das Energie-Defizit ist von Null weg beschränkt. Dies liefert eine definite untere Schranke für das Defizit und etabliert die strenge Ungleichung.

Hauptergebnisse

• Satz 1.1 (Qualitative Stabilität): Für jedes $p \in (1, n)$ und $T > 0$, wenn eine Folge $\{u_k\} \subset \mathcal{A}_T$ die Bedingung $\delta_T(u_k) \to 0$ erfüllt, dann gilt für die Distanz zur Menge der Extremalen $d_T(u_k) \to 0$. Dies bestätigt, dass der einzige Weg, sich der scharfen Konstante zu nähern, darin besteht, sich der Familie der Extremalen zu nähern.
• Satz 1.3 (Strenge Bindungsungleichung): Die strenge Ungleichung, die die Energie einer aufgespaltenen Konfiguration mit der kombinierten Energie verknüpft, wird für alle $T > 0$ bewiesen.
• Korollar 1.2 (Globale quantitative Stabilität für $p=2$): Durch die Kombination des neuen qualitativen Ergebnisses (Satz 1.1) mit der bestehenden lokalen quantitativen Analyse aus [FLZ26] etabliert der Artikel eine globale quantitative Stabilität für den Fall $p=2$. Konkret existiert eine Konstante $\alpha'_T > 0$, sodass $\delta_T(u) \ge \alpha'_T d_T(u)^2$ für alle $u \in \mathcal{A}_T$ gilt.

Bedeutung und Behauptungen
Der Artikel beansprucht, ein offenes Problem aus [FLZ26] bezüglich der globalen quantitativen Stabilität von Spur-Sobolev-Ungleichungen für $p=2$ zu lösen. Der Autor betont, dass das primäre Hindernis für dieses Ergebnis das Fehlen eines Satzes zur qualitativen Stabilität war, das diese Notiz liefert.

Die Arbeit wird als „kurze Notiz" präsentiert, die eine spezifische theoretische Lücke schließt. Der Autor vermerkt bescheiden, dass der Massentransport-Ansatz zwar mächtig ist, aber Schwierigkeiten hat, direkte quantitative Abschätzungen für die Distanz zu den Extremalen zu liefern (wie dies für die isoperimetrische Ungleichung in anderen Arbeiten geschehen ist), aufgrund der Degeneriertheit der Kontrolle in Bereichen, in denen die Funktion klein ist. Folglich verlässt sich der Artikel auf die qualitative strenge Bindungsungleichung, die über Massentransport abgeleitet wurde, um das globale quantitative Ergebnis zu ermöglichen.

Die Ergebnisse erweitern das Verständnis der Stabilität für funktionale Ungleichungen, bei denen die optimale Konstante nicht-trivial von einem Parameter abhängt, einem Setting, in dem Standard-Homogenitätsargumente versagen. Der Artikel schlägt keine neuen Anwendungen oder experimentellen Vorschläge vor, sondern konzentriert sich strikt auf die rigorose Analyse der Stabilitätseigenschaften dieser spezifischen Ungleichungen.