Fractional heat content asymptotics for Carnot groups

Resumo Técnico: Assintótica do Conteúdo Térmico Fracionário para Grupos de Carnot

Enunciado do Problema
Este artigo investiga a assintótica de pequeno tempo do conteúdo térmico fracionário para domínios limitados dentro de grupos de Carnot. Seja $G$ um grupo de Carnot equipado com um operador sub-Laplaciano $L$. Para um domínio limitado $\Omega \subset G$ e um parâmetro $\alpha \in [1, 2]$, o conteúdo térmico fracionário é definido como:
$$Q^{(\alpha)}_{\Omega}(t) = \int_{\Omega} u_{\alpha}(x, t) \, dx$$
onde $u_{\alpha}$ é a solução da equação parabólica $(\partial_t + L^{\alpha})u_{\alpha} = 0$ com condições de contorno de Dirichlet ($u_{\alpha} = 0$ em $\partial\Omega$) e condição inicial $u_{\alpha}(0, x) = 1$. O problema central é determinar a taxa na qual o conteúdo térmico decai do volume inicial $|\Omega|$ quando $t \to 0$, identificando especificamente o limite:
$$\lim_{t \to 0} \frac{|\Omega| - Q^{(\alpha)}_{\Omega}(t)}{\mu_{\alpha}(t)}$$
onde $\mu_{\alpha}(t)$ é uma função de taxa específica derivada do caso euclidiano. Embora tais assintóticas estejam bem estabelecidas para o caso de difusão clássica ($\alpha=2$) em variedades riemannianas e sub-riemannianas, e para casos fracionários no espaço euclidiano, este trabalho aborda a lacuna para sub-Laplacianos fracionários não locais em variedades sub-riemannianas (especificamente grupos de Carnot).

Metodologia
Os autores propõem uma abordagem inovadora que combina representações probabilísticas com estimativas analíticas em grupos de Carnot, distinta das técnicas de expansão do núcleo de calor geométrico utilizadas em trabalhos anteriores para o caso local ($\alpha=2$).

1. Representação Probabilística: Utilizando o argumento de subordinação para potências fracionárias de geradores de Markov, o conteúdo térmico é representado via o movimento browniano horizontal subordinado $B^{\alpha}(t) = B(S^{\alpha}_t)$, onde $B$ é o movimento browniano horizontal e $S^{\alpha}$ é um subordinador $\alpha/2$-estável. O conteúdo térmico é expresso como:
   $$Q^{(\alpha)}_{\Omega}(t) = \int_{\Omega} P_x(\tau^{(\alpha)}_{\Omega} > t) \, dx$$
   onde $\tau^{(\alpha)}_{\Omega}$ é o tempo de primeira saída de $B^{\alpha}$ de $\Omega$.

2. Abordagem Funcional: Em vez de analisar o domínio diretamente, os autores estudam uma versão funcional do conteúdo térmico para funções mensuráveis não negativas $f$:
   $$Q^{(\alpha)}_f(t) = \int_G E_x \left[ \inf_{0 \le s \le t} f(B^{\alpha}(s)) \right] dx$$
   Isso permite o uso de expansões de Taylor na estrutura do grupo.

3. Ferramentas Analíticas:

   • Fórmula de Taylor: A prova baseia-se numa expansão de Taylor para funções $C^{1,1}$ em grupos de Carnot (devido a Bonfiglioli), que aproxima o valor da função ao longo do caminho do processo.
   • Estimativas de Probabilidade de Saída: Um componente crítico é estabelecer limites superiores precisos para a probabilidade de o movimento browniano horizontal sair de uma bola de raio $R$ dentro do tempo $t$. O Teorema 3.1 fornece esses limites, mostrando que a probabilidade de saída decai exponencialmente com termos envolvendo a dimensão homogênea e a estratificação do grupo.
   • Teoria da Medida Geométrica: O perímetro horizontal $|\partial\Omega|_H$ é utilizado, definido via a variação horizontal da função indicadora. Os autores empregam a fórmula da coárea e propriedades da medida de Hausdorff esférica em relação a métricas homogêneas.

Principais Contribuições e Resultados
O resultado principal (Teorema 1.2) estabelece que, para um subconjunto aberto limitado $\Omega$ de um grupo de Carnot $G$ com uma fronteira $C^2$ não contendo pontos característicos, e para $1 \le \alpha \le 2$:
$$\lim_{t \to 0} \frac{|\Omega| - Q^{(\alpha)}_{\Omega}(t)}{\mu_{\alpha}(t)} = |\partial\Omega|_H$$
Aqui, $|\partial\Omega|_H$ denota o perímetro horizontal de $\Omega$, e $\mu_{\alpha}(t)$ é a função de taxa definida no contexto euclidiano (envolvendo $t^{1/\alpha}$ para $\alpha > 1$, $t \log(1/t)$ para $\alpha=1$, e $t$ para $\alpha < 1$).

As contribuições específicas incluem:

• Extensão a Operadores Não Locais: O artigo fornece a primeira expansão assintótica para o conteúdo térmico fracionário envolvendo operadores não locais (sub-Laplacianos fracionários) em variedades sub-riemannianas.
• Universalidade da Função de Taxa: O resultado confirma que a função de taxa $\mu_{\alpha}(t)$, anteriormente conhecida para espaços euclidianos, permanece válida para grupos de Carnot quando $1 \le \alpha \le 2$.
• Limite Inferior para Conjuntos Gerais: A Proposição 5.2 prova que o limite inferior do limite assintótico vale para qualquer conjunto aberto limitado com perímetro horizontal finito, sem exigir regularidade $C^2$ ou a ausência de pontos característicos.
• Argumento Simplificado: Os autores substituem os complexos argumentos de distribuição de saída usados em estudos anteriores do grupo de Heisenberg por um argumento simplificado baseado em fórmulas de Taylor e estimativas refinadas de probabilidade de saída.

Significado e Alegações
O artigo afirma que seu principal significado reside em preencher a lacuna entre as assintóticas do conteúdo térmico fracionário em espaços euclidianos e a geometria sub-riemanniana. Os autores enfatizam que seu método é robusto e baseia-se em estimativas de pequenos tempos de saída e expansões de Taylor, sugerindo que a abordagem poderia ser aplicável para provar assintóticas de conteúdo térmico para operadores não locais em espaços mais gerais.

Os autores afirmam explicitamente que a suposição de uma fronteira não caracterizada é crucial para seu método, pois garante que a função distância assinada seja $C^2$ e Lipschitz contínua, o que é necessário para a expansão de Taylor e para a prova do limite superior. Eles reconhecem que, embora acreditem que o resultado deve valer para qualquer variedade sub-riemanniana, uma prova para o caso geral (além dos grupos de Carnot) é atualmente desconhecida para eles. O trabalho não propõe novas aplicações ou configurações experimentais, mas foca estritamente na derivação teórica desses limites assintóticos.