A constrained mean curvature flow and Alexandrov-Fenchel inequalities

1. Il Problema

Il lavoro si concentra sullo studio delle disuguaglianze isoperimetriche e delle disuguaglianze di Alexandrov-Fenchel per ipersuperfici capillari nello spazio semispazio $\bar{\mathbb{R}}^{n+1}_+$.
Un'ipersuperficie capillare è definita come una varietà immersa nello spazio semispazio che interseca il bordo del semispazio ($\partial \bar{\mathbb{R}}^{n+1}_+$) con un angolo di contatto costante $\theta \in (0, \pi)$.
L'obiettivo principale è dimostrare l'esistenza a lungo termine e la convergenza di un nuovo flusso di curvatura media localmente vincolato, e utilizzare tale flusso per stabilire nuove disuguaglianze geometriche per ipersuperfici con bordo capillare, generalizzando risultati classici noti per ipersuperfici chiuse o con bordo libero.

2. Metodologia

Gli autori introducono e analizzano un flusso di curvatura media localmente vincolato specifico per il contesto capillare.

• Definizione del Flusso:
  Il flusso è definito dall'equazione (1.2):
  $$(\partial_t x)^\perp = (n + n \cos \theta \langle \nu, e \rangle - H \langle x, \nu \rangle) \nu$$
  dove:

  • $x$ è l'immersione dell'ipersuperficie.
  • $\nu$ è il vettore normale unitario uscente.
  • $H$ è la curvatura media.
  • $e = -E_{n+1}$ è la normale uscente del semispazio.
  • $\theta$ è l'angolo di contatto costante.
  • Il termine aggiuntivo $n \cos \theta \langle \nu, e \rangle$ deriva naturalmente dalle formule di Minkowski per ipersuperfici capillari.

• Condizioni al Bordo:
  Il flusso preserva la condizione capillare: $\langle \nu, e \rangle = -\cos \theta$ su $\partial M \times [0, T)$.

• Strumenti Analitici:

  • Stime A Priori: Gli autori derivano equazioni di evoluzione per quantità geometriche chiave, tra cui la funzione di supporto $u = \langle x, \nu \rangle$, la funzione di supporto capillare $\bar{u}$, la curvatura media $H$ e la curvatura armonica $\bar{H}$.
  • Principio del Massimo: Vengono applicati il principio del massimo e il lemma di Hopf per dimostrare la conservazione della star-shapedness (forma a stella) e della convessità.
  • Riduzione a Flusso Scalare: Per ipersuperfici a stella, il flusso vettoriale viene ridotto a un'equazione di evoluzione scalare per la funzione radiale $\rho$ (o $\phi = \log \rho$) su una sfera parziale, permettendo l'uso della teoria delle equazioni alle derivate parziali paraboliche quasi-lineari.

3. Risultati Chiave

A. Esistenza a Lungo Termine e Convergenza (Teorema 1.2)

• Ipotesi: L'ipersuperficie iniziale è a stella rispetto all'origine e l'angolo di contatto è $\theta \in (0, \pi)$.
• Risultato: Il flusso (1.2) esiste per ogni tempo $t \in [0, \infty)$.
• Convergenza: La soluzione $x(\cdot, t)$ converge liscamente, al tempo infinito, a un cappo sferico unico ($C_{\theta, r_0}$) che interseca il bordo del semispazio con l'angolo $\theta$.
• Nota Importante: A differenza di lavori precedenti (es. [28], [32]), questo risultato vale per l'intero intervallo degli angoli di contatto $\theta \in (0, \pi)$, non solo per un sottoinsieme parziale.

B. Monotonia delle Quermassintegrali Capillari

Il flusso preserva il volume racchiuso $V_{0,\theta}$ e fa decrescere monotonicamente le quermassintegrali capillari $V_{k,\theta}$ definite in [29]:
$$V_{k+1, \theta}(\hat{\Sigma}) := \frac{1}{n+1} \left( \int_\Sigma H_k dA - \cos \theta \sin^k \theta \int_{\partial \Sigma} H_{\partial \Sigma}^{k-1} ds \right)$$
Questa monotonia è fondamentale per derivare le disuguaglianze geometriche.

C. Disuguaglianza Isoperimetrica Capillare (Corollario 1.3)

Per ipersuperfici a stella, il flusso fornisce una dimostrazione basata sul flusso della disuguaglianza isoperimetrica capillare:
$$\frac{|\Sigma| - \cos \theta |\partial \Sigma|}{|S^n_\theta| - \cos \theta |\partial S^n_\theta|} \ge \left( \frac{|\hat{\Sigma}|}{|B^{n+1}_\theta|} \right)^{\frac{n}{n+1}}$$
L'uguaglianza vale se e solo se $\Sigma$ è un cappo sferico.

D. Disuguaglianze di Alexandrov-Fenchel (Teorema 1.4)

Per ipersuperfici convesse con angolo di contatto $\theta \in (0, \pi/2]$, gli autori stabiliscono una classe di nuove disuguaglianze di Alexandrov-Fenchel:
$$\left( \frac{V_{k,\theta}(\hat{\Sigma})}{b_\theta} \right)^{\frac{1}{n+1-k}} \ge \left( \frac{V_{0,\theta}(\hat{\Sigma})}{b_\theta} \right)^{\frac{1}{n+1}}, \quad \forall 1 \le k < n$$
dove $b_\theta$ è il volume della sfera parziale $B^{n+1}_\theta$.

• Preservazione della Convessità: Un risultato tecnico cruciale (Proposizione 3.13) dimostra che il flusso preserva la convessità stretta solo se $\theta \in (0, \pi/2]$. Questo spiega la restrizione nell'angolo per il Teorema 1.4.
• Caso $k=1$: Riproduce la disuguaglianza isoperimetrica.
• Caso $k=2$: Porta a una disuguaglianza di Minkowski volumetrica per ipersuperfici capillari convesse (Corollario 1.5).

4. Significato e Contributi

1. Nuovo Flusso Vincolato: L'introduzione di un flusso di curvatura media localmente vincolato specifico per il caso capillare, che generalizza il flusso di Guan-Li per ipersuperfici chiuse.
2. Generalizzazione Angolare: La dimostrazione della convergenza globale per l'intero intervallo $\theta \in (0, \pi)$ rappresenta un miglioramento significativo rispetto alla letteratura esistente.
3. Nuove Disuguaglianze Geometriche: La risoluzione parziale (per $\theta \le \pi/2$) di una congettura aperta in [29] riguardante le disuguaglianze di Alexandrov-Fenchel per ipersuperfici capillari convesse.
4. Metodo Unificato: Dimostrazione che le tecniche di flusso geometrico, combinate con le formule di Minkowski generalizzate, sono strumenti potenti per affrontare problemi isoperimetrici e di disuguaglianza in contesti con bordo non libero (capillare).

In sintesi, il paper fornisce una prova dinamica (tramite flusso geometrico) di importanti disuguaglianze geometriche nello spazio semispazio, collegando la dinamica della curvatura media alla struttura statica delle ipersuperfici capillari ottimali (i cappi sferici).