Energy inequalities for cutoff functions of $p$-energies on metric measure spaces

Resumen Técnico: Desigualdades de Energía para Funciones de Corteza de Energías $p$ en Espacios Métricos de Medida

Planteamiento del Problema
El artículo aborda la cuestión fundamental de establecer analogos de las equivalencias clásicas entre desigualdades funcionales en el contexto de las energías $p$ no lineales ($p > 1$) en espacios métricos de medida generales. En el caso lineal ($p=2$), está bien establecido que la conjunción de la desigualdad de Poincaré (PI) y la desigualdad de Sobolev de corteza (CS) es equivalente a la desigualdad de Harnack elíptica (EHI) y a los límites de capacidad de dos lados (cap). Sin embargo, para las energías $p$ no lineales, la ausencia de un núcleo de calor y la no linealidad del funcional de energía complican estas relaciones. Específicamente, el artículo busca determinar si la EHI y los límites de capacidad implican la desigualdad CS sin asumir la desigualdad de Poincaré y, recíprocamente, si la PI y la CS recuperan los otros insumos analíticos. Además, el artículo investiga un "régimen de dimensión inferior" donde la desigualdad de Poincaré y un límite superior de capacidad podrían ser suficientes para implicar la CS.

Metodología
El autor emplea una combinación de teoría de potencial, métodos variacionales y análisis geométrico en espacios métricos de medida. Los componentes metodológicos clave incluyen:

1. Estimaciones del Potencial de Wolff: Una técnica central implica la adaptación de las estimaciones del potencial de Wolff para funciones superarmónicas, desarrolladas originalmente por Trudinger y Wang para entornos subelípticos. El autor establece estimaciones puntuales para funciones superarmónicas no negativas $u$ en términos del potencial de Wolff de sus medidas de Riesz $\mu[u]$. Esto se apoya fuertemente en la Desigualdad de Harnack Elíptica (EHI) y los límites de capacidad de dos lados.
2. Aproximación por Estructuras Discretas: Para manejar el régimen de dimensión inferior donde las técnicas estándar fallan, el artículo utiliza un enfoque de discretización. Construye $\epsilon$-redes y sistemas de cables (cable systems) asociados que aproximan el espacio original. Las desigualdades funcionales (PI, límites de capacidad) se transfieren a estas estructuras discretas, donde la Desigualdad de Harnack Elíptica se establece mediante argumentos de módulo combinatorio.
3. Iteración y Principios de Comparación: Las demostraciones para las implicaciones recíprocas (de CS y PI a EHI) utilizan la técnica estándar de iteración de Nash–Moser–De Giorgi. Esto requiere la construcción de funciones de corteza específicas proporcionadas por la desigualdad CS. Los principios de comparación para funciones $p$-armónicas y superarmónicas se utilizan para establecer lemas de crecimiento y desigualdades de Harnack débiles.
4. Condiciones Geométricas: El análisis asume la condición de Duplicación de Volumen (VD) y la Condición de Cadena (CC). En teoremas específicos, se requieren condiciones geométricas adicionales como la Conectividad Local Lineal (LLC) o la EHI del Anillo (EHI$_{ann}$) para cerrar brechas en el entorno no lineal.

Contribuciones Clave y Resultados

• Implicación de EHI y Capacidad hacia CS: El resultado principal (Teorema ó 2.1) demuestra que, en un espacio métrico de medida con duplicación de volumen, la conjunción de la Desigualdad de Harnack Elíptica (EHI) y los límites de capacidad de dos lados (cap), junto con supuestos geométricos/analíticos leves (específicamente LLC o EHI$_{ann}$), implica la Desigualdad de Sobolev de Corteza (CS). Notablemente, este resultado se logra sin asumir la desigualdad de Poincaré. La prueba se basa en la estimación del potencial de Wolff para funciones superarmónicas.
• Implicación Recíproca: El Teorema 2.3 establece la recíproca: asumiendo la desigualdad de Poincaré (PI) y la desigualdad de Sobolev de Corteza (CS), se puede recuperar la EHI, los límites de capacidad de dos lados y los insumos analíticos (como la semicontinuidad inferior de las funciones superarmónicas) utilizados en la primera implicación. Esto utiliza la iteración de Nash–Moser–De Giorgi.
• Régimen de Dimensión Inferior: El Teorema 2.4 aborda un régimen específico donde la dimensión del espacio ($d_h$) y la dimensión de caminata $p$ ($\beta_p$) satisfacen $d_h - 1 < \beta_p \le d_h$. En este entorno, la desigualdad de Poincaré y el límite superior de capacidad por sí solos son suficientes para implicar la Desigualdad de Sobolev de Corteza. Esto se logra estableciendo primero la EHI en los espacios aproximantes y luego aplicando la implicación principal.
• Aplicación al Tapete de Sierpiński: Como aplicación directa, el artículo resuelve un problema planteado por Murugan y Shimizu sobre el tapete de Sierpiński. Demuestra que para cualquier $p > 1$, la medida de energía $p$ asociada es singular con respecto a la medida de Hausdorff. Esto se deriva de la validez establecida de PI, los límites de capacidad y CS en el tapete, combinado con resultados previos sobre la singularidad de las medidas de energía.

Significancia y Reivindicaciones
El artículo afirma realizar un progreso significativo hacia un análogo no lineal completo de la imagen estándar de las desigualdades funcionales (Teorema 1.1). Al demostrar que la EHI y los límites de capacidad implican la CS sin la desigualdad de Poincaré, el autor llena un vacío en la teoría de las energías $p$ en fractales y espacios métricos generales.

El autor señala explícitamente que, si bien el caso $p=2$ está bien comprendido (donde EHI + cap $\implies$ CS es conocido), el caso general $p > 1$ requiere supuestos técnicos adicionales (LSC, BSP, LLC/EHI$_{ann}$) debido a la no linealidad y las limitaciones de las técnicas actuales. El trabajo proporciona una respuesta completa al problema de la singularidad en el tapete de Sierpiński para todo $p > 1$, agudizando los resultados previos y resolviendo una pregunta abierta en el campo. El artículo no pretende resolver la equivalencia completa para todas las energías $p$ en todos los regímenes sin los supuestos geométricos específicos, manteniendo la modestia respecto a la necesidad de las condiciones adicionales para el caso no lineal.