Robust interpolation inequalities via Chebyshev-type integral inequalities

Technische Zusammenfassung: Robuste Interpolationsungleichungen mittels Chebyshev-Typus-Integralungleichungen

Problemstellung
Die Arbeit adressiert den Mangel an Robustheit klassischer log-konvexer Interpolationsungleichungen innerhalb der Skala der Gagliardo-Seminormen. Standardmäßige Interpolationsabschätzungen, wie etwa $|u|_{W^{\eta,p}} \leq C |u|_{W^{\sigma,p}}^\theta |u|_{W^{s,p}}^{1-\theta}$, versagen bei der Konsistenz, wenn der fraktionale Ordnung $\eta$ gegen die Endpunkte $0$ oder $1$ geht. Speziell weisen die Seminormen $|u|_{W^{\eta,p}}$ ein singuläres Blow-up-Verhalten auf, wenn $\eta \to 0^+$ und $\eta \to 1^-$ für nicht-konstante Funktionen. Während frühere Arbeiten (Brezis–Bourgain–Mironescu [BBM01] und Maz'ya–Shaposhnikova [MS02]) asymptotische Grenzwerte unter Verwendung von Faktoren wie $\eta(1-\eta)$ zur Eliminierung dieser Singularitäten etabliert haben, war eine vereinheitlichte, robuste Interpolationsungleichung, die diese Anomalien über die gesamte Skala $s \in [0,1]$ vermeidet, bisher nicht vollständig etabliert worden.

Die primäre Motivation dieser Arbeit ist die Untersuchung der asymptotischen Stabilität schwacher Lösungen des regionalen Dirichlet-Problems im Zusammenhang mit dem regionalen fraktionalen $p$-Laplacian $(-\Delta)^s_{p,\Omega}$, wenn die fraktionale Ordnung $s$ gegen $1$ konvergiert. Die Autoren streben danach, Konvergenzresultate zu etablieren, die in Bezug auf $s$ uniform sind.

Methodik
Die Kernmethodik beruht auf einer Zerlegung der Gagliardo-Seminorm in kurzreichweitige (lokale) und langreichweitige (nicht-lokale) Interaktionen, definiert über das gemittelte $L^p$-Modulus der Stetigkeit $U(t)$.

1. Zerlegung: Die Gagliardo-Seminorm wird in Integrale über kurze Distanzen ($0 < |x-y| \leq r$) und lange Distanzen ($|x-y| > r$) aufgeteilt. Diese entsprechen der kurzreichweitigen Interaktion $L_p(s, u, r)$ und der langreichweitigen Interaktion (fractional tail) $T_p(s, u, r)$.
2. Chebyshev-Typus-Ungleichungen: Ein wesentlicher Teil der Arbeit (Abschnitt 2) widmet sich der Etablierung neuer Integralungleichungen für allgemeine nicht-synchrone (und nicht-asynchrone) Funktionen. Die Autoren verallgemeinern die klassische Chebyshev-Ungleichung für Fälle der $(b,c)$-Synchronizität und schwachen Monotonie. Diese Ungleichungen werden auf singuläre Integrale der Form $\int g(t) t^{z-1} dt$ angewendet, um Monotonitätseigenschaften der Interaktionsterme in Bezug auf die fraktionale Ordnung $s$ zu beweisen.
3. Monotonieanalyse: Die Autoren beweisen, dass die Abbildung $s \mapsto L_p(s, u, r)$ steigend ist, während $s \mapsto T_p(s, u, r)$ im Wesentlichen fallend ist (speziell „2-fastgehend fallend“ für $d \geq 2$). Diese Monotonie ist der Eckpfeiler für die Ableitung der robusten Interpolationsabschätzungen.
4. Renormierung: Die Arbeit nutzt spezifische renormierte Seminormen $[u]_{W^{s,p}}$ und $[u]^*_{W^{s,p}}$, die Normalisierungskonstanten (z. B. $s(1-s)$ und Konstanten im Zusammenhang mit dem fraktionalen Laplacian) enthalten, um konsistente Grenzwerte beim Übergang zu $s \to 0$ und $s \to 1$ zu gewährleisten.

Wesentliche Beiträge und Ergebnisse

• Robuste Interpolationsungleichungen (Theorem 1.1): Die Arbeit etabliert robuste log-konvexe Interpolationsungleichungen für renormierte Seminormen $[u]_{W^{\eta,p}}$ und Gagliardo-Seminormen $|u|_{W^{\eta,p}}$. Diese Ungleichungen gelten für alle $0 \leq \sigma < \eta < s \leq 1$ mit Konstanten, die beschränkt und wohldefiniert bleiben, wenn $\eta \to 0$ oder $\eta \to 1$.

  • Für die renormierte Seminorm nimmt die Ungleichung die Form $[u]_{W^{\eta,p}} \leq \kappa N_p(\sigma, \eta, s) [u]_{W^{s,p}}^\theta [u]_{W^{\sigma,p}}^{1-\theta}$ an, wobei die Konstante $N_p$ dimensionsfrei und beschränkt ist.
  • Im spezifischen Fall $p=2$ leiten die Autoren eine schärfere Abschätzung mit einer Konstante von 1 für die renormierten Sobolev-Seminormen unter Verwendung der Fourier-Transformation ab.

• Monotonie der Interaktionen (Theorem 1.3): Die Autoren beweisen, dass die kurzreichweitige Interaktion $L_p(s, u, r)$ stetig und steigend in $s$ ist, während die langreichweitige Interaktion $T_p(s, u, r)$ stetig und im Wesentlichen fallend ist (bis zu einem Faktor von 2 für $d \geq 2$). Dies bestätigt, dass $L_p$ die lokale Regularität erfasst (konvergiert gegen die Gradientennorm als $s \to 1$) und $T_p$ das nicht-lokale Verhalten erfasst (konvergiert gegen die $L^p$-Norm als $s \to 0$).

• Asymptotische Analyse (Abschnitt 4): Die Arbeit bietet einen relativ einfachen Ansatz für die asymptotischen Grenzwerte fraktionaler Seminormen, wenn $s \to 0^+$ und $s \to 1^-$, und stellt die Ergebnisse von Maz'ya–Shaposhnikova und Brezis–Bourgain–Mironescu wieder her. Sie verallgemeinert zudem die Maz'ya–Shaposhnikova-Formel auf beliebige offene Mengen $\Omega$, indem sie den Grenzwert über einen „Escape Sector“ $S_\Omega(x)$ charakterisiert.

• Konvergenz regionaler Dirichlet-Probleme (Theorem 1.4): Als primäre Anwendung beweist die Arbeit die starke Konvergenz schwacher Lösungen $u_s$ des regionalen fraktionalen $p$-Laplace-Dirichlet-Problems gegen die schwache Lösung $u_1$ des lokalen $p$-Laplace-Problems. Speziell gilt: Wenn die Daten angemessen konvergieren, dann $\|u_s - u_1\|_{W^{\eta,p}(\Omega)} \to 0$ für alle $0 \leq \eta < 1$ als $s \to 1^-$. Dieses Resultat stützt sich auf die robusten Interpolationsungleichungen und eine neue robuste regionale Poincaré–Friedrichs-Ungleichung.

• Lösung eines offenen Problems: Die hier etablierte robuste Interpolationsungleichung liefert eine positive Antwort auf eine in [BSY23, Frage 1.10] gestellte offene Frage bezüglich der Robustheit der Interpolation in einem allgemeinen Setting.

Bedeutung und Ansprüche
Die Arbeit behauptet, dass ihr primärer Beitrag in der Etablierung robuster Interpolationsungleichungen besteht, welche die Singularitäten an den Endpunkten der fraktionalen Skala vermeiden. Durch die Zerlegung der Seminorm und die Nutzung verallgemeinerter Chebyshev-Typus-Ungleichungen erreichen die Autoren Abschätzungen, bei denen die Konstanten unabhängig von der Nähe der fraktionalen Parameter zu 0 oder 1 sind.

Die Bedeutung dieser Arbeit liegt in ihrer Anwendung auf die Stabilität von Nicht-Lokal-zu-Lokal-Grenzwerten. Die Autoren zeigen, dass diese Ungleichungen ausreichen, um die starke Konvergenz der Lösungen des regionalen fraktionalen $p$-Laplace-Problems zum lokalen $p$-Laplace-Problem zu beweisen – ein Resultat, das eine uniforme Kontrolle über die Seminormen erfordert, wenn $s \to 1$. Die Arbeit hebt zudem eine Lücke in der Dimension $d=1$ hinsichtlich der Monotonie der langreichweitigen Interaktion hervor, für die sie eine Vermutung für eine Konstante $C_p$ formuliert, merkt jedoch an, dass die etablierten Ergebnisse für $d \geq 2$ gelten.

Das Werk präsentiert sich als technischer Fortschritt in der Analyse fraktionaler Sobolev-Räume und bietet Werkzeuge (robuste Extensionsoperatoren, Monotonie singulärer Integrale), die die Untersuchung asymptotischer Verhaltensweisen in nicht-lokalen Problemen erleichtern.