Liouville type theorems for fully nonlinear elliptic equations with superlinear growth in gradient

Resumo Técnico: Teoremas de Liouville para Equações Elípticas Totalmente Não Lineares com Crescimento Superlinear no Gradiente

Enunciado do Problema
Este artigo investiga a inexistência de supersoluções positivas para um sistema de equações elípticas totalmente não lineares impulsionadas pelos operadores extremais de Pucci em domínios exteriores ($\mathbb{R}^n \setminus B_{R_0}$). O sistema é dado por:
$$\begin{cases} -M^+_{\lambda,\Lambda}(D^2u) + |\nabla u|^q \ge \lambda_1 f_1(v) & \text{em } \mathbb{R}^n \setminus B_{R_0}, \\ -M^+_{\lambda,\Lambda}(D^2v) + |\nabla v|^q \ge \lambda_2 f_2(u) & \text{em } \mathbb{R}^n \setminus B_{R_0}, \end{cases}$$
onde $n \ge 2$, $q > 1$, $\lambda_1, \lambda_2 > 0$, e $f_1, f_2$ são funções não decrescentes que exibem comportamento do tipo potência próximo à origem ou no infinito. O estudo foca em soluções dentro da classe de regularidade de Sobolev $W^{2,p}_{loc}$ ($p > n$), em vez da estrutura clássica $C^2$, que é a regularidade natural para equações totalmente não lineares uniformemente elípticas.

Metodologia
Os autores desenvolvem um arcabouço para superar a falta de diferenciabilidade de segunda ordem pontual e a ausência de estruturas variacionais ou identidades integrais típicas de equações totalmente não lineares. A metodologia baseia-se em várias ferramentas técnicas fundamentais:

1. Redução Radial e Classificação: Utilizando princípios de comparação e a invariância rotacional do operador de Pucci, os autores estabelecem que a existência de uma supersolução positiva geral implica a existência de uma supersolução radial positiva. Eles classificam essas soluções radiais em duas categorias: aquelas que decaem para zero no infinito e aquelas que exibem comportamento de explosão (blow-up) ($u, v \to +\infty$).
2. Dimensão Efetiva: Um conceito central introduzido é a "dimensão efetiva" $e_n^+ = \frac{\lambda}{\Lambda}(n-1) + 1$. Esta quantidade substitui a dimensão euclidiana $n$ na análise qualitativa de soluções envolvendo operadores de Pucci.
3. Transformações Não Lineares e Monotonicidade: Para lidar com a regularidade $W^{2,p}$, os autores empregam transformações não lineares adaptadas à estrutura do gradiente. Eles utilizam princípios de cruzamento de níveis para perfis radiais absolutamente contínuos e propriedades de transversalidade de quantidades auxiliares para estabelecer a eventual monotonicidade e convexidade das soluções.
4. Dominação do Gradiente e Argumentos de Duplicação: A análise envolve a derivação de estimativas de decaimento inferior e superior precisas. Para o caso $q > q_c$, os autores adaptam o "lema de duplicação" (doubling lemma, introduzido por Birindelli e Demengel) para o cenário de Pucci, realizando argumentos de reescalonamento para derivar equações limites e identificar contradições.
5. Expoentes Críticos: O estudo identifica um expoente crítico $q_c = \frac{e_n^+}{e_n^+ - 1}$ que governa o comportamento qualitativo das supersoluções. A análise é dividida em três regimes: $q < q_c$, $q = q_c$ e $q > q_c$.

Principais Contribuições e Resultados

• Teoremas de Tipo Liouville Precisos: O artigo estabelece critérios de inexistência ótimos para supersoluções positivas em domínios exteriores. Os resultados são precisos (sharp), o que significa que, se as condições de inexistência forem violadas, supersoluções positivas explícitas podem ser construídas.
• Nível de Regularidade: Diferentemente de trabalhos anteriores sobre sistemas semelhantes (ex: Burgos-Pérez e García-Melián) que dependiam de soluções $C^2$, este trabalho estabelece a teoria no nível $W^{2,p}_{loc}$ ($p>n$), que é a regularidade padrão para equações totalmente não lineares.
• Papel da Dimensão Efetiva: Os autores demonstram que os limiares críticos de inexistência são determinados pela interação entre o expoente do gradiente $q$, a dimensão efetiva $e_n^+$ e o comportamento assintótico das não linearidades $f_1, f_2$.
• Análise de Regimes:
  • Caso $1 < q < q_c$: A inexistência é provada quando $p_1 p_2 \le q^2$ ou quando desigualdades específicas envolvendo os expoentes $\alpha_1, \alpha_2$ e o valor crítico $\beta = \frac{2-q}{q-1}$ são satisfeitas.
  • Caso $q = q_c$: Resultados de inexistência são derivados para $p_1 p_2 \le q_c^2$ e intervalos específicos de $p_1 p_2 > q_c^2$.
  • Caso $q > q_c$: A análise torna-se mais complexa, envolvendo dois pares de expoentes críticos ($\bar{\alpha}_i$ e $\hat{\alpha}_i$). O artigo fornece condições de inexistência baseadas na interação entre esses expoentes e a dimensão efetiva.
  • Comportamento de Explosão (Blow-up): O artigo também aborda supersoluções que explodem no infinito, provando sua inexistência sob certas condições nas não linearidades no infinito (Teorema 2.5).
• Otimalidade: Os autores fornecem contraexemplos (construindo supersoluções radiais explícitas) para mostrar que suas condições de inexistência são ótimas. Essas construções envolvem o equilíbrio das taxas de decaimento dos termos de Pucci, termos de gradiente e termos de reação.

Significância
O artigo afirma preencher uma lacuna significativa na literatura ao estender a teoria de Liouville para sistemas elípticos semilineares com termos de gradiente não lineares para o cenário totalmente não linear impulsionado por operadores extremais de Pucci. Ele revela o papel fundamental da dimensão efetiva $e_n^+$ na determinação dos limiares críticos de inexistência, de forma análoga a como a dimensão euclidiana funciona no caso do Laplaciano. Ao trabalhar dentro do arcabouço $W^{2,p}$, os resultados fornecem uma teoria mais robusta e natural para equações totalmente não lineares, evitando a suposição artificial de regularidade clássica $C^2$. As descobertas servem como um análogo totalmente não linear para a teoria de Liouville para sistemas semilineares e fornecem um arcabouço para estudar problemas semelhantes além do cenário clássico.