Weak Harnack inequality and Cartan property for nonlocal $W^{s,1}$-minimizers

Resumo Técnico: Desigualdade de Harnack Fraca e Propriedade de Cartan para Minimizador Não Locais $W^{s,1}$

Autores: Panu Laiti, Yuxin Li e Khanh Nguyen
Data: 22 de março de 2026 (arXiv:2603.21121v1)

1. Problema e Contexto

O artigo aborda o estudo de regularidade e propriedades potenciais de soluções para problemas variacionais não locais em espaços métricos de medida $(X, d, \mu)$, especificamente no caso crítico onde o expoente $p=1$.

• Contexto Existente: Em 2016, Di Castro, Kuusi e Palatucci ([DKP16]) estabeleceram uma desigualdade de Harnack fraca para o operador $p$-Laplaciano fracionário $(−\Delta)^s_p$ com $1 < p < \infty$.
• O Desafio: O caso $p=1$ é fundamentalmente diferente e mais desafiador. As soluções pertencem ao espaço de funções de variação limitada não local ($W^{s,1}$), que não possui a mesma estrutura de suavidade que os casos $p>1$. Além disso, a regularidade de Hölder contínua (comum para $p>1$) não se espera aqui; em vez disso, busca-se semicontinuidade e propriedades de capacidade.
• Objetivo: Estabelecer uma desigualdade de Harnack fraca para subminimizadores não locais $W^{s,1}$ e derivar propriedades do tipo Cartan para superminimizadores, generalizando resultados conhecidos do caso local (BV) para o cenário não local em espaços métricos gerais.

2. Metodologia e Ferramentas Matemáticas

Os autores desenvolvem a teoria em um espaço métrico de medida completo, conexo e equipado com uma medida duplicante (doubling measure).

• Funcional Variacional: O estudo foca no funcional não local:
  $$F(u, v) = \left( \int_\Omega \int_\Omega + 2 \int_\Omega \int_{\Omega^c} \right) \frac{|u(x) - u(y)| - |v(x) - v(y)|}{\mu(B_{x,y}) d(x,y)^s} d\mu(x) d\mu(y)$$
  onde $B_{x,y} = B(x, d(x,y)) \cup B(y, d(y,x))$.
  Um função $u$ é um subminimizador (ou superminimizador) se satisfizer condições de minimização em relação a perturbações não positivas (ou não negativas).

• Desigualdades de Poincaré Fracionárias: A prova depende crucialmente de desigualdades de Poincaré fracionárias recentes e afiadas (de [KLLZ25]), que permitem controlar a oscilação da função em termos de sua seminorma $W^{s,1}$.

  • O papel da dimensão de duplicação $Q$ e a condição $Q > s$ são essenciais para as estimativas de imersão.

• Técnicas de Obstacle Problem (Problema de Obstáculo): Os autores utilizam a teoria de problemas de obstáculo para construir soluções com propriedades específicas de capacidade. Eles demonstram que soluções de problemas de obstáculo são superminimizadores.

• Capacidade e Finura (Thinness):

  • Definição de Capacidade $(s,1)$: $C_{s,1}(A) = \inf \{ \|u\|_{W^{s,1}(X)} : u \equiv 1 \text{ numa vizinhança de } A \}$.
  • Definição de Conjunto $s$-fino (s-thin): Um conjunto $A$ é $s$-fino em $x$ se a razão entre a capacidade de $A \cap B(x,r)$ e a capacidade da bola $B(x,r)$ tende a zero quando $r \to 0$.

• Análise de Nível (Level Set Analysis): A prova da desigualdade de Harnack utiliza um argumento iterativo de De Giorgi-Caccioppoli adaptado ao caso não local e $p=1$, envolvendo estimativas de energia em anéis concêntricos e o uso de funções de corte Lipschitz.

3. Principais Resultados

O artigo apresenta quatro teoremas principais e um corolário:

