On the lower bound and upper bound of the Sum of Eigenvalues of the Fractional-Logarithmic Laplacian

Resumo Técnico: Limites Inferior e Superior para a Soma dos Autovalores do Laplaciano Fracionário-Logarítmico

1. Problema e Contexto

O artigo aborda um problema central na teoria espectral de operadores não locais: estabelecer limites rigorosos (inferior e superior) para a soma parcial dos primeiros $k$ autovalores de Dirichlet do Laplaciano Fracionário-Logarítmico, denotado por $(-\Delta)^{s+\ln}$.

Este operador é uma generalização recente que combina as propriedades do Laplaciano Fracionário $(-\Delta)^s$ e do Laplaciano Logarítmico $(-\Delta)^{\ln}$. Seu símbolo de Fourier é dado por:
$$\sigma(\xi) = |\xi|^{2s} \ln |\xi|^2$$
onde $s > 0$.

O desafio principal identificado pelo autor reside no comportamento do símbolo:

• Diferente do Laplaciano Fracionário puro (onde o símbolo é homogêneo e monotonicamente crescente), o símbolo $|\xi|^{2s} \ln |\xi|^2$ não é globalmente monotônico na variável radial devido ao seu comportamento em baixas frequências (onde o termo logarítmico é negativo para $|\xi| < 1$).
• A lei de Weyl assintótica para este operador já era conhecida:
  $$\sum_{j=1}^k \lambda_j^{s+\ln}(\Omega) \sim \frac{2}{n+2s} (2\pi)^{2s} (\omega_n |\Omega|)^{-2s/n} k^{1+2s/n} \ln k$$
  O objetivo do trabalho é transformar essa assintótica heurística em desigualdades rigorosas (limites inferiores e superiores) que capturem o termo principal exato e os termos de ordem inferior.

2. Metodologia

O autor emprega uma abordagem analítica sofisticada que adapta métodos clássicos da teoria espectral para o contexto não local e com símbolos não homogêneos.

A. Para o Limite Inferior (Estimativa de Berezin-Li-Yau):

• Abordagem: Baseia-se no método clássico de Berezin-Li-Yau, que utiliza a transformada de Fourier e desigualdades de Bessel.
• Desafio Específico: A não monotonicidade do símbolo em baixas frequências impede o uso direto de argumentos de otimização simples.
• Solução:
  1. Define-se uma função de densidade $f(\xi) = \sum_{j=1}^k |\hat{\phi}_j(\xi)|^2$, onde $\phi_j$ são os autovetores.
  2. Utiliza-se um Lema de Otimização (Lema 2.4) que trata de integrais da forma $\int |\xi|^{2s} \ln |\xi|^2 f(\xi) d\xi$ sob restrições de suporte e limite superior da função $f$.
  3. O lema demonstra que, mesmo com a parte negativa do símbolo (para $|\xi| < 1$), a contribuição das altas frequências domina, permitindo estabelecer um limite inferior que coincide com a assintótica esperada, mais um termo de erro controlado.

B. Para o Limite Superior (Estimativa do Tipo Kröger):

• Abordagem: Utiliza o princípio variacional de Rayleigh-Ritz e uma técnica de "ondas planas cortadas" (cutoff plane-waves).
• Construção de Funções de Teste:
  1. Constroem-se funções de teste $v_{\sigma}(z, x) = w_\sigma(x) e^{-ix \cdot z}$, onde $w_\sigma$ é uma função de corte suave que vale 1 no interior do domínio e decai para 0 na camada de fronteira de espessura $\sigma$.
  2. Projeta-se essas funções no complemento ortogonal dos primeiros $k$ autovetores para obter uma estimativa para $\lambda_{k+1}$.
• Estimativa de Erro Não Local: O núcleo da prova é o Lema 3.1, que fornece uma estimativa para a energia do operador aplicado às ondas planas cortadas. O autor separa o termo principal (que depende do símbolo integrado sobre uma bola de raio $r$) de um termo de resto $\Psi_{s,\ln}(r, \sigma)$ que depende da espessura da camada de fronteira.
• Otimização: Escolhem-se parâmetros $r$ (raio da frequência) e $\sigma$ (espessura da camada) dependentes de $k$ para minimizar o erro e recuperar o termo assintótico correto.

