The Makai inequality in higher dimensions: qualitative and quantitative aspects

1. Il Problema di Ricerca

Il lavoro si concentra sullo studio di un funzionale scalare definito sull'insieme $\mathcal{K}_n$ di tutti i sottoinsiemi aperti, limitati, non vuoti e convessi di $\mathbb{R}^n$ ($n \ge 2$). Il funzionale in esame è:
$$F(\Omega) = \frac{T(\Omega) P^2(\Omega)}{|\Omega|^3}$$
dove:

• $T(\Omega)$ è la rigidità torsionale dell'operatore Laplaciano in $\Omega$, definita come il massimo del rapporto tra il quadrato dell'integrale della funzione e l'integrale del gradiente al quadrato (problema di Dirichlet).
• $P(\Omega)$ è il perimetro (misura di Hausdorff $H^{n-1}$ del bordo).
• $|\Omega|$ è la misura di Lebesgue (volume).

Il funzionale è invariante per scalatura. Mentre il problema di minimizzazione di $F(\Omega)$ è ben noto (disuguaglianza di Pólya, con limite inferiore $1/3$ nel piano), il problema di massimizzazione è stato oggetto di studio più recente. Makai aveva dimostrato nel piano ($n=2$) che $F(\Omega) \le 2/3$, con l'estremo asintoticamente raggiunto da triangoli che si schiacciano.

In [7], Briani, Buttazzo e Prinari avevano formulato la congettura che, in dimensione arbitraria $n$, il supremo sia:
$$\sup_{\Omega \in \mathcal{K}_n} F(\Omega) = \frac{2n^2}{(n+1)(n+2)}$$
e che tale valore sia asintoticamente raggiunto da coni che si schiacciano (flattening cones).

2. Metodologia

Gli autori adottano un approccio che combina analisi geometrica, calcolo delle variazioni e stime quantitative. I pilastri metodologici includono:

• Funzione di Distanza e Insiemi Paralleli Interni: Sfruttano la funzione di distanza dal bordo $d(x, \partial\Omega)$, che è concava per domini convessi. Introducono gli insiemi paralleli interni $\Omega_t = \{x \in \Omega : d(x, \partial\Omega) > t\}$ e le loro misure $\mu(t)$ e perimetri $P(t)$.
• Formula di Coarea e Disuguaglianze Integrali: Utilizzano la formula di coarea per esprimere la rigidità torsionale e il volume in termini di integrali lungo le sezioni di livello della funzione di distanza.
• Approssimazione Lineare della Concavità: Sfruttando la concavità della funzione $L(t) = P(t)^{1/(n-1)}$ (conseguenza della disuguaglianza di Brunn-Minkowski), approssimano $L(t)$ con una funzione lineare $\lambda(t)$ che condivide lo stesso integrale di potenza $n-1$ su $[0, R_\Omega]$ (dove $R_\Omega$ è il raggio interno).
• Stime Quantitative: Per analizzare le sequenze massimizzanti, introducono parametri geometrici di "sottigliezza" e "corpo tangenziale" per quantificare il deficit rispetto al valore ottimale.

3. Risultati Principali

A. Conferma della Congettura di Makai (Teorema 1.1)

Gli autori dimostrano la disuguaglianza superiore per ogni $\Omega \in \mathcal{K}_n$:
$$F(\Omega) \le \frac{2n^2}{(n+1)(n+2)}$$

• Sharpness (Ottimalità): La costante è affilata. Il limite superiore è asintoticamente raggiunto da una sequenza di coni che si schiacciano (sequenze di domini che tendono a un iperpiano mantenendo la forma conica).
• Dimostrazione: La prova si basa sulla stima $T(\Omega) \le \int_\Omega d(x, \partial\Omega)^2 dx$ e sull'ottimizzazione dell'integrale risultante rispetto alla funzione lineare $\lambda(t)$, riducendo il problema alla massimizzazione di una funzione algebrica in una variabile ausiliaria.

B. Non Esistenza del Massimo (Teorema 1.2)

Il supremo non è mai raggiunto da un dominio $\Omega \in \mathcal{K}_n$ (il massimo non esiste).

• Risultato: Se $\{\Omega_k\}$ è una sequenza massimizzante, allora il rapporto tra la larghezza minima $w_{\Omega_k}$ e il diametro $\text{diam}(\Omega_k)$ tende a zero:
  $$\lim_{k \to \infty} \alpha(\Omega_k) = \lim_{k \to \infty} \frac{w_{\Omega_k}}{\text{diam}(\Omega_k)} = 0$$
• Implicazione: Le sequenze che massimizzano il funzionale devono essere "sottili" (thinning domains). Se esistesse un massimizzatore, la sequenza costante avrebbe $\alpha=0$, implicando un interno vuoto, il che contraddice la definizione di $\mathcal{K}_n$.

C. Stime Quantitative e Caratterizzazione delle Sequenze (Teorema 1.3 e Corollario 1.4)

Il lavoro fornisce una caratterizzazione quantitativa di quanto un dominio si discosti dal valore ottimale.

• Nuovo parametro di resto: Viene introdotto $\gamma(\Omega) = n - \frac{P(\Omega)R_\Omega}{|\Omega|}$. Questo parametro è nullo per i corpi tangenziali (domini i cui insiemi paralleli interni sono omotetici al dominio stesso, come la sfera o il cubo).
• Disuguaglianza Quantitativa:
  $$\frac{2n^2}{(n+1)(n+2)} - F(\Omega) \ge C_1(n) \cdot \gamma(\Omega)^n$$
  dove $C_1(n)$ è una costante esplicita dipendente dalla dimensione.
• Caratterizzazione delle Sequenze Massimizzanti: Una sequenza è massimizzante se e solo se è una sequenza di corpi tangenziali che si schiacciano (flattening tangential bodies). Questo unisce la condizione di sottilità ($\alpha \to 0$) con la condizione di forma geometrica specifica ($\gamma \to 0$).

4. Contributi Chiave e Significato

1. Generalizzazione Dimensionale: Risolve definitivamente la congettura aperta in [7] estendendo il risultato di Makai dal piano ($n=2$) a qualsiasi dimensione $n \ge 2$.
2. Analisi Quantitativa: A differenza di molte disuguaglianze isoperimetriche che forniscono solo limiti qualitativi, questo lavoro offre stime quantitative precise sul "deficit" in funzione di parametri geometrici ($\gamma$). Questo permette di capire non solo che la sequenza massimizzante è un cono che si schiaccia, ma quanto velocemente il funzionale converge al limite in base alla geometria del dominio.
3. Distinzione tra Parametri di Sottilità: Il lavoro chiarisce le relazioni tra diversi parametri di "sottilità" ($\alpha$, $\beta$, $\gamma$). Dimostra che mentre $\alpha \to 0$ è necessario per la massimizzazione, non è sufficiente a caratterizzare la forma ottimale senza considerare $\gamma$. In particolare, mostra che i coni che si schiacciano hanno $\gamma \to 0$ (sono asintoticamente corpi tangenziali) mentre i cilindri che si schiacciano no.
4. Struttura Geometrica degli Ottimizzanti: Fornisce una descrizione geometrica precisa delle sequenze che tendono all'estremo: non sono semplici domini sottili, ma domini che combinano sottilità e una specifica struttura di "corpo tangenziale".

In sintesi, il paper completa la teoria delle disuguaglianze di Makai in dimensione superiore, fornendo non solo la costante ottimale, ma anche una mappa dettagliata del comportamento asintotico e quantitativo dei domini che realizzano tale estremo.