Strong maximum principle for fully nonlinear nonlocal problems

Resumo Técnico: Princípio do Máximo Forte para Problemas Não Locais Não Lineares Completos

Autores: Juan Pablo Cabeza, Gabrielle Nornberg e Disson dos Prazeres.
Instituições: Universidade de Chile e Universidade Federal de Sergipe.

1. O Problema Investigado

O artigo estuda a solvabilidade e as propriedades qualitativas de soluções não negativas para um problema não local sublinear com estrutura totalmente não linear. O problema é formulado como:

$$\begin{cases} \mathcal{M}^{\pm}[u] + a(x)u^{q(x)} = 0 & \text{em } \Omega, \\ u \geq 0 & \text{em } \Omega, \end{cases}$$

Onde:

• $\Omega \subset \mathbb{R}^n$ é um domínio limitado, convexo e de classe $C^{1,1}$.
• $\mathcal{M}^{\pm}$ são os operadores extremais de Pucci não locais, definidos sobre uma classe $\mathcal{L}^*$ de operadores integro-diferenciais lineares com núcleos homogêneos.
• $q \in (0, 1)$ representa o caso sublinear.
• $a \in C(\Omega)$ é um peso que pode mudar de sinal.
• A condição de contorno é não local, envolvendo o comportamento da solução fora do domínio ($\mathbb{R}^n \setminus \Omega$).

O foco central é investigar a validade do Princípio do Máximo Forte (SMP) neste contexto não local. Especificamente, os autores analisam sob quais condições as soluções não triviais são estritamente positivas no domínio ou se podem formar "dead cores" (núcleos mortos), ou seja, regiões onde a solução se anula não trivialmente.

2. Metodologia e Ferramentas Principais

A abordagem dos autores combina análise não local, teoria de soluções de viscosidade e estimativas de regularidade. As ferramentas-chave incluem:

• Soluções de Viscosidade: O trabalho utiliza a definição padrão de soluções de viscosidade para operadores integro-diferenciais, adaptada para funções semicontínuas e com normas de decaimento específicas ($L^1_s$).
• Lema de Hopf Não Local: Os autores provam uma versão do Lema de Hopf para operadores de Pucci não lineares. Este resultado é crucial para estabelecer o comportamento da solução na fronteira, garantindo que, sob certas condições, a solução cresce como $d(x)^s$ (onde $d(x)$ é a distância à fronteira) ao se aproximar de um ponto de anulação.
• Teoremas de Liouville: Utilizam-se teoremas de Liouville para obter limites inferiores uniformes para o máximo de soluções não triviais. Isso impede que as soluções degenerem para zero no limite, garantindo a existência de soluções não triviais com massa positiva.
• Construção de Barreiras: Desenvolvimento de funções barreira radiais e construídas via operadores extremais para controlar o comportamento da solução em anéis e domínios internos.
• Análise de Normas de Cauda: Uma inovação metodológica é a introdução de uma hipótese sobre a parte negativa da solução fora do domínio ($u^-$). A norma $\|u^-\|_{L^1_s(\mathbb{R}^n)}$ é usada como parâmetro crítico para determinar se o SMP é violado.

3. Contribuições e Resultados Principais

A. Hipótese Não Local Crítica
O artigo identifica que, em problemas não locais, a presença de uma parte negativa não trivial da solução fora do domínio ($\mathbb{R}^n \setminus \Omega$) é o fator determinante para a formação de dead cores. Diferentemente do caso local, onde a positividade no domínio é frequentemente garantida, no caso não local, a interação com o exterior pode forçar a solução a zero dentro do domínio.

B. Teoremas de Não Existência de Dead Cores (SMP Válido)
Os autores estabelecem condições suficientes para que o SMP seja válido (ou seja, $u > 0$ em $\Omega$):

• Teorema 1: Se a norma da parte negativa da solução fora do domínio, $\|u^-\|_{L^1_s(\mathbb{R}^n)}$, for suficientemente pequena ($< \delta$), e a solução tiver um crescimento controlado no infinito, então toda solução não trivial pertence à classe $P_0(\Omega)$ (soluções estritamente positivas no interior e com derivada normal fracionária negativa na fronteira).
• Teorema 2: Se o peso $a(x)$ for estritamente positivo em $\Omega$, a condição de sinal no exterior pode ser relaxada, mas uma pequenaza na norma de $u^-$ ainda é necessária para garantir o SMP.

C. Regularidade e Comportamento na Fronteira

• Prova-se um Lema de Hopf para operadores extremais não lineares, mostrando que se $u(x_0)=0$ na fronteira e $u \geq 0$, então $\liminf \frac{u(x)}{|x-x_0|^s} > 0$ sob certas condições de geometria e pequenaza de $u^-$.
• Estabelecem-se resultados de regularidade para supersoluções em pontos de contato com a fronteira do conjunto de positividade, mostrando que $|u(y)| \leq C|y-x|^{2s}$.

D. Existência de Soluções e Violação do SMP

• Teorema 4: Garante a existência de soluções não triviais para o problema com dados de contorno não nulos ($g$), desde que a parte negativa de $g$ seja pequena em norma $L^1_s$.
• Exemplo 1 (Contra-exemplo): Os autores demonstram que, se a norma $\|u^-\|_{L^1_s}$ for grande, o SMP pode falhar. Eles constroem uma família de soluções onde, ao aumentar a magnitude da parte negativa no exterior, a solução no interior atinge zero, formando um dead core. Isso prova que a hipótese de pequenaza da norma negativa é necessária e não removível.

4. Significância e Impacto

• Preenchimento de Lacunas Teóricas: O trabalho resolve questões abertas sobre o Princípio do Máximo Forte em equações integro-diferenciais totalmente não lineares, um cenário onde a não-localidade introduz dificuldades que não existem no caso local (PDEs clássicas).
• Mecanismo de Formação de Dead Cores: O artigo esclarece o mecanismo físico-matemático por trás da formação de dead cores em processos não locais, vinculando-o diretamente à interação da solução com o exterior do domínio. Isso tem implicações diretas em modelagem de processos de combustão, dinâmica populacional e reações químicas onde a difusão não local é relevante.
• Novas Ferramentas Analíticas: A prova do Lema de Hopf para operadores de Pucci não lineares e o uso de teoremas de Liouville para obter limites inferiores uniformes são contribuições independentes que podem ser aplicadas a outros problemas de equações integro-diferenciais.
• Rigidez das Condições de Contorno: O trabalho destaca que, em problemas não locais, as condições de contorno não são apenas valores na fronteira, mas o comportamento global da função no complemento do domínio, o que exige novas hipóteses de controle (como a norma $L^1_s$) para garantir propriedades qualitativas desejadas.

Em suma, o artigo estabelece uma teoria robusta para a positividade de soluções em problemas não locais sublineares, demonstrando que a violação do Princípio do Máximo Forte é um fenômeno controlado pela magnitude da "cauda negativa" da solução fora do domínio.