Geometric properties of solutions to elliptic PDE's in Gauss space and related Brunn-Minkowski type inequalities

Titolo: Proprietà Geometriche delle Soluzioni di EDP Ellittiche nello Spazio di Gauss e Disuguaglianze di Tipo Brunn-Minkowski Correlate

Autori: Andrea Colesanti, Lei Qin, Paolo Salani

1. Il Problema e il Contesto

Il paper si occupa dello studio delle proprietà geometriche delle soluzioni dell'equazione agli autovalori di Dirichlet per l'operatore $p$-Laplaciano pesato nello spazio di Gauss. Nello specifico, l'obiettivo è estendere risultati noti nel contesto euclideo e nello spazio di Gauss per il caso $p=2$ (Laplaciano) al caso generale $p > 1$.

L'operatore considerato è il Gaussian $p$-Laplacian, definito come:
$$-\Delta_{p,\gamma} u = -\text{div}(|\nabla u|^{p-2}\nabla u) + \langle x, \nabla u \rangle |\nabla u|^{p-2}$$
dove $\gamma$ è la misura di probabilità gaussiana su $\mathbb{R}^n$.

Il problema agli autovalori è dato da:
$$\begin{cases} -\Delta_{p,\gamma} u = \lambda_{p,\gamma} |u|^{p-2}u & \text{in } \Omega \\ u = 0 & \text{su } \partial\Omega \end{cases}$$
dove $\Omega$ è un dominio limitato con bordo Lipschitziano. L'autovalore principale $\lambda_{p,\gamma}(\Omega)$ è definito come l'infimo del quoziente di Rayleigh pesato:
$$\lambda_{p,\gamma}(\Omega) = \inf_{u \in W_0^{1,p}(\Omega, \gamma), u \not\equiv 0} \frac{\int_\Omega |\nabla u|^p d\gamma}{\int_\Omega |u|^p d\gamma}$$

2. Metodologia

L'approccio metodologico combina tecniche di analisi non lineare, teoria delle soluzioni di viscosità e metodi variazionali classici per le disuguaglianze isoperimetriche.

• Soluzioni di Viscosità e Soluzioni Deboli: Un passo cruciale è la dimostrazione dell'equivalenza tra soluzioni di viscosità e soluzioni deboli (distribuzionali) per l'equazione (2) nello spazio di Gauss. Gli autori utilizzano il metodo delle convoluzioni sup (sup-convolution) e inf (inf-convolution) per approssimare le soluzioni di viscosità.
  • Dimostrano che una soluzione di viscosità limitata e semicontinua superiormente è anche una soluzione debole locale. Questo risultato (Teorema 3.6) è fondamentale per collegare le proprietà puntuali delle soluzioni alle loro proprietà integrali.
• Costruzione di Funzioni Test: Per provare le disuguaglianze geometriche, gli autori costruiscono una funzione test specifica basata sulla combinazione log-concava delle soluzioni nei domini di partenza. Data una combinazione di Minkowski di domini $\Omega_t = (1-t)\Omega_0 + t\Omega_1$, definiscono una funzione $u_t$ come:
  $$u_t(x) = \sup \{ u_0(x_0)^{1-t} u_1(x_1)^t : x = (1-t)x_0 + tx_1 \}$$
• Analisi della Convessità Logaritmica: Viene studiato il comportamento della funzione $W = \ln u$. L'obiettivo è dimostrare che se il dominio è convesso, allora $W$ è una funzione concava (cioè $u$ è log-concava).

3. Risultati Principali

A. Disuguaglianza di Tipo Brunn-Minkowski per l'Autovalore (Teorema 1.1)

