Sintesi Tecnica: Su Alcuni Funzionali che Coinvolgono la Rigidità Torsionale, l'Autovalore Principale e il Perimetro

1. Enunciato del Probleo

Questo articolo investiga l'interazione tra due quantità geometriche fondamentali associate al Laplaciano su un dominio $\Omega \subset \mathbb{R}^m$: la rigidità torsionale $T(\Omega)$ e il primo autovalore di Dirichlet $\Lambda(\Omega)$. Mentre la disuguaglianza di Saint–Venant stabilisce che le sfere massimizzano la rigidità torsionale per un volume (o perimetro) fissato, e la disuguaglianza di Faber–Krahn stabilisce che le sfere minimizzano il primo autovalore per un volume (o perimetro) fissato, il comportamento del loro prodotto è non banale a causa di queste opposte proprietà estreme.

L'obiettivo primario è ottimizzare il prodotto $\Lambda(\Omega)T(\Omega)$ sotto un vincolo di perimetro prescritto. Gli autori definiscono il funzionale invariante per scala:
$$G(\Omega) := \frac{T(\Omega)\Lambda(\Omega)}{P(\Omega)^{\frac{m}{m-1}}}$$
dove $P(\Omega)$ denota il perimetro di De Giorgi. Lo studio viene condotto attraverso tre distinte classi di domini:

1. $\mathcal{O}$: La classe di sottoinsiemi aperti di $\mathbb{R}^m$ con perimetro finito.
2. $\mathcal{C}$: La subclasse di insiemi aperti, limitati e convessi.
3. $\mathcal{S}_{\delta, \gamma}$: La classe di insiemi "quasi sferici" (perturbazioni della palla unitaria $B_1$).

Inoltre, il documento generalizza questo problema a una famiglia di funzionali $F_q(\Omega) = T(\Omega)^q \Lambda(\Omega) V(\Omega)^{-\alpha_q}$ (dove $\alpha_q = \frac{(m+2)q-2}{m}$) e a una corrispondente generalizzazione $G_q(\Omega)$ soggetta a vincolo di perimetro.

2. Metodologia

Gli autori impiegano una combinazione di teoria dell'ottimizzazione della forma, analisi spettrale e disuguaglianze geometriche.

• Derivate di Forma e Stabilità: Lo strumento analitico centrale è il calcolo delle variazioni per i funzionali di forma. Gli autori utilizzano il teorema della struttura per le prime e seconde derivate di forma (Teorema 2.6) per analizzare la criticità e la stabilità della sfera. Verificano che la sfera sia una forma critica (la prima derivata svanisce) e investigano la coercitività della seconda derivata (Hessiana) in spazi di Sobolev frazionari ($H^s$).
• Espansione in Armoniche Sferiche: Per analizzare la seconda variazione dei funzionali sulla sfera, gli autori espandono le perturbazioni del bordo $h$ in termini di armoniche sferiche. Ciò consente di calcolare esplicitamente gli autovalori dell'Hessiana, determinando se la sfera è un minimo locale, un massimo o un punto di sella in base al segno dei coefficienti $G_k$ o $F^q_k$.
• Omogeneizzazione e Argomenti di Omogeneizzazione: Per stabilire i limiti nella classe degli insiemi aperti ($\mathcal{O}$), gli autori costruiscono sequenze specifiche di domini.
  • Sequenze minimizzanti: Costruite utilizzando domini sempre più sottili o sequenze in cui il rapporto isoperimetrico svanisce.
  • Sequenze massimizzanti: Costruite tramite omogeneizzazione (introducendo una matrice densa di piccoli fori) per avvicinarsi al supremo del funzionale di Pólya, combinata con il controllo del rapporto isoperimetrico.
• Disuguaglianze Geometriche: L'analisi si basa pesantemente su note disuguaglianze come quelle di Saint–Venant e Faber–Krahn, nonché su specifici limiti per insiemi convessi che coinvolgono diametro, inradio e larghezza minima (ad esempio, Propositioni 2.3–2.5).
• Analisi della Regolarità: Per il caso convesso nel setting planare ($m=2$), viene utilizzato un argomento per contraddizione per dimostrare che qualsiasi massimizzatore deve avere un bordo di classe $C^1$, escludendo così gli angoli.

3. Contributi Chiave e Risultati

A. Ottimizzazione nella Classe degli Insiemi Aperti ($\mathcal{O}$)

