Critical $p$-Laplace equations with monotone coefficients: Liouville classification and a Schoen-type Harnack inequality

Resumen Técnico: Ecuaciones de $p$-Laplace Críticas con Coeficientes Monótonos

Planteamiento del Problema
Este artículo investiga las soluciones débiles positivas de la ecuación de $p$-Laplace crítica con una no linealidad no autónoma:
$$-\Delta_p u = u^{p^*-1}h(u), \quad \text{en } \mathbb{R}^n,$$
donde $1 < p < n$, $p^* = \frac{np}{n-p}$, y $h$ es una función positiva, acotada, continua y decreciente. El estudio se centra en dos objetivos interconectados:

1. Clasificación de Liouville: Determinar la forma precisa de las soluciones positivas enteras sin imponer supuestos a priori de decaimiento (por ejemplo, energía finita o tasas de crecimiento específicas).
2. Desigualdad de Harnack Invariante de Escala: Establecer una estimación local de la forma $\left(\sup_{B_R} u\right) \left(\inf_{B_{2R}} u\right)^{p-1} \leq C R^{p-n}$ para soluciones débiles no negativas definidas en $B_{3R}$.

El trabajo aborda un vacío significativo en la teoría de ecuaciones cuasilineales. A diferencia del caso semilineal ($p=2$), el $p$-Laplaciano ($p \neq 2$) carece de una transformada de Kelvin que preserve la ecuación, lo que hace que los métodos clásicos de planos o esferas móviles sean inaplicables en su forma estándar. Además, los resultados de clasificación existentes para la ecuación puramente crítica ($h \equiv \text{constante}$) suelen depender de supuestos restrictivos (energía finita, acotamiento) o rangos específicos de $p$. Este artículo pretende proporcionar una teoría de clasificación-a-Harnack para todo el rango $1 < p < n$ bajo un supuesto de monotonía en $h$.

Metodología
El autor desarrolla un marco que sirve como contraparte cuasilineal de la transformada de Kelvin y el método de las esferas móviles, adaptado para el $p$-Laplaciano con coeficientes monótonos continuos. La metodología procede en dos etapas principales:

1. Clasificación Global mediante Tensores Invariantes e Identidades de Bochner Débiles:

   • Transformación: La solución $V$ se transforma mediante $w = V^{-1/a}$ (donde $a = \frac{n-p}{p}$), convirtiendo la ecuación en una forma susceptible al análisis del tensor de tensiones.
   • Tensor de Tensiones y Función P: El autor define un campo de tensiones no lineal $X_w = |\nabla w|^{p-2}\nabla w$ y una función P modificada $Q_w$.
   • Manejo de la Monotonía: Una innovación técnica clave es la descomposición del coeficiente transformado $c_\tau(t)$ en una parte absolutamente continua y un defecto singular (de Stieltjes) $e_\tau(t)$. Esto permite al autor manejar el hecho de que $h$ es solo continua y monótona, pudiendo contener una parte de Cantor en su derivada.
   • Identidad de Bochner Débil: Se deriva una nueva identidad de tipo Bochner débil para $Q_w$. A diferencia de enfoques previos que dependían de estimaciones integrales globales (por ejemplo, Ou [34]), este trabajo utiliza un término coercitivo puntual local.
   • Construcción de Multiplicadores: Para controlar el crecimiento de $Q_w$ y evitar que los máximos positivos escapen al infinito, el autor construye una función de peso específica $\phi_{\ell,m}$ resolviendo una ecuación diferencial ordinaria hacia atrás, diseñada a medida para la desigualdad de la EDP objetivo. Esto reemplaza los pesos de potencia fija utilizados en el caso de potencia pura.
   • Argumento de Rigidez: Al establecer una cota global aguda $Q_w \leq c_{\tau,0}$ y analizar el comportamiento en los puntos mínimos (utilizando análisis de tangentes y barreras de bolas perforadas), el autor demuestra que la solución debe coincidir con un perfil de Aubin–Talenti. Crucialmente, demuestran que la existencia de tal perfil fuerza al coeficiente $h$ a ser constante en el intervalo de valores alcanzados por el perfil.

