Fučik spectrum for the operator with rapidly increasing weight and applications

Resumo Técnico: Espectro de Fučik para Operadores com Peso de Crescimento Rápido

1. O Problema Investigado

O artigo foca no estudo do espectro de Fučik para um operador diferencial elíptico específico definido no espaço euclidiano inteiro $\mathbb{R}^N$ ($N \geq 1$). O operador $L$ é definido como:
$$Lu := -\Delta u - \frac{1}{2}(x \cdot \nabla u)$$
Este operador está intrinsecamente ligado às soluções auto-similares da equação do calor. O problema central é determinar o conjunto $\Sigma \subset \mathbb{R}^2$ de pares $(\alpha, \beta)$ tais que a seguinte equação possui uma solução não trivial $u$ em um espaço de Hilbert adequado $X$:
$$\begin{cases} Lu = \alpha u^+ - \beta u^- & \text{em } \mathbb{R}^N, \\ u \in X, \end{cases}$$
onde $u^+ = \max(u, 0)$ e $u^- = \max(-u, 0)$.

Desafio Principal: Diferentemente dos estudos clássicos do espectro de Fučik em domínios limitados, este problema é definido em todo o espaço $\mathbb{R}^N$. Isso impede o uso direto de certas estimativas e propriedades de compacidade que são válidas em domínios limitados, exigindo o desenvolvimento de novas técnicas adaptadas ao comportamento do peso exponencial $K(x) = e^{|x|^2/4}$ que surge na estrutura variacional do operador.

2. Metodologia

Os autores empregam uma abordagem baseada em Teoria Variacional e Métodos Minimax.

• Estrutura Variacional: O operador $L$ é reescrito na forma divergente $Lu = -\frac{1}{K}\nabla \cdot (K\nabla u)$, onde $K(x) = e^{|x|^2/4}$. Isso permite definir o espaço de trabalho $X$ como o completamento de $C_c^\infty(\mathbb{R}^N)$ sob a norma induzida pelo produto interno ponderado:
  $$(u, v) = \int_{\mathbb{R}^N} \nabla u \cdot \nabla v \, K(x) \, dx$$
  O espaço $X$ é continuamente mergulhado em espaços de Lebesgue ponderados $L^q_K$ e o mergulho é compacto para $q < 2^*$.

• Construção de Curvas: Utilizando o método minimax (inspirado em Cuesta, de Figueiredo e Gossez), os autores constroem curvas no espectro. Eles definem funcionais restritos a variedades de nível (esfera unitária no espaço ponderado) e utilizam o Princípio Variacional de Ekeland e a condição de Palais-Smale (PS) para garantir a existência de pontos críticos.

• Análise de Simetria e Propriedades: A prova explora a simetria do problema e a relação entre os autovalores do operador $L$ e os pontos críticos dos funcionais associados para caracterizar a primeira curva não trivial do espectro.

3. Principais Contribuições e Resultados

A. Existência e Caracterização da Primeira Curva Não Trivial
O artigo estabelece a existência de uma curva não trivial $C$ no espectro de Fučik $\Sigma$, além das duas retas triviais $\{\lambda_1\} \times \mathbb{R}$ e $\mathbb{R} \times \{\lambda_1\}$, onde $\lambda_1 = N/2$ é o primeiro autovalor de $L$.
A curva é definida como:
$$C = \{ (p + c(p), c(p)) : p \in \mathbb{R} \}$$
onde $c(p)$ é um valor crítico obtido via fórmula minimax.

B. Propriedades Qualitativas da Curva $C$
Os autores provam rigorosamente as seguintes propriedades para a curva $C$:

1. Continuidade de Lipschitz: O mapeamento que define a curva é Lipschitz contínuo.
2. Decréscimo Estrito: A função $c(p)$ é estritamente decrescente. Consequentemente, a projeção da curva no eixo horizontal ($p+c(p)$) é estritamente crescente.
3. Comportamento Assintótico: Quando $p \to \infty$, o valor $c(p)$ converge para o primeiro autovalor $\lambda_1$.
4. Posicionamento: A curva $C$ está localizada estritamente acima da linha quebrada $L_2 = \{ (a,b) : \min(a,b) = \lambda_1 \}$, ou seja, para qualquer ponto na curva, $\alpha > \lambda_1$ e $\beta > \lambda_1$.

C. Aplicação: Multiplicidade de Soluções
Como aplicação direta do espectro de Fučik desenvolvido, os autores estudam a solvabilidade de problemas não lineares da forma:
$$-\Delta u - \frac{1}{2}(x \cdot \nabla u) = f(x, u), \quad u \in X$$
Sob condições de linearidade assintótica de $f$ na origem e no infinito (comparando os limites $f_0$ e $f_\infty$ com os autovalores de $L$), eles provam a existência de pelo menos duas soluções positivas não triviais.

• A prova utiliza o Teorema do Passo da Montanha e a verificação da condição $(C)_c$ (uma versão fraca da condição de Palais-Smale adequada para funcionais que não satisfazem a condição PS padrão em espaços não limitados).

4. Significância e Impacto

• Extensão para Domínios Não Limitados: Este trabalho preenche uma lacuna importante na literatura, estendendo a teoria do espectro de Fučik (geralmente restrita a domínios limitados) para o espaço inteiro $\mathbb{R}^N$ com pesos exponenciais. Isso é crucial para a análise de problemas físicos modelados por soluções auto-similares.
• Novas Técnicas de Análise: O artigo demonstra como contornar a falta de compacidade em $\mathbb{R}^N$ através do uso de espaços de Sobolev ponderados e estimativas específicas para o operador com peso, fornecendo um roteiro para estudos futuros em operadores elípticos não padrão.
• Aplicabilidade em Equações Não Lineares: A obtenção de resultados de multiplicidade de soluções para equações semilineares com comportamento assintótico linear abre novas perspectivas para a resolução de problemas físicos e matemáticos onde a não linearidade não é superlinear, mas sim linear em ambos os extremos.

Em suma, o artigo fornece uma fundação teórica robusta para o espectro de Fučik em operadores com crescimento rápido de peso, estabelecendo propriedades geométricas precisas da curva espectral e aplicando esses resultados para garantir a existência de múltiplas soluções em problemas não lineares associados.