Improved lower bounds for Dirichlet eigenvalues of the Laplacian and poly-Laplacian on bounded Euclidean domains

1. Formulação do Problema

O artigo aborda o problema de estabelecer limites inferiores precisos para as somas médias dos autovalores de Dirichlet de dois operadores fundamentais em domínios limitados $\Omega \subset \mathbb{R}^n$:

1. O Laplaciano ($\Delta$): Resolver $-\Delta u = \lambda u$ com condições de contorno de Dirichlet ($u=0$ em $\partial\Omega$).
2. O Polilaplaciano ($(-\Delta)^l$): Resolver $(-\Delta)^l \bar{u} = \Lambda \bar{u}$ com condições de contorno de Dirichlet de ordem superior ($\bar{u} = \partial_\nu \bar{u} = \dots = \partial_\nu^{l-1} \bar{u} = 0$ em $\partial\Omega$).

O objetivo é melhorar as desigualdades existentes, especificamente a desigualdade de Berezin-Li-Yau e seus refinamentos subsequentes por Melas, Ji-Xu e outros. Os autores visam derivar limites que capturem mais termos positivos na expansão assintótica, aproximando-se da Conjectura de Pólya (que postula que $\lambda_k \geq C_n k^{2/n}$).

2. Metodologia

Os autores empregam uma versão refinada do método de Li-Yau, que utiliza análise de Fourier e desigualdades de rearranjo. A metodologia central envolve:

• Transformada de Fourier e Teorema de Plancherel: Transformar o problema de autovalores para o domínio da frequência. A soma dos autovalores está relacionada à integral de $|\xi|^2$ (ou $|\xi|^{2l}$) ponderada pela função espectral $F(\xi) = \sum |f_j(\xi)|^2$.
• Rearranjo Radial: Substituir a função espectral $F(\xi)$ pelo seu rearranjo radial decrescente $F^*(\xi) = \phi(|\xi|)$. Isso permite reduzir o problema à estimativa de integrais da forma $\int s^{n-1}\phi(s) ds$ e $\int s^{n+1}\phi(s) ds$.
• Inovação Chave: Expansões de Polinômios Binários:
  A contribuição técnica central é a derivação de expansões exatas para polinômios binários específicos que surgem no processo de estimativa. Trabalhos anteriores (por exemplo, Melas, Ji-Xu) forneceram limites inferiores para esses polinômios capturando apenas um subconjunto de seus termos positivos.
  • Para o Laplaciano, os autores analisam $P(s, \tau) = n s^{n+2} - (n+2)\tau^2 s^n + 2\tau^{n+2}$.
  • Para o Polilaplaciano, eles analisam $P_1(s, \tau, d) = n s^{n+l} - (n+l)\tau^l s^n + l \tau^{n+l}$.
  • Em vez de limitar esses polinômios inferiormente por um único termo, os autores provam identidades exatas (Lemmas 2.2 e 3.3) que decompõem esses polinômios em somas de termos não negativos envolvendo $(\tau-s)^2$.
• Otimização: Ao utilizar a expansão completa desses polinômios, os autores derivam limites inferiores mais agudos para as integrais envolvendo a função rearranjada $\phi(s)$, levando a estimativas de autovalores melhoradas.

3. Contribuições Principais

A. Avanço Teórico na Análise de Polinômios

O artigo estabelece que os limites inferiores anteriores para os polinômios binários críticos eram subótimos porque ignoravam certos termos positivos na expansão. Os autores provam que:
$$n s^{n+2} - (n+2)\tau^2 s^n + 2\tau^{n+2} = \sum_{k=1}^n 2k s^{k-1}\tau^{n-k+1}(\tau-s)^2 + n(\tau-s)^2 s^n$$
Esta identidade permite a captura de todos os termos positivos, tornando os limites de autovalores resultantes "ótimos" no sentido desta abordagem analítica específica.

B. Limites Inferiores Melhorados para o Laplaciano

Os autores provam o Teorema 2.1, que fornece um novo limite inferior para a soma média dos autovalores do Laplaciano:
$$\frac{1}{k}\sum_{i=1}^k \lambda_i \geq \frac{4\pi^2}{(\omega_n V)^{2/n}} k^{2/n} - \frac{S_{n+1}}{(n+1)\rho^n} \omega_n^{\frac{n-2}{n}} \alpha^{\frac{(n+2)(n-1)}{n}} k^{\frac{2-n}{n}} + c_1 \frac{n S_{n+3}}{(n+2)(n+3)\rho^{n+2}} \omega_n \alpha^{n+3} k^{-1}$$

• Significado: Isso melhora o resultado de 2020 de Ji e Xu (Eq. 1.8) e a desigualdade de Melas (Eq. 1.4).
• Corolário 2.4: Eles derivam uma versão mais aguda da desigualdade de Melas com uma constante maior $\bar{c}_n$, provando que $\bar{c}_n > \frac{1}{24(n+2)}$.

C. Limites Inferiores Melhorados para o Polilaplaciano

Os autores estendem seu método ao polilaplaciano, provando o Teorema 3.1. Isso fornece um limite inferior mais agudo para a soma dos autovalores $\Lambda_i$ do polilaplaciano de ordem $l$:
$$\frac{1}{k}\sum_{i=1}^k \Lambda_i \geq \text{Termo de Weyl} + \text{Termo de Correção}_1 - \text{Termo de Correção}_2$$

• Significado: Este resultado melhora o Teorema 4.1 em [19] e o Teorema 1.2 em [20] (Ji e Xu, 2025).
• Corolário 3.5: Eles fornecem um limite simplificado específico envolvendo um polinômio $Q(s)$, mostrando que sua constante é estritamente melhor que estimativas anteriores (por exemplo, $Q(1/5) \geq 5l/2$).

4. Resumo dos Resultados Principais

5. Significado

• Refinamento da Conjectura de Pólya: Embora a conjectura de Pólya permaneça não provada para domínios gerais, este trabalho empurra os limites inferiores mais próximos do limite assintótico conjecturado. A inclusão de mais termos positivos na expansão reduz a "lacuna" entre o limite inferior provado e a soma real dos autovalores.
• Rigor Metodológico: O artigo demonstra que o "método de Li-Yau" pode ser levado mais longe através da manipulação algébrica rigorosa dos polinômios subjacentes, em vez de depender apenas de desigualdades grosseiras.
• Aplicações: Estes limites melhorados são cruciais para a compreensão da geometria espectral de domínios, com implicações para a física (por exemplo, vibração de placas modeladas pelo polilaplaciano) e física matemática.
• Generalização: Os resultados unificam e melhoram uma década de literatura (de 2010 a 2025) sobre estimativas de autovalores tanto para o Laplaciano quanto para operadores de ordem superior.

Em conclusão, Ji e Luo otimizaram com sucesso a maquinaria analítica usada para derivar limites inferiores de autovalores, resultando nas desigualdades mais agudas conhecidas do tipo Berezin-Li-Yau tanto para o Laplaciano quanto para o polilaplaciano em domínios euclidianos limitados.