A Pohozaev-type neck proof of a conditional Harnack inequality in the critical $p$-Laplacian setting

Resumen Técnico: Una prueba de tipo Pohozaev-Neck de una desigualdad de Harnack condicional en el entorno del $p$-Laplaciano crítico

Planteamiento del problema
El artículo aborda la regularidad y el comportamiento cuantitativo de las soluciones débiles positivas para la ecuación cuasilineal crítica:
$$-\Delta_p u = g(u) \quad \text{en } \Omega \subset \mathbb{R}^n,$$
donde $1 < p < n$, $\Delta_p u = \text{div}(|\nabla u|^{p-2}\nabla u)$ es el $p$-Laplaciano, y la no linealidad $g$ satisface condiciones de crecimiento de Sobolev crítico (específicamente $g(s) \sim s^{p^*-1}$ cuando $s \to \infty$, donde $p^* = \frac{np}{n-p}$).

El objetivo central es establecer una desigualdad de Harnack de la forma:
$$\left(\sup_{B_R} u\right) \left(\inf_{B_{2R}} u\right)^{p-1} \leq C R^{p-n},$$
la cual proporciona una descripción puntual de las soluciones singulares y fundamenta el análisis de explosión (blow-up).

Contexto metodológico y obstáculos
En el caso semilineal ($p=2$), tales desigualdades fueron establecidas por Schoen y posteriormente extendidas por Li y Zhang utilizando el método de la esfera (o plano) móvil. Este método depende fuertemente de la transformada de Kelvin, que aprovecha la invarianza conforme del Laplaciano.

Sin embargo, para $p \neq 2$, el $p$-Laplaciano no es conforme invariante, lo que hace que la transformada de Kelvin y el método asociado de la esfera móvil no estén disponibles. Esta ausencia constituye un obstáculo genuino para extender los resultados clásicos de clasificación y Harnack al entorno general del $p$-Laplaciano crítico.

Metodología: El argumento Pohozaev-Neck
Para superar la falta de invarianza conforme, los autores desarrollan un argumento Pohozaev-neck. Este enfoque reemplaza las técnicas de reflexión geométrica del caso $p=2$ por un argumento analítico basado en la identidad de Pohozaev y la estructura de las singularidades aisladas. La metodología procede a través de los siguientes pasos:

1. Condición de signo estructural: Bajo la suposición de que $s \mapsto s^{-(p^*-1)}g(s)$ es no creciente, los autores establecen que el funcional de Pohozaev es no negativo en bolas para soluciones regulares.
2. Análisis de singularidades: Utilizan el teorema del polo de Kichenassamy–Véron para analizar el comportamiento de las soluciones cerca de singularidades aisladas. Demuestran que si una solución tiene una "parte regular" (un término constante no nulo $\beta$) en su expansión asintótica $u(x) \sim \kappa|x|^{-\alpha} + \beta$, el funcional de Pohozaev en la singularidad se vuelve estrictamente negativo.
3. El Lema del Cuello (Lemma 3.7): Esta es la contribución técnica central. El lema asume una tasa de decaimiento singular "preliminar" (específicamente $|x|^{-(n-p)/p}$) en una región de cuello normalizada. Al reescalar la solución a una escala de "cuello", los autores construyen un perfil límite.
   • Si el decaimiento fuera más lento que la tasa aguda, el perfil límite poseería una parte regular positiva ($\beta > 0$).
   • Esto implicaría un valor de Pohozaev negativo para el límite.
   • Sin embargo, la condición de signo de Pohozaev heredada de la ecuación original (vía la monotonicidad de $g$) requiere que el valor sea no negativo.
   • Esta contradicción fuerza a la parte regular a desaparecer, elevando así la tasa de decaimiento preliminar a la tasa fundamental $p$-armónica aguda $|x|^{-(n-p)/(p-1)}$.

Suposiciones clave (Naturaleza condicional)
El resultado principal es condicional, apoyándose en dos hipótesis explícitas:

1. Hipótesis de Clasificación de Toda la Solución Entera: Toda solución débil positiva entera acotada para la ecuación límite $-\Delta_p V = g_A(V)$ en $\mathbb{R}^n$ (donde $g_A$ representa el límite de explosión de la no linealidad) debe ser un $p$-burbuja de Aubin–Talenti.
2. Control Preliminar del Cuello: Existe una cota superior preliminar sobre las soluciones de cuello normalizadas de la forma $v_j(y) \leq C|y|^{-(n-p)/p}$.

Resultados principales

• Teorema 1.3 (Desigualdad de Harnack): Bajo las suposiciones estructurales de $g$ (Suposición 1.1) y las dos hipótesis anteriores (Suposición 1.2), la desigualdad de Harnack condicional se cumple para cualquier solución débil positiva en $B_{3R}$.
• Mejora del Decaimiento Agudo: El artículo demuestra que el argumento Pohozaev-neck eleva con éxito la tasa de decaimiento singular preliminar $|x|^{-(n-p)/p}$ a la tasa aguda $|x|^{-(n-p)/(p-1)}$, la cual es necesaria para la estimación $\sup \times \inf$.
• Casos Incondicionales: Los autores señalan que en el caso de potencia pura $g(s) = L s^{p^*-1}$, la hipótesis de clasificación es conocida para rangos específicos de $n$ y $p$ (por ejemplo, $n \leq 6$ o $n \geq 7$ con $p > n/3$), lo que hace que el teorema sea incondicional en esos regímenes. Además, si se asume una cota de energía crítica invariante de escala, la clasificación y el control preliminar siguen de la teoría de energía finita existente, haciendo que el resultado sea incondicional en dicho entorno.

Significado y Reivindicaciones
El artículo afirma proporcionar la primera prueba de una desigualdad de Harnack condicional para el $p$-Laplaciano crítico ($p \neq 2$) que no depende de la invarianza conforme.

• Cambio Metodológico: Introduce un "lema del cuello" basado en Pohozaev como una alternativa viable a la transformada de Kelvin para analizar fenómenos de formación de burbujas (bubbling) en entornos no conformemente invariantes.
• Cerrando la Brecha: El trabajo conecta el análisis de explosión local (comportamiento del cuello) con los resultados de clasificación global. Enmarca explícitamente la dificultad del caso general como la potencial existencia de soluciones enteras acotadas que no son burbujas de Aubin–Talenti (límites de energía infinita), un escenario excluido por la hipótesis condicional.
• Limitaciones: Los autores son modestos sobre el alcance, reconociendo que sin la hipótesis de clasificación (o una cota de energía), la existencia de soluciones enteras que no sean burbujas sigue siendo un obstáculo abierto. El resultado se presenta como un paso adelante condicional, dependiente de la validez de la clasificación de los límites de explosión enteros.

Conclusión
El artículo establece un marco robusto para analizar ecuaciones del $p$-Laplaciano crítico mediante la sustitución de los métodos geométicos conformes por identidades de Pohozaev analíticas. Logra derivar una desigualdad de Harnack aguda bajo la suposición de que la clasificación de las soluciones enteras se comporta de manera similar al caso semilineal, aislando así el problema de la clasificación como el único obstáculo restante para un resultado plenamente incondicional.