On the optimal sets in Pólya and Makai type inequalities

Titel: Over de optimale verzamelingen in Pólya- en Makai-type ongelijkheden

1. Probleemstelling en Context

Het artikel onderzoekt vormfunctionals (shape functionals) die betrekking hebben op de torsiestijfheid $T(\Omega)$ en de eerste Dirichlet-eigenwaarde $\lambda(\Omega)$ van de Laplace-operator voor begrenste, open en convexe verzamelingen $\Omega \subset \mathbb{R}^n$ ($n \ge 2$).

De auteurs focussen op vier specifieke functionals, bekend uit de literatuur van Pólya, Makai en Hersch:

1. Pólya torsie-functional: $J_1(\Omega) = \frac{T(\Omega)P^2(\Omega)}{|\Omega|^3}$
2. Pólya eigenwaarde-functional: $J_2(\Omega) = \frac{\lambda(\Omega)|\Omega|^2}{P^2(\Omega)}$
3. Makai functional: $J_3(\Omega) = \frac{T(\Omega)}{R_\Omega^2 |\Omega|}$
4. Hersch functional: $J_4(\Omega) = \lambda(\Omega)R_\Omega^2$

Waarbij $P(\Omega)$ de omtrek (perimeter), $|\Omega|$ het Lebesgue-maat (volume), en $R_\Omega$ de instraal is.

Het centrale probleem:
Voor deze functionals zijn de klassieke ongelijkheden bekend (bijv. $1/3 \le J_1 \le 2/3$). Echter, in tegenstelling tot klassieke isoperimetrische problemen waar een bol de optimale oplossing is, worden de extremen (infimum of supremum) van deze functionals niet bereikt door een specifieke verzameling. In plaats daarvan worden ze asymptotisch benaderd door sequenties van specifieke vormen (zoals "verdikende" rechthoeken of "plakkende" cilinders).

De vraag is: Hoe kunnen we kwantitatief beschrijven hoe een verzameling eruitziet wanneer de functional dicht bij zijn optimum ligt? De auteurs willen ongelijkheden opstellen die de afwijking van het optimum relateren aan geometrische maatstaven die de "dunheid" van de verzameling beschrijven.

2. Methodologie

De auteurs gebruiken een combinatie van variatierekening, de co-area formule en eigenschappen van de afstandsfunctie tot de rand.

• Resttermen (Remainder Terms): De kern van de analyse ligt in het definiëren van twee geometrische resttermen:

  1. $\alpha(\Omega) = \frac{w_\Omega}{\text{diam}(\Omega)}$: De verhouding tussen de minimale breedte ($w_\Omega$) en de diameter. Dit meet hoe "dun" een domein is.
  2. $\beta(\Omega) = \frac{P(\Omega)R_\Omega}{|\Omega|} - 1$: Een term die direct gerelateerd is aan de afwijking van de isoperimetrische verhouding voor cilinders.

• Testfuncties: Voor de bewijzen worden specifieke testfuncties gebruikt die afhangen van de afstand tot de rand, $d(x, \partial\Omega)$. Dit volgt de aanpak van Pólya, maar dan verfijnd om de verwaarloosde termen in klassieke argumenten nauwkeurig te schatten.

• Super-niveauverzamelingen: Een cruciale techniek is het analyseren van de "inner parallel sets" $\Omega_t = \{x \in \Omega : d(x, \partial\Omega) > t\}$. De auteurs gebruiken eigenschappen van de omtrek en het volume van deze sets (via de Brunn-Minkowski ongelijkheid en Aleksandrov-Fenchel ongelijkheden) om schattingen te maken.

• Kritieke Schatting: Een belangrijk technisch lemma (Lemma 3.1) relateert het volume en de omtrek van een specifiek super-niveau (op niveau $|\Omega|/P(\Omega)$) aan de restterm $\beta(\Omega)$.

3. Belangrijkste Resultaten

De paper levert kwantitatieve ongelijkheden die de afwijking van de optimale waarden begrenzen door $\alpha(\Omega)$ en $\beta(\Omega)$.

A. Relatie tussen $\alpha$ en $\beta$

De auteurs bewijzen dat $\beta(\Omega) \ge C_0(n) \alpha(\Omega)$. Dit betekent dat als een domein "dun" wordt ($\alpha \to 0$), ook $\beta \to 0$. Het omgekeerde geldt echter niet: er bestaan sequenties (zoals instortende piramides) waar $\beta$ niet naar nul gaat terwijl $\alpha$ wel naar nul gaat. Dit rechtvaardigt het onderscheid tussen resultaten gebaseerd op $\alpha$ en die op $\beta$.

