Existence of Positive Solutions to Semilinear Equations with Sublinear Nonlinearities and Compact Positivity-Improving Resolvent

Resumo Técnico: Existência de Soluções Positivas para Equações Semilineares com Não Linearidades Sublineares e Resolvente Compacta de Melhoria de Positividade

Enunciado do Problema
O artigo aborda a existência de soluções estritamente positivas para a equação semilinear
$$-Lu = f(x,u) \quad \text{em } E,$$
onde $L$ é o gerador de um semigrupo positivo fortemente contínuo $(T_t)$ em $L^p(E;m)$ ($p \geq 1$) definido em um espaço de medida de Lusin $(E, \mathcal{A}, m)$. A não linearidade $f$ é uma função de Carathéodory do tipo assintoticamente sublinear. O desafio central é estabelecer critérios de existência em um quadro abstrato de teoria de operadores que não dependa das propriedades geométricas específicas de um domínio, da simetria do operador ou de propriedades adicionais de regularização da resolvente (como ultracontratividade ou suavização), que são tipicamente exigidas na teoria elíptica clássica para aplicar técnicas de minimização ou garantir a limitação das soluções.

Metodologia
Os autores desenvolvem uma abordagem unificada que faz a ponte entre métodos baseados na ordem (especificamente o método das sub e supersoluções) e ideias espectrais inspiradas em Brézis e Oswald. A metodologia procede através de várias etapas distintas:

1. Quadro Espectral: A análise baseia-se na suposição de que a resolvente de $-L$ é compacta e de melhoria de positividade. Isso garante a existência de um par eigenprincipal $(\lambda_1, \phi_1)$ com $\phi_1 \gg 0$. A existência de soluções é governada pelas inclinações assintóticas generalizadas inferiores e superiores de $f(x,u)/u$ em zero ($a_0$) e no infinito ($a_\infty$).
2. Realização Probabilística: Uma etapa técnica crucial envolve a realização da resolvente em $L^p$ como a resolvente de um processo de Markov à direita em um espaço de Lusin. Isso permite aos autores utilizar ferramentas da teoria do potencial, especificamente a teoria das funções supermedianas e das funções excessivas.
3. Redução Sub-Markoviana: Inicialmente, a análise assume que o semigrupo é sub-Markoviano ($T_t 1 \leq 1$). Sob essa suposição, os autores estabelecem:
   • Um teorema de compacidade do tipo Deny para sequências de funções supermedianas.
   • Uma desigualdade do tipo Kato adaptada ao cenário abstrato usando fórmulas de Itô-Meyer e representações probabilísticas.
   • Um método de sub e supersoluções para equações da forma $u = \gamma + Rg(\cdot, u)$, onde $\gamma$ é uma função supermediana.
4. Transformação de Doob: Para remover a restrição sub-Markoviana, os autores empregam uma transformação de Doob baseada na autofunção principal $\phi_1$. Isso transforma o semigrupo original em um semigrupo sub-Markoviano, permitindo que os resultados derivados no caso sub-Markoviano sejam estendidos ao cenário geral de melhoria de positividade.
5. Unicidade: Sob suposições adicionais de estrita monotonicidade no quociente $u \mapsto f(x,u)/u$, a unicidade é provada usando propriedades espectrais de operadores perturbados e um argumento de contradição envolvendo o limite espectral.

Resultados Chave

• Teorema de Existência (Tipo Brézis–Oswald): O resultado principal (Teorema 8.2) afirma que, se os autovalores principais dos operadores perturbados satisfizerem a condição
  $$\lambda_1(a_0) < 0 < \lambda_1(a_\infty),$$
  onde $\lambda_1(a_0)$ e $\lambda_1(a_\infty)$ são os autovalores principais de $-L + a_0$ e $-L + a_\infty$, respectivamente, então a equação (1.1) admite uma solução estritamente positiva.
• Quadro Generalizado: O teorema vale sem exigir que o espaço subjacente seja um domínio suave, que o operador seja simétrico ou que a resolvente possua propriedades de suavização. A não linearidade $f$ é tratada com o mesmo nível de generalidade que na teoria sublinear clássica.
• Unicidade: Se a função $y \mapsto f(x,y)/y$ for estritamente decrescente e localmente Lipschitz, a solução positiva é única (Teorema 9.3).
• Monotonicidade das Soluções: O artigo estabelece a existência de um mapa $S: \mathcal{F} \to L^p(E;m)$ que atribui uma solução a cada não linearidade admissível $f$, o qual preserva a ordem das não linearidades (Corolário 8.3).

Significado e Alegações
O artigo alega fornecer uma "ponte entre métodos baseados na ordem e a teoria clássica baseada em energia de problemas sublineares". Sua contribuição primária reside em demonstrar que o critério de Brézis–Oswald sobrevive em um cenário altamente abstrato onde ferramentas variacionais padrão (como minimização) e argumentos de compacidade baseados em suavização estão indisponíveis.

Os autores enfatizam que a novidade não está apenas no resultado, mas na técnica de prova. Ao combinar o método das sub e supersoluções com representações probabilísticas (via processos de Markov à direita) e teoria espectral, eles contornam a necessidade de suposições geométricas ou de regularização sobre o operador $L$. O uso de funções supermedianas e da transformação de Doob permite aos autores lidar com a falta de limites a priori nas soluções e a ausência de um mergulho compacto no cenário geral em $L^p$. O trabalho expande a aplicabilidade da teoria de existência sublinear para uma ampla classe de operadores e espaços anteriormente inacessíveis a esses métodos específicos.