On weak inverse mean curvature flow and Minkowski-type inequalities in hyperbolic space

Sintesi Tecnica: Flusso di Curvatura Media Inversa Debole e Disuguaglianze di Tipo Minkowski nello Spazio Iperbolico

Enunciato del Problema
Il saggio affronta il comportamento a lungo termine e la regolarità del Flusso di Curvatura Media Inversa (IMCF) nello spazio iperbolico $\mathbb{H}^n$ ($3 \le n \le 7$). Sebbene l'IMCF sia uno strumento potente per dimostrare disuguaglianze geometriche (come le disuguaglianze di Minkowski e di Penrose), la sua applicazione nello spazio iperbolico è ostacolata dalla mancanza di un "lemma di blow-down" che esiste invece nello spazio euclideo $\mathbb{R}^n$. In $\mathbb{R}^n$, le soluzioni deboli dell'IMCF sono note per tendere asintoticamente verso sfere rotonde, una proprietà cruciale per stabilire la monotonicità dei funzionali geometrici. In $\mathbb{H}^n$, le soluzioni regolari possono non diventare rotonde per $t \to \infty$, e la topologia asintotica delle soluzioni deboli era precedentemente incerta. Inoltre, le esistenti disuguaglianze di Minkowski in $\mathbb{H}^n$ erano limitate a domini lisci, star-shaped o mean-convex, lasciando irrisolta la questione per i casi di domini lisci arbitrari (che potrebbero non essere inizialmente star-shaped).

Metodologia
L'autore impiega una combinazione di tecniche di analisi geometrica, incentrate principalmente su un metodo di riflessione di Alexandrov adattato all'ambiente iperbolico.

1. Riflessione di Alexandrov tramite Inversione Sferica:
   A differenza del metodo del piano mobile euclideo che utilizza riflessioni rispetto a iperpiani, l'autore utilizza inversioni rispetto a sfere nel modello della palla di Poincaré in $\mathbb{H}^n$. Stabilendo un principio di confronto per le soluzioni deboli sotto queste inversioni, il saggio dimostra che se il dominio iniziale $\Omega_0$ è contenuto in una palla di raggio $r_+$, le superfici del flusso debole evolutivo $\Sigma_t$ alla fine escono da una regione specifica e diventano star-shaped.

2. Regolarità tramite Approssimazione:
   La dimostrazione sfrutta il fatto che per $3 \le n \le 7$, le superfici IMCF deboli sono ipersuperfici $C^{1,\alpha}$ con curvatura media debole limitata. L'autore invoca un teorema di Li e Wei [25], il quale afferma che un dominio $C^1$ star-shaped con curvatura media debole non negativa può fungere da dato iniziale per un IMCF classico (liscio). Questo colma il divario tra la soluzione debole (che può presentare salti o singolarità iniziali) e una soluzione liscia per tempi grandi.

3. Monotonicità dei Funzionali Geometrici:
   Per derivare le disuguaglianze di Minkowski, il saggio analizza l'evoluzione di specifici funzionali sotto il flusso debole.

   • Disuguaglianza di Heintze-Karcher: L'autore estende la disuguaglianza di Heintze-Karcher a ipersuperfici $C^1$ con curvatura media debole limitata approssimandole tramite il Flusso di Curvatura Media (MCF).
   • Stime Bulk e Superficiali: La crescita del termine bulk ($\int_{\Omega_t} f d\Omega$) e del termine integrale di superficie ($\int_{\Sigma_t} fH d\sigma$) viene stimata separatamente. La crescita del termine bulk è gestita tramite la formula di co-area per funzioni Lipschitz, mentre il termine di superficie è analizzato utilizzando approssimazioni ellitticamente regolarizzate ($u_\epsilon$) e tecniche di Freire-Schwartz e Wei.

Contributi Chiave e Risultati

1. Teorema di Regolarità (Teorema 1.1):
   Il saggio dimostra che per ogni dominio iniziale limitato $\Omega_0 \subset \mathbb{H}^n$ ($3 \le n \le 7$), la soluzione debole propria dell'IMCF $\{\Omega_t\}$ diventa star-shaped e liscia dopo un tempo esplicito $T$:
   $$T = (n-1) \log \left( \frac{\sinh(r_+)}{\sinh(r_-)} \right)$$
   dove $r_+$ e $r_-$ sono il raggio esterno e il raggio interno geodesico di $\Omega_0$. Oltre il tempo $T$, il flusso è privo di "salti" e costituisce una soluzione classica. Ciò risolve l'incertezza riguardante la topologia asintotica dell'IMCF debole nello spazio iperbolico.

2. Disuguaglianze di Minkowski Ottimali (Teorema 1.2):
   Utilizzando il risultato di regolarità, l'autore deriva disuguaglianze di Minkowski ottimali per arbitrari domini lisci in $\mathbb{H}^n$ ($3 \le n \le 7$). Queste disuguaglianze generalizzano i risultati precedenti di Brendle-Hung-Wang e De Lima-Girao, che richiedevano che il dominio fosse star-shaped o mean-convex. Le disuguaglianze coinvolgono l'involucro strettamente minimizzante $\Omega_0^+$ del dominio iniziale:
   $$\frac{1}{(n-1)w_{n-1}} \int_{\Sigma_0} |fH| d\sigma \ge \left( \frac{|\Sigma_0^+|}{w_{n-1}} \right)^{\frac{n-2}{n-1}} + \frac{n}{w_{n-1}} \int_{\Omega_0^+} f d\Omega$$
   L'uguaglianza si verifica se e solo se il bordo è una sfera geodesica (una fetta di $\mathbb{H}^n$).

3. Rigidità delle Soluzioni Antiche (Teorema 1.4):
   Le stime del gradiente derivate per il flusso star-shaped implicano un risultato di rigidità: l'unica soluzione debole propria all'IMCF su $\mathbb{H}^n \setminus \{0\}$ è la soluzione della sfera in espansione. Di conseguenza, la sfera in espansione è l'unica soluzione liscia antica ed embedded che converge a un punto per $t \to -\infty$.

4. Disuguaglianza di Penrose per Grafici Bilanciati (Corollario 1.3):
   I risultati estendono la Disuguaglianza di Penrose Riemanniana ai grafici asintoticamente iperbolici bilanciati sopra gli esteriori di domini outer-minimizing in $\mathbb{H}^n$. Il saggio rimuove il precedente requisito che il dominio sottostante sia star-shaped, richiedendo solo che sia outer-minimizing.

Significatività
Il saggio sostiene che la sua primaria significatività risieda nel superamento dell'ostacolo posto dalla mancanza di un lemma di blow-down nello spazio iperbolico. Dimostrando che le soluzioni deboli dell'IMFC diventano infine lisce e star-shaped, l'autore consente l'applicazione di argomenti di monotonicità (precedentemente limitati ai casi lisci o star-shaped) ad arbitrari domini lisci. Ciò permette l'estensione di fondamentali disuguaglianze geometriche (Minkowski e Penrose) a una classe molto più ampia di dati iniziali in geometria iperbolica, specificamente per dimensioni $3 \le n \le 7$. Il lavoro fornisce inoltre una completa classificazione dell'IMCF debole propria su $\mathbb{H}^n \setminus \{0\}$, caratterizzando le sfere in espansione come l'unica soluzione di questo tipo.