Robust interpolation inequalities via Chebyshev-type integral inequalities

Technische Samenvatting: Robuuste Interpolatie-ongelijkheden via Chebyshev-type Integrale Ongelijkheden

Probleemstelling
Het artikel behandelt het gebrek aan robuustheid in klassieke log-convexe interpolatie-ongelijkheden binnen de schaal van Gagliardo-seminormen. Standaard interpolatie-schattingen, zoals $|u|_{W^{\eta,p}} \leq C |u|_{W^{\sigma,p}}^\theta |u|_{W^{s,p}}^{1-\theta}$, blijven niet consistent wanneer de fractionele orde $\eta$ de eindpunten $0$ of $1$ nadert. Specifiek vertonen de seminormen $|u|_{W^{\eta,p}}$ een singuliere blow-up gedraging als $\eta \to 0^+$ en $\eta \to 1^-$ voor niet-constante functies. Hoewel eerdere werken (Brezis–Bourgain–Mironescu [BBM01] en Maz'ya–Shaposhnikova [MS02]) asymptotische limieten hebben vastgesteld met factoren zoals $\eta(1-\eta)$ om deze singulariteiten te elimineren, was een verenigde, robuuste interpolatie-ongelijkheid die deze anomalieën over de gehele schaal $s \in [0,1]$ vermijdt, nog niet volledig gevestigd met dimensievrije constanten.

De primaire motivatie voor dit werk is de studie van de asymptotische stabiliteit van zwakke oplossingen van het regionale Dirichlet-probleem geassocieerd met de regionale fractionele $p$-Laplace $(-\Delta)^s_{p,\Omega}$ wanneer de fractionele orde $s$ de waarde $1$ nadert. De auteurs beogen convergentieresultaten te vestigen die uniform zijn met betrekking tot $s$.

Methodologie
De kernmethodologie berust op een decompositie van de Gagliardo-seminorm in kort-bereik (lokaal) en lang-bereik (niet-lokaal) interacties, gedefinieerd via de gemiddelde $L^p$-continuïteitsmodulus $U(t)$.

1. Decompositie: De Gagliardo-seminorm wordt gesplitst in integralen over korte afstanden ($0 < |x-y| \leq r$) en lange afstanden ($|x-y| > r$). Deze komen overeen met de kort-bereik interactie $L_p(s, u, r)$ en de lang-bereik interactie (fractionele staart) $T_p(s, u, r)$.
2. Chebyshev-type Ongelijkheden: Een aanzienlijk deel van het artikel (Sectie 2) is gewijd aan het vestigen van nieuwe integrale ongelijkheden voor algemene niet-synchrone (en niet-asynchrone) functies. De auteurs generaliseren de klassieke Chebyshev-ongelijkheid naar gevallen van $(b,c)$-synchroniciteit en zwakke monotoniciteit. Deze ongelijkheden worden toegepast op singuliere integralen van de vorm $\int g(t) t^{z-1} dt$ om de monotoniciteitseigenschappen van de interactietermen met betrekking tot de fractionele orde $s$ te bewijzen.
3. Monotoniciteitsanalyse: De auteurs bewijzen dat de afbeelding $s \mapsto L_p(s, u, r)$ toenemend is, terwijl $s \mapsto T_p(s, u, r)$ essentieel afnemend is (specifiek "2-bijna afnemend" voor $d \geq 2$). Deze monotoniciteit is de hoeksteen voor het afleiden van de robuuste interpolatie-schattingen.
4. Renormalisatie: Het artikel maakt gebruik van specifieke gerenormaliseerde seminormen $[u]_{W^{s,p}}$ en $[u]^*_{W^{s,p}}$, waarbij normalisatieconstanten (bijv. $s(1-s)$ en constanten gerelateerd aan de fractionele Laplace) zijn opgenomen om consistente limieten te garanderen als $s \to 0$ en $s \to 1$.

Belangrijkste Bijdragen en Resultaten

• Robuuste Interpolatie-ongelijkheden (Stelling 1.1): Het artikel vestigt robuuste log-convexe interpolatie-ongelijkheden voor gerenormaliseerde seminormen $[u]_{W^{\eta,p}}$ en Gagliardo-seminormen $|u|_{W^{\eta,p}}$. Deze ongelijkheden gelden voor alle $0 \leq \sigma < \eta < s \leq 1$ met constanten die begrensd en goed gedefinieerd blijven als $\eta \to 0$ of $\eta \to 1$.

  • Voor de gerenormaliseerde seminorm heeft de ongelijkheid de vorm $[u]_{W^{\eta,p}} \leq \kappa N_p(\sigma, \eta, s) [u]_{W^{s,p}}^\theta [u]_{W^{\sigma,p}}^{1-\theta}$, waarbij de constante $N_p$ dimensievrij en begrensd is.
  • In het specifieke geval $p=2$ leiden de auteurs een scherpere schatting af met een constante van 1 voor de gerenormaliseerde Sobolev-seminormen, gebruikmakend van de Fourier-transformatie.

• Monotoniciteit van Interacties (Stelling 1.3): De auteurs bewijzen dat de kort-bereik interactie $L_p(s, u, r)$ continu en toenemend is in $s$, terwijl de lang-bereik interactie $T_p(s, u, r)$ continu en essentieel afnemend is (tot een factor 2 voor $d \geq 2$). Dit bevestigt dat $L_p$ de lokale regulariteit vangt (convergerend naar de gradiëntnorm als $s \to 1$) en $T_p$ het niet-lokale gedrag vangt (convergerend naar de $L^p$-norm als $s \to 0$).

• Asymptotische Analyse (Sectie 4): Het artikel biedt een relatief eenvoudige benadering van de asymptotische limieten van fractionele seminormen als $s \to 0^+$ en $s \to 1^-$, waarbij de resultaten van Maz'ya–Shaposhnikova en Brezis–Bourgain–Mironescu worden herwonnen. Het generaliseert ook de Maz'ya–Shaposhnikova-formule naar willekeurige open verzamelingen $\Omega$, waarbij de limiet wordt gekarakteriseerd via een "escape sector" $S_\Omega(x)$.

• Convergentie van Regionale Dirichlet-problemen (Stelling 1.4): Als primaire toepassing bewijst het artikel de sterke convergentie van zwakke oplossingen $u_s$ van het regionale fractionele $p$-Laplace Dirichlet-probleem naar de zwakke oplossing $u_1$ van het lokale $p$-Laplace probleem. Specifiek, indien de data op de juiste wijze convergeert, dan \|u_s - u_1\|_{W^{\eta,p}(\Omega) \to 0 voor alle $0 \leq \eta < 1$ als $s \to 1^-$. Dit resultaat steunt op de robuuste interpolatie-ongelijkheden en een nieuwe robuuste regionale Poincaré–Friedrichs-ongelijkheid.

• Oplossing Open Probleem: De hier gevestigde robuuste interpolatie-ongelijkheid biedt een positief antwoord op een open vraag gesteld in [BSY23, Vraag 1.10] betreffende de robuustheid van interpolatie in een algemene setting.

Betekenis en Claims
Het artikel claimt dat de primaire bijdrage de vestiging is van robuuste interpolatie-ongelijkheden die de singulariteiten aan de eindpunten van de fractionele schaal vermijden. Door de seminorm te deconstrueren en gebruik te maken van gegeneraliseerde Chebyshev-type ongelijkheden, bereiken de auteurs schattingen waarbij de constanten onafhankelijk zijn van de nabijheid van de fractionele parameter tot 0 of 1.

De betekenis van dit werk ligt in de toepassing op de stabiliteit van de niet-lokale-naar-lokale limieten. De auteurs demonstreren dat deze ongelijkheden voldoende zijn om de sterke convergentie van oplossingen van de regionale fractionele $p$-Laplace naar de lokale $p$-Laplace te bewijzen, een resultaat dat uniforme controle over de seminormen vereist wanneer $s \to 1$. Het artikel benadrukt ook een gat in dimensie $d=1$ met betrekking tot de monotoniciteit van de lang-bereik interactie, waarbij een conjectuur voor een constante $C_p$ in dit geval wordt geformuleerd, terwijl wordt opgemerkt dat de gevestigde resultaten gelden voor $d \geq 2$.

Het werk wordt gepresenteerd als een technische vooruitgang in de analyse van fractionele Sobolev-ruimten, waarbij instrumenten (robuuste extensie-operatoren, monotoniciteit van singuliere integralen) worden geboden die de studie van asymptotische gedragingen in niet-lokale problemen faciliteren.