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

1. Il Problema e il Contesto

Il paper si occupa di problemi di ottimizzazione di forma (shape optimization) in $\mathbb{R}^n$ ($n \ge 2$) per insiemi aperti, limitati e convessi. L'obiettivo è analizzare il comportamento asintotico di quattro funzionali di forma specifici, introdotti da Pólya e Makai, che combinano la rigidità torsionale $T(\Omega)$ e il primo autovalore di Dirichlet $\lambda(\Omega)$ con grandezze geometriche come il perimetro $P(\Omega)$, il raggio di incidenza $R_\Omega$, la misura $|\Omega|$ e il diametro.

I funzionali studiati sono:

1. Funzionale di torsione di Pólya: $J_1(\Omega) = \frac{T(\Omega)P^2(\Omega)}{|\Omega|^3}$
2. Funzionale autovalore di Pólya: $J_2(\Omega) = \frac{\lambda(\Omega)|\Omega|^2}{P^2(\Omega)}$
3. Funzionale di Makai: $J_3(\Omega) = \frac{T(\Omega)}{R_\Omega^2 |\Omega|}$
4. Funzionale di Hersch: $J_4(\Omega) = \lambda(\Omega)R_\Omega^2$

La sfida principale: A differenza di problemi classici come la disuguaglianza isoperimetrica o quella di Faber-Krahn, dove l'ottimale è una sfera (o un disco), per i funzionali sopra citati non esiste un insieme ottimale all'interno della classe degli insiemi convessi. Gli estremi (inferiori o superiori) sono raggiunti solo asintoticamente da sequenze di insiemi che degenerano in forme "piatte" o "sottili" (es. cilindri che si schiacciano, piramidi che collassano).
L'obiettivo del lavoro è fornire stime quantitative che caratterizzino queste sequenze minimizzanti, quantificando quanto un funzionale si discosti dal suo valore ottimo in funzione di parametri geometrici che misurano la "degenerazione" della forma.

2. Metodologia

Gli autori adottano un approccio analitico basato su:

• Funzioni di distanza e insiemi paralleli interni: Utilizzano la funzione distanza dal bordo $d(x, \partial\Omega)$ e definiscono gli insiemi paralleli interni $\Omega_t = \{x \in \Omega : d(x, \partial\Omega) > t\}$.
• Formula di Coarea e proprietà di concavità: Sfruttano la concavità della funzione distanza (conseguenza della convessità di $\Omega$) e la formula di coarea per legare la misura e il perimetro degli insiemi paralleli $\Omega_t$ alla geometria globale.
• Funzioni di prova (Test functions): Per le stime superiori e inferiori, costruiscono funzioni di prova specifiche basate sulla distanza dal bordo (approccio originale di Pólya), analizzando attentamente i termini di errore che nelle dimostrazioni classiche vengono spesso trascurati.
• Termini di resto geometrici: Introducono due parametri chiave per misurare la "sottigliezza" o la degenerazione dell'insieme:
  1. $\alpha(\Omega) = \frac{w_\Omega}{\text{diam}(\Omega)}$: rapporto tra larghezza minima e diametro (misura di "thinness").
  2. $\beta(\Omega) = \frac{P(\Omega)R_\Omega}{|\Omega|} - 1$: termine che misura la deviazione dal caso cilindrico/piano.

Un risultato preliminare cruciale (Proposizione 1.1) stabilisce che $\beta(\Omega) \ge C_0(n) \alpha(\Omega)$, ma che non vale la disuguaglianza inversa. Questo giustifica la distinzione tra le stime ottenute in termini di $\alpha$ e quelle in termini di $\beta$.

3. Risultati Principali e Contributi Chiave

