An isoperimetric inequality for lower order Neumann eigenvalues in Gauss space

Sintesi Tecnica: Una Disuguaglianza Isoperimetrica per gli Autovalori di Neumann di Ordine Inferiore nello Spazio Gaussiano

Enunciato del Problema
Questo articolo affronta l'ottimizzazione degli autovalori di Neumann per il Laplaciano di Witten (o operatore di Ornstein-Uhlenbeck) nel contesto della misura gaussiana. Nello specifico, gli autori investigano la media armonica dei primi $m-1$ autovalori di Neumann non nulli, indicati con $\mu_1(\Omega), \dots, \mu_{m-1}(\Omega)$, per un dominio Lipschitziano connesso $\Omega \subset \mathbb{R}^m$. Il problema centrale è determinare quale forma di dominio massimizzi questa media armonica sotto il vincolo di un volume gaussiano fissato.

Mentre la classica disuguaglianza di Szegö-Weinberger stabilisce che la palla massimizza unicamente il primo autovalore di Neumann non nullo ($\mu_1$) nello spazio euclideo, e il suo analogo gaussiano è stato dimostrato da Chiacchio e Di Blasio per domini simmetrici rispetto all'origine, il comportamento degli autovalori di ordine inferiore (specificamente la somma dei loro reciproci) nello spazio gaussiano rimaneva una questione aperta. Il presente articolo mira a generalizzare il risultato di Szegö-Weinberger alla media armonica dei primi $m-1$ autovalori per domini simmetrici rispetto all'origine.

Metodologia
La dimostrazione del teorema principale si basa su un approccio variazionale combinato con tecniche di simmetrizzazione adattate alla misura gaussiana. La metodologia procede attraverso i seguenti passaggi:

1. Caratterizzazione Variazionale: Gli autori utilizzano la standard formulazione del quoziente di Rayleigh per gli autovalori di Neumann nello spazio Sobolev pesato $H^1(\Omega, d\gamma_m)$. Gli autovalori sono caratterizzati come infimi su sottospazi ortogonali alle autofunzioni di ordine inferiore.
2. Analisi della Palla: Viene condotta un'analisi spettrale dettagliata del primo autovalore non nullo $\mu_1(B_R)$ per una palla $B_R$ centrata nell'origine. Gli autori stabiliscono che:
   • $\mu_1(B_R)$ ha molteplicità $m$.
   • Le corrispondenti autofunzioni assumono la forma $u_i(x) = g(r)\psi_i(\theta)$, dove $\psi_i$ sono funzioni lineari di coordinata.
   • La parte radiale $g(r)$ soddisfa una specifica equazione di Sturm-Liouville.
   • Fondamentalmente, il Lemma 2.3 dimostra che l'autofunzione radiale $g(r)$ è strettamente crescente e soddisfa la disuguaglianza $g'(r) \leq g(r)/r$ per $r \in (0, R]$.
3. Costruzione di Funzioni di Prova: Per limitare gli autovalori di un dominio arbitrario $\Omega$, gli autori costruiscono funzioni di prova $v_i(x)$ basate sulle autofunzioni della palla di confronto $B$. Queste funzioni sono definite come $v_i(x) = G(|x|) \frac{x_i}{|x|}$, dove $G(r)$ è un'estensione dell'autofunzione radiale $g(r)$ che rimane costante al di fuori del raggio della palla.
4. Fattorizzazione QR e Ortogonalità: Poiché $\Omega$ è simmetrico rispetto all'origine, le funzioni di prova $v_i$ hanno media nulla. Gli autori impiegano un argomento di fattorizzazione QR per ruotare il sistema di coordinate, garantendo che le funzioni di prova soddisfino le necessarie condizioni di ortogonalità rispetto alle prime $i-1$ autofunzioni di $\Omega$. Ciò consente a $v_i$ di fungere da validi test per la caratterizzazione variazionale di $\mu_i(\Omega)$.
5. Simmetrizzazione Gaussiana: La dimostrazione utilizza un lemma di monotonicità (Lemma 3.1) riguardante la riorganizzazione gaussiana. Questo lemma afferma che, per una funzione radiale decrescente $h(r)$, l'integrale su $\Omega$ è limitato dall'integrale sulla palla $B$ dello stesso volume gaussiano. Tale lemma è applicato ai termini che coinvolgono $G(r)$ e le sue derivate.
6. Sintesi della Disuguaglianza: Sommando le disuguaglianze variazionali da $i=1$ a $m$, e utilizzando le proprietà di monotonicità di $g(r)$ e l'ordinamento degli autovalori $\mu_1 \leq \dots \leq \mu_m$, gli autori derivano un limite inferiore per la somma dei reciproci.

Contributi Principali e Risultati
Il risultato primario è il Teorema 1.1, che stabilisce una disuguaglianza isoperimetrica netta per la media armonica dei primi $m-1$ autovalori di Neumann nello spazio gaussiano.

Sia $\Omega \subset \mathbb{R}^m$ un dominio Lipschitziano simmetrico rispetto all'origine, e sia $B$ la palla centrata nell'origine con lo stesso volume gaussiano di $\Omega$. Allora:
$$\sum_{i=1}^{m-1} \frac{1}{\mu_i(\Omega)} \geq \frac{m-1}{\mu_1(B)}$$
L'uguaglianza si verifica se e solo se $\Omega = B$.

Significato e Rivendicazioni
L'articolo sostiene che questo risultato generalizza la disuguaglianza di tipo Szegö-Weinberger nello spazio gaussiano precedentemente stabilita da Chiacchio e Di Blasio (specificamente il Teorema 4.1 in [12]), che trattava solo il primo autovalore $\mu_1$. Dimostrando la disuguaglianza per la media armonica dei primi $m-1$ autovalori, gli autori forniscono un vincolo più forte che implica il risultato originale (poiché $\mu_1(\Omega) \leq \mu_1(B)$ è una conseguenza diretta della disuguaglianza della media armonica data l'ordinazione degli autovalori).

Gli autori osservano che, sebbene il risultato supporti la più ampia congettura di Ashbaugh-Benguria riguardante la somma dei reciproci dei primi $m$ autovalori nello spazio euclideo, la questione se tale congettura valga nello spazio gaussiano senza l'assunzione di simmetria rimane aperta. L'assunzione di simmetria in questo lavoro è essenziale per garantire la validità delle condizioni di ortogonalità richieste per le funzioni di prova.

Il saggio non propone nuove applicazioni o proposte sperimentali, ma si concentra esclusivamente sull'estensione del quadro teorico della geometria spettrale negli spazi gaussiani.