Il risultato principale è una disuguaglianza di Brunn-Minkowski per l'autovalore principale $\lambda_{p,\gamma}$.
Siano $\Omega_0$ e $\Omega_1$ domini limitati con bordo Lipschitziano in $\mathbb{R}^n$ ($n \ge 2$). Per ogni $t \in [0, 1]$, definiamo il dominio intermedio $\Omega_t = (1-t)\Omega_0 + t\Omega_1$. Allora vale:
$$\lambda_{p,\gamma}(\Omega_t) \le (1-t)\lambda_{p,\gamma}(\Omega_0) + t\lambda_{p,\gamma}(\Omega_1)$$
Questa disuguaglianza stabilisce che l'autovalore è una funzione concava rispetto alla combinazione di Minkowski dei domini.

B. Disuguaglianza di Urysohn e Corollario 1.4

Dalla disuguaglianza di Brunn-Minkowski, gli autori derivano una disuguaglianza di tipo Urysohn. Essi introducono la larghezza media $w(\Omega)$ di un dominio.
Il Corollario 1.4 afferma che, tra tutti i domini limitati con una data larghezza media $w(\Omega)$, la palla centrata nell'origine $\Omega^\sharp$ (con $w(\Omega^\sharp) = w(\Omega)$) minimizza l'autovalore:
$$\lambda_{p,\gamma}(\Omega) \ge \lambda_{p,\gamma}(\Omega^\sharp)$$
Nota: Questo risultato è sorprendente perché nello spazio di Gauss, i minimizzatori per le disuguaglianze isoperimetriche classiche sono semispazi (che hanno larghezza media infinita). Qui, la larghezza media è una quantità metrica indipendente dalla misura, rendendo la disuguaglianza non strettamente "isoperimetrica" nel senso gaussiano classico, ma legata alla geometria della larghezza.

C. Log-concavità delle Autofunzioni (Teorema 1.5)

Il secondo risultato principale riguarda la regolarità geometrica delle autofunzioni.
Sia $\Omega$ un dominio convesso, limitato e aperto. Se $u > 0$ è una soluzione dell'equazione (2), allora la funzione $W = \ln u$ è concava in $\Omega$.
Questo estende un risultato classico di Brascamp e Lieb (per il Laplaciano, $p=2$) e risultati successivi per l'operatore di Ornstein-Uhlenbeck e il $p$-Laplaciano euclideo, al caso del $p$-Laplaciano nello spazio di Gauss.

4. Contributi Chiave e Significato

1. Unificazione dei Metodi: L'approccio degli autori è notevole perché utilizza lo stesso argomento tecnico (la costruzione della funzione $u_t$ tramite sup-convoluzione e la verifica che essa sia una soluzione di viscosità/sottosoluzione debole) per dimostrare contemporaneamente sia la disuguaglianza di Brunn-Minkowski per l'autovalore, sia la log-concavità dell'autofunzione.
2. Estensione al Caso $p \neq 2$: Il lavoro colma una lacuna nella letteratura estendendo risultati noti per il caso lineare ($p=2$) al caso non lineare $p > 1$ nello spazio di Gauss, gestendo le difficoltà tecniche legate alla degenerazione/singolarità dell'operatore $p$-Laplaciano.
3. Equivalenza Viscosità-Debole: La dimostrazione che le soluzioni di viscosità sono anche soluzioni deboli per questo specifico operatore pesato (Teorema 3.6) è un risultato tecnico di per sé importante, che facilita l'analisi di regolarità e le stime energetiche.
4. Implicazioni Geometriche: Il risultato sulla log-concavità è fondamentale per comprendere la struttura delle autofunzioni in domini convessi, con potenziali applicazioni nello studio della stabilità e delle proprietà spettrali in spazi di probabilità. La disuguaglianza di Brunn-Minkowski fornisce nuovi strumenti per l'analisi geometrica in spazi non euclidei pesati.

In sintesi, il paper rappresenta un avanzamento significativo nella teoria delle EDP ellittiche non lineari in spazi di misura pesati, fornendo nuovi strumenti analitici e risultati geometrici profondi che collegano la teoria degli autovalori alla geometria convessa.