Elliptic Harnack inequality and Poincaré inequality for $p$-energies on metric measure spaces

Resumen Técnico: Desigualdad de Harnack Elíptica y Desigualdad de Poincaré para $p$-energías en Espacios de Medida Métrica

Planteamiento del Problema
El artículo aborda la relación estructural entre las desigualdades funcionales en el contexto de las $p$-energías no lineales en espacios de medida métrica $(X, d, m)$. Mientras que la equivalencia entre la desigualdad de Harnack elíptica (EHI), los límites de capacidad de dos lados, la desigualdad de Poincaré (PI) y la desigualdad de Sobolev de corte (CS) está bien establecida para las formas de Dirichlet lineales ($p=2$), el caso no lineal ($p > 1$) carece de un semigrupo lineal o de un núcleo de calor, lo que hace que tales equivalencias sean más difíciles de probar.

Específicamente, el autor busca completar el análogo no lineal de la equivalencia clásica:
$$\text{EHI} + \text{cap}(\Psi) \iff \text{PI}(\Psi) + \text{CS}(\Psi)$$
donde $\Psi$ es una función de escala adecuada. El trabajo previo del autor [28] ya había establecido las implicaciones $\text{EHI} + \text{cap}(\Psi) \Rightarrow \text{CS}(\Psi)$ y $\text{PI}(\Psi) + \text{CS}(\Psi) \Rightarrow \text{EHI} + \text{cap}(\Psi)$. El paso abierto restante, que este artículo resuelve, es derivar la desigualdad de Poincaré $\text{PI}(\Psi)$ a partir de la desigualdad de Harnack elíptica y los límites de capacidad de dos lados.

Metodología
La estrategia de la prueba combina técnicas del trabajo previo del autor [28] con métodos recientes introducidos en [11] relativos a las desigualdades de Harnack parabólicas en espacios con estructuras de gradiente superior. El argumento procede en dos pasos principales:

1. Reducción a la Desigualdad de Faber–Krahn:
   Siguiendo la estrategia de [11], el autor reduce la prueba de $\text{PI}(\Psi)$ al establecer una desigualdad de Faber–Krahn, denotada como $\text{FK}(\Psi)$. Esta desigualdad proporciona un límite inferior para el primer autovalor del $p$-laplaciano en un dominio en términos de la medida del dominio y la función de escala $\Psi$.
   El autor demuestra que $\text{PI}(\Psi)$ se sigue si se puede establecer una estimación de la forma:
   $$\left( \fint_{B(x_0, R)} |f - c|^p dm \right)^{1/p} \lesssim \left( \frac{\Psi(R)}{V(x_0, R)} \int_{B(x_0, AR)} d\Gamma(f) \right)^{1/p} + \epsilon \fint_{B(x_0, R)} |f| dm$$
   para una constante $\epsilon$ adecuada. Esto se logra descomponiendo la función $f$ en una parte armónica y un residuo, utilizando las estimaciones de oscilación derivadas de EHI.

2. Establecimiento de Faber–Krahn mediante Potenciales de Wolff:
   Para probar $\text{FK}(\Psi)$, el autor emplea una técnica de descomposición de Maz'ya estándar, que reduce el problema a estimar la medida de un conjunto $K$ en términos de su capacidad relativa:
   $$m(K) \lesssim \Psi(R) \, \text{cap}(K, X \setminus B(x_0, AR)).$$
   Esta estimación se deriva utilizando estimaciones de potencial de Wolff establecidas en [28]. La prueba implica:

   • Construir un potencial capacitario $u$ asociado al conjunto $K$.
   • Utilizar la medida de Riesz $\mu$ asociada a la función superarmónica $u$.
   • Aplicar estimaciones de potencial de Wolff para acotar $u(x_0)$ de abajo hacia arriba, vinculando el potencial con la medida $\mu$ y la capacidad.
   • Utilizar el aumento de volumen (VD) y los límites de capacidad para controlar la serie del potencial de Wolff.
   • Aplicar el lema de recubrimiento 5B para sumar las medidas de las bolas disjuntas que cubren $K$, limitando así $m(K)$ por la capacidad.

Supuestos Clave
Los resultados se mantienen bajo los siguientes supuestos estructurales sobre el espacio de medida métrica $(X, d, m)$ y la $p$-energía $(\mathcal{E}, \mathcal{F})$:

• Geométricos: Aumento de Volumen (VD) y la Condición de Cadena (CC).
• Analíticos:
  • EHI: Se cumple la Desigualdad de Harnack Elíptica.
  • cap($\Psi$): Se cumplen los límites de capacidad de dos lados.
  • BSP: Positividad del Espectro Inferior (positividad del primer autovalor en dominios acotados).
  • LSC: Condición de Semi-Continuidad Inferior para funciones superarmónicas.
  • Condición Adicional: O bien se cumple la condición de Conectividad Local Lineal (LLC), o bien se cumple la Desigualdad de Harnack Elíptica en el Anillo (EHI$_{\text{ann}}$).

Resultados Principales

1. Teorema 1.1: Bajo los supuestos de VD, LSC, BSP, EHI y cap($\Psi$), si además se cumple LLC o EHI$_{\text{ann}}$, entonces se cumple la desigualdad de Poincaré $\text{PI}(\Psi)$.
2. Corolarios 1.3 y 1.4: Al combinar el Teorema 1.1 con los resultados previos de [28], el artículo establece la equivalencia completa:
   $$\text{EHI} + \text{cap}(\Psi) \iff \text{PI}(\Psi) + \text{CS}(\Psi)$$
   Esta equivalencia se mantiene bajo los mismos supuestos estructurales (VD, LSC, BSP y ya sea LLC o EHI$_{\text{ann}}$).

Significado y Reivindicaciones
El artículo afirma proporcionar el "paso restante" hacia el análogo no lineal completo de la equivalencia clásica conocida en el entorno lineal ($p=2$).

• Unificación Estructural: El resultado demuestra que la teoría no lineal de las $p$-energías posee la misma forma estructural que la teoría clásica de formas de Dirichlet a nivel elíptico. Específicamente, el "lado de Harnack–capacidad" y el "lado de Poincaré–corte" son equivalentes.
• Robustez: En ausencia de núcleos de calor (que generalmente no existen para las $p$-energías no lineales), esta equivalencia proporciona un sustituto robusto para las equivalencias clásicas conocidas en el entorno lineal.
• Contribución Técnica: El trabajo adapta los argumentos de [11] (originalmente para desigualdades de Harnack parabólicas en espacios con gradientes superiores) al entorno más general de los espacios de medida métrica, incluyendo fractales, estableciendo la necesaria desigualdad de Faber–Krahn mediante estimaciones de potencial de Wolff.

El autor señala que para el caso específico $p=2$, la implicación $\text{EHI} + \text{cap}(\Psi) \Rightarrow \text{PI}(\Psi)$ ya es conocida bajo VD únicamente. Sin embargo, para $p > 1$ general, se requieren los supuestos adicionales de LSC, BSP y ya sea LLC o EHI$_{\text{ann}}$ debido a la no linealidad y a las limitaciones de las técnicas actuales.