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

Resumo Técnico: Desigualdade de Alexandrov-Fenchel para Hipersuperfícies Convexas com Fronteira Capilar em uma Bola

1. Problema e Contexto

O artigo aborda um problema fundamental na geometria diferencial e na teoria das equações diferenciais parciais: a generalização das desigualdades isoperimétricas e de Alexandrov-Fenchel para hipersuperfícies convexas com fronteira capilar dentro de uma bola unitária euclidiana ($B^{n+1}$).

• Contexto Físico: O problema motiva-se pela forma de equilíbrio de líquidos confinados em recipientes, onde a energia funcional envolve a área da superfície do líquido menos um termo de energia de molhamento ($|\partial\Omega \cap B| - \cos \theta |\partial B \cap \Omega|$).
• Condição de Fronteira: Diferente do problema clássico de "fronteira livre" (onde a superfície intersecta a fronteira da bola ortogonalmente, $\theta = \pi/2$), este trabalho considera o caso $\theta$-capilar, onde a hipersuperfície $\Sigma$ intersecta a fronteira da bola $S^n$ sob um ângulo constante $\theta \in (0, \pi/2]$.
• Objetivo: Definir os quermassintegrais apropriados para essas superfícies com fronteira capilar, derivar suas fórmulas variacionais e provar as desigualdades de Alexandrov-Fenchel, generalizando resultados anteriores para o caso de fronteira livre (Scheuer-Wang-Xia, [42]).

2. Metodologia

Os autores utilizam uma abordagem combinatória de análise geométrica e fluxo de curvatura:

1. Definição de Quermassintegrais Adaptados:

   • Introduzem uma família de funcionais geométricos $W_{k,\theta}(\hat{\Sigma})$ para o domínio $\hat{\Sigma}$ delimitado pela hipersuperfície $\Sigma$ e sua projeção na fronteira da bola.
   • A definição é construída para que a fórmula variacional de primeira ordem seja simples e útil, preservando certas quantidades sob o fluxo.
   • Para $k=n+1$, o funcional é constante; para outros $k$, envolve integrais de curvaturas médias normalizadas ($H_k$) sobre $\Sigma$ e termos de curvatura sobre a fronteira $\partial\Sigma \subset S^n$.

2. Fórmulas de Minkowski Generalizadas:

   • Derivam uma nova fórmula de Minkowski de ordem superior para hipersuperfícies com fronteira capilar:
     $$\int_{\Sigma} H_{k-1} (\langle x, e \rangle + \cos \theta \langle \nu, e \rangle) dA = \int_{\Sigma} H_k \langle X_e, \nu \rangle dA$$
     onde $e$ é um vetor unitário constante, $X_e$ é um campo vetorial de Killing conforme, e $\nu$ é a normal unitária.

3. Fluxo de Curvatura Localmente Restrito:

   • Introduzem um fluxo de curvatura não linear e localmente restrito:
     $$\partial_t x = f \nu + T$$
     com velocidade normal $f = \frac{\langle x + \cos \theta \nu, e \rangle}{H_n/H_{n-1}} - \langle X_e, \nu \rangle$.
   • Propriedades do Fluxo:
     • Preserva o quermassintegral $W_{n,\theta}$.
     • É não decrescente para os quermassintegrais $W_{k,\theta}$ com $1 \le k \le n-1$.
     • Mantém a convexidade estrita da hipersuperfície ao longo do tempo.

4. Análise de Convergência:

   • Estabelecem estimativas uniformes de curvatura (limites superiores e inferiores) para garantir a existência global do fluxo ($t \to \infty$).
   • Utilizam transformações conformes (mapas de Möbius) para converter o problema com condição de fronteira oblíqua em uma equação parabólica escalar em um semiespaço.
   • Demonstram que o fluxo converge suavemente para uma tampa esférica (spherical cap) com fronteira capilar, que é a única solução de equilíbrio para o problema variacional.

3. Contribuições Principais

