On singularity of $p$-energy measures on metric measure spaces

Resumo Técnico: Sobre a singularidade de medidas de energia $p$ em espaços métricos de medida

Enunciado do Problema
O artigo aborda a singularidade de medidas de energia $p$ em relação à medida de referência subjacente em espaços métricos de medida. No contexto de formas de Dirichlet, um processo de difusão corresponde a uma forma de Dirichlet regular local associada a uma medida de energia. No caso clássico $p=2$, está estabelecido que, em fractais (como o gasket e o tapete de Sierpiński), a medida de energia é singular em relação à medida subjacente se, e somente se, a dimensão de caminhada $\beta$ for estritamente maior que 2. Este artigo busca generalizar esse resultado para o cenário não linear onde $p > 1$, investigando a conjectura de que, para uma energia $p$ com dimensão de caminhada $p$, $\beta_p$, a medida de energia $p$ associada é singular em relação à medida subjacente sempre que $\beta_p > p$.

Metodologia
O autor emprega uma estratégia análoga à prova para o caso $p=2$ encontrada em [27], utilizando a interação entre desigualdades funcionais e propriedades geométricas do espaço. A metodologia central envolve:

1. Desigualdades Funcionais: A análise baseia-se na desigualdade de Poincaré ($PI$) e na desigualdade de Sobolev de corte ($CS$), ambas formuladas com uma função de escala específica $\Psi(r) = r^{\beta_p}$.
2. Aproximação por Funções Harmônicas: A prova constrói uma sequência de "funções harmônicas por partes" que aproximam qualquer função não negativa no domínio da energia $p$. Isso envolve definir funções harmônicas em conjuntos abertos limitados via princípios variacionais e utilizar a condição de positividade do espectro inferior ($BSP$).
3. Desigualdade de Poincaré Reversa: Um passo técnico fundamental é a derivação de uma desigualdade de Poincaré reversa a partir da desigualdade de Sobolev de corte. Isso permite controlar a medida de energia de uma função harmônica pela norma $L^p$ da própria função em um anel.
4. Argumento de Contradição: Para provar a singularidade, o autor assume a existência de uma parte absolutamente contínua não trivial da medida de energia. Ao combinar a desigualdade de Poincaré, a desigualdade de Sobolev de corte e a suposição de absolutely contínua, deriva-se uma contradição em relação ao comportamento assintótico da função de escala $\Psi$ (especificamente, a condição de limite $\lim_{\lambda \to \infty} \lim_{r \downarrow 0} \lambda^p \Psi(r/\lambda)/\Psi(r) = 0$).
5. Provas de Equivalência: O artigo estabelece a equivalência entre a estimativa de resistência ($R$), a conjunção da desigualdade de Poincaré e um limite superior de capacidade, e a conjunção da desigualdade de Poincaré e a desigualdade de Sobolev de corte. Esta equivalência é provada sob uma condição de "regularidade de volume lenta" ($SVR$), que generaliza a condição de recorrência forte de $p=2$ para $p>1$.

Principais Contribuições

• Generalização para $p > 1$: O artigo prova que, se um espaço métrico de medida satisfaz a condição de duplicação de volume, a desigualdade de Poincaré e a desigualdade de Sobolev de corte com uma dimensão de caminhada $p$, $\beta_p > p$, então a medida de energia $p$ associada é singular em relação à medida subjacente.
• Derivação Direta da Desigualdade de Sobolev de Corte: Uma contribuição técnica significativa é a derivação simples e direta da desigualdade de Sobolev de corte a partir da desigualdade de Poincaré e de um limite superior de capacidade, sob a condição de regularidade de volume lenta. Isso evita a necessidade de estimativas de núcleo de calor, que são frequentemente difíceis de estabelecer diretamente.
• Equivalência de Resistência e Desigualdades Funcionais: O artigo prova que, sob a condição de regularidade de volume lenta, a estimativa de resistência é equivalente à conjunção da desigualdade de Poincaré e da desigualdade de Sobolev de corte.
• Aplicação a Fractais: Os resultados são aplicados a espaços fractais específicos, incluindo o gasket e o tapete de Sierpiński.

Resultados Principais

• Teorema 2.1: Sob as suposições de duplicação de volume ($VD$), desigualdade de Poincaré ($PI(\Psi)$) e desigualdade de Sobolev de corte ($CS(\Psi)$) satisfazendo uma condição de limite específica em $\Psi$, a medida de energia $p$, $\Gamma(f)$, é singular em relação à medida $m$ para qualquer $f$ no domínio. Em particular, se $\beta_p > p$, a singularidade ocorre.
• Teorema 2.3: Sob a condição de regularidade de volume lenta ($SVR(\Phi, \Psi)$), as seguintes afirmações são equivalentes:
  1. A estimativa de resistência $R(\Phi, \Psi)$.
  2. A desigualdade de Poincaré $PI(\Psi)$ e o limite superior de capacidade $cap(\Psi)_\le$.
  3. A desigualdade de Poincaré $PI(\Psi)$ e a desigualdade de Sobolev de corte $CS(\Psi)$.
• Corolário 2.5: Para o gasket e o tapete de Sierpiński, se $p$ for estritamente maior que a dimensão conforme regular de Ahlfors ($\dim_{ARC}$), então a medida de energia $p$ é singular em relação à medida subjacente. Isso ocorre porque, nesses espaços, a estimativa de resistência é válida, implicando as necessárias desigualdades funcionais, e $\beta_p > p$ é satisfeito quando $p > \dim_{ARC}$.

Significância e Alegações
O artigo alega fazer progresso em direção à conjectura de que as medidas de energia $p$ são singulares sempre que a dimensão de caminhada $p$ excede $p$. O autor observa que a principal dificuldade nesta área tem sido estabelecer diretamente a desigualdade de Sobolev de corte. Ao fornecer uma derivação direta desta desigualdade a partir da desigualdade de Poincaré e dos limites de capacidade (sob $SVR$), o artigo oferece uma rota mais acessível para provar a singularidade em fractais e espaços métricos de medida sem depender de estimativas explícitas de núcleo de calor.

Os resultados estendem descobertas anteriores em conjuntos autossimilares (onde $p=2$) para uma classe mais ampla de energias $p$. O artigo afirma explicitamente que, para uma grande família de fractais, incluindo o gasket e o tapete de Sierpiński, a singularidade ocorre para qualquer $p$ estritamente maior que a dimensão conforme regular de Ahlfors. O autor reconhece que a prova da desigualdade de Sobolev de corte no caso $p=2$ para o gasket de Sierpiński foi dada anteriormente em [47], e este artigo adota e generaliza essa abordagem para o cenário $p>1$. O trabalho é apresentado como uma resposta parcial à conjectura, dependente da validade da estimativa de resistência ou das desigualdades funcionais no espaço específico em questão.