Quantitative Kröger inequalities for Neumann eigenvalues of convex domains

Titolo: Disuguaglianze quantitative di Kröger per autovalori di Neumann di domini convessi

Autori: Dorin Bucur, Andrea Gentile, Antoine Henrot
Data: Aprile 2026 (preprint)

---

1. Il Problema e il Contesto

Il lavoro si inserisce nello studio degli autovalori dell'operatore di Laplace con condizioni al contorno di Neumann su domini convessi $\Omega \subset \mathbb{R}^d$. Il problema agli autovalori è definito come:
$$\begin{cases} -\Delta u = \mu u & \text{in } \Omega \\ \frac{\partial u}{\partial \nu} = 0 & \text{su } \partial\Omega \end{cases}$$
con autovalori ordinati $0 = \mu_0 < \mu_1 \le \mu_2 \le \dots \to +\infty$.

Il contesto teorico si basa sui risultati di Kröger (1999), che ha stabilito un limite superiore sharp (ottimale) per il prodotto $D_\Omega^2 \mu_k(\Omega)$, dove $D_\Omega$ è il diametro del dominio. Kröger ha dimostrato che:
$$D_\Omega^2 \mu_k(\Omega) < \mu^*_{k,d}$$
dove $\mu^*_{k,d}$ è un valore costante che dipende solo dalla dimensione $d$ e dall'indice $k$. È noto che l'uguaglianza non è mai raggiunta per domini con dimensione intera $d \ge 2$; il limite superiore è invece asintoticamente raggiunto da una sequenza di domini che "collassano" su un segmento (domini sottili).

La domanda centrale: Cosa succede quando l'autovalore è "vicino" al limite superiore? È possibile quantificare la distanza tra il dominio reale e la configurazione limite (il segmento) in termini di una disuguaglianza quantitativa? In particolare, come dipende la deviazione dal limite dalla "piattezza" del dominio?

---

2. Metodologia

Gli autori adottano un approccio basato sull'analisi asintotica e sulla teoria della perturbazione, combinata con tecniche variazionali avanzate.

1. Analisi dei Domini Collassanti:
   Si considera una sequenza di domini convessi $\{\Omega_n\}$ con diametro fissato ($D_{\Omega_n}=1$) che collassano verso un segmento. Utilizzando la teoria degli ellissoidi di John, si definisce $a_2(\Omega)$ come il secondo semiasse maggiore dell'ellissoide di John. Questo parametro misura la "larghezza" o la non-degenerazione del dominio nella direzione ortogonale al diametro.

2. Riduzione a Problemi Sturm-Liouville:
   Grazie al teorema di compattezza di Hausdorff e alle proprietà di convergenza degli autovalori su domini che collassano (Teorema 2.4), il problema $k$-dimensionale su $\Omega_n$ converge a un problema unidimensionale pesato (Sturm-Liouville) su un intervallo $(0,1)$ con una funzione peso $p(x)$ legata alla sezione trasversale del dominio.

