A fractional Hardy-Sobolev inequality of Michael-Simon type on convex hypersurfaces

1. Probleemstelling en Context

Het artikel richt zich op het uitbreiden van klassieke en recente ongelijkheden in de analyse van partiële differentiaalvergelijkingen en meetkunde naar het domein van niet-lokale (fractionele) operatoren op hypervlakken in de Euclidische ruimte $\mathbb{R}^{n+1}$.

• Achtergrond: De klassieke Michael-Simon en Allard-ongelijkheid (1970) generaliseert de Sobolev-ongelijkheid naar subvariëteiten van $\mathbb{R}^{n+1}$. Deze stelt dat de $L^p$-norm van een functie begrensd kan worden door de $L^p$-norm van zijn tangentiële gradiënt plus een term die de gemiddelde kromming ($H$) bevat. Een cruciaal kenmerk is dat de constante in deze ongelijkheid universeel is (afhankelijk alleen van de dimensie $n$ en $p$, niet van de specifieke vorm van het manifold).
• Recente Ontwikkelingen: Er bestaat reeds een fractionele versie van de Michael-Simon-Sobolev-ongelijkheid voor convex hypervlakken (bewezen door Cabré, Cozzi en Csató), die de fractionele gradiënt (via een Gagliardo-norm) en de fractionele gemiddelde kromming ($H_\alpha$) combineert.
• Het Specifieke Probleem: De auteurs willen een interpolatie-ongelijkheid van het type Caffarelli-Kohn-Nirenberg bewijzen voor deze setting. Dit betekent een ongelijkheid die intermediair ligt tussen de fractionele Sobolev-ongelijkheid en een fractionele Hardy-ongelijkheid op het manifold. De Hardy-ongelijkheid introduceert een gewichtsfactor $|x|^\gamma$ (waarbij $x$ de positie in de omringende ruimte is), wat essentieel is voor het bestuderen van singulariteiten bij de oorsprong.

De centrale uitdaging is om een ongelijkheid te vinden met een universele constante die geldt voor alle convexe hypervlakken (grenzen van convexe sets), waarbij de geometrie van het manifold volledig wordt gecodeerd in de krommingsterm.

2. Methodologie

De bewijstechniek combineert geavanceerde niet-lokale analyse met meetkundige eigenschappen van convexe sets. De aanpak kan als volgt worden opgesplitst:

A. Definitie van de Ruimten en Operatoren

De auteurs definiëren de relevante functionruimten en operatoren op het manifold $M = \partial\Omega$:

• Fractionele Semi-norm: $[u]_{W^{s,p}(M)}$ wordt gedefinieerd via de Euclidische afstand in de omringende ruimte $\mathbb{R}^{n+1}$, niet via de geodetische afstand op het manifold. Dit is cruciaal omdat het manifold ingebed is in $\mathbb{R}^{n+1}$.
• Fractionele Gemiddelde Kromming ($H_\alpha$): Een niet-lokale variant van de gemiddelde kromming, gedefinieerd via een hoofdwaarde-integraal over de grens.

B. Meetkundige Decompositie (Theorema 1.2)

Een fundamenteel obstakel bij het bewijzen van Hardy-ongelijkheden op manifolds is dat de "Schwarz-rearrangement"-techniek (die werkt in de vlakke ruimte $\mathbb{R}^n$) niet direct toepasbaar is op willekeurige hypervlakken die dicht bij de oorsprong kunnen "trillen".

• De Oplossing: De auteurs bewijzen Theorema 1.2, een ongelijkheid die stelt dat voor een convex open set $\Omega$, de integraal van $|x|^{-\beta}$ over een meetbaar deel van de grens $\partial\Omega$ begrensd kan worden door een macht van het oppervlak van dat deel.
• Techniek: Ze gebruiken een decompositie van de grens $\partial\Omega$ in maximaal $2(n+1)$ grafieken van Lipschitz-functies met uniform begrensde hellingen. Dit is mogelijk dankzij de convexiteit van $\Omega$. Door de integraal te herschrijven over deze grafieken en de rearrangement-ongelijkheid in $\mathbb{R}^n$ toe te passen, verkrijgen ze de benodigde universele schatting.

C. Bewijsstrategie voor de Hoofdontgelijkheid (Theorema 1.1)

Het bewijs wordt opgesplitst in twee gevallen, afhankelijk van de relatie tussen de parameters:

1. Geval 1 ($1/\tau \leq a/p + (1-a)/q$):

   • Hier gebruiken ze een dyadische decompositie van de functie $u$ (op basis van niveauverzamelingen).
   • Ze combineren de eerder bewezen fractionele Michael-Simon-ongelijkheid (uit [4]) met de nieuwe rearrangement-ongelijkheid (Theorema 1.2) en een veralgemeende Hölder-ongelijkheid.
   • Dit leidt direct tot het resultaat voor dit parameterbereik.

