Spectral Properties of the Logarithmic Laplacian with Indefinite Weights

Resumo Técnico: Propriedades Espectrais do Laplaciano Logarítmico com Pesos Indefinidos

Enunciado do Problema
Este artigo investiga as propriedades espectrais de um problema de autovalor ponderado governado pelo Laplaciano Logarítmico ($L_\Delta$) em um domínio limitado $\Omega \subseteq \mathbb{R}^N$. O problema específico em estudo é:
$$\begin{cases} L_\Delta u = \lambda \omega(x) u & \text{em } \Omega, \\ u = 0 & \text{em } \mathbb{R}^N \setminus \Omega, \end{cases}$$
onde $\omega: \Omega \to \mathbb{R}$ é uma função peso que muda de sinal (indefinida). O Laplaciano Logarítmico surge como a expansão de primeira ordem do Laplaciano fracionário $(-\Delta)^s$ quando $s \to 0^+$. Diferentemente do Laplaciano fracionário, a teoria espectral de $L_\Delta$ é menos desenvolvida, e a presença de pesos indefinidos introduz desafios analíticos significativos, particularmente no que tange à limitação do funcional de energia associado e à compacidade das sequências minimizantes.

Metodologia e Estrutura
Os autores desenvolvem uma estrutura variacional e espectral para abordar a natureza não local de $L_\Delta$ e a indefinição do peso $\omega$. Os componentes metodológicos-chave incluem:

1. Espaços de Funções e Imersões: A análise é conduzida no espaço $H(\Omega)$, definido pela finitude de uma forma quadrática não local específica envolvendo interações dentro e fora da bola unitária. Os autores utilizam resultados ótimos de imersão contínua e compacta em espaços do tipo Orlicz $L_\phi(\Omega)$ e $L_\eta(\Omega)$, onde $\phi(t) = t^2 \ln(e+t)$. Isso permite uma classe mais ampla de pesos admissíveis do que aqueles tipicamente utilizados para o Laplaciano fracionário (por exemplo, $L^\infty$ ou $L^{N/2s}$).
2. Hipóteses sobre o Peso: A função peso $\omega$ é assumida como satisfazendo três condições:
   • $(\omega_0)$: A parte positiva $\omega_+$ não é identicamente nula.
   • $(\omega_1)$: $\omega$ pertence a um espaço de Orlicz $L_{\psi^*}(\Omega)$, garantindo integrabilidade em relação ao crescimento específico do espaço de soluções.
   • $(\omega_2)$: Uma condição estrutural inspirada em desigualdades do tipo Pitt, garantindo que o funcional de energia seja limitado inferiormente na variedade de restrição.
3. Princípios Variacionais: A existência de autovalores é estabelecida utilizando o princípio variacional de Lusternik-Schnirelman (LS). Os autores definem uma sequência de autovalores LS $\lambda_k$ através do gênero de subconjuntos simétricos da variedade de restrição $M = \{u \in H(\Omega) : \int_\Omega \omega(x)u^2 dx = 1\}$.
4. Desigualdade do Tipo Hardy: Uma ferramenta técnica crucial é uma desigualdade do tipo Pitt (do tipo Hardy) para $L_\Delta$, derivada diferenciando a desigualdade de Hardy para o Laplaciano fracionário em relação ao parâmetro $s$ em $s=0$. Esta desigualdade fornece o limite inferior necessário para o funcional de energia.

Contribuições e Resultados Principais

• Existência de uma Sequência Ilimitada: O artigo prova a existência de uma sequência ilimitada de autovalores LS $\lambda_0 \le \lambda_1 \le \lambda_2 \le \dots$ divergindo para $+\infty$. O primeiro autovalor $\lambda_1$ é mostrado como coincidindo com o ínfimo do quociente de Rayleigh na variedade $M$.
• Propriedades de Sinal das Autofunções:
  • A autofunção correspondente ao primeiro autovalor $\lambda_1$ possui sinal constante em $\Omega$.
  • Autofunções correspondentes a autovalores superiores ($\lambda \neq \lambda_1$) necessariamente mudam de sinal no domínio.
• Simplicidade e Isolamento:
  • O primeiro autovalor $\lambda_1$ é simples (o autoespaço é unidimensional).
  • Sob a hipótese de que $\omega \in L^\infty(\Omega)$, $\lambda_1$ é isolado.
• Desigualdade de Domínios Nodais: Os autores estabelecem uma desigualdade do tipo domínio nodal relacionando autovalores superiores à medida das partes positiva e negativa das autofunções correspondentes. Especificamente, para uma autofunção $v$ associada a $\lambda \neq \lambda_1$, um limite inferior para $|\lambda|$ é derivado envolvendo as medidas dos domínios nodais $\Omega^\pm_v$ e constantes de imersão. Este resultado é de interesse independente e aborda o fato de que os autovalores para $L_\Delta$ podem ser não positivos.
• Caracterizações Alternativas: O artigo fornece uma caracterização variacional alternativa para o segundo autovalor $\lambda_2$, análoga a resultados para o Laplaciano fracionário, expressando-o como um minimax sobre aplicações contínuas ímpares do círculo $S^1$ para a variedade $M$.
• Propriedades de Monotonicidade:
  • Monotonicidade do Peso: Os autovalores são não decrescentes em relação à função peso. Se $\omega_1 \le \omega_2$, então $\lambda_k(\omega_2) \le \lambda_k(\omega_1)$. Além disso, se $\omega_1 \le \omega_2$ e $\omega_1 \not\equiv \omega_2$, o primeiro autovalor é estritamente decrescente ($\lambda_1(\omega_1) > \lambda_1(\omega_2)$). Se $\omega_1 < \omega_2$ estritamente, o segundo autovalor também é estritamente decrescente.
  • Monotonicidade do Domínio: Os autovalores são não decrescentes em relação à inclusão de domínios. Se $\Omega_1 \subsetneq \Omega_2$, então $\lambda_k(\Omega_2) \le \lambda_k(\Omega_1)$. O primeiro autovalor é estritamente decrescente em relação à expansão do domínio.

Significado e Afirmações
O artigo afirma preencher uma lacuna na teoria espectral do Laplaciano Logarítmico, que tem sido comparativamente menos desenvolvida do que a do Laplaciano fracionário. O significado principal reside na extensão da teoria para pesos indefinidos, um cenário onde métodos variacionais padrão frequentemente falham devido à falta de coercividade e ao potencial do funcional de energia ser ilimitado inferiormente.

Os autores destacam que a natureza não local de $L_\Delta$, combinada com o peso indefinido, cria dificuldades que impedem a adaptação direta de métodos usados para operadores locais ou fracionários. Especificamente, a forma bilinear pode mudar de sinal devido a interações não locais fora da bola unitária, e sequências minimizantes podem escapar para o infinito. Ao impor hipóteses estruturais específicas sobre o peso (particularmente a condição do tipo Pitt) e utilizar imersões em espaços de Orlicz, os autores constroem com sucesso uma estrutura variacional que supera esses obstáculos.

Os resultados estabelecem propriedades espectrais fundamentais — existência, simplicidade, isolamento e monotonicidade — que são essenciais para a análise qualitativa de equações não lineares envolvendo o Laplaciano Logarítmico. A desigualdade de domínio nodal derivada é notada como um resultado de interesse independente, fornecendo um link quantitativo entre o espectro e a geometria das autofunções. O trabalho também esclarece a relação entre as teorias espectrais dos Laplacianos fracionário e logarítmico, particularmente no limite $s \to 0^+$.