Pólya's conjecture for Dirichlet eigenvalues of annuli

Resumo Técnico: A Conjectura de Pólya para Autovalores de Dirichlet em Anéis

Título Original: Pólya’s conjecture for Dirichlet eigenvalues of annuli
Autores: Nikolay Filonov, Michael Levitin, Iosif Polterovich e David A. Sher.
Publicação: Journal of the London Mathematical Society (2026).

1. O Problema

O artigo aborda a Conjectura de Pólya, formulada por George Pólya em 1961. A conjectura afirma que, para um domínio $\Omega \subset \mathbb{R}^2$, o número de autovalores do Laplaciano de Dirichlet ($\lambda_n(\Omega)$) menores ou iguais a um valor $\lambda$ é sempre limitado pelo termo principal da Lei de Weyl. Matematicamente, a conjectura propõe que:
$$N_{\text{Dir}}^{\Omega}(\lambda) < \frac{\text{Área}(\Omega)}{4\pi} \lambda^2$$
Embora provada para domínios que "ladrilham" o plano, a conjectura permanece aberta para a maioria dos domínios. Este trabalho foca especificamente em anéis planos ($A_r$), definidos pela diferença entre dois discos concêntricos com raios interno $r$ e externo $1$.

2. Metodologia

A prova é de natureza híbrida, combinando análise matemática rigorosa com verificação computacional assistida. Os autores dividem o espaço de parâmetros $(r, \lambda)$ em cinco regiões distintas ($\mathcal{R}_{\Lambda}^{\aleph}$, onde $\aleph = I, \dots, V$), utilizando abordagens diferentes para cada uma:

• Abordagens Espectrais (Regiões I e II): Utilizam desigualdades isoperimétricas (Faber-Krahn e Krahn-Szego) e a comparação do espectro do anel com o de cilindros planos para valores pequenos de $\lambda$.
• Análise de Funções de Fase de Bessel (Regiões III, IV e V): Para valores maiores de $\lambda$, o problema é reduzido a uma contagem de pontos em uma rede (lattice point counting). Os autores relacionam a função de contagem de autovalores à diferença entre as funções de fase de Bessel ($\theta_m(\lambda) - \theta_m(r\lambda)$).
• Técnicas de Soma de Piso Trapezoidal (Trapezoidal Floor Sums): Os autores desenvolvem novos limites para somas de funções Lipschitz (tanto côncavas quanto convexas) para obter estimativas precisas da contagem de pontos da rede.
• Algoritmo Computacional Assistido (Região de Lacuna): Para a região restante do espaço de parâmetros (que é limitada), os autores implementam um algoritmo rigoroso que utiliza aproximações racionais verificadas para garantir que a desigualdade de Pólya seja mantida, evitando erros de ponto flutuante.

3. Principais Contribuições e Resultados

• Prova da Conjectura para Anéis: O resultado principal é a demonstração de que a Conjectura de Pólya é verdadeira para todos os anéis planos. Este é um marco importante, pois representa o primeiro exemplo de um domínio não simplesmente conexo para o qual a conjectura foi verificada.
• Melhoria para o Disco: Como subproduto, o trabalho deriva um limite superior de dois termos para a função de contagem de autovalores do disco, superando a estimativa original de Pólya.
• Novos Limites Matemáticos: O artigo introduz novos teoremas sobre somas de piso trapezoidal para funções com constantes de Lipschitz específicas, que podem ter interesse independente em teoria de números e análise.
• Algoritmo de Verificação Rigorosa: O desenvolvimento de um método para cobrir regiões do espaço de parâmetros através de retângulos e triângulos baseados na monotonicidade das funções envolvidas.

4. Significância

A importância deste trabalho reside em três pilares:

1. Teórico: Avança significativamente o conhecimento sobre a distribuição de autovalores de operadores diferenciais em geometrias não triviais.
2. Geométrico: Estende a validade da conjectura de Pólya para além de domínios simplesmente conexos, desafiando a complexidade topológica.
3. Metodológico: Demonstra o poder da computação assistida quando integrada à análise rigorosa, fornecendo um modelo de como lidar com "lacunas" em provas matemáticas complexas que não podem ser resolvidas puramente por métodos analíticos tradicionais.