• Infimo: L'infimo di $G(\Omega)$ su $\mathcal{O}$ è 0. Ciò è ottenuto tramite sequenze di insiemi che diventano sempre più sottili (rapporto isoperimetrico evanescente).
• Supremo: Il supremo non è raggiunto. Esso è dato dal valore $m^{\frac{m}{m-1}} \omega_m^{-\frac{1}{m-1}}$ (dove $\omega_m$ è il volume della palla unitaria). Questo valore è avvicinato da sequenze costruite tramite l'omogeneizzazione di una palla, dove il funzionale di Pólya si avvicina a 1 e il rapporto isoperimetrico è controllato.
• Generalizzazione ($G_q$): Per il funzionale generalizzato $G_q$, se $q \le \frac{2}{m+2}$, la sfera è il minimizzatore globale. Se $q > \frac{2}{m+2}$, l'infimo è 0. Il supremo è $+\infty$ per $q < 1$ ed è finito per $q \ge 1$.

B. Ottimizzazione nella Classe degli Insiemi Convessi ($\mathcal{C}$)

• Esistenza di Massimizzatori: A differenza della classe $\mathcal{O}$, il supremo di $G(\Omega)$ su $\mathcal{C}$ è raggiunto. Gli autori dimostrano l'esistenza di un massimizzatore provando che le sequenze massimizzanti non possono "collassare" (ovvero, il rapporto tra larghezza minima e diametro non può svanire) e quindi convergono a un limite convesso.
• Regolarità: Nel caso planare ($m=2$), ogni massimizzatore di $G$ in $\mathcal{C}$ è di classe $C^1$. La prova dimostra che un punto angolare permetterebbe una perturbazione capace di aumentare il valore del funzionale, contraddicendo la massimalità.
• La Sfera come Candidata: Rimane un problema aperto se la sfera sia il massimizzatore globale in $\mathcal{C}$. Simulazioni numeriche supportano questa congettura, ma non è stata dimostrata.
• Generalizzazione ($G_q$): Il comportamento di $G_q$ in $\mathcal{C}$ dipende da $q$. Per $q > 2/3$, l'infimo è 0 e esiste un massimizzatore. Per $q < 2/3$, il supremo è $+\infty$.

C. Ottimalità Locale e Stabilità (Domini Quasi Sferici)

Il documento fornisce un'analisi locale dettagliata della stabilità della sfera per entrambi i funzionali $G$ e la famiglia $F_q$ (e $G_q$) all'interno della classe dei quasi-sferici $\mathcal{S}_{\delta, \gamma}$.

• Massimalità Locale della Sfera per $G$: La sfera è un massimizzatore locale stretto per il funzionale $G$. Nello specifico, esiste una costante $C > 0$ tale che per ogni perturbazione quasi sferica $B_h$:
  $$G(B_1) - G(B_h) > C \|h\|_{H^1(\partial B_1)}^2$$
• Comportamento Locale di $F_q$ e $G_q$: La stabilità della sfera dipende criticamente dal parametro $q$:
  • $q < \frac{2}{m+2}$: La sfera è un minimizzatore stretto.
  • $\frac{2}{m+2} < q < q^*$: La sfera è un punto di sella (né minimo né massimo locale). Qui $q^*$ è una soglia critica che coinvolge lo zero della prima funzione di Bessel.
  • $q > q^*$: La sfera diventa un massimizzatore stretto.
• Significato di $q^*$: Il documento identifica un intervallo di valori di $q$ (specificamente tra $\frac{2}{m+2}$ e $q^*$) in cui la sfera si comporta come un punto di sella. Ciò contrasta con il comportamento globale dove la sfera è il minimizzatore globale per $q \le \frac{2}{m+2}$.

4. Significato e Rivendicazioni

Il documento sostiene di risolvere l'ottimizzazione del prodotto della rigidità torsionale e del primo autovalore sotto un vincolo di perimetro, un problema che non era stato pienamente caratterizzato nella letteratura.

• Risoluzione dei Valori Estremi: Gli autori stabiliscono che, mentre l'infimo del funzionale è 0 nella classe generale degli insiemi aperti, il supremo non è raggiunto. Tuttavia, restringere il problema agli insiemi convessi garantisce l'esistenza di un massimizzatore.
• Stabilità Locale: Un contributo significativo è la prova rigorosa che la sfera è un massimizzatore locale per il funzionale del prodotto con vincolo di perimetro $G$. Ciò fornisce un forte supporto teorico alla congettura che la sfera sia il massimizzatore globale nella classe convessa.
• Generalizzazione: Il lavoro estende l'analisi classica del funzionale di Pólya a una più ampia famiglia di funzionali $F_q$ e $G_q$, mappando la transizione dalla minimità alla massimalità (e al comportamento di sella) della sfera al variare dell'esponente $q$.
• Rigore Metodologico: Il documento fornisce un quadro completo per analizzare le derivate di forma di funzionali misti spettrali-geometrici, gestendo specificamente l'interazione tra volume, perimetro e quantità spettrali tramite espansioni in armoniche sferiche.

Gli autori rimangono modesti riguardo l'ottimalità globale della sfera nella classe convessa, dichiarando esplicitamente che resta un problema aperto se il massimo sia raggiunto da una sfera, nonostante le evidenze numeriche e la dimostrata stabilità locale.