Local and non-local $p$-energies on metric measure spaces

Resumen Técnico: Energías $p$ locales y no locales en espacios de medida métrica

Planteamiento del Problema
Este artículo investiga la relación entre las energías $p$ regulares locales y no locales en espacios de medida métrica $(X, d, m)$ para $p > 1$. Específicamente, aborda el fenómeno de "subordinación": bajo qué condiciones geométricas y analíticas una energía $p$ regular local, que satisface desigualdades funcionales específicas, induce una energía $p$ regular no local mediante un núcleo de salto.

El estudio está motivado por el marco clásico de las formas de Dirichlet ($p=2$), donde los principios de subordinación vinculan el movimiento browniano (local) con procesos de tipo estable (no local). En el caso lineal, se sabe que si una forma de Dirichlet local satisface una desigualdad de Poincaré y una desigualdad de Sobolev de corte, la forma no local asociada (definida por un núcleo con una escala específica) satisface desigualdades no locales análogas. El desafío central abordado aquí es extender estos resultados al entorno no lineal ($p \neq 2$) en espacios de medida métrica generales, particularmente en fractales donde las estructuras de gradiente pueden estar ausentes.

El artículo plantea las siguientes preguntas fundamentales:

1. Dado una energía $p$ regular fuertemente local que satisface una desigualdad de Poincaré $PI(L)(\Psi)$ y una desigualdad de Sobolev de corte $CS(L)(\Psi)$, ¿para qué funciones de escala $\Upsilon$ la energía $p$ no local inducida (definida por un núcleo de salto $K^{(\Upsilon)}$) constituye una energía $p$ regular?
2. ¿Satisface esta forma no local desigualdades funcionales no locales ($PI(J)$y$CS(J)$) y, de ser así, cuál es la función de escala resultante $\Xi$?
3. ¿Pueden derivarse estos resultados directamente de las desigualdades funcionales locales sin depender de estimaciones del núcleo de calor?

Metodología
El autor emplea un enfoque puramente analítico, evitando la dependencia de las estimaciones del núcleo de calor o de representaciones probabilísticas. La metodología se basa en los siguientes componentes clave:

• Equivalencia de Desigualdades: El artículo establece primero la equivalencia entre varias versiones de la desigualdad de energía de corte ($CE$) y la desigualdad de Sobolev de corte ($CS$) tanto en entornos locales como no locales. Crucialmente, demuestra que las versiones "débiles" (sin supuestos de continuidad sobre las funciones de corte) implican las versiones "fuertes" (donde las funciones de corte son Hölder continuas). Esta equivalencia es vital porque la existencia de funciones de corte Hölder continuas es necesaria para establecer la regularidad del espacio de energía.
• Regularidad de las Soluciones: Para probar las versiones fuertes de las desigualdades, el autor utiliza la regularidad interior y de frontera de las soluciones de ecuaciones de tipo $p$-Laplaciano ($-\Delta_p u = f$). Esto implica establecer desigualdades de oscilación e desigualdades de Harnack débiles. En el entorno no local, se tiene especial cuidado al manejar los "términos de cola" (tail terms) que surgen de la naturaleza no local del operador.
• Partición de la Unidad y Convolución Discreta: Para derivar las desigualdades no locales a partir de las locales, el artículo construye particiones de la unidad con energía controlada. Se utiliza un argumento analítico novedoso que involucra la convolución discreta para transferir la desigualdad de Poincaré local al entorno no local.
• Análisis de Escala: Se analiza la relación entre las funciones de escala de la energía local ($\Psi$), el núcleo de salto ($\Upsilon$) y la energía no local resultante ($\Xi$) a través de condiciones de convergencia de series y estimaciones integrales.

Contribuciones Clave y Resultados

1. Equivalencia de Condiciones de Corte:
   Los Teoremas 2.1 y 2.2 establecen que, tanto para las energías $p$ regulares locales como para las no locales, las versiones fuertes, continuas y débiles de la desigualdad de energía de corte ($CE$) y la desigualdad de Sobolev de corte ($CS$) son equivalentes, siempre que se cumpla la condición de duplicación de volumen (VD). Esto resuelve una brecha técnica respecto a la regularidad de las funciones de corte en el entorno no lineal.

2. Regularidad de las Energías $p$ No Locales:
   La Proposición 2.6 demuestra que una forma $p$ no local que satisface la desigualdad de Poincaré no local y la desigualdad de Sobolev de corte continua es, de hecho, una energía $p$ regular. Esto confirma que las desigualdades funcionales son suficientes para asegurar que el espacio contenga suficientes funciones continuas para la teoría de potencial.

3. El Teorema de Subordinación (Resultado Principal):
   El Teorema 2.9 proporciona el principal resultado de "subordinación". Establece que si una energía $p$ regular fuertemente local satisface $PI(L)(\Psi)$ y $CE(L)_{strong}(\Psi)$, y si la función de escala $\Upsilon$ del núcleo de salto satisface una condición de crecimiento superior estricta en escalas pequeñas respecto a $\Psi$:
   $$\sum_{n=0}^{\infty} \frac{\Psi(2^{-n})}{\Upsilon(2^{-n})} < +\infty$$
   entonces la energía $p$ no local inducida es una energía $p$ regular. Además, satisface las desigualdades de Poincaré y de corte no locales con una nueva función de escala $\Xi$ determinada explícitamente por:
   $$\Xi(r) = \Psi(r) \int_0^r \frac{d\Psi(t)}{\Upsilon(t)}$$
   El artículo demuestra que esta condición de crecimiento no solo es suficiente, sino también necesaria para que el espacio no local contenga funciones no constantes.

4. Generalización de Ejemplos Clásicos:
   El Corolario 2.11 aplica estos resultados a funciones de escala específicas (funciones de potencia por tramos), recuperando resultados conocidos para procesos de tipo estable en fractales y extendiéndolos a casos con colas polinómicas ligeras en el infinito. El Corolario 2.12 establece una desigualdad de Poincaré de tipo BBM (Bourgain-Brezis-Mironescu) para energías no locales derivadas de locales, proporcionando un puente entre las energías $p$ no locales y locales en el límite.

Significación y Reivindicaciones
El artículo afirma proporcionar una extensión no lineal del clásico principio de subordinación más allá del marco de las formas de Dirichlet ($p=2$). Su significación radica en:

• Derivación Directa: Responde a si las desigualdades funcionales no locales pueden derivarse directamente de las locales sin estimaciones del núcleo de calor, afirmando que esto es posible mediante los argumentos analíticos construidos.
• Aplicabilidad a Fractales: Los resultados se formulan para espacios de medida métrica generales, incluyendo fractales donde no hay una estructura de gradiente o de gradiente superior disponible, basándose en su lugar en la existencia de energías $p$ locales y desigualdades funcionales.
• Novedad Técnica: La prueba de la implicación de las desigualdades de corte débiles a fuertes mediante la regularidad de las EDP, y el uso de la convolución discreta para transferir las desigualdades locales al entorno no local, se presentan como técnicas analíticas nuevas, incluso en el caso lineal.

El autor señala que estos resultados cubren ejemplos donde los núcleos de salto tienen colas polinómicas ligeras en el infinito, un régimen donde los métodos previos que dependen de las estimaciones del núcleo de calor podrían ser menos directos. El trabajo se posiciona como un paso fundacional para comprender la interacción entre las energías $p$ locales y no locales en espacios generales.