• Definição Rigorosa: Estabelecem a definição correta de quermassintegrais para hipersuperfícies convexas com fronteira capilar em uma bola, que se reduzem aos quermassintegrais clássicos quando $\theta = \pi/2$.
• Fórmula Variacional: Derivam a fórmula variacional de primeira ordem para esses funcionais, mostrando que $W_{n+1,\theta}$ é invariante e $W_{k,\theta}$ ($k<n$) é monótono sob o fluxo escolhido.
• Generalização de Resultados: Generalizam o trabalho de Scheuer-Wang-Xia ([42]) sobre fronteira livre para o caso geral de ângulo capilar $\theta$.
• Fórmula de Gauss-Bonnet-Chern: Derivam uma fórmula de Gauss-Bonnet-Chern específica para o caso capilar, relacionando $W_{n+1,\theta}$ a uma função Beta incompleta regularizada.

4. Resultados Chave (Teoremas)

• Teorema 1.2 (Fórmula Variacional):
  Para uma família de hipersuperfícies $\Sigma_t$ evoluindo com velocidade normal $f$:
  $$\frac{d}{dt} W_{k,\theta}(\hat{\Sigma}_t) = \frac{n+1-k}{n+1} \int_{\Sigma_t} H_k f dA_t, \quad \text{para } 1 \le k \le n$$
  $$\frac{d}{dt} W_{n+1,\theta}(\hat{\Sigma}_t) = 0$$

• Teorema 1.3 (Desigualdade de Alexandrov-Fenchel):
  Seja $\Sigma$ uma hipersuperfície convexa com fronteira $\theta$-capilar. Então, para $0 \le k \le n-1$:
  $$W_{n,\theta}(\hat{\Sigma}) \ge (f_n \circ f_k^{-1})(W_{k,\theta}(\hat{\Sigma}))$$
  onde $f_k(r) = W_{k,\theta}(\hat{C}_{\theta,r})$ é a função estritamente crescente associada a tampas esféricas de raio $r$.

  • Igualdade: Ocorre se e somente se $\Sigma$ for uma tampa esférica ou uma bola plana com fronteira capilar.

• Fórmula de Gauss-Bonnet-Chern (Teorema 1.3, Eq. 1.8):
  $$W_{n+1,\theta}(\hat{\Sigma}) = \frac{\omega_n}{2(n+1)} I_{\sin^2 \theta}\left(\frac{n}{2}, \frac{1}{2}\right)$$
  onde $I_x(a,b)$ é a função Beta incompleta regularizada.

• Corolário para $n=2$ (Superfícies em $\mathbb{R}^3$):
  Estabelecem uma desigualdade do tipo Minkowski para superfícies convexas em $B^3$, relacionando a curvatura gaussiana, o comprimento da fronteira e a área molhada.

5. Significado e Impacto

Este trabalho é significativo por várias razões:

1. Unificação Teórica: Conecta a geometria de hipersuperfícies fechadas (no espaço euclidiano) com problemas de fronteira livre e capilaridade, preenchendo uma lacuna na teoria das desigualdades isoperimétricas de ordem superior.
2. Aplicações Físicas: Os resultados têm implicações diretas na física de interfaces líquidas e na estabilidade de formas de equilíbrio em recipientes com paredes molháveis.
3. Técnica Analítica: Demonstra a robustez do método de fluxo de curvatura restrito para lidar com condições de fronteira não triviais (ângulo constante), oferecendo um modelo para futuros estudos em outras variedades ou condições de contorno.
4. Generalidade: Os resultados cobrem todo o intervalo de ângulos $\theta \in (0, \pi/2]$, incluindo o caso clássico de fronteira livre como um caso limite, mas com uma estrutura matemática distinta para $\theta < \pi/2$.

Em suma, o artigo fornece uma estrutura completa para a análise variacional e geométrica de superfícies convexas com fronteira capilar, provando que as tampas esféricas são os únicos minimizadores para as desigualdades de Alexandrov-Fenchel nesse contexto.