Isoperimetric inequalities and spectral consequences in warped product manifolds

1. Problema e Contexto

O artigo investiga o problema isoperimétrico em variedades de Riemann do tipo produto enrolado (warped product), com foco especial em variedades de Cartan-Hadamard (completas, simplesmente conexas e com curvatura seccional não positiva).

O problema central é determinar quais conjuntos de volume fixo minimizam o perímetro em tais variedades. Existem duas abordagens principais discutidas:

1. Conjectura de Cartan-Hadamard: Compara o perímetro de um conjunto na variedade curva com o de uma bola euclidiana de mesmo volume.
2. Desigualdade Isoperimétrica Centrada (CII): Uma abordagem intrínseca que pergunta se, dentro da própria variedade, as bolas geodésicas centradas no polo (ponto de origem) são os minimizadores de perímetro para um volume dado.

O autor busca estabelecer condições necessárias e suficientes para a validade da CII em variedades produto enrolado e explorar as consequências espectrais (relacionadas aos autovalores do operador de Laplace-Beltrami) dessa desigualdade.

2. Metodologia

A abordagem do artigo combina análise geométrica, cálculo variacional e teoria espectral:

• Estrutura de Produto Enrolado: A métrica é dada por $g = dr \otimes dr + \psi(r)^2 g_{S^{n-1}}$, onde $\psi(r)$ é a função de enrolamento (warping function). A geometria é totalmente determinada por $\psi$.
• Reorganização Simétrica (Symmetrization): Utiliza-se a reorganização de Schwarz ($u^\#$) para mapear funções na variedade para funções radialmente decrescentes centradas no polo. A validade da desigualdade isoperimétrica está ligada à validade da Desigualdade de Pólya-Szegö (que afirma que a reorganização não aumenta a energia de Dirichlet).
• Cálculo Variacional e Estabilidade: Para derivar condições necessárias, o autor analisa a segunda variação do funcional de perímetro para esferas geodésicas, testando contra autofunções do operador de Laplace-Beltrami na esfera unitária $S^{n-1}$.
• Teoria Espectral: Utiliza-se o Teorema de Persson para relacionar o limite do espectro essencial com o comportamento assintótico de potenciais, e a desigualdade de Cheeger para conectar o isoperimetria com o primeiro autovalor não nulo ($\lambda_1$).

3. Principais Contribuições e Resultados

A. Condições para a Desigualdade Isoperimétrica Centrada (CII)

O artigo estabelece que a CII implica a Conjectura de Cartan-Hadamard. O Teorema 1.1 prova que se a desigualdade de Pólya-Szegö do tipo $L^1$ vale na variedade, então a CII é válida.

O Teorema 1.3 é um resultado fundamental que fornece condições geométricas necessárias para que a CII seja válida em variedades produto enrolado de Cartan-Hadamard:

1. A curvatura seccional radial ($K_{rad}$) não pode ser monotonicamente crescente em função da distância do polo.
2. Em qualquer ponto, a curvatura seccional radial deve ser menor ou igual à curvatura seccional tangencial ($K_{rad} \le K_{tan}$).
3. A curvatura seccional tangencial ($K_{tan}$) deve ser monotonicamente decrescente em função da distância do polo.

Esses resultados mostram que a monotonicidade da curvatura é uma restrição estrutural crucial para a otimização isoperimétrica centrada.

B. Melhoria da Desigualdade de Cheeger

O autor introduz um quociente isoperimétrico específico para bolas geodésicas: $I(r) = \frac{\text{Per}(B_r)}{\text{Vol}(B_r)}$.
O Teorema 1.4 estabelece que, sob certas condições de limite no infinito (especificamente envolvendo o comportamento de $\psi'/\psi$), o fundo do espectro do operador de Laplace-Beltrami na variedade inteira é dado exatamente por:
$$\lambda_1(M_n) = \frac{L^2}{4}$$
onde $L = \lim_{r \to \infty} I(r)$.
Isso representa uma melhoria estrita da desigualdade clássica de Cheeger ($\lambda_1 \ge h^2/4$) para uma ampla classe de variedades, fornecendo uma fórmula exata em vez de apenas um limite inferior.

C. Limites Inferiores para Autovalores de Bolas Geodésicas

O Teorema 1.5 fornece um limite inferior quantitativo para o primeiro autovalor não nulo de Dirichlet de uma bola geodésica $B_r(0)$:
$$\lambda_1(B_r) \ge \frac{n^2}{4r^2}$$
Este resultado é válido para uma classe de variedades onde a função $t \mapsto t\frac{\psi'(t)}{\psi(t)}$ é monotonicamente crescente. A prova utiliza o teorema da divergência com um campo vetorial radial adequado e estimativas de volume.

4. Significado e Impacto

• Conexão entre Geometria e Espectro: O trabalho reforça a ligação profunda entre a curvatura da variedade, a forma dos minimizadores isoperimétricos e o espectro do Laplaciano.
• Generalização de Resultados Clássicos: Estende resultados conhecidos para espaços modelo (Euclidiano, Hiperbólico, Esfera) para a classe mais geral de variedades produto enrolado de Cartan-Hadamard.
• Precisão Espectral: Ao fornecer uma fórmula exata para $\lambda_1$ baseada no comportamento assintótico do quociente isoperimétrico, o artigo oferece ferramentas mais precisas para a análise espectral em geometria não compacta do que as desigualdades clássicas.
• Condições de Estabilidade: Os resultados sobre a monotonicidade da curvatura (Teorema 1.3) ajudam a classificar quais variedades admitem simetria radial nos seus conjuntos isoperimétricos, um problema aberto em muitas configurações geométricas.

Em resumo, o artigo avança a compreensão de como a estrutura de produto enrolado e as propriedades de curvatura ditam o comportamento isoperimétrico e espectral, oferecendo novos critérios de estabilidade e limites espectrais otimizados.