3. Dimostrazione per Assurdo e Sviluppo Asintotico:
   Per dimostrare la disuguaglianza quantitativa (Teorema 1.1), si procede per assurdo. Si assume che esista una sequenza di domini che viola la disuguaglianza desiderata.

   • Si costruisce una funzione di prova (test function) specifica per il principio variazionale di Rayleigh-Ritz. Questa funzione è una perturbazione dell'autofunzione limite unidimensionale $u(x)$, della forma:
     $$w_n(x, x') = u(x) \left[ 1 + \tau (x_2 - c(x))^2 a_2(\Omega_n)^2 \right] - d_n$$
     dove $\tau$ è una costante negativa scelta strategicamente e $c(x)$ è il baricentro della sezione trasversale.
   • Si esegue uno sviluppo asintotico del quoziente di Rayleigh (energia cinetica / energia potenziale) fino all'ordine $a_2(\Omega)^2$.
   • Si dimostra che il termine di secondo ordine nel numeratore è strettamente negativo (o positivo a seconda della convenzione di segno), portando a una contraddizione con l'ipotesi di partenza.

4. Calcolo Esplicito nel Caso Piano ($d=2, k=1$):
   Mentre la prova generale fornisce l'esistenza di una costante $C(k,d)$ senza specificarne il valore, per il caso piano con simmetria rispetto alla mediatrice del diametro, gli autori risolvono un problema di calcolo delle variazioni per determinare esplicitamente la costante. Si utilizza una funzione di prova basata sulla funzione di Bessel $J_0$ e si minimizza un funzionale rispetto alla forma del profilo del dominio.

---

3. Risultati Principali

Teorema 1.1 (Disuguaglianza Quantitativa Generale)

Per ogni $k \in \mathbb{N}$ e $d \ge 2$, esiste una costante $C(k, d) > 0$ tale che per ogni dominio convesso $\Omega \subset \mathbb{R}^d$:
$$D_\Omega^2 \mu_k(\Omega) \le \mu^*_{k,d} - C(k, d) \frac{a_2(\Omega)^2}{D_\Omega^2}$$
Dove $a_2(\Omega)$ è il secondo semiasse dell'ellissoide di John. Questo risultato quantifica quanto l'autovalore sia inferiore al limite massimo in funzione della "piattezza" del dominio.

Teorema 1.2 (Ottimalità dell'Esponente)

L'esponente 2 sul termine di piattezza ($a_2(\Omega)^2$) è sharp (ottimale) nel caso piano per $k=1$. Non è possibile migliorare l'ordine di convergenza. La prova utilizza una famiglia di triangoli isosceli superequilaterali che collassano, mostrando che la deviazione dal limite scala esattamente come il quadrato della larghezza.

Teorema 1.3 (Costante Esplicita nel Caso Piano)

Per un dominio piano convesso $\Omega$ simmetrico rispetto alla mediatrice del suo diametro, gli autori forniscono un valore esplicito per la costante:
$$D_\Omega^2 \mu_1(\Omega) \le 4j_{0,1}^2 - 0.432 \frac{w_\Omega^2}{D_\Omega^2}$$
Dove $j_{0,1}$ è il primo zero della funzione di Bessel $J_0$ e $w_\Omega$ è la larghezza del dominio nella direzione ortogonale al diametro.
Nota: Il valore $0.432$ non è necessariamente sharp (ottimale), ma è un limite superiore esplicito calcolato analiticamente, in netto contrasto con le costanti dimensionali spesso estremamente piccole (dell'ordine di $10^{-16}$) trovate in letteratura per problemi simili.

---

4. Contributi Chiave e Significato

1. Quantificazione della "Quasi-Ottimalità":
   Il lavoro risponde a una domanda fondamentale nella teoria spettrale: caratterizza la stabilità degli autovalori di Neumann. Mostra che se un dominio ha un autovalore vicino al massimo possibile, il dominio deve essere geometricamente molto vicino a un segmento (deve essere "piatto").

2. Nuova Classe di Disuguaglianze Quantitative:
   A differenza della maggior parte delle disuguaglianze isoperimetriche quantitative (dove il limite è una sfera e la distanza è misurata dall'asimmetria di Fraenkel), qui il limite è un oggetto degenere (un segmento) e la distanza è misurata dalla larghezza trasversale. Questo tipo di risultati è raro in letteratura.

3. Metodologia Variazionale Avanzata:
   La costruzione della funzione di prova perturbata che tiene conto della geometria trasversale (tramite il termine $(x_2 - c(x))^2$) è un contributo tecnico significativo. Permette di isolare il termine di secondo ordine nell'espansione asintotica.

4. Risultati Espliciti:
   La capacità di calcolare una costante esplicita ($0.432$) per il caso piano è un risultato raro, dato che la maggior parte delle prove quantitative per disuguaglianze isoperimetriche fornisce solo l'esistenza di una costante senza valore numerico.

5. Connessione con la Geometria Convessa:
   Il lavoro integra profondamente la teoria degli autovalori con la geometria convessa (ellissoidi di John, disuguaglianza di Brunn-Minkowski, funzioni di profilo concave), offrendo nuovi strumenti per analizzare domini che collassano.

In sintesi, questo articolo fornisce una comprensione rigorosa e quantitativa di come la geometria di un dominio convesso influenzi i suoi autovalori di Neumann quando ci si avvicina al caso limite di degenerazione, stabilendo nuovi standard per le disuguaglianze spettrali quantitative.