An isoperimetric inequality for the second Robin eigenvalue of the Weighted Laplacian

1. Il Problema di Ricerca

Il lavoro si concentra su un problema di ottimizzazione della forma (shape optimization) relativo al secondo autovalore di Robin per l'operatore di Laplace pesato su domini limitati in $\mathbb{R}^m$.

L'equazione agli autovalori studiata è:
$$\begin{cases} -\text{div}(e^{h(|x|)}\nabla u) = \lambda e^{h(|x|)}u, & x \in \Omega, \\ \frac{\partial u}{\partial \nu} + \alpha u = 0, & x \in \partial\Omega, \end{cases}$$
dove:

• $\Omega$ è un dominio limitato con frontiera Lipschitziana, simmetrico rispetto all'origine.
• $\nu$ è la normale esterna.
• $h(r)$ è una funzione $C^2$ su $[0, +\infty)$ che definisce la misura pesata $d\gamma_h = e^{h(|x|)}dx$.
• $\alpha \in \mathbb{R}$ è il parametro di Robin.

L'obiettivo è determinare quale forma geometrica massimizza il secondo autovalore $\lambda_{2,\alpha}(\Omega; \gamma_h)$ tra tutti i domini con una misura pesata fissata ($\int_\Omega d\gamma_h = \text{cost}$).

2. Metodologia e Strumenti Matematici

Gli autori adottano un approccio analitico basato sulla teoria spettrale e sulle disuguaglianze isoperimetriche, utilizzando i seguenti strumenti chiave:

• Simmetrizzazione di Steiner/Rearrangement: Sfruttano la simmetria radiale della misura pesata e la simmetria del dominio per costruire funzioni di prova.
• Il "Trucco" di Weinberger: La tecnica principale consiste nel costruire funzioni di prova per il secondo autovalore su un dominio generico $\Omega$ utilizzando gli autofunzioni calcolate sulla palla centrata nell'origine (il candidato ottimale).
• Analisi degli Autovalori sulla Palla: Studiano in dettaglio il problema su una palla $B(R)$ centrata nell'origine. Sfruttando la separazione delle variabili, dimostrano che:
  • Il primo autovalore è radiale.
  • Il secondo autovalore è associato a autofunzioni della forma $u_i(x) = g(r)\frac{x_i}{r}$, dove $g(r)$ soddisfa un'equazione differenziale ordinaria (ODE) specifica.
