The fractional $p$-Laplacian on hyperbolic spaces

Resumo Técnico: O $p$-Laplaciano Fracionário em Espaços Hiperbólicos

Enunciado do Problema
O artigo aborda a definição e a análise do $p$-laplaciano fracionário, denotado por $(−\Delta_{\mathbb{H}^n})^s_p$, em espaços hiperbólicos $\mathbb{H}^n$ para $n \in \mathbb{N}$, $0 < s < 1$ e $p > 1$. Embora os operadores fracionários sejam amplamente estudados em espaços euclidianos $\mathbb{R}^n$ e em vários outros contextos geométricos (variedades riemannianas, espaços de medida métrica, etc.), a falta de uma transformada de Fourier em configurações não lineares e a estrutura geométrica específica do espaço hiperbólico impedem a aplicação direta de definições padrão. Especificamente, os autores observam que definições que dependem da transformada de Fourier não estão disponíveis para operadores não lineares, e nem todas as definições de laplacianos fracionários (por exemplo, regional vs. espectral) são equivalentes em variedades riemannianas gerais. O principal desafio é estabelecer um conjunto rigoroso e equivalente de definições para o $p$-laplaciano fracionário não linear em $\mathbb{H}^n$ com constantes de normalização explícitas que permitam o estudo da convergência pontual para o $p$-laplaciano padrão quando $s \to 1^-$.

Metodologia
Os autores empregam uma abordagem multifacetada combinando geometria hiperbólica, análise de núcleo de calor e propriedades assintóticas de funções especiais:

1. Estrutura Geométrica: O estudo utiliza o modelo de hiperboloide de $\mathbb{H}^n$ equipado com a métrica lorentziana. A função distância $d(x, \xi)$ e o elemento de volume $\sinh^{n-1} r \, dr \, d\omega$ são centrais para as formulações integrais.
2. Representação do Semigrupo de Calor: Os autores relacionam o operador fracionário ao semigrupo de calor $\{e^{t\Delta_{\mathbb{H}^n}}\}_{t \geq 0}$ gerado pelo laplaciano em $\mathbb{H}^n$. Eles utilizam fórmulas explícitas para o núcleo de calor $h(t, \rho)$ em espaços hiperbólicos, distinguindo entre dimensões ímpares e pares, que envolvem derivadas do núcleo de calor em relação à distância $\rho$.
3. Funções de Bessel Modificadas: Os núcleos dos operadores fracionários são expressos usando funções de Bessel modificadas do segundo tipo, $K_\nu$. Os autores aproveitam as representações integrais e os comportamentos assintóticos de $K_\nu$ (quando $\rho \to 0^+$ e $\rho \to \infty$) para analisar os núcleos singulares.
4. Extensão de Caffarelli–Silvestre: O artigo investiga o problema de extensão em $\mathbb{H}^n \times (0, \infty)$, relacionando o operador fracionário a um mapa de Dirichlet-para-Neumann. Isso envolve a construção de um núcleo de Poisson $P(\rho, y)$ e um operador de extensão $E_{s,p}$.
5. Análise Assintótica para Convergência: Para provar a convergência de $(−\Delta_{\mathbb{H}^n})^s_p$ para o $p$-laplaciano quando $s \to 1^-$, os autores realizam uma análise assintótica detalhada de integrais envolvendo as constantes de normalização $c_{n,s,p}$ e os núcleos $K_{n,s,p}$. Eles utilizam expansões de Taylor e o teorema da convergência dominada, lidando cuidadosamente com o elemento de volume $\sinh^{n-1} \rho$ que difere do $\rho^{n-1}$ euclidiano.

Principais Contribuições e Resultados

1. Três Definições Equivalentes: O artigo estabelece três definições equivalentes do $p$-laplaciano fracionário em $\mathbb{H}^n$, fornecendo constantes de normalização explícitas para cada uma:

   • Definição de Integral Singular (Definição 1.1): Uma representação integral pontual envolvendo um núcleo singular $K_{n,s,p}(\rho)$. O núcleo é definido explicitamente usando funções de Bessel modificadas e derivadas em relação à distância, com fórmulas distintas para dimensões ímpares e pares.
   • Definição de Semigrupo de Calor (Teorema 1.3): O operador é representado como uma integral sobre o tempo do semigrupo de calor aplicado a uma função não linear $\Phi_p(u(x) - u(\cdot))$. A constante $C_2$ é derivada explicitamente.
   • Definição do Problema de Extensão (Teorema 1.4): O operador é realizado como um limite de uma derivada normal ponderada de uma solução para um problema de extensão elíptico degenerado no semi-espaço superior $\mathbb{H}^n \times (0, \infty)$. A constante $C_3$ é explicitamente fornecida.

2. Constantes de Normalização Explícitas: Uma contribuição crítica é a derivação das constantes de normalização precisas ($c_{n,s,p}, C_1, C_2, C_3, C_4$) envolvendo funções Gamma e potências de 2 e $\pi$. Estas constantes são escolhidas especificamente para garantir o comportamento limite correto quando $s \to 1^-$.

3. Assíntotas do Núcleo (Proposição 1.2 & Teorema 1.2): Os autores caracterizam o comportamento do núcleo $K_{n,s,p}(\rho)$. Eles mostram que, próximo à origem ($\rho \to 0^+$), o núcleo se comporta como o núcleo singular euclidiano $\rho^{-n-sp}$, enquanto no infinito ($\rho \to \infty$), ele exibe decaimento exponencial devido à geometria hiperbólica ($\sim \rho^{-1-sp/2} e^{-(n-1)\rho}$). Isso confirma a bem-definidação do operador para funções $C^2$ limitadas.

4. Convergência Pontual (Teorema 1.5): O principal resultado de convergência afirma que para $u \in C^2_b(\mathbb{H}^n)$ e $x \in \mathbb{H}^n$ onde $\nabla u(x) \neq 0$,
   $$\lim_{s \to 1^-} (-\Delta_{\mathbb{H}^n})^s_p u(x) = (-\Delta_{\mathbb{H}^n})_p u(x)$$
   onde $(-\Delta_{\mathbb{H}^n})_p$ é o $p$-laplaciano padrão no espaço hiperbólico. A prova baseia-se nas constantes explícitas e na análise assintótica das integrais do núcleo contra o elemento de volume, mostrando que o fator de volume não euclidiano não impede a convergência para o operador local.

Significância
O artigo reivindica significância principalmente ao estender as fórmulas de representação para operadores fracionários do caso linear ($p=2$) estabelecidas em trabalhos anteriores (ex: [2]) para o regime não linear ($p > 1$) em espaços hiperbólicos. Ao fornecer constantes de normalização explícitas, os autores permitem o estudo rigoroso do limite $s \to 1^-$, uma propriedade essencial para conectar modelos fracionários a modelos locais em análise geométrica. O trabalho destaca que, embora os métodos baseados em Fourier falhem neste cenário não linear, a rica estrutura do espaço hiperbólico (especificamente as representações do núcleo de calor e do núcleo de Poisson) permite uma definição robusta do $p$-laplaciano fracionário. As constantes explícitas são notadas como cruciais para aplicações em teoria de regularidade. Os autores não propõem novas aplicações experimentais ou direções futuras além do estabelecimento matemático destas definições e de suas propriedades de convergência.