3. Principais Resultados

Teorema do Limite Inferior (Teorema 2.5):
Para um domínio limitado $\Omega \subset \mathbb{R}^n$ e $k$ suficientemente grande, a soma dos autovalores satisfaz:
$$\sum_{j=1}^k \lambda_j^{s+\ln}(\Omega) \geq \frac{2}{n+2s} (2\pi)^{2s} (\omega_n |\Omega|)^{-2s/n} k^{1+2s/n} \left( \ln \frac{(2\pi)^n k}{\omega_n |\Omega|} - \frac{n}{n+2s} \right)$$

• Consequência: O termo principal é exatamente $\frac{2}{n+2s} C_n k^{1+2s/n} \ln k$, confirmando a estrutura multiplicativa esperada (crescimento fracionário $\times$ correção logarítmica).
• Corolário: Estabelece condições suficientes para que os autovalores sejam estritamente positivos, dependendo do volume do domínio.

Teorema do Limite Superior (Teorema 3.2):
Sob a hipótese de que o domínio admite uma estimativa de camada de fronteira (comum para domínios com fronteira regular), existe uma constante $C$ tal que:
$$\sum_{j=1}^k \lambda_j^{s+\ln}(\Omega) \leq \frac{2}{n+2s} (2\pi)^{2s} (\omega_n |\Omega|)^{-2s/n} k^{1+2s/n} \ln k + C k^{1+2s/n}$$

• Este resultado confirma que o crescimento assintótico superior é dominado pelo mesmo termo logarítmico-fracionário, com um erro de ordem inferior $O(k^{1+2s/n})$.

4. Contribuições Chave

1. Rigidez Espectral para Símbolos Não Monotônicos: O trabalho supera a dificuldade técnica de lidar com símbolos que não são monotônicos globalmente (devido ao termo logarítmico), demonstrando que o comportamento de alta frequência ainda permite o controle preciso da soma dos autovalores.
2. Generalização de Resultados Clássicos: Estende os famosos limites de Berezin-Li-Yau (inferior) e Kröger (superior), originalmente para o Laplaciano clássico e depois para o Laplaciano Fracionário, para o regime híbrido fracionário-logarítmico.
3. Estrutura Multiplicativa Confirmada: O artigo valida matematicamente a intuição de que o Laplaciano Fracionário-Logarítmico herda uma estrutura espectral simples, onde o termo líder é o produto do termo líder do Laplaciano Fracionário ($k^{1+2s/n}$) e o termo líder do Laplaciano Logarítmico ($\ln k$).
4. Desenvolvimento de Técnicas Analíticas: Introduz e refina estimativas de integrais envolvendo funções de peso com comportamento logarítmico e constrói estimativas de erro precisas para operadores não locais em camadas de fronteira.

5. Significado e Impacto

Este artigo preenche uma lacuna importante na teoria espectral de operadores não locais. Enquanto o comportamento assintótico (Lei de Weyl) era conhecido, a ausência de limites rigorosos (desigualdades) impedia aplicações mais profundas em problemas de otimização de formas, física matemática e análise de estabilidade.

Ao estabelecer limites superiores e inferiores com o termo principal exato, o trabalho:

• Fornece ferramentas para estimar a densidade de estados em sistemas quânticos modelados por este operador.
• Oferece um modelo para o estudo de outros operadores com símbolos que combinam crescimento polinomial e logarítmico.
• Refina a compreensão de como a derivada em relação ao parâmetro de ordem (que gera o termo logarítmico) afeta a distribuição espectral, mostrando que a "correção logarítmica" é robusta e previsível mesmo na presença de singularidades de baixa frequência.

Em suma, o artigo consolida a teoria espectral do Laplaciano Fracionário-Logarítmico, posicionando-o como um objeto bem compreendido dentro do espectro de operadores não locais, com propriedades de limites de autovalores análogas, mas matematicamente mais complexas, às dos seus predecessores clássicos.