2. Desigualdad de Harnack mediante Deconcentración y Teoría de Potenciales:

   • Argumento de Contradicción: La prueba de la desigualdad de Harnack procede por contradicción, asumiendo una secuencia de soluciones que viola la estimación.
   • Análisis de Explosión (Blow-up): Un procedimiento de reescalado identifica una solución entera límite. El resultado de clasificación (Teorema 1.1) se aplica entonces a este límite.
   • Mecanismo de Primer Contacto: En lugar de depender de una estimación de cuello preliminar (como en Qin–Zhang [35]), el autor emplea un argumento de "primer contacto" combinado con la deconcentración de la teoría de potenciales.
   • Estimaciones de Kilpeläinen–Malý: Utilizando la teoría de potenciales no lineales (específicamente los potenciales de Wolff), el autor deriva una cota uniforme para el término fuente cerca del punto de contacto. Esto establece el control necesario del coeficiente para aplicar la desigualdad de Harnack, eliminando efectivamente la necesidad de estimaciones de cuello a priori.

Contribuciones Clave y Resultados

• Teorema 1.1 (Clasificación de Perfiles Normalizados): Para cualquier $\tau \in [0, \infty]$, cualquier solución entera positiva, acotada y normalizada a la ecuación con la no linealidad escalada $g_\tau$, debe ser un perfil de Aubin–Talenti:
  $$V(x) = \left(1 + \gamma_\tau |x|^{p'}\right)^{-a}.$$
  Además, si $0 < \tau < \infty$, la existencia de tal solución implica que $h(s) = h(\tau)$ para todo $0 < s \leq \tau$. Esto establece un teorema de rigidez tanto para la solución como para el coeficiente.

• Teorema 1.2 (Desigualdad de Harnack Invariante de Escala): Para soluciones débiles no negativas en $B_{3R}$, se cumple la siguiente estimación:
  $$\left(\sup_{B_R} u\right) \left(\inf_{B_{2R}} u\right)^{p-1} \leq C R^{p-n}.$$
  Este resultado se establece sin asumir energía finita o comportamiento asintótico específico en el infinito.

• Corolario 1.4 (Teorema de Liouville Sin Restricciones): Toda solución entera positiva a la ecuación original es un perfil de Aubin–Talenti (salvo por escalamiento y traslación), y el coeficiente $h$ es constante en el rango de la solución.

• Equivalencia de Propiedades: El artículo demuestra que, para la ecuación puramente crítica, la clasificación de Liouville sin restricciones es equivalente a la desigualdad de Harnack de tipo Schoen.

Significado y Reivindicaciones

El autor afirma que sus argumentos constituyen las primeras contrapartes cuasilineales de la transformada de Kelvin y del método de las esferas móviles disponibles para un $1 < p < n$ general con coeficientes monótonos meramente continuos.

• Avance Metodológico: El trabajo proporciona pruebas alternativas para resultados clásicos en el caso semilineal ($p=2$) y los extiende al entorno cuasilineal donde las herramientas de invarianza conforme estándar fallan. La introducción de la identidad de Bochner débil con un multiplicador diseñado a medida y el manejo de medidas de Stieltjes singulares en el coeficiente se presentan como herramientas analíticas novedosas.
• Eliminación de Supuestos: Los resultados proporcionan un teorema de Liouville "completamente sin restricciones", eliminando la necesidad de energía finita, acotamiento o condiciones de crecimiento prescritas que caracterizaron los resultados de clasificación previos para $p \neq 2$.
• Perspectiva Estructural: El artículo destaca que la interacción entre los teoremas de Liouville y las desigualdades de Harnack es fundamental. La clasificación de los perfiles de explosión (blow-up) se muestra como indispensable para establecer la estimación de Harnack cuando la no linealidad no es de tipo potencia pura.

El artículo no propone nuevas aplicaciones o propuestas experimentales, sino que se posiciona como una contribución fundacional a la teoría de compacidad para ecuaciones elípticas críticas, cerrando la brecha entre el caso semilineal bien comprendido y el entorno más rígido del cuasilineal.