On the Effectless Cut Method for Laplacian Eigenvalues in any dimensions

1. Il Problema

Il lavoro si concentra su un problema di ottimizzazione di forma relativo al primo autovalore dell'operatore di Laplace in domini doppiamente connessi (anelli o gusci) in dimensione $n \geq 2$.
Siano $\Omega_{in}$ e $\Omega_{out}$ due insiemi aperti, convessi e limitati in $\mathbb{R}^n$ tali che $\Omega_{in} \subset\subset \Omega_{out}$. Il dominio considerato è $\Omega = \Omega_{out} \setminus \Omega_{in}$.
Si studia il problema agli autovalori con condizioni al contorno di Robin positive su entrambe le componenti del bordo:
$$\begin{cases} -\Delta u = \lambda u & \text{in } \Omega, \\ \frac{\partial u}{\partial \nu} + \beta_{in} u = 0 & \text{su } \partial \Omega_{in}, \\ \frac{\partial u}{\partial \nu} + \beta_{out} u = 0 & \text{su } \partial \Omega_{out}, \end{cases}$$
dove $\nu$ è la normale esterna unitaria e $(\beta_{in}, \beta_{out}) \in (0, +\infty]^2$ (inclusi i casi limite di Neumann e Dirichlet).

L'obiettivo è determinare se, sotto opportuni vincoli geometrici, lo guscio sferico (la differenza tra due sfere concentriche) massimizza il primo autovalore $\lambda_{RR}(\Omega)$ rispetto ad altri domini con le stesse misure geometriche (volume, perimetro, quermassintegrali).

2. Metodologia

La strategia principale si basa sull'estensione in dimensioni superiori di una tecnica nota come "Effectless Cut" (taglio senza effetto), originariamente introdotta da Hersch per membrane piane e successivamente utilizzata da Weinberger.

Il metodo procede come segue:

1. Assunzione di Assialità: Si considera la classe $\mathcal{A}$ di domini doppiamente connessi che sono assial-simmetrici. Questa ipotesi è cruciale per generalizzare gli strumenti planari alle dimensioni superiori.
2. Analisi dei Punti Critici: Si studia la struttura dei punti critici dell'autofunzione positiva $u$ associata al primo autovalore. Grazie alla simmetria assiale e all'analiticità di $u$, si dimostra che i punti critici formano varietà analitiche di codimensione 1, 2 o punti isolati sull'asse di simmetria.
3. Costruzione del Taglio: Si definisce un flusso gradiente $-\nabla u$ che genera due sottoinsiemi aperti disgiunti $G_{in}$ e $G_{out}$, rispettivamente collegati a $\partial \Omega_{in}$ e $\partial \Omega_{out}$.
4. Il "Taglio Senza Effetto": Si dimostra l'esistenza di un insieme aperto $G$ tale che $\Omega_{in} \subset\subset G \subset\subset \Omega_{out}$, la cui frontiera essenziale $\partial^* G$ è ortogonale al gradiente di $u$ quasi ovunque. In termini fisici, questo significa che $\frac{\partial u}{\partial \nu} = 0$ su $\partial^* G$.
5. Decomposizione del Problema: Questo taglio permette di decomporre il dominio originale $\Omega$ in due sottodomini $G_{in} = G \cap \Omega$ e $G_{out} = \Omega \setminus G$ senza diminuire il primo autovalore. Il problema originale si riduce così allo studio di due problemi misti (Robin-Neumann e Neumann-Robin) sui nuovi domini.

3. Contributi Chiave

• Generalizzazione in Dimensione Superiore: Il principale contributo è l'estensione della tecnica di Hersch (originariamente valida solo in dimensione 2) a dimensioni $n \geq 2$, superando la difficoltà che gli strumenti planari classici non si generalizzano direttamente.
• Definizione della Classe Ammissibile: Viene introdotta una classe specifica di domini $\mathcal{S} \cap \mathcal{A}$, dove $\mathcal{S}$ è definita da una relazione di isoperimetria che lega il volume del dominio al perimetro della parte esterna e al quermassintegrale di ordine $n-1$ della parte interna.
• Dimostrazione di Non Vuoto: Si dimostra che la classe $\mathcal{S} \cap \mathcal{A}$ non è banale, contenendo domini che non sono semplici sfere concentriche o traslate, ma possono essere ottenuti tramite combinazioni di Minkowski.
• Rigidità: Si stabilisce la condizione di uguaglianza nel teorema principale, dimostrando che l'ottimale è raggiunto solo (a meno di traslazioni) dallo guscio sferico.

4. Risultati Principali

Il risultato centrale è il Teorema 1.4, che afferma quanto segue:

Sia $\Omega \in \mathcal{S} \cap \mathcal{A}$ e siano $(\beta_{in}, \beta_{out}) \in (0, +\infty]^2$. Sia $A_{R_1, R_2}$ lo guscio sferico tale che:

1. $|A_{R_1, R_2}| = |\Omega|$ (stesso volume),
2. $P(B_{R_2}) = P(\Omega_{out})$ (stesso perimetro della parte esterna),
3. $W_{n-1}(B_{R_1}) = W_{n-1}(\Omega_{in})$ (stesso quermassintegrale della parte interna).

Allora vale la disuguaglianza:
$$\lambda_{RR}(\Omega) \leq \lambda_{RR}(A_{R_1, R_2})$$
L'uguaglianza vale se e solo se $\Omega$ è, a meno di traslazioni, lo guscio sferico $A_{R_1, R_2}$.

Il risultato è interpretato come una disuguaglianza di tipo Reverse Faber-Krahn: mentre la classica disuguaglianza di Faber-Krahn afferma che la sfera minimizza il primo autovalore di Dirichlet a volume fissato, qui si dimostra che lo guscio sferico massimizza il primo autovalore con condizioni di Robin positive sotto vincoli geometrici misti.

5. Significato e Implicazioni

• Fisica Matematica: I risultati hanno applicazioni nello studio delle membrane vibranti e dei problemi di spettro in domini con buchi, fornendo limiti superiori ottimali per le frequenze fondamentali.
• Teoria dell'Ottimizzazione di Forma: Il lavoro colma un vuoto nella letteratura riguardante i domini doppiamente connessi in dimensioni superiori, fornendo uno strumento potente (il taglio senza effetto) per trattare problemi misti di autovalori.
• Robustezza Geometrica: L'uso dei quermassintegrali e delle disuguaglianze di Aleksandrov-Fenchel permette di trattare una classe di domini più generale rispetto alla semplice simmetria sferica, collegando la geometria del bordo interno ed esterno in modo non banale.
• Limiti e Ipotesi: Gli autori notano che l'assunzione di convessità sembra necessaria per evitare controesempi costruiti tramite tecniche di omogeneizzazione o aggiunta di piccole sfere, mentre l'assunzione di assialità potrebbe essere potenzialmente rimossa in lavori futuri, sebbene sia attualmente essenziale per la prova.

In sintesi, il paper fornisce una caratterizzazione completa e rigorosa dell'ottimalità dello guscio sferico per il primo autovalore di Robin in dimensioni arbitrarie, unificando tecniche di analisi geometrica, teoria del flusso gradiente e disuguaglianze isoperimetriche.