New solutions to Schrödinger-Poisson-Slater equations in Coulomb-Sobolev spaces

Resumo Técnico: Novas Soluções para Equações de Schrödinger–Poisson–Slater em Espaços de Coulomb-Sobolev

Formulação do Problema
O artigo investiga a existência e multiplicidade de soluções para a equação diferencial parcial não linear e não local:
$$-\Delta u + (I_\alpha \star |u|^p) |u|^{p-2} u = f(|x|, u) \quad \text{em } \mathbb{R}^N,$$
onde $N \ge 2$, $p > 1$, e $\alpha \in (1, N)$. Aqui, $I_\alpha$ denota o potencial de Riesz de ordem $\alpha$. A não linearidade $f: [0, \infty) \times \mathbb{R} \to \mathbb{R}$ é uma função de Carathéodory sujeita a uma nova e ampla classe de hipóteses.

Esta equação modela um problema de massa nula surgindo em sistemas quânticos de muitos corpos (aproximações de Hartree–Fock) e modelos de semicondutores. Diferentemente das variantes de massa positiva, este problema é naturalmente formulado em um espaço de Coulomb-Sobolev $E_{\alpha, p}(\mathbb{R}^N)$, definido pela norma:
$$\|u\| = \left[ \int_{\mathbb{R}^N} |\nabla u|^2 dx + \left( \int_{\mathbb{R}^N} |I_{\alpha/2} \star |u|^p|^2 dx \right)^{1/p} \right]^{1/2}.$$
Os autores trabalham no subespaço de funções radiais, $E_{\alpha, p}^{\text{rad}}(\mathbb{R}^N)$, para recuperar propriedades de compacidade necessárias para métodos variacionais. O estudo aborda a perda de compacidade em mergulhos em espaços de Lebesgue, governada por expoentes críticos como o expoente de Coulomb-Sobolev $q_{CS} = 2(2p+\alpha)/(2+\alpha)$ e o expoente radial $q_{rad}$.

Metodologia
A principal inovação metodológica é uma abordagem baseada em escalonamento dentro da teoria de pontos críticos. Os autores adaptam técnicas de Mercuri e Perera [28] para lidar com situações onde geometrias variacionais clássicas (como a geometria de passo de montanha ou ligação baseada em subespaços lineares) podem não estar presentes ou onde a simetria $Z_2$ é insuficiente.

Componentes metodológicos chave incluem:

1. Invariância de Escalonamento: Os autores identificam um problema de autovalor não linear invariante por escalonamento:
   $$-\Delta u + (I_\alpha \star |u|^p) |u|^{p-2} u = \lambda |u|^{q-2} u,$$
   onde $q = q_{CS}$. Este problema admite uma sequência de autovalores $\{\lambda_k\}$ definida via o índice cohomológico $Z_2$ de Fadell e Rabinowitz, em vez do gênero clássico.
2. Classificação de Não Linearidades: O comportamento da não linearidade local $f$ é classificado em relação às propriedades de escalonamento do lado esquerdo da equação. Dependendo do limite de $f(|x|, t)/|t|^{q-2}t$ quando $|t| \to \infty$ (ou $0$),$f$ é categorizada como:
   • Subescalada: A não linearidade é dominada pela parte principal no infinito (ou zero).
   • Assintoticamente Escalada: A não linearidade comporta-se como um termo de autovalor no infinito (ou zero).
   • Superescalada: A não linearidade domina a parte principal.
3. Estimativas de Grupos Críticos: Ao utilizar o índice cohomológico, os autores derivam novas estimativas de grupos críticos e constroem conjuntos de ligação baseados em escalonamento. Isso permite a detecção de pontos críticos mesmo quando o funcional carece das simetrias padrão exigidas pelas teorias de índice clássicas.
4. Análise de Compacidade: O artigo estabelece resultados de compacidade (condições de Palais-Smale) para o funcional de ação associado em vários regimes de parâmetros ($N, \alpha, p$), abordando os desafios impostos por crescimentos subcrítico, crítico e supercrítico de Sobolev.

Resultados Principais
O artigo estabelece teoremas de existência e multiplicidade para o problema de massa nula sob várias condições de crescimento em $f$:

• Existência em Regimes Subescalados: Para não linearidades que são "subescaladas" (dominadas pela parte principal), os autores provam a existência de pelo menos uma solução.
• Multiplicidade via Ressonância: Quando $f$ é assintoticamente escalada (aproximando-se de um termo de autovalor $\lambda |u|^{q-2}u$), a existência de soluções não triviais depende da posição de $\lambda$ em relação aos autovalores $\{\lambda_k\}$.
  • Se $\lambda > \lambda_1$, existe uma solução não trivial.
  • Se $\lambda > \lambda_2$, existem duas soluções não triviais.
  • Estes resultados valem mesmo se o primitivo do termo de perturbação for negativo, removendo a necessidade de $\lambda$ ser não ressonante em certos casos.
• Casos Superescalados e Críticos:
  • No caso superescalado, onde a não linearidade domina, os autores provam a existência de soluções não triviais sob condições de sinal no primitivo da perturbação, ou introduzindo um parâmetro pequeno.
  • No caso crítico (envolvendo o expoente crítico de Sobolev $2^*$), o artigo prova a existência de $m$ pares distintos de soluções para parâmetros próximos a autovalores com multiplicidade $m$.
  • O número de soluções pode ser tornado arbitrariamente grande ajustando parâmetros (por exemplo, o coeficiente de um termo subcrítico), com a contagem de soluções tendendo ao infinito à medida que o parâmetro cresce.

Significado e Alegações
Os autores afirmam que seu trabalho estende resultados recentes de Mercuri e Perera [28] para uma faixa mais ampla de parâmetros $N, \alpha, p$ e uma classe mais geral de não linearidades $f$. O significado do artigo reside em:

1. Generalização de Regimes Variacionais: A introdução dos termos "subescalado", "escalado" e "superescalado" fornece um quadro unificado para classificar regimes variacionais que anteriormente eram tratados separadamente ou não eram tratados de todo. Esta classificação reflete a interação entre a não linearidade $f$ e as propriedades de escalonamento da equação.
2. Tratamento de Geometrias Não Simétricas e Não Padrão: A abordagem permite o tratamento de problemas onde o funcional de energia não exibe a geometria padrão de passo de montanha ou onde a não linearidade não é uma função ímpar (impedindo o uso de teoremas padrão de pontos críticos simétricos).
3. Captura de Crescimento Supercrítico: Ao trabalhar no espaço de Coulomb-Sobolev com $p \neq 2$, a metodologia captura não linearidades de crescimento subcrítico, crítico e supercrítico de Sobolev, que são frequentemente difíceis de tratar em configurações clássicas de Sobolev.
4. Analogia com a Alternativa de Fredholm: A classificação de soluções baseada na "ressonância" de $f$ com a sequência de autovalores $\{\lambda_k\}$ é descrita como uma analogia não linear da alternativa clássica de Fredholm.

O artigo não propõe novas aplicações físicas ou propostas experimentais, mas sim fornece uma fundação matemática rigorosa para resolver estas equações sob parâmetros físicos estendidos encontrados na Teoria do Funcional da Densidade (DFT) e em modelos de química quântica. Os autores observam que, embora utilizem a hipótese $2p < 2^*$ em alguns resultados para garantir a limitação das sequências de Palais-Smale, esperam relaxar esta condição em trabalhos futuros.