A multiplicity theorem for a class of nonlocal elliptic equations involving even nonlinearities

Resumo Técnico: Um Teorema de Multiplicidade para Equações Elípticas Não Locais com Não Linearidades Pares

Enunciado do Problema
O artigo investiga um problema de valor de contorno de Dirichlet para uma classe de equações elípticas não locais em um domínio suave limitado $\Omega \subset \mathbb{R}^n$. O problema, denotado por $(P)$, é formulado como:
$$\begin{cases} -\Delta u = Q\left(\int_{\Omega} F(x, u(x))dx\right) f(x, u) + g(x, u) & \text{em } \Omega \\ u = 0 & \text{em } \partial\Omega \end{cases}$$
Aqui, $F(x, t) = \int_0^t f(x, s)ds$, e o termo não local surge da função $Q$ que depende da integral de $F$ sobre o domínio. O estudo foca na existência de soluções fracas no espaço de Sobolev $H^1_0(\Omega)$. O objetivo primário é estabelecer condições sob as quais o problema admite pelo menos três soluções distintas para parâmetros $\lambda$ operando dentro de um intervalo aberto adequado.

Metodologia e Estrutura Funcional
O autor emprega métodos variacionais, especificamente utilizando a teoria dos pontos críticos. As soluções fracas de $(P)$ são identificadas como pontos críticos do funcional de energia $\Phi: H^1_0(\Omega) \to \mathbb{R}$, definido como:
$$\Phi(u) = \frac{1}{2}\|u\|^2 - J(u)$$
onde $\|u\|$ é a norma padrão em $H^1_0(\Omega)$, e $J(u)$ incorpora o termo não local e a perturbação $g$.

O núcleo da prova baseia-se em uma desigualdade minimax estrita e um teorema de três pontos críticos (referenciado como Teorema 3 em [2]). A metodologia procede através dos seguintes passos:

1. Construção de um Funcional Auxiliar: O autor introduz um funcional $P(u, \lambda)$ envolvendo uma função estritamente convexa $\alpha$, uma função ímpar contínua $\gamma$, e o termo integral não local.
2. Verificação da Desigualdade Minimax: O principal obstáculo técnico é provar a desigualdade estrita:
   $$\sup_{\lambda \in \mathbb{R}} \inf_{u \in H^1_0(\Omega)} P(u, \lambda) < \inf_{u \in H^1_0(\Omega)} \sup_{\lambda \in \mathbb{R}} P(u, \lambda)$$
   Isso é alcançado por contradição. O autor assume a igualdade e demonstra que o ponto de sela resultante $(u^*, \lambda^*)$ leva a uma inconsistência lógica. Especificamente, a prova utiliza as propriedades de simetria das funções (paridade de $f$, imparidade de $\gamma$) e a convexidade estrita de $\alpha$ para mostrar que, se uma solução existe sob a suposição de igualdade, ela deve ser trivial ($u^*=0$), o que contradiz a construção do funcional para parâmetros grandes.
3. Coercividade e Continuidade: A prova estabelece que o funcional $u \mapsto \sup_{\lambda} P(u, \lambda)$ é sequencialmente semicontínuo inferiormente fraco e coercivo. Isso garante a existência de minimizadores e permite a aplicação do teorema de ponto crítico abstrato.
4. Perturbação por $g$: O passo final envolve a adição de um termo de perturbação $g \in \mathcal{A}$ (uma classe de funções de Carathéodory com condições de crescimento específicas). O autor mostra que, se a oscilação da primitiva de $g$ for suficientemente pequena (limitada por uma constante $\epsilon^*_\mu$), a desigualdade minimax estrita é preservada, garantindo a multiplicidade de soluções.

Principais Suposições
O resultado principal (Teorema 1) requer as seguintes condições:

• Não linearidade $f$: $f(x, \cdot)$ deve ser par para quase todo $x$, e o conjunto onde $f$ é não nulo deve ter medida positiva. Além disso, $F(x, t)$ deve satisfazer uma condição de crescimento subquadrática no infinito ($\lim_{|t|\to\infty} \sup |F(x,t)|/t^2 = 0$).
• Não linearidade $\gamma$: $\gamma$ é contínua, ímpar, anula-se apenas em 0, e sua primitiva satisfaz um limite de crescimento linear.
• Função Convexa $\alpha$: $\alpha$ é estritamente convexa, derivável, com $\alpha(0)>0$, $\alpha'(0)=0$, e $\alpha'(R)=R$.
• Parâmetro $\mu$: O parâmetro $\mu$ deve ser suficientemente grande.
• Perturbação $g$: A diferença entre a integral do supremo e a integral do ínfimo da primitiva de $g$ deve ser menor que um limiar específico $\epsilon^*_\mu$.

Resultados Principais
O artigo prova o Teorema 1, que afirma que sob as suposições mencionadas, existe um limiar $\epsilon^*_\mu > 0$ tal que, para qualquer perturbação $g$ que satisfaça a condição de pequenez, existe um intervalo aberto $A \subseteq \mathbb{R}$ e um raio $\rho > 0$. Para cada $\lambda \in A$, o problema $(P)$ possui pelo menos três soluções fracas em $H^1_0(\Omega)$, todas com normas estritamente menores que $\rho$.

Significância e Alegações
O artigo posiciona-se como uma "nota muito curta" visando provar um resultado específico de multiplicidade para problemas não locais com não linearidades pares.

• Novidade: O autor afirma explicitamente na Observação 1 que "não tem conhecimento de resultados conhecidos próximos o suficiente ao Teorema 1 para que uma comparação adequada possa ser feita". Isso sugere que o resultado preenche uma lacuna na literatura quanto à combinação específica de termos não locais, não linearidades pares e a multiplicidade de três soluções via desigualdades minimax estritas.
• Escopo: O trabalho é puramente teórico, focando na existência de soluções dentro do arcabouço variacional. Não propõe métodos numéricos, aplicações físicas específicas ou direções experimentais futuras. A significância reside na extensão da teoria de pontos críticos para uma classe específica de equações elípticas não locais onde a não linearidade exibe simetria par.