Local and non-local $p$-energies on metric measure spaces

Resumo Técnico: Energias $p$-locais e não locais em espaços de medida métrica

Enunciado do Problema
Este artigo investiga a relação entre energias $p$-regulares locais e não locais em espaços de medida métrica $(X, d, m)$ para $p > 1$. Especificamente, aborda o fenômeno da "subordinação": sob quais condições geométricas e analíticas uma energia $p$-regular local, satisfazendo desigualdades funcionais específicas, induz uma energia $p$-regular não local via um núcleo de salto (jumping kernel).

O estudo é motivado pelo arcabouço clássico das formas de Dirichlet ($p=2$), onde princípios de subordinação ligam o movimento browniano (local) a processos do tipo estável (não local). No caso linear, sabe-se que, se uma forma de Dirichlet local satisfaz uma desigualdade de Poincaré e uma desigualdade de Sobolev com corte (cutoff Sobolev inequality), a forma não local associada (definida por um núcleo com escalonamento específico) satisfaz desigualdades não locais análogas. O desafio central abordado aqui é estender esses resultados para o cenário não linear ($p \neq 2$) em espaços de medida métrica gerais, particularmente em fractais onde estruturas de gradiente podem estar ausentes.

O artigo propõe as seguintes questões centrais:

1. Dado uma energia $p$-regular fortemente local que satisfaz uma desigualdade de Poincaré $PI(L)(\Psi)$ e uma desigualdade de Sobolev com corte $CS(L)(\Psi)$, para quais funções de escalonamento $\Upsilon$ a energia $p$-não local induzida (definida por um núcleo de salto $K^{(\Upsilon)}$) constitui uma energia $p$-regular?
2. Essa forma não local satisfaz desigualdades funcionais não locais ($PI(J)$e$CS(J)$) e, em caso afirmativo, qual é a função de escalonamento resultante $\Xi$?
3. Esses resultados podem ser derivados diretamente das desigualdades funcionais locais sem depender de estimativas de núcleo de calor (heat kernel)?

Metodologia
O autor emprega uma abordagem puramente analítica, evitando a dependência de estimativas de núcleo de calor ou representações probabilísticas. A metodologia baseia-se nos seguintes componentes fundamentais:

• Equivalência de Desigualdades: O artigo estabelece primeiro a equivalência entre várias versões da desigualdade de energia com corte ($CE$) e da desigualdade de Sobolev com corte ($CS$) tanto em configurações locais quanto não locais. Crucialmente, prova-se que as versões "fracas" (sem suposições de continuidade sobre as funções de corte) implicam as versões "fortes" (onde as funções de corte são Hölder contínuas). Essa equivalência é vital porque a existência de funções de corte Hölder contínuas é necessária para estabelecer a regularidade do espaço de energia.
• Regularidade de Soluções: Para provar as versões fortes das desigualdades, o autor utiliza a regularidade interior e de fronteira de soluções para equações do tipo $p$-Laplace ($-\Delta_p u = f$). Isso envolve o estabelecimento de desigualdades de oscilação e desigualdades de Harnack fracas. No cenário não local, cuidados especiais são tomados para lidar com os "termos de cauda" (tail terms) decorrentes da natureza não local do operador.
• Partição da Unidade e Convolução Discreta: Para derivar desigualdades não locais a partir de locais, o artigo constrói partições da unidade com energia controlada. Um argumento analítico novel envolvendo convolução discreta é usado para transferir a desigualdade de Poincaré local para o cenário não local.
• Análise de Escalonamento: A relação entre as funções de escalonamento da energia local ($\Psi$), do núcleo de salto ($\Upsilon$) e da energia não local resultante ($\Xi$) é analisada através de condições de convergência de séries e estimativas integrais.

Contribuições Principais e Resultados

1. Equivalência de Condições de Corte:
   O Teorema 2.1 e o Teorema 2.2 estabelecem que, para ambas as energias $p$-regulares locais e não locais, as versões fortes, contínuas e fracas da desigualdade de energia com corte ($CE$) e da desigualdade de Sobolev com corte ($CS$) são equivalentes, desde que a condição de duplicação de volume (VD) seja satisfeita. Isso resolve uma lacuna técnica referente à regularidade das funções de corte no cenário não linear.

2. Regularidade de Energias $p$-não Locais:
   A Proposição 2.6 demonstra que uma forma $p$-não local que satisfaz a desigualdade de Poincaré não local e a desigualdade de Sobolev com corte contínua é, de fato, uma energia $p$-regular. Isso confirma que as desigualdades funcionais são suficientes para garantir que o espaço contenha funções contínuas suficientes para a teoria potencial.

3. O Teorema de Subordinação (Resultado Principal):
   O Teorema 2.9 fornece o principal resultado de "subordinação". Ele afirma que, se uma energia $p$-regular fortemente local satisfaz $PI(L)(\Psi)$ e $CE(L)_{strong}(\Psi)$, e se a função de escalonamento $\Upsilon$ do núcleo de salto satisfaz uma condição de crescimento superior estrita em escalas pequenas em relação a $\Psi$:
   $$\sum_{n=0}^{\infty} \frac{\Psi(2^{-n})}{\Upsilon(2^{-n})} < +\infty$$
   então a energia $p$-não local induzida é uma energia $p$-regular. Além disso, ela satisfaz desigualdades de Poincaré e de Sobolev com corte não locais com uma nova função de escalonamento $\Xi$ explicitamente determinada por:
   $$\Xi(r) = \Psi(r) \int_0^r \frac{d\Psi(t)}{\Upsilon(t)}$$
   O artigo prova que esta condição de crescimento é não apenas suficiente, mas também necessária para que o espaço não local contenha funções não constantes.

4. Generalização de Exemplos Clássicos:
   O Corolário 2.11 aplica esses resultados a funções de escalonamento específicas (funções de potência por partes), recuperando resultados conhecidos para processos do tipo estável em fractais e estendendo-os para casos com caudas polinomiais leves no infinito. O Corolário 2.12 estabelece uma desigualdade de Poincaré do tipo BBM (Bourgain-Brezis-Mironescu) para energias não locais derivadas de locais, fornecendo uma ponte entre energias $p$ não locais e locais no limite.

Significância e Alegações
O artigo alega fornecer uma extensão não linear do clássico princípio de subordinação além do arcabouço de formas de Dirichlet ($p=2$). Sua significância reside em:

• Derivação Direta: O trabalho responde se desigualdades funcionais não locais podem ser derivadas diretamente de locais sem estimativas de núcleo de calor, afirmando que isso é possível via os argumentos analíticos construídos.
• Aplicabilidade em Fractais: Os resultados são formulados para espaços de medida métrica gerais, incluindo fractais onde nenhuma estrutura de gradiente ou de gradiente superior está disponível, baseando-se, em vez disso, na existência de energias $p$-locais e desigualdades funcionais.
• Novidade Técnica: A prova da implicação de desigualdades de corte fracas para fortes via regularidade de EDP, e o uso de convolução discreta para transferir desigualdades locais para o cenário não local, são apresentados como técnicas analíticas novas, mesmo no caso linear.

O autor observa que estes resultados cobrem exemplos onde os núcleos de salto possuem caudas polinomiais leves no infinito, um regime onde métodos anteriores baseados em estimativas de núcleo de calor podem ser menos diretos. O trabalho posiciona-se como um passo fundamental para a compreensão da interação entre energias $p$-locais e não locais em espaços gerais.