Maz'ya-type bounds for sharp constants in fractional Poincaré-Sobolev inequalities

Titel

Maz'ya-artige Schranken für scharfe Konstanten in fraktionalen Poincaré-Sobolev-Ungleichungen

1. Problemstellung und Zielsetzung

Das Paper adressiert die Frage nach der Charakterisierung der Positivität scharfer Konstanten in fraktionalen Poincaré-Sobolev-Ungleichungen für beliebige offene Mengen $\Omega \subseteq \mathbb{R}^N$.

Die zentrale Größe ist der Variationswert $\lambda^s_{p,q}(\Omega)$, definiert als das Infimum des Verhältnisses der Gagliardo-Slobodeckiĭ-Halbnorm zur $L^q$-Norm:
$$\lambda^s_{p,q}(\Omega) := \inf_{u \in C^\infty_0(\Omega), \|u\|_{L^q}=1} [u]^p_{W^{s,p}(\mathbb{R}^N)}$$
wobei $s \in (0,1)$ der Differenzierbarkeitsgrad und $1 \le p < \infty$ ist.

Das Hauptproblem:
Es ist bekannt, dass $\lambda^s_{p,q}(\Omega) > 0$ äquivalent zur Einbettung des homogenen Sobolev-Raums $D^{s,p}_0(\Omega)$ in $L^q(\Omega)$ ist. Im lokalen Fall ($s=1$) haben Maz'ya und Shubin gezeigt, dass die Positivität dieser Konstanten durch den sogenannten inneren kapazitären Radius charakterisiert werden kann, der eine verallgemeinerte Version des Inradius ist, die "kapazitive Störungen" (kompakte Mengen mit verschwindender Kapazität) ignoriert.
Im nichtlokalen (fraktionalen) Fall ist dies jedoch schwieriger, da die Frequenzen $\lambda^s_{p,q}(\Omega)$ nicht durch kompakte Mengen mit verschwindender relativer $(s,p)$-Kapazität beeinflusst werden. Das Ziel des Papers ist es, eine analoge, zweiseitige Schätzung (Maz'ya-artige Bounds) für den fraktionalen Fall zu etablieren, die den fraktionalen kapazitären Inradius $R^s_{p,\gamma}(\Omega)$ verwendet.

2. Methodik und Vorgehensweise

Die Autoren entwickeln eine neue analytische Strategie, die stark von den Techniken im lokalen Fall inspiriert ist, aber signifikante Anpassungen erfordert, um die Nichtlokalität und das asymptotische Verhalten für $s \to 0$ und $s \to 1$ korrekt abzubilden.

Schlüsseltechniken:

1. Einführung des fraktionalen kapazitären Inradius:
   Es wird definiert, wann eine Menge $\Sigma \subset B_r(x_0)$ als $(s,p,\gamma)$-vernachlässigbar gilt (wenn ihre relative Kapazität im Verhältnis zur Kapazität der Kugel klein ist). Der Radius $R^s_{p,\gamma}(\Omega)$ ist das Supremum aller Radien $r$, für die es eine Kugel gibt, deren Schnitt mit $\Omega^c$ vernachlässigbar ist.

2. Neue asymmetrische Halbnormen:
   Ein zentrales technisches Hindernis ist, dass die Standard-Gagliardo-Halbnorm auf einer Kugel nicht durch die globale Halbnorm kontrolliert werden kann (was für $s \to 0$ zu einem Verlust der Schärfe führen würde).
   Die Autoren führen eine asymmetrische Seminorm auf "Streifen" ein:
   $$u \mapsto \left( \iint_{B_r(x_0) \times \mathbb{R}^N} \frac{|u(x)-u(y)|^p}{|x-y|^{N+sp}} \, dx dy \right)^{1/p}$$
   Diese Norm verhält sich asymptotisch korrekt für $s \searrow 0$ und $s \nearrow 1$.

3. Neue Ungleichungen:

   • Fraktionale Maz'ya-Poincaré-Ungleichungen: Es werden neue Ungleichungen bewiesen, die die asymmetrische Seminorm mit der Kapazität einer kompakten Menge verknüpfen (Lemma 4.4 und 4.11).
   • Poincaré-Wirtinger-Typ Schranken: Neue Abschätzungen für Funktionen mit Mittelwertnull werden hergeleitet (Lemma 4.2, 4.9).
   • Poincaré-Schranken auf Kugeln: Explizite Berechnung scharfer Konstanten für $p=1$ und Abschätzungen für $p>1$ unter Berücksichtigung des asymptotischen Verhaltens (Lemma 3.2, 3.4).

4. Tessellation (Parkettierung):
   Für die untere Schranke wird der Raum $\mathbb{R}^N$ in ein Gitter aus Kugeln mit gleichem Radius $r$ zerlegt. Durch Summation der Beiträge jeder Kugel unter Nutzung der neuen Maz'ya-Ungleichung wird die globale Schätzung gewonnen.

5. Approximation für die obere Schranke:
   Für die obere Schranke wird die Kapazität durch glatte Funktionen approximiert und geeignete Testfunktionen (mit Abschneidefunktionen) konstruiert, um die Definition von $\lambda^s_{p,q}(\Omega)$ zu testen.

3. Hauptergebnisse

Die paper liefert zwei zentrale Sätze, die eine zweiseitige Schätzung für $\lambda^s_{p,q}(\Omega)$ in Abhängigkeit vom fraktionalen kapazitären Inradius $R^s_{p,\gamma}(\Omega)$ bieten.

Satz 1.4 (Untere Schranke):
Für $1 \le p < \infty$, $sp \le N$ und $p \le q < p^*_s$ existiert eine Konstante $\sigma > 0$, sodass:
$$\gamma \sigma \left( \frac{1}{R^s_{p,\gamma}(\Omega)} \right)^{sp - N + \frac{Np}{q}} \le \lambda^s_{p,q}(\Omega)$$
Die Konstante $\sigma$ zeigt das erwartete asymptotische Verhalten: $\sigma \sim 1/s$ für $s \to 0$ und $\sigma \sim 1/(1-s)$ für $s \to 1$.

Satz 1.5 (Obere Schranke):
Es existiert ein Schwellenwert $\gamma_0 \in (0,1]$ (abhängig von $N, p, s$), sodass für jedes $0 < \gamma < \gamma_0$ eine Konstante $C > 0$ existiert mit:
$$\lambda^s_{p,q}(\Omega) \le C \left( \frac{1}{R^s_{p,\gamma}(\Omega)} \right)^{sp - N + \frac{Np}{q}}$$
Für $p=1$ kann $\gamma_0 = 1$ gewählt werden. Für $p>1$ ist $\gamma_0$ möglicherweise kleiner als 1 (ein offenes Problem, ob dies für alle $p$ auf 1 erweitert werden kann). Auch hier sind die Konstanten asymptotisch scharf.

Korollarien und Folgerungen:

• Charakterisierung der Einbettung: $D^{s,p}_0(\Omega) \hookrightarrow L^q(\Omega)$ gilt genau dann, wenn $R^s_{p,\gamma}(\Omega) < \infty$ für ein geeignetes $\gamma$.
• Fraktionale Cheeger-Konstante: Für $p=q=1$ wird die Positivität der fraktionalen Cheeger-Konstante $h_s(\Omega)$ äquivalent zur Endlichkeit von $R^s_{1,\gamma}(\Omega)$ charakterisiert. Dies ist eine optimale Charakterisierung, da der gesamte Bereich von $\gamma \in (0,1)$ zugelassen wird.
• Torsionsfunktion: Es werden neue $L^\infty$-Abschätzungen für die Torsionsfunktion $w_{p,s,\Omega}$ (Lösung von $(-\Delta_p)^s u = 1$) in Abhängigkeit von $R^s_{p,\gamma}(\Omega)$ hergeleitet.

4. Bedeutung und Innovation

• Erweiterung auf den nichtlokalen Fall: Das Paper überträgt die tiefgreifenden Ergebnisse von Maz'ya und Shubin (lokal) sowie von Brasco und dem ersten Autor (lokal) erfolgreich auf den fraktionalen Kontext.
• Asymptotische Schärfe: Ein entscheidender Unterschied zu früheren Arbeiten ist die Gewährleistung der asymptotischen Schärfe der Konstanten bezüglich des Parameters $s$. Herkömmliche fraktionale Ungleichungen verlieren oft ihre Schärfe im Grenzübergang $s \to 0$ oder $s \to 1$. Die hier eingeführten asymmetrischen Seminormen lösen dieses Problem.
• Neue Werkzeuge: Die entwickelten fraktionalen Maz'ya-Poincaré-Ungleichungen und die Poincaré-Wirtinger-Schätzungen sind eigenständig von Interesse und können in anderen Bereichen der nichtlokalen Analysis angewendet werden.
• Spektrale Geometrie: Die Ergebnisse liefern neue Kriterien für die Positivität des ersten Eigenwerts des fraktionalen $p$-Laplace-Operators (speziell für $p=q=2$), was für die spektrale Geometrie nichtlokaler Operatoren relevant ist.
• Offene Probleme: Das Paper identifiziert eine Lücke für $p > 1$ bezüglich des Schwellenwerts $\gamma_0$ und fordert weitere Forschung, um zu klären, ob $\gamma_0=1$ auch für $p>1$ gilt.

Zusammenfassend stellt dieses Werk einen bedeutenden Fortschritt im Verständnis der geometrischen und kapazitären Eigenschaften fraktionaler Sobolev-Räume dar und liefert präzise quantitative Schranken, die sowohl für die Theorie als auch für Anwendungen in der Analysis nichtlokaler Operatoren essenziell sind.