The fractional $p$-Laplacian on hyperbolic spaces

Resumen Técnico: El $p$-Laplaciano Fraccionario en Espacios Hiperbólicos

Planteamiento del Problema
El artículo aborda la definición y el análisis del $p$-Laplaciano fraccionario, denotado como $(−\Delta_{\mathbb{H}^n})^s_p$, en espacios hiperbólicos $\mathbb{H}^n$ para $n \in \mathbb{N}$, $0 < s < 1$ y $p > 1$. Aunque los operadores fraccionarios están bien estudiados en espacios euclidianos $\mathbb{R}^n$ y en diversos entornos geométricos (variedades riemannianas, espacios de medida métrica, etc.), la falta de una transformada de Fourier en entornos no lineales y la estructura geométrica específica del espacio hiperbólico impiden la aplicación directa de las definiciones estándar. Específicamente, los autores señalan que las definiciones que dependen de la transformada de Fourier no están disponibles para operadores no lineales, y que no todas las definiciones de Laplacianos fraccionarios (por ejemplo, regionales frente a espectrales) son equivalentes en variedades riemannianas generales. El desafío principal es establecer un conjunto riguroso y equivalente de definiciones para el $p$-Laplaciano fraccionario no lineal en $\mathbb{H}^n$ con constantes de normalización explícitas que permitan el estudio de la convergencia puntual hacia el $p$-Laplaciano estándar cuando $s \to 1^-$.

Metodología
Los autores emplean un enfoque multifacético que combina la geometría hiperbólica, el análisis del núcleo de calor y las propiedades asintóticas de las funciones especiales:

1. Marco Geométrico: El estudio utiliza el modelo del hiperboloide de $\mathbb{H}^n$ equipado con la métrica lorentziana. La función de distancia $d(x, \xi)$ y el elemento de volumen $\sinh^{n-1} r \, dr \, d\omega$ son centrales en las formulaciones integrales.
2. Representación del Semigrupo de Calor: Los autores relacionan el operador fraccionario con el semigrupo de calor $\{e^{t\Delta_{\mathbb{H}^n}}\}_{t \geq 0}$ generado por el Laplaciano en $\mathbb{H}^n$. Utilizan fórmulas explícitas para el núcleo de calor $h(t, \rho)$ en espacios hiperbólicos, distinguiendo entre dimensiones impares y pares, las cuales involucran derivadas del núcleo de calor con respecto a la distancia $\rho$.
3. Funciones de Bessel Modificadas: Los núcleos de los operadores se expresan utilizando funciones de Bessel modificadas de segunda especie, $K_\nu$. Los autores aprovechan las representaciones integrales y los comportamientos asintóticos de $K_\nu$ (cuando $\rho \to 0^+$ y $\rho \to \infty$) para analizar los núcleos singulares.
4. Extensión de Caffarelli–Silvestre: El artículo investiga el problema de extensión en $\mathbb{H}^n \times (0, \infty)$, relacionando el operador fraccionario con un mapa de Dirichlet-a-Neumann. Esto implica la construcción de un núcleo de Poisson $P(\rho, y)$ y un operador de extensión $E_{s,p}$.
5. Análisis Asintótico para la Convergencia: Para probar la convergencia de $(−\Delta_{\mathbb{H}^n})^s_p$ al $p$-Laplaciano cuando $s \to 1^-$, los autores realizan un análisis asintótico detallado de las integrales que involucran las constantes de normalización $c_{n,s,p}$ y los núcleos $K_{n,s,p}$. Utilizan expansiones de Taylor y el teorema de la convergencia dominada, manejando cuidadosamente el elemento de volumen $\sinh^{n-1} \rho$ que difiere del $\rho^{n-1}$ euclidiano.

Contribuciones Clave y Resultados

1. Tres Definiciones Equivalentes: El artículo establece tres definiciones equivalentes del $p$-Laplaciano fraccionario en $\mathbb{H}^n$, proporcionando constantes de normalización explícitas para cada una:

   • Definición de Integral Singular (Definición 1.1): Una representación integral puntual que involucra un núcleo singular $K_{n,s,p}(\rho)$. El núcleo se define explícitamente usando funciones de Bessel modificadas y derivadas con respecto a la distancia, con fórmulas distintas para dimensiones impares y pares.
   • Definición de Semigrupo de Calor (Teorema 1.3): El operador se representa como una integral sobre el tiempo del semigrupo de calor aplicado a una función no lineal $\Phi_p(u(x) - u(\cdot))$. La constante $C_2$ se deriva explícitamente.
   • Definición del Problema de Extensión (Teorema 1.4): El operador se realiza como un límite de una derivada normal ponderada de una solución a un problema de extensión elíptico degenerado en el semiespacio superior $\mathbb{H}^n \times (0, \infty)$. La constante $C_3$ se proporciona explícitamente.

2. Constantes de Normalización Explícitas: Una contribución crítica es la derivación de las constantes de normalización precisas ($c_{n,s,p}, C_1, C_2, C_3, C_4$) que involucran funciones Gamma y potencias de 2 y $\pi$. Estas constantes se eligen específicamente para asegurar el comportamiento de límite correcto cuando $s \to 1^-$.

3. Asintótica del Núcleo (Proposición 1.2 y Teorema 1.2): Los autores caracterizan el comportamiento del núcleo $K_{n,s,p}(\rho)$. Muestran que cerca del origen ($\rho \to 0^+$), el núcleo se comporta como el núcleo singular euclidiano $\rho^{-n-sp}$, mientras que en el infinito ($\rho \to \infty$), exhibe un decaimiento exponencial debido a la geometría hiperbólica ($\sim \rho^{-1-sp/2} e^{-(n-1)\rho}$). Esto confirma la definición del operador para funciones $C^2$ acotadas.

4. Convergencia Puntual (Teorema 1.5): El principal resultado de convergencia establece que para $u \in C^2_b(\mathbb{H}^n)$ y $x \in \mathbb{H}^n$ donde $\nabla u(x) \neq 0$,
   $$\lim_{s \to 1^-} (-\Delta_{\mathbb{H}^n})^s_p u(x) = (-\Delta_{\mathbb{H}^n})_p u(x)$$
   donde $(-\Delta_{\mathbb{H}^n})_p$ es el $p$-Laplaciano estándar en el espacio hiperbólico. La prueba se basa en las constantes explícitas y el análisis asintótico de las integrales del núcleo contra el elemento de volumen, demostrando que el factor de volumen no euclidiano no impide la convergencia al operador local.

Significancia
El artículo reclama su significancia principalmente al extender las fórmulas de representación para operadores fraccionarios desde el caso lineal ($p=2$) establecido en trabajos previos (por ejemplo, [2]) hacia el régimen no lineal ($p > 1$) en espacios hiperbólicos. Al proporcionar constantes de normalización explícitas, los autores permiten el estudio riguroso del límite $s \to 1^-$, una propiedad esencial para conectar modelos fraccionarios con modelos locales en análisis geométrico. El trabajo destaca que, si bien los métodos basados en la transformada de Fourier fallan en este entorno no lineal, la rica estructura del espacio hiperbólico (específicamente las representaciones del núcleo de calor y del núcleo de Poisson) permite una definición robusta del $p$-Laplaciano fraccionario. Se señala que las constantes explícitas son cruciales para aplicaciones en la teoría de la regularidad. Los autores no proponen nuevas aplicaciones experimentales o direcciones futuras más allá del establecimiento matemático de estas definiciones y sus propiedades de convergencia.