Il lavoro fornisce disuguaglianze quantitative che legano il "deficit" del funzionale (la differenza tra il valore attuale e l'estremo asintotico) ai termini di resto $\alpha(\Omega)$ e $\beta(\Omega)$.

A. Caratterizzazione tramite $\beta(\Omega)$ (Teoremi 1.2, 1.3, 1.4)

Gli autori dimostrano che le sequenze minimizzanti per i primi tre funzionali sono esattamente quelle che minimizzano $\beta(\Omega)$.

• Funzionale di Torsione di Pólya: Viene stabilito un doppio legame con esponenti ottimali:
  $$\frac{1}{23 \cdot 3^{4n^3}} \beta(\Omega)^3 \le \frac{T(\Omega)P^2(\Omega)}{|\Omega|^3} - \frac{1}{3} \le \frac{n+1}{3} \beta(\Omega)$$
  Questo mostra che il funzionale tende a $1/3$ se e solo se $\beta(\Omega) \to 0$.
• Funzionale Autovalore di Pólya:
  $$\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)$$
• Funzionale di Makai:
  $$\frac{n+1}{3n(2n-1)} \beta(\Omega) < \frac{1}{3} - \frac{T(\Omega)}{R_\Omega^2 |\Omega|} \le \frac{2}{3} \beta(\Omega)$$
  Qui gli esponenti sono lineari, indicando una dipendenza diretta.

B. Caratterizzazione tramite $\alpha(\Omega)$ (Proposizione 1.5)

Gli autori confermano una congettura sulla dipendenza lineare dal rapporto larghezza/diametro per i funzionali di torsione e autovalore di Pólya:
$$\frac{T(\Omega)P^2(\Omega)}{|\Omega|^3} - \frac{1}{3} \ge C_1(n) \alpha(\Omega)$$
$$\frac{\pi^2}{4} - \frac{\lambda(\Omega)|\Omega|^2}{P^2(\Omega)} \ge C_2(n) \alpha(\Omega)$$
Dimostrano inoltre che l'esponente 1 è ottimale e che non vale la disuguaglianza inversa (esistono sequenze con $\alpha \to 0$ ma deficit non nullo, come le piramidi collassanti).

C. Funzionale di Hersch (Corollario 1.6)

Per il funzionale di Hersch, viene fornita una stima superiore in termini di $\beta(\Omega)$:
$$\lambda(\Omega)R_\Omega^2 - \frac{\pi^2}{4} \le \frac{\pi^2(n+1)}{4} \beta(\Omega)$$
Viene notato che per questo funzionale non è possibile aggiungere un termine di resto inferiore in $\beta$ senza violare le proprietà delle piramidi collassanti.

4. Significato e Implicazioni

• Caratterizzazione delle Sequenze Ottimali: Il contributo più significativo è la dimostrazione che, per questi funzionali privi di ottimo, la "struttura" delle sequenze che si avvicinano all'estremo è completamente caratterizzata dalla convergenza a zero del termine geometrico $\beta(\Omega)$. In altre parole, minimizzare il funzionale equivale a minimizzare $\beta(\Omega)$.
• Ottimalità degli Esponenti: Il lavoro non si limita a trovare delle costanti, ma dimostra che gli esponenti delle disuguaglianze (es. cubico per la torsione, quartico per l'autovalore, lineare per Makai) sono ottimali, fornendo esempi espliciti (parallelepipedi che si schiacciano) che saturano le stime.
• Distinzione tra $\alpha$ e $\beta$: Il paper chiarisce la relazione tra i diversi modi di misurare la degenerazione. Mentre $\alpha$ (larghezza/diametro) è utile per certi limiti, $\beta$ (legato a perimetro e raggio di incidenza) è lo strumento più potente per caratterizzare la struttura fine delle sequenze minimizzanti per i funzionali di Pólya e Makai.
• Nuovi Strumenti Analitici: L'uso combinato della formula di coarea, delle proprietà di concavità degli insiemi paralleli e di stime precise sulla torsione tramite la norma $L^2$ della funzione distanza offre un quadro metodologico robusto per future ricerche su funzionali spettrali non ammettenti ottimi.

In conclusione, questo lavoro colma un vuoto nella letteratura sulle disuguaglianze quantitative per funzionali spettrali, passando dalla semplice esistenza di limiti asintotici alla caratterizzazione precisa e quantitativa delle forme geometriche che realizzano tali limiti.