Quantitative Kröger inequalities for Neumann eigenvalues of convex domains

Titel: Kwantitatieve Kröger-ongelijkheden voor Neumann-eigenwaarden van convexe domeinen

Auteurs: Dorin Bucur, Andrea Gentile, Antoine Henrot
Datum: April 2026

1. Probleemstelling en Achtergrond

Het paper richt zich op de spectrale theorie van de Laplace-operator met Neumann-randvoorwaarden op convexe domeinen $\Omega \subset \mathbb{R}^d$. Specifiek wordt de $k$-de eigenwaarde $\mu_k(\Omega)$ onderzocht.

• Klassieke Context: Kröger (1999) bewees scherpe bovengrenzen voor deze eigenwaarden in termen van de diameter $D_\Omega$ van het domein:
  $$D_\Omega^2 \mu_k(\Omega) < \mu^*_{k,d}$$
  waarbij $\mu^*_{k,d}$ een constante is die alleen afhangt van de dimensie $d$ en de index $k$.
• Het Open Probleem: De gelijkheid in deze ongelijkheid wordt niet bereikt voor enige eindige dimensie $d \geq 2$. In plaats daarvan wordt de bovengrens asymptotisch benaderd door een rij van "instortende" domeinen die dunner worden en convergeren naar een lijnsegment.
• Doel: Het paper heeft als doel een kwantitatieve versie van deze ongelijkheid te bewijzen. Dit betekent het vinden van een term die de "afstand" van het domein tot het ideale lijnsegment meet (de "platheid" van het domein) en laat zien hoe snel de eigenwaarde afwijkt van de bovengrens als het domein niet perfect dun is.

2. Methodologie

De auteurs hanteren een combinatie van variatierekening, convex meetkunde en asymptotische analyse.

• Contradictiebewijs: Het bewijs van de hoofdresultaten (Stellingen 1.1 en 1.2) verloopt via contradictie. Men neemt aan dat er een rij van domeinen bestaat die de kwantitatieve ongelijkheid schendt.
• Instortende Domeinen (Collapsing Domains): Men analyseert de limiet van een rij convexe domeinen $\{\Omega_n\}$ met vaste diameter die convergeren naar een lagere dimensie (een lijnsegment). Hierbij wordt gebruik gemaakt van de John-ellipsoïde en de Hausdorff-afstand.
• Gewogen Eigenwaardeproblemen: De limiet van de Neumann-eigenwaarden op deze instortende domeinen wordt gekarakteriseerd door een gewogen Sturm-Liouville probleem op het interval $(0,1)$ met een gewichtsfunctie $p(x)$ die gerelateerd is aan de doorsneden van het domein.
• Variatiestelling en Testfuncties: Om de contradictie te bereiken, construeren de auteurs specifieke testfuncties die afwijken van de eigenfunctie van het limietprobleem. Deze testfuncties bevatten een perturbatie in de transversale richting (de richting waarin het domein instort), afhankelijk van de tweede grootste halve as $a_2(\Omega)$ van de John-ellipsoïde.
• Asymptotische Ontwikkeling: De Rayleigh-kwotient wordt ontwikkeld tot de tweede orde in de parameter $a_2(\Omega)$. De auteurs tonen aan dat de coëfficiënt van de kwadratische term strikt positief is, wat leidt tot een contradictie met de aanname dat de ongelijkheid geschonden wordt.

3. Belangrijkste Resultaten

Stelling 1.1: De Kwantitatieve Ongelijkheid

Voor elke $k \in \mathbb{N}$ en dimensie $d \geq 2$ bestaat er een constante $C(k, d) > 0$ zodanig dat voor elk open, begrensd en convex domein $\Omega \subset \mathbb{R}^d$:
$$D_\Omega^2 \mu_k(\Omega) \leq \mu^*_{k,d} - C(k, d) \frac{a_2(\Omega)^2}{D_\Omega^2}$$
Hierbij is:

• $D_\Omega$: de diameter van $\Omega$.
• $a_2(\Omega)$: de lengte van de tweede grootste halve as van de John-ellipsoïde van $\Omega$. Deze maat geeft de "dikte" of "platheid" van het domein in de richting loodrecht op de diameter.
• $\mu^*_{k,d}$: de scherpe bovengrens van Kröger.

Dit resultaat versterkt de ongelijkheid van Kröger door een expliciete correctieterm toe te voegen die kwantificeert hoe de eigenwaarde daalt naarmate het domein "dikker" wordt.

Stelling 1.2: Scherpheid van de Exponent

De exponent 2 op de term $a_2(\Omega)$ is scherp (optimaal) voor het geval $d=2$ en $k=1$. Dit betekent dat de correctieterm niet sneller kan afnemen dan kwadratisch met de dikte van het domein. Het bewijs hiervoor maakt gebruik van een specifieke familie van gelijkbenige driehoeken (superequilateral triangles) waarvan de eigenwaarden asymptotisch analyseren.

Stelling 1.3: Expliciete Constante in het Tweedimensionale Geval

Hoewel het algemene bewijs via contradictie geen expliciete waarde voor $C(k,d)$ geeft, leveren de auteurs in Sectie 4 een expliciete schatting voor het tweedimensionale geval ($d=2$) met een symmetrie-voorwaarde:
Voor een convex planair domein $\Omega$ dat symmetrisch is ten opzichte van de middelloodlijn van zijn diameter geldt:
$$D_\Omega^2 \mu_1(\Omega) \leq 4j_{0,1}^2 - 0.432 \frac{w_\Omega^2}{D_\Omega^2}$$
waarbij $w_\Omega$ de breedte van het domein is loodrecht op de diameter en $j_{0,1}$ de eerste nul van de Bessel-functie $J_0$. De constante $0.432$ is niet noodzakelijk scherp, maar biedt een concrete numerieke ondergrens, wat zeldzaam is in dit type kwantitatieve isoperimetrische ongelijkheden.

4. Significatie en Bijdrage

1. Kwantificering van Asymptotisch Gedrag: Het paper vult een belangrijke lacune in de spectrale meetkunde. Waar eerdere resultaten alleen de scherpe bovengrens gaven, biedt dit werk een mechanisme om te begrijpen hoe de eigenwaarde gedraagt als het domein zich verwijdert van de "ergste" geometrie (het lijnsegment).
2. Geometrische Maatstaf: Het introduceren van de tweede halve as van de John-ellipsoïde ($a_2$) als de juiste maat voor de "afstand" tot het lijnsegment is een belangrijke geometrische inzichten. Dit vervangt de gebruikelijke Fraenkel-asymmetrie (die vaak gebruikt wordt bij ballen) door een maat die specifiek is voor de instortende geometrie.
3. Uniekheid van de Resultaten: Dergelijke kwantitatieve ongelijkheden waarbij de optimale vorm niet bestaat (maar asymptotisch wordt benaderd) zijn zeldzaam in de literatuur. De meeste bekende resultaten gaan over domeinen die convergeren naar een bol.
4. Methodologische Vooruitgang: De combinatie van de analyse van instortende domeinen met variatierekening en de constructie van specifieke perturbaties biedt een nieuw kader voor het bestuderen van kwantitatieve stabiliteit in spectrale problemen.

Kortom, dit paper levert een fundamentele bijdrage aan het begrijpen van de relatie tussen de geometrie van convexe domeinen en hun spectrale eigenschappen, en biedt de eerste scherpe kwantitatieve ongelijkheden voor Neumann-eigenwaarden in het geval van instortende domeinen.