Weinstock inequality in hyperbolic space II

Resumo Técnico: Desigualdade de Weinstock no Espaço Hiperbólico II

Enunciado do Problema
Este artigo aborda o problema de otimização de forma para o primeiro autovalor de Steklov não nulo, $\sigma_1(\Omega)$, em domínios limitados dentro do espaço hiperbólico $\mathbb{H}^n$ para dimensões $n \ge 3$. Especificamente, os autores investigam a validade de uma desigualdade do tipo Weinstock com restrição de perímetro. A questão central, formulada como Conjectura 1 (Questão Aberta 4.27 em [13]), questiona se, para um domínio convexo limitado $\Omega \subset \mathbb{H}^n$, o autovalor $\sigma_1(\Omega)$ é maximizado por uma bola geodésica $\Omega^*$ que possua a mesma área de contorno ($|\partial \Omega^*| = |\partial \Omega|$). Embora a conjectura fosse conhecida por ser verdadeira para $n=2$ (via técnicas de mapeamento conforme de Fraser e Schoen [15]) e para o caso de restrição de volume em dimensões superiores (Binoy e Santhanam [5]), o caso de restrição de perímetro para $n \ge 3$ permanecia em aberto. Os autores resolveram anteriormente este caso para $n \ge 4$ em [23]; este artigo estende o resultado para o caso crítico $n=3$ e fornece uma prova unificada para todos os $n \ge 3$ sob a suposição de fronteiras estreladas e de curvatura média convexa.

Metodologia
A estratégia de prova sintetiza diversas ferramentas geométricas e analíticas avançadas:

1. Fluxo de Curvatura Média Inversa (IMCF): Os autores utilizam o IMCF, introduzido por Gerhardt [21], para evoluir a fronteira do domínio $\Sigma_t$. Este fluxo preserva as propriedades estreladas e de curvatura média convexa enquanto expande a área da superfície exponencialmente. As equações de evolução para quantidades geométricas ao longo deste fluxo são utilizadas para estabelecer fórmulas de monotonicidade.
2. Transplantação de Massa Ponderada: Uma inovação central deste trabalho é o desenvolvimento de um método de "transplantação de massa ponderada". A transplantação de massa padrão (Weinberger [44]) compara integrais sobre um domínio $\Omega$ e uma bola geodésica $B(R)$ de igual volume. No entanto, para dimensões menores ($n=3, 4$), as funções auxiliares específicas necessárias para a prova carecem de monotonicidade global. Para superar isso, os autores introduzem uma variante ponderada (Teorema 4.8) inspirada no princípio da Banheira (Bathtub principle), permitindo a comparação de integrais envolvendo funções de peso não monótonas.
3. Funções Auxiliares e Análise Geométrica: Os autores definem uma função específica de razão volume-área $g(r)$ associada a bolas geodésicas. Eles analisam rigorosamente as propriedades analíticas de $g(r)$ e suas derivadas, estabelecendo que certas combinações dessas funções (como $\lambda^2 g'/g$) são monótonas. Uma função auxiliar $h$, definida via a inversa da integral de volume de um termo radial específico, é construída para fazer a ponte entre as integrais de contorno e a energia interior.
4. Caracterização Variacional: O limite superior para $\sigma_1(\Omega)$ é derivado através do quociente de Rayleigh com funções de teste cuidadosamente escolhidas envolvendo o centro de massa e a função $g(r)$.

Principais Contribuições e Resultados

• Teorema Principal (Teorema 1.2): Os autores provam que para qualquer domínio limitado suave $\Omega \subset \mathbb{H}^n$ ($n \ge 3$) com fronteira estrelada e de curvatura média convexa, e para uma bola geodésica $\Omega^*$ com $|\partial \Omega^*| = |\partial \Omega|$, a desigualdade
  $$\sigma_1(\Omega) \le \sigma_1(\Omega^*)$$
  mantém-se. A igualdade ocorre se, e somente se, $\Omega$ for uma bola geodésica. Este resultado fornece uma resposta afirmativa à Conjectura 1 para domínios convexos (Corolário 1.4).
• Resolução do Caso $n=3$: O artigo aborda especificamente as dificuldades analíticas decorrentes da dimensão $n=3$ (e $n=4$), onde os argumentos de monotonicidade padrão falham. Ao introduzir o método de transplantação de massa ponderada, os autores conseguem estender a desigualdade para estas dimensões menores, completando a prova para todos os $n \ge 3$.
• Extensão para Autovalores Superiores (Corolário 1.6): Como subproduto de suas estimativas, os autores estabelecem uma desigualdade do tipo isoperimétrico para a média harmônica dos primeiros $n-1$ autovalores de Steklov não nulos. Eles provam que, para domínios estrelados e de curvatura média convexa,
  $$\sum_{i=1}^{n-1} \frac{1}{\sigma_i(\Omega)} \ge \sum_{i=1}^{n-1} \frac{1}{\sigma_i(\Omega^*)}$$
  com igualdade se, e somente se, $\Omega$ for uma bola geodésica. Isso estende a desigualdade isoperimétrica de Verma [42] para o cenário hiperbólico.

Significância e Alegações
O artigo afirma "resolver completamente" o problema da desigualdade de Weinstock com restrição de perímetro no espaço hiperbólico para dimensões $n \ge 3$. Ao preencher a lacuna para $n=3$ através da nova técnica de transplantação de massa ponderada, os autores fornecem um arcabouço unificado que confirma a rigidez da bola geodésica como o único maximizador do primeiro autovalor de Steklov sob restrições de perímetro fixas na geometria hiperbólica. O trabalho resolve uma questão aberta específica em geometria espectral (Questão Aberta 4.27 em [13]) e demonstra que, ao contrário de espaços com curvatura positiva onde a rigidez frequentemente falha, espaços de curvatura negativa como $\mathbb{H}^n$ exibem uma forte rigidez espectral para domínios convexos. A metodologia, particularmente a transplantação de massa ponderada, é apresentada como uma ferramenta para superar obstruções analíticas causadas pela falta de monotonicidade global em dimensões menores.