• Proprietà di Monotonia: Dimostrano che, sotto certe condizioni su $h(r)$ e $\alpha$, la funzione radiale $g(r)$ e una funzione ausiliaria $F(r)$ (costruita combinando $g$, $g'$ e i parametri) sono monotone. Questo è cruciale per applicare le disuguaglianze di riordinamento (Hardy-Littlewood).
• Disuguaglianza di Hardy-Littlewood: Utilizzata per confrontare gli integrali su un dominio generico $\Omega$ con quelli sulla palla $B$ avente la stessa misura pesata, sfruttando la monotonia decrescente delle funzioni di prova.

3. Risultati Chiave e Teoremi Principali

Teorema 1.1 (Disuguaglianza Isoperimetrica Principale)

Sia $\Omega \subset \mathbb{R}^m$ un dominio Lipschitziano limitato e simmetrico rispetto all'origine. Sia $h(r) \in C^2([0, +\infty))$ tale che $h'(r) \ge 0$ e $h''(r) \ge 0$ per $r > 0$.
Sia $B$ la palla centrata nell'origine avente la stessa misura pesata di $\Omega$.
Se il parametro di Robin soddisfa $\alpha \in [-\sigma_1(B; \gamma_h), 0]$, dove $\sigma_1(B; \gamma_h)$ è il primo autovalore di Steklov non nullo sulla palla, allora:
$$\lambda_{2,\alpha}(\Omega; \gamma_h) \le \lambda_{2,\alpha}(B; \gamma_h)$$
L'uguaglianza vale se e solo se $\Omega$ è isometrico a $B$.

Implicazioni:

• Per $\alpha = 0$, il risultato recupera la disuguaglianza di Szegö-Weinberger per il secondo autovalore di Neumann in spazi pesati (già dimostrato da Brock, Chiacchio e di Blasio).
• Per $\alpha = -\sigma_1(B; \gamma_h)$, si ottiene una disuguaglianza di tipo Brock-Weinstock per l'autovalore di Steklov.

Corollario 1.2 (Disuguaglianza di Brock-Weinstock)

Sotto le stesse ipotesi, il primo autovalore di Steklov non nullo è massimizzato dalla palla:
$$\sigma_1(\Omega; \gamma_h) \le \sigma_1(B; \gamma_h)$$
con uguaglianza se e solo se $\Omega$ è isometrico a $B$.

Proprietà degli Autofunzioni sulla Palla

Un contributo tecnico significativo è la caratterizzazione precisa delle autofunzioni del secondo autovalore sulla palla. Gli autori dimostrano che, per $\alpha \le 0$, le autofunzioni sono della forma $u_i(x) = g(r)\frac{x_i}{r}$, dove $g(r)$ è positiva, strettamente crescente e soddisfa condizioni al contorno specifiche. Inoltre, dimostrano che $\lambda_{2,\alpha}(B) \ge 0$ sotto le ipotesi del teorema.

4. Contributi Tecnici Specifici

1. Estensione ai Parametri Negativi: Il lavoro estende le disuguaglianze isoperimetriche note (tipicamente per Neumann o Robin positivo) a un intervallo di parametri di Robin negativi, fino al primo autovalore di Steklov negativo.
2. Analisi dell'Equazione ODE: La dimostrazione richiede un'analisi fine delle proprietà qualitative della soluzione $g(r)$ dell'ODE associata al secondo autovalore sulla palla, inclusa la dimostrazione della sua monotonia e dei limiti asintotici.
3. Costruzione della Funzione $F(r)$: Gli autori definiscono una funzione ausiliaria $F(r)$ che combina termini energetici e di frontiera. La dimostrazione che $F(r)$ è decrescente è il passo critico che permette di applicare la simmetrizzazione per ottenere la disuguaglianza finale.
4. Gestione della Simmetria: L'assunzione di simmetria del dominio $\Omega$ è essenziale per garantire l'ortogonalità delle funzioni di prova rispetto al primo autovettore (che è radiale), permettendo l'uso della caratterizzazione variazionale del secondo autovalore.

5. Significato e Impatto

Questo articolo contribuisce significativamente alla teoria degli autovalori degli operatori ellittici pesati:

• Generalizzazione: Unifica risultati precedenti su spazi euclidei, iperbolici e di Gauss (Gauss space) in un quadro più generale di misure pesate radiali.
• Conferma di una Congettura: Conferma l'aspettativa (menzionata in letteratura, es. [17]) che la palla massimizzi il secondo autovalore di Robin per parametri negativi in domini simmetrici.
• Applicabilità: I risultati sono rilevanti per problemi di fisica matematica e meccanica quantistica dove compaiono potenziali pesati (ad esempio, l'operatore di Ornstein-Uhlenbeck, che corrisponde al caso $h(r) = -|x|^2/2$, sebbene il teorema richieda $h' \ge 0$, il metodo apre la strada a ulteriori indagini su misure gaussiane).
• Metodologia: Il metodo di costruzione delle funzioni di prova basato sulle autofunzioni della palla e l'uso di disuguaglianze di monotonia rappresenta un modello robusto per futuri studi di ottimizzazione della forma in contesti pesati.

In sintesi, il paper stabilisce che, in presenza di una misura pesata radialmente crescente e convessa, e per un range di condizioni al contorno di Robin negative, la geometria sferica è la configurazione ottimale per massimizzare la frequenza fondamentale del secondo modo di vibrazione.