Weinstock inequality in hyperbolic space II

Sintesi Tecnica: Disuguaglianza di Weinstock nello Spazio Iperbolico II

Enunciato del Problema
Questo articolo affronta il problema dell'ottimizzazione della forma per il primo autovalore Steklov non nullo, $\sigma_1(\Omega)$, su domini limitati all'interno dello spazio iperbolico $\mathbb{H}^n$ per dimensioni $n \ge 3$. Nello specifico, gli autori investigano la validità di una disuguaglianza di tipo Weinstock con vincolo di perimetro. La questione centrale, formulata come Congettura 1 (Domanda Aperta 4.27 in [13]), chiede se, per un dominio convesso limitato $\Omega \subset \mathbb{H}^n$, l'autovalore $\sigma_1(\Omega)$ sia massimizzato da una palla geodesica $\Omega^*$ avente la stessa area superficiale ($\left|\partial \Omega^*\right| = \left|\partial \Omega\right|$). Mentre la congettura era nota per essere vera per $n=2$ (tramite tecniche di mappatura conforme di Fraser e Schoen [15]) e per il caso con vincolo di volume in dimensioni superiori (Binoy e Santhanam [5]), il caso con vincolo di perimetro per $n \ge 3$ rimaneva aperto. Gli autori hanno precedentemente risolto questo problema per $n \ge 4$ in [23]; questo articolo estende il risultato al caso critico $n=3$ e fornisce una prova unificata per tutti i $n \ge 3$ sotto l'assunzione di bordi a forma stellata e con curvatura media positiva (mean convex).

Metodologia
La strategia di prova sintetizza diverse tecniche geometriche e analitiche avanzate:

1. Flusso di Curvatura Media Inversa (IMCF): Gli autori utilizzano l'IMCF, introdotto da Gerhardt [21], per evolvere il bordo del dominio $\Sigma_t$. Questo flusso preserva le proprietà di forma stellata e di curvatura media positiva, espandendo esponenzialmente l'area superficiale. Le equazioni di evoluzione per le quantità geometriche lungo questo flusso sono utilizzate per stabilire formule di monotonicità.
2. Trasferimento di Massa Pesata (Weighted Mass Transplantation): Un'innovazione centrale di questo lavoro è lo sviluppo di un metodo di "trasferimento di massa pesata". Il trasferimento di massa standard (Weinberger [44]) confronta gli integrali su un dominio $\Omega$ e una palla geodesica $B(R)$ di uguale volume. Tuttavia, per dimensioni inferiori ($n=3, 4$), le specifiche funzioni ausiliarie richieste per la prova mancano di monotonicità globale. Per superare ciò, gli autori introducono una variante pesata (Teorema 4.8) ispirata al principio della vasca da bagno (Bathtub principle), che permette il confronto di integrali coinvolgenti funzioni di peso non monotoniche.
3. Funzioni Ausiliarie e Analisi Geometrica: Gli autori definiscono una specifica funzione di rapporto volume-area $g(r)$ associata alle palle geodesiche. Analizzano rigorosamente le proprietà analitiche di $g(r)$ e delle sue derivate, stabilendo che determinate combinazioni di queste funzioni (come $\lambda^2 g'/g$) siano monotoniche. Una funzione ausiliaria $h$, definita tramite l'inverso dell'integrale di volume di un termine radiale specifico, è costruita per colmare il divario tra gli integrali di bordo e l'energia interiore.
4. Caratterizzazione Variazionale: Il limite superiore per $\sigma_1(\Omega)$ viene derivato utilizzando il quoziente di Rayleigh con funzioni di test accuratamente scelte, che coinvolgono il centro di massa e la funzione $g(r)$.

Contributi Chiave e Risultati

• Teorema Principale (Teorema 1.2): Gli autori dimostrano che per ogni dominio limitato regolare $\Omega \subset \mathbb{H}^n$ ($n \ge 3$) con bordo a forma stellata e con curvatura media positiva, e per una palla geodesica $\Omega^*$ con $\left|\partial \Omega^*\right| = \left|\partial \Omega\right|$, la disuguaglianza
  $$\sigma_1(\Omega) \le \sigma_1(\Omega^*)$$
  è verificata. L'uguaglianza avviene se e solo se $\Omega$ è una palla geodesica. Questo risultato fornisce una risposta affermativa alla Congettura 1 per domini convessi (Corollario 1.4).
• Risoluzione del Caso $n=3$: Il articolo affronta specificamente le difficoltà analitiche derivanti dalla dimensione $n=3$ (e $n=4$), dove gli argomenti di monotonicità standard falliscono. Introducendo il metodo del trasferimento di massa pesata, gli autori estendono con successo la disuguaglianza anche a queste dimensioni inferiori, completando la prova per tutti i $n \ge 3$.
• Estensione agli Autovalori Superiori (Corollario 1.6): Come sottoprodotto delle loro stime, gli autori stabiliscono una disuguaglianza di tipo isoperimetrico per la media armonica dei primi $n-1$ autovalori Steklov non nulli. Essi dimostrano che per domini a forma stellata e con curvatura media positiva,
  $$\sum_{i=1}^{n-1} \frac{1}{\sigma_i(\Omega)} \ge \sum_{i=1}^{n-1} \frac{1}{\sigma_i(\Omega^*)}$$
  con l'uguaglianza che si verifica se e solo se $\Omega$ è una palla geodesica. Questo estende la disuguaglianza isoperimetrica di Verma [42] all'ambiente iperbolico.

Significato e Rivendicazioni
L'articolo sostiene di aver "completamente risolto" il problema della disuguaglianza di Weinstock con vincolo di perimetro nello spazio iperbolico per dimensioni $n \ge 3$. Colmando il divario per $n=3$ attraverso la nuova tecnica di trasferimento di massa pesata, gli autori forniscono un quadro unificato che conferma la rigidità della palla geodesica come l'unico massimizzatore del primo autovalore Steklov sotto vincoli di perimetro fissi nella geometria iperbolica. Il lavoro risolve una specifica domanda aperta in geometria spettrale (Domanda Aperta 4.27 in [13]) e dimostra che, a differenza degli spazi a curvatura positiva dove la rigidità spesso fallisce, gli spazi a curvatura negativa come $\mathbb{H}^n$ esibiscono una forte rigidità spettrale per domini convessi. La metodologia, in particolare il trasferimento di massa pesata, è presentata come uno strumento per superare gli ostacoli analitici causati dalla mancanza di monotonicità globale nelle dimensioni inferiori.