Barycentric stability of nonlocal perimeters: the convex case

Technische Samenvatting: Barycentrische Stabiliteit van Niet-lokale Perimeters: Het Convexiteitsgeval

Probleemstelling
Het artikel behandelt de kwantitatieve stabiliteit van de isoperimetrische ongelijkheid binnen het kader van niet-lokale (fractale) perimeters. Specifiek wordt onderzocht of een verzameling $E$ die bijna een fractale $s$-perimeter minimaliseert, geometrisch dicht bij een bol ligt, gemeten met de barycentrische asymmetrie $\lambda_0(E)$.

Hoewel de klassieke kwantitatieve isoperimetrische ongelijkheid (die het isoperimetrische deficit relateert aan de Fraenkel-asymmetrie) algemeen gevestigd is voor algemene verzamelingen, geldt de versie met betrekking tot barycentrische asymmetrie in het lokale geval ($s=1$) alleen onder specifieke geometrische beperkingen (bijv. convexiteit of begrensdheid). De auteurs beogen de scherpe barycentrische kwantitatieve ongelijkheid uit te breiden naar de niet-lokale setting ($s \in (0,1)$) voor convexe verzamelingen. De barycentrische asymmetrie wordt gedefinieerd als het genormaliseerde volume van de symmetrische verschil tussen de verzameling $E$ en de bol gecentreerd rond het zwaartepunt van $E$, $\text{bar}(E)$, met hetzelfde volume. Deze keuze vermijdt de optimalisatie die vereist is voor de Fraenkel-definitie, wat computationeel voordelig is, hoewel het een sterkere voorwaarde is die over het algemeen aanvullende geometrische aannames vereist om stand te houden.

Methodologie
Het bewijs volgt de strategie die door Fuglede is vastgesteld voor het lokale convexe geval, aangepast aan de niet-lokale setting. De methodologie verloopt in drie hoofdfasen:

1. Reductie naar het regime met een kleine deficit:
   De auteurs stellen eerst vast dat voor convexe verzamelingen met een voldoende kleine fractale $s$-isoperimetrische deficit $\delta_s(E)$, de verzameling uniform begrensd moet zijn. Dit wordt bereikt via Propositie 3.3, die een ondergrens afleidt voor de fractale perimeter in termen van de inradius $r_E$ van een convexe verzameling. Door dit te combineren met de definitie van de deficit, bewijzen zij dat verzamelingen met kleine deficits niet willekeurig grote diameters kunnen hebben. Dit maakt het mogelijk het probleem te reduceren tot verzamelingen die vervat zijn in een vaste kubus $Q_l$.

2. Continuïteit en Compactheid:
   Gebruikmakend van de vastgestelde uniforme begrensdheid, laat Lemma 3.1 zien dat voor verzamelingen die in een vaste kubus liggen, een kleine deficit een kleine barycentrische asymmetrie impliceert. Dit berust op de lagere halfcontinuïteit van de fractale perimeter met betrekking tot $L^1$-convergentie en het feit dat de bol de unieke minimizer is.

3. Stabiliteit voor bijna sferische verzamelingen:
   Voor verzamelingen die dicht bij een bol liggen (bijna sferisch), maken de auteurs gebruik van een Fuglede-type spectrale schatting (Theorem 2.3). Zij parametriseren de rand van de verzameling als een perturbatie van de eenheidsbol en relateren de deficit $\delta_s(E)$ aan de $L^2$-norm van de perturbatiefunctie $u$. Door deze spectrale ondergrens te combineren met de geometrische relatie tussen de $L^1$-norm van $u$ en de barycentrische asymmetrie, leiden zij de gewenste ongelijkheid af voor het geval van de "kleine deficit".

4. Globaal Argument:
   Het definitieve bewijs (Theorem 1.1) combineert de twee regimes. Als de deficit groot is, geldt de ongelijkheid triviaal vanwege de begrensdheid van de asymmetrie. Als de deficit klein is, wordt aangetoond dat de verzameling bijna sferisch is (via de diameter-grens en Lemma 3.1), waardoor de spectrale schatting kan worden toegepast.

Belangrijkste Bijdragen en Resultaten
Het primaire resultaat is Theorem 1.1, die een scherpe kwantitatieve isoperimetrische ongelijkheid vaststelt voor convexe verzamelingen in de fractale setting:
$$\lambda_0(E) \leq C \sqrt{\delta_s(E)}$$
waarbij $C$ enkel afhangt van de dimensie $n$ en de fractale parameter $s$.

Kerntechnische componenten zijn onder meer:

• Inradius Schatting: De afleiding van een ondergrens voor de fractale perimeter van een convexe verzameling in termen van zijn inradius (Vergelijking 3.4), specifiek $P_s(E) \geq \alpha_{n,s} |E| / r_E^s$. Deze schatting wordt opgemerkt als potentieel van onafhankelijke interesse.
• Uitbreiding van Fuglede's Resultaat: Het artikel past het lokale convexe stabiliteitsresultaat succesvol aan op de niet-lokale fractale perimeter, waarbij wordt bevestigd dat de exponent $1/2$ scherp blijft voor de barycentrische asymmetrie in deze context.
• Limietgedrag: De auteurs tonen in Remark 4.2 aan dat hun resultaat consistent is met het lokale geval ($s \to 1$) en dat het gebruikt kan worden om de lokale barycentrische ongelijkheid te herstellen via limietargumenten waarbij de convergentie van fractale deficits naar de klassieke deficit wordt betrokken.

Betekenis en Claims
De auteurs positioneren dit werk als de initiatie van de studie naar barycentrische kwantitatieve isoperimetrische ongelijkheden in de fractale setting. Zij stellen expliciet dat, hoewel het bewijs momenteel beperkt is tot convexe verzamelingen, de methodologie robuust genoeg is om zich uit te breiden naar "bijna sferische verzamelingen" (Remark 4.1), wat een cruciale stap is naar bredere toepasbaarheid.

Het artikel benadrukt dat, vergelijkbaar met het lokale geval, de barycentrische ongelijkheid niet kan gelden voor algemene verzamelingen zonder aanvullende aannames (zoals equi-begrensdheid), waarbij zij verwijzen naar een tegenvoorbeeld bestaande uit twee gescheiden bollen. Het werk dient als een niet-lokaal analoog aan het baanbrekende werk van Fuglede [16], en overbrugt de kloof tussen lokale geometrische stabiliteit en niet-lokale variatietheorie. De auteurs beweren niet het probleem voor algemene niet-convexe verzamelingen op te lossen, maar vestigen het scherpe resultaat voor de convexe klasse, waarmee zij een fundament leggen voor toekomstige uitbreidingen.