A. Desigualdade de Harnack Fraca (Teorema 1.1)
Estabelece que para um subminimizador $u$ em uma bola $B(x_0, R)$, o supremo essencial em uma sub-bola $B(x_0, r)$ é controlado pela média integral da parte positiva da função, sem a necessidade de um termo de cauda (tail term), que é comum em casos $p>1$.
$$\text{ess sup}_{y \in B(x_0, r)} (u(y) - k_0) \leq C \left( \frac{R}{R-r} \right)^Q \fint_{B(x_0, R)} (u - k_0)_+ \, d\mu$$

• Observação: Se o espaço suportar uma desigualdade de Poincaré 1, a constante $C$ tem um comportamento estável quando $s \to 1^-$.

B. Semicontinuidade (Corolário 1.2)
Como consequência direta da desigualdade de Harnack, os autores provam que:

• O limite inferior aproximado $u^\wedge$ de um superminimizador é semicontínuo inferiormente.
• O limite superior aproximado $u^\vee$ de um subminimizador é semicontínuo superiormente.
  Isso fornece um representante pontual "bom" para as soluções, mesmo que elas não sejam contínuas.

C. Propriedade de Cartan Fraca (Teorema 1.3)
Para um conjunto $A$ que é $s$-fino em um ponto $x \in A \setminus A$ (ponto de fronteira), existem $k$ superminimizadores (funções indicadoras de conjuntos $E_j$) tais que:

1. O máximo dos seus limites inferiores aproxima 1 em $A$ perto de $x$.
2. Os limites superiores desses superminimizadores são 0 no ponto $x$.
3. O conjunto onde o máximo dos limites superiores é positivo é $s$-fino em $x$.

• Significado: Isso generaliza a propriedade de Cartan clássica, mostrando que a "finura" de um conjunto pode ser detectada pela presença de múltiplos superminimizadores que "saltam" de 0 para 1 na vizinhança do ponto.

D. Propriedade de Cartan Forte (Teorema 1.4)
Se o ponto $x$ tem capacidade estritamente positiva ($C_{s,1}(\{x\}) > 0$) e $A$ é $s$-fino em $x$, então existe um único superminimizador $u$ tal que:
$$\lim_{A \ni y \to x} u^\wedge(y) = \infty > u^\vee(x)$$
Isso demonstra uma singularidade forte no ponto $x$ para soluções do problema de obstáculo associado.

4. Contribuições Chave e Significância

1. Novidade no Caso $p=1$: Os resultados são novos mesmo no cenário euclidiano clássico ($\mathbb{R}^n$). A teoria para $W^{s,1}$ não local é distinta da teoria local de BV (Variação Limitada) e da teoria não local para $p>1$.
2. Generalização para Espaços Métricos: A teoria é desenvolvida em espaços métricos de medida gerais (com medida duplicante), não apenas em $\mathbb{R}^n$, o que amplia o escopo de aplicações para geometria fractal e análise em variedades não suaves.
3. Eliminação do Termo de Cauda (Tail): Diferente da desigualdade de Harnack para $p>1$, que depende de um termo de cauda (que mede o comportamento da função longe da bola), a versão para $p=1$ estabelecida aqui não requer tal termo, simplificando a estrutura da estimativa.
4. Conexão entre Capacidade e Regularidade: O trabalho estabelece uma ligação profunda entre a teoria de capacidade não local ($s$-finura) e o comportamento pontual de minimizadores, provando que a estrutura do conjunto de singularidades é controlada pela capacidade $(s,1)$.
5. Analogia com o Caso Local: O artigo demonstra que a teoria não local $W^{s,1}$ é "majoritariamente análoga" ao caso local de super/subminimizadores BV, validando a extensão de conceitos clássicos de análise variacional para o regime fracionário crítico.

Conclusão

Este artigo preenche uma lacuna significativa na análise não local, fornecendo as ferramentas fundamentais (Harnack, semicontinuidade, propriedades de Cartan) para o estudo de minimizadores no caso crítico $p=1$. Os resultados sugerem que, apesar da falta de regularidade de Hölder, as soluções possuem uma estrutura de semicontinuidade e comportamento de fronteira bem definido, governado pela capacidade fracionária.