Alexandrov-Fenchel inequality for convex hypersurfaces with capillary boundary in a ball

1. Il Problema e il Contesto

Il lavoro si inserisce nel campo della geometria differenziale e della geometria convessa, focalizzandosi sulle disuguaglianze isoperimetriche e di tipo Alexandrov-Fenchel.

• Contesto: Le disuguaglianze di Alexandrov-Fenchel sono generalizzazioni di ordine superiore della classica disuguaglianza isoperimetrica per ipersuperfici chiuse nello spazio euclideo $\mathbb{R}^{n+1}$. Esse legano i quermassintegrali (funzionali geometrici che generalizzano volume e area) di una superficie convessa chiusa.
• Estensione al caso relativo: Il problema si estende al caso "relativo", dove l'ipersuperficie $\Sigma$ è contenuta in una palla unitaria $B^{n+1}$ e interseca il bordo della sfera $\partial B^{n+1} = S^n$.
• Condizione al bordo: Il contributo specifico di questo lavoro riguarda ipersuperfici con condizione al bordo capillare ($\theta$-capillary boundary). A differenza del caso "free boundary" (dove l'intersezione è ortogonale, $\theta = \pi/2$), qui l'ipersuperficie interseca il bordo della sfera con un angolo costante $\theta \in (0, \pi)$. Questo modello è fisicamente rilevante per la forma di equilibrio di un liquido confinato in un contenitore, dove l'energia funzionale coinvolge l'area della superficie e l'area di contatto ("wetting energy").
• Obiettivo: Definire correttamente i quermassintegrali per ipersuperfici con bordo capillare e dimostrare le disuguaglianze di Alexandrov-Fenchel per tali oggetti, generalizzando i risultati precedenti ottenuti per il caso free boundary (Scheuer-Wang-Xia, [42]).

2. Metodologia

Gli autori adottano un approccio basato sul flusso di curvatura non lineare localmente vincolato (locally constrained nonlinear curvature flow). La strategia si articola in diversi passaggi fondamentali:

1. Definizione dei Funzionali: Vengono introdotti i quermassintegrali $W_{k,\theta}$ per ipersuperfici con bordo capillare. Questi funzionali sono costruiti in modo da essere le controparti corrette dei quermassintegrali classici, tenendo conto dei termini di bordo legati all'angolo $\theta$ e alla geometria della sfera $S^n$.
2. Formula Variazionale: Viene derivata la prima formula variazionale per questi nuovi funzionali. Si dimostra che, sotto un flusso normale con velocità $f$, la derivata temporale di $W_{k,\theta}$ è proporzionale all'integrale di $H_k f$ sulla superficie, con un termine di bordo che si cancella grazie alla condizione capillare e alle formule di Minkowski generalizzate.
3. Formula di Minkowski Generalizzata: Viene dimostrata una nuova formula di tipo Minkowski per ipersuperfici con bordo capillare, che lega integrali di curvature medie $H_k$ a campi vettoriali conformi Killing $X_e$ sulla sfera. Questa formula è cruciale per progettare il flusso.
4. Il Flusso di Curvatura: Viene introdotto un flusso specifico:
   $$\partial_t x = f \nu + T$$
   dove la velocità normale è scelta come:
   $$f = \frac{\langle x + \cos\theta \nu, e \rangle}{H_n / H_{n-1}} - \langle X_e, \nu \rangle$$
   e $T$ è una componente tangenziale necessaria per mantenere la condizione al bordo capillare.
   • Proprietà chiave del flusso: Grazie alla scelta della velocità e alle formule variazionali, il flusso preserva il quermassintegrale di ordine massimo $W_{n,\theta}$ e non decresce (anzi, è non-decrecente) per tutti gli altri quermassintegrali $W_{k,\theta}$ con $k < n$.
5. Stime e Convergenza:
   • Vengono stabilite stime uniformi di curvatura (limiti superiori e inferiori per le curvature principali) utilizzando il principio del massimo e barriere costituite da calotte sferiche.
   • Viene dimostrata l'esistenza globale del flusso ($t \in [0, \infty)$).
   • Si prova che il flusso converge liscamente a una calotta sferica (o un disco piano) con bordo capillare, mantenendo invariato il valore di $W_{n,\theta}$.

3. Contributi Chiave

• Definizione dei Quermassintegrali Capillari: Introduzione rigorosa dei funzionali $W_{k,\theta}$ (equazioni 1.4-1.6) che generalizzano la definizione classica e quella per free boundary, includendo termini correttivi dipendenti da $\theta$ e dalle curvature del bordo su $S^n$.
• Generalizzazione delle Formule di Minkowski: Estensione delle formule di Minkowski di ordine superiore per ipersuperfici con bordo capillare (Proposizione 2.8), essenziali per l'analisi del flusso.
• Costruzione del Flusso Vincolato: Adattamento della tecnica di Guan-Li per gestire la condizione al bordo capillare non ortogonale, dimostrando che il flusso preserva la convessità stretta e converge a soluzioni stazionarie.
• Dimostrazione delle Disuguaglianze: Uso della monotonia del flusso per dimostrare le disuguaglianze di Alexandrov-Fenchel per questo nuovo contesto geometrico.

4. Risultati Principali

Il teorema principale (Teorema 1.3) stabilisce quanto segue per un'ipersuperficie convessa $\Sigma \subset B^{n+1}$ con bordo capillare $\theta \in (0, \pi/2]$:

1. Formula di Gauss-Bonnet-Chern Generalizzata:
   $$W_{n+1,\theta}(\hat{\Sigma}) = \frac{\omega_n}{2(n+1)} I_{\sin^2\theta}\left(\frac{n}{2}, \frac{1}{2}\right)$$
   dove $I$ è la funzione beta incompleta regolarizzata. Questo valore è costante per tutte le calotte sferiche con lo stesso angolo $\theta$.

2. Disuguaglianza di Alexandrov-Fenchel:
   Per $0 \le k \le n-1$, vale la disuguaglianza:
   $$W_{n,\theta}(\hat{\Sigma}) \ge (f_n \circ f_k^{-1})(W_{k,\theta}(\hat{\Sigma}))$$
   dove $f_k(r)$ è la funzione strettamente crescente che associa a una calotta sferica di raggio $r$ il suo quermassintegrale $W_{k,\theta}$.

   • Caso di uguaglianza: L'uguaglianza vale se e solo se $\Sigma$ è una calotta sferica o un disco piano con bordo capillare.

3. Caso Specifico $n=2$: Viene derivata una disuguaglianza di tipo Minkowski per superfici in $B^3$ (Corollario 1.4), che lega l'integrale della curvatura gaussiana, l'area del bordo e l'area della superficie stessa.

5. Significato e Impatto

• Generalizzazione Teorica: Questo lavoro estende significativamente la teoria delle disuguaglianze geometriche nello spazio euclideo, passando dal caso chiuso a quello relativo con condizioni al bordo complesse (capillari), un problema aperto fino a questo punto per ordini superiori.
• Unificazione: Unifica la trattazione dei casi free boundary ($\theta = \pi/2$) e capillari, mostrando che la struttura delle disuguaglianze di Alexandrov-Fenchel è robusta anche in presenza di termini di energia di bagnatura.
• Strumenti Analitici: Dimostra l'efficacia dei flussi di curvatura localmente vincolati anche in contesti con condizioni al bordo non ortogonali, fornendo un modello metodologico per futuri studi su problemi variazionali in domini limitati.
• Rilevanza Fisica: I risultati hanno implicazioni dirette nella comprensione delle forme di equilibrio di fluidi confinati, fornendo limiti geometrici rigorosi per le configurazioni di energia minima.

In sintesi, il paper risolve un problema fondamentale nella geometria convessa relativa, fornendo una teoria completa dei quermassintegrali e delle relative disuguaglianze per ipersuperfici con bordo capillare, utilizzando un sofisticato flusso geometrico come strumento di prova.