B. Kwantitatieve Onthullingen voor de Functionals

De volgende ongelijkheden worden bewezen voor convexe verzamelingen:

1. Pólya Torsie Functional (Theorema 1.2):
   $$\frac{1}{23 \cdot 3^4 n^3} \beta(\Omega)^3 \le \frac{T(\Omega)P^2(\Omega)}{|\Omega|^3} - \frac{1}{3} \le \frac{n+1}{3} \beta(\Omega)$$
   Conclusie: De functional nadert $1/3$ (het infimum) precies wanneer $\beta(\Omega) \to 0$. De exponent 3 is scherp voor de ondergrens.

2. Pólya Eigenwaarde Functional (Theorema 1.3):
   $$\frac{\pi^2}{25 \cdot 3^4 \cdot n^3(2n-1)} \beta(\Omega)^4 \le \frac{\pi^2}{4} - \frac{\lambda(\Omega)|\Omega|^2}{P^2(\Omega)} \le \frac{\pi^2}{2} \beta(\Omega)$$
   Conclusie: De functional nadert $\pi^2/4$ wanneer $\beta(\Omega) \to 0$. De exponent 4 is scherp.

3. Makai Functional (Theorema 1.4):
   $$\frac{n+1}{3n(2n-1)} \beta(\Omega) \le \frac{1}{3} - \frac{T(\Omega)}{R_\Omega^2 |\Omega|} \le \frac{2}{3} \beta(\Omega)$$
   Conclusie: Hier zijn de exponenten voor $\beta$ aan beide kanten gelijk (lineair), wat betekent dat de functional en $\beta$ exact dezelfde orde van convergentie hebben.

4. Resultaten in termen van $\alpha$ (Propositie 1.5):
   Voor de Pólya functionals wordt bewezen dat de ondergrenzen ook lineair zijn in $\alpha(\Omega)$ (exponent 1), wat een verbetering is op eerdere resultaten voor $n \ge 5$.
   $$\frac{T(\Omega)P^2(\Omega)}{|\Omega|^3} - \frac{1}{3} \ge C_1(n) \alpha(\Omega)$$

5. Hersch Functional (Corollarium 1.6):
   Een nieuwe bovengrens wordt afgeleid:
   $$\lambda(\Omega)R_\Omega^2 - \frac{\pi^2}{4} \le \frac{\pi^2(n+1)}{4} \beta(\Omega)$$

4. Significantie en Bijdrage

• Karakterisering van Minimiserende Sequenties: De belangrijkste bijdrage is dat de auteurs aantonen dat een sequentie van verzamelingen de onder- of bovengrens van deze functionals minimaliseert als en slechts als de geometrische functional $\beta(\Omega)$ naar nul convergeert. Dit betekent dat de "optimale" vormen asymptotisch lijken op "verdikkende cilinders" (flattening cylinders).
• Kwantitatieve Stabiliteit: De paper biedt een nieuw perspectief op stabiliteitsproblemen. Omdat er geen exacte optimale verzameling bestaat (geen "minimizer"), is het lastig om stabiliteit te meten. De auteurs lossen dit op door de stabiliteit te relateren aan de geometrische parameter $\beta$, die de structuur van de convergerende sequentie volledig beschrijft.
• Scherpte van Exponenten: De auteurs bewijzen dat de gevonden exponenten (zoals 3 en 4) scherp zijn door constructie van specifieke tegenvoorbeelden (zoals dunne parallellepipeds en instortende piramides). Ze tonen aan dat bepaalde omgekeerde ongelijkheden niet kunnen gelden.
• Verbinding tussen Meetkunde en Spectrale Theorie: Het werk legt een sterke brug tussen pure meetkunde (omtrek, instraal, breedte) en spectrale eigenschappen (eigenwaarden, torsie), en toont aan hoe de vorm van een domein de spectrale gap beïnvloedt.

5. Conclusie en Open Problemen

De auteurs concluderen dat de functionals volledig gekarakteriseerd kunnen worden door de geometrische restterm $\beta(\Omega)$. Een open vraag blijft of een nog preciezere beschrijving van de profielen van deze optimaliserende sequenties mogelijk is, en of men kan zeggen dat ze noodzakelijkerwijs "instortende cilindroïden" zijn die minstens één dimensie verliezen.

Kortom, dit artikel levert een fundamentele bijdrage aan de kwantitatieve vormoptimalisatie door de exacte relatie tussen de afwijking van spectrale functionals en de geometrische "dunheid" van convexe domeinen te kwantificeren.