Elliptic Harnack inequality and Poincaré inequality for $p$-energies on metric measure spaces

Resumo Técnico: Desigualdade de Harnack Elíptica e Desigualdade de Poincaré para $p$-energias em Espaços de Medida Métrica

Enunciado do Problema
O artigo aborda a relação estrutural entre desigualdades funcionais no contexto de $p$-energias não lineares em espaços de medida métrica $(X, d, m)$. Embora a equivalência entre a desigualdade de Harnack elíptica (EHI), limites de capacidade de dois lados, a desigualdade de Poincaré (PI) e a desigualdade de Sobolev de corte (CS) seja bem estabelecida para formas de Dirichlet lineares ($p=2$), o caso não linear ($p > 1$) carece de um semigrupo linear ou de um núcleo de calor, tornando tais equivalências mais difíceis de provar.

Especificamente, o autor busca completar o análogo não linear da equivalência clássica:
$$\text{EHI} + \text{cap}(\Psi) \iff \text{PI}(\Psi) + \text{CS}(\Psi)$$
onde $\Psi$ é uma função de escala adequada. Trabalhos anteriores do autor [28] já haviam estabelecido as implicações $\text{EHI} + \text{cap}(\Psi) \Rightarrow \text{CS}(\Psi)$ e $\text{PI}(\Psi) + \text{CS}(\Psi) \Rightarrow \text{EHI} + \text{cap}(\Psi)$. O passo aberto restante, que este artigo resolve, é derivar a desigualdade de Poincaré $\text{PI}(\Psi)$ a partir da desigualdade de Harnack elíptica e dos limites de capacidade de dois lados.

Metodologia
A estratégia de prova combina técnicas do trabalho anterior do autor [28] com métodos recentes introduzidos em [11] relativos a desigualdades de Harnack parabólicas em espaços com estruturas de gradiente superior. O argumento procede em duas etapas principais:

1. Redução à Desigualdade de Faber–Krahn:
   Seguindo a estratégia em [11], o autor reduz a prova de $\text{PI}(\Psi)$ ao estabelecimento de uma desigualdade de Faber–Krahn, denotada por $\text{FK}(\Psi)$. Esta desigualdade fornece um limite inferior para o primeiro autovalor do $p$-Laplaciano em um domínio em termos da medida do domínio e da função de escala $\Psi$.
   O autor prova que $\text{PI}(\Psi)$ segue se for possível estabelecer uma estimativa da forma:
   $$\left( \fint_{B(x_0, R)} |f - c|^p dm \right)^{1/p} \lesssim \left( \frac{\Psi(R)}{V(x_0, R)} \int_{B(x_0, AR)} d\Gamma(f) \right)^{1/p} + \epsilon \fint_{B(x_0, R)} |f| dm$$
   para uma constante $\epsilon$ adequada. Isso é alcançado decompondo a função $f$ em uma parte harmônica e um resíduo, utilizando as estimativas de oscilação derivadas de EHI.

2. Estabelecimento de Faber–Krahn via Potenciais de Wolff:
   Para provar $\text{FK}(\Psi)$, o autor emprega uma técnica padrão de decomposição de Maz'ya, que reduz o problema a estimar a medida de um conjunto $K$ em termos de sua capacidade relativa:
   $$m(K) \lesssim \Psi(R) \, \text{cap}(K, X \setminus B(x_0, AR)).$$
   Esta estimativa é derivada usando estimativas de potencial de Wolff estabelecidas em [28]. A prova envolve:

   • Construção de um potencial capacitar associado ao conjunto $K$.
   • Utilização da medida de Riesz $\mu$ associada à função superharmônica $u$.
   • Aplicação de estimativas de potencial de Wolff para limitar $u(x_0)$ de baixo, ligando o potencial à medida $\mu$ e à capacidade.
   • Uso da duplicação de volume (VD) e dos limites de capacidade para controlar a série do potencial de Wolff.
   • Aplicação do lema de cobertura 5B para somar as medidas de bolas disjuntas que cobrem $K$, limitando assim $m(K)$ pela capacidade.

Premissas Principais
Os resultados sustentam-se sob as seguintes suposições estruturais no espaço de medida métrica $(X, d, m)$ e na $p$-energia $(\mathcal{E}, \mathcal{F})$:

• Geométricas: Duplicação de Volume (VD) e a Condição de Cadeia (CC).
• Analíticas:
  • EHI: A Desigualdade de Harnack Elíptica ocorre.
  • cap($\Psi$): Limites de capacidade de dois lados ocorrem.
  • BSP: Positividade do Espectro Inferior (positividade do primeiro autovalor em domínios limitados).
  • LSC: Condição de Semi-Continuidade Inferior para funções superharmônicas.
  • Condição Adicional: Ou a condição de Conectividade Local Linear (LLC) ocorre, ou a Desigualdade de Harnack Elíptica do Anel ($\text{EHI}_{\text{ann}}$) ocorre.

Principais Resultados

1. Teorema 1.1: Sob as suposições de VD, LSC, BSP, EHI e cap($\Psi$), se tanto LLC quanto $\text{EHI}_{\text{ann}}$ ocorrerem, então a desigualdade de Poincaré $\text{PI}(\Psi)$ ocorre.
2. Corolários 1.3 e 1.4: Ao combinar o Teorema 1.1 com resultados anteriores de [28], o artigo estabelece a equivalência total:
   $$\text{EHI} + \text{cap}(\Psi) \iff \text{PI}(\Psi) + \text{CS}(\Psi)$$
   Esta equivalência ocorre sob as mesmas suposições estruturais (VD, LSC, BSP e tanto LLC quanto $\text{EHI}_{\text{ann}}$).

Significância e Alegações
O artigo alega fornecer o "passo restante" para a equivalência total do análogo não linear conhecido para o caso clássico ($p=2$).

• Unificação Estrutural: O resultado demonstra que a teoria não linear de $p$-energias possui a mesma forma estrutural que a teoria clássica de formas de Dirichlet ao nível elíptico. Especificamente, o "lado de Harnack–capacidade" e o "lado de Poincaré–corte" são equivalentes.
• Robustez: Na ausência de núcleos de calor (que geralmente não existem para $p$-energias não lineares), esta equivalência fornece um substituto robusto para as equivalências clássicas conhecidas no cenário linear.
• Contribuição Técnica: O trabalho adapta argumentos de [11] (originalmente para desigualdades de Harnack parabólicas em espaços com gradientes superiores) para o cenário mais geral de espaços de medida métrica, incluindo fractais, estabelecendo a necessária desigualdade de Faber–Krahn via estimativas de potencial de Wolff.

O autor observa que, para o caso específico $p=2$, a implicação $\text{EHI} + \text{cap}(\Psi) \Rightarrow \text{PI}(\Psi)$ já é conhecida sob VD isoladamente. No entanto, para $p > 1$ geral, as suposições adicionais de LSC, BSP e tanto LLC quanto $\text{EHI}_{\text{ann}}$ são necessárias devido à não linearidade e às limitações das técnicas atuais.