2. Geval 2 ($1/\tau > a/p + (1-a)/q$):

   • In dit geval is de parameter $\gamma$ negatief en groot genoeg om singulariteiten te veroorzaken die niet direct door de eerdere methode worden opgevangen.
   • De auteurs gebruiken een interpolatiestrategie (geïnspireerd door Caffarelli-Kohn-Nirenberg en Nguyen-Squassina). Ze splitsen het domein op in een binnen- en buitenstuk ten opzichte van de eenheidsbol $B_1(0)$.
   • Ze passen de Hölder-ongelijkheid toe om de gewenste ongelijkheid te reduceren tot gevallen die al bewezen zijn (Geval 1), maar dan met aangepaste parameters.
   • Cruciaal: Ze maken gebruik van Lemma 4.1, dat stelt dat de integraal van $|x|^{-\beta}$ over het binnen- respectievelijk buitenstuk van de eenheidsbol begrensd is voor een convex manifold. Dit lemma is essentieel om de "resttermen" in de Hölder-schattingen te controleren.

3. Belangrijkste Resultaten

Het hoofddoel van het artikel is het bewijzen van Theorema 1.1, een universele fractionele Hardy-Sobolev-ongelijkheid voor convexe hypervlakken.

De Ongeijkheid:
Voor een open convexe set $\Omega \subset \mathbb{R}^{n+1}$ en een functie $u \in W^{s,p}(\partial\Omega)$ geldt:
$$\| |x|^\gamma u \|_{L^\tau(\partial\Omega)} \leq C \left( \frac{1}{2} \iint_{\partial\Omega \times \partial\Omega} \frac{|u(x)-u(y)|^p}{|x-y|^{n+sp}} dx dy + \int_{\partial\Omega} H_\alpha(x) |u(x)|^p dx \right)^{a/p} \|u\|_{L^q(\partial\Omega)}^{1-a}$$
waarbij:

• $C$ een universele constante is (afhankelijk alleen van $n, p, q, s, \alpha, \gamma, a, \tau$).
• De parameters voldoen aan een dimensie-balansvoorwaarde (vergelijking 1.6).
• De ongelijkheid interpoliert tussen de fractionele Sobolev-ongelijkheid ($\gamma=0$) en de fractionele Hardy-ongelijkheid.

Bijkomende Resultaten:

• Theorema 1.2: Een universele schatting voor gewogen oppervlakken van convexe sets: $\int_E |x|^{-\beta} dx \leq C |E|^{\frac{n-\beta}{n}}$. Dit is een nieuw en onafhankelijk resultaat dat de basis vormt voor de Hardy-ongelijkheid op manifolds.
• Nieuw Bewijs voor de Vlakke Ruimte: Als de methode wordt toegepast op de vlakke ruimte ($\partial\Omega = \mathbb{R}^n$), levert het een nieuw, eenvoudig bewijs op voor de klassieke fractionele Hardy-ongelijkheid in $\mathbb{R}^n$.

4. Betekenis en Bijdrage

De bijdrage van dit artikel is significant op meerdere vlakken:

1. Universele Constanten: Net als bij de klassieke Michael-Simon-ongelijkheid, is de constante in deze fractionele versie onafhankelijk van de specifieke vorm van het convexe manifold. Dit maakt de ongelijkheid robuust en toepasbaar in diverse contexten waar de geometrie varieert.
2. Verbinding van Theorieën: Het artikel sluit de kloof tussen de recente resultaten over fractionele Sobolev-ongelijkheden op manifolds en de theorie van Hardy-ongelijkheden. Het toont aan dat de "krommingsterm" (in dit geval de fractionele kromming) voldoende is om de singulariteit van de Hardy-gewichtsfactor te compenseren.
3. Meetkundige Analyse: De bewijstechniek voor Theorema 1.2 (de decompositie van de grens van een convexe set in grafieken met begrensde helling) is een krachtige meetkundige tool die waarschijnlijk toepasbaar is op andere problemen die integratie over convexe randen vereisen.
4. Toepassingen: Dergelijke ongelijkheden zijn fundamenteel voor het bestuderen van de regulariteit van oplossingen van niet-lokale partiële differentiaalvergelijkingen, zoals de fractionele gemiddelde krommingsflow, en voor het analyseren van het gedrag van systemen in de buurt van singulariteiten.

Samenvattend biedt dit werk een diepgaande generalisatie van klassieke analytische ongelijkheden naar het niet-lokale domein op gekromde oppervlakken, met een sterke nadruk op de rol van convexiteit en universele constanten.