Existence and non-existence of nonradial solutions to an elliptic equation on hyperbolic space with critical and subcritical nonlinearities

Resumen Técnico: Existencia y No Existencia de Soluciones No Radiales de una Ecuación Elíptica en el Espacio Hiperbólico

Planteamiento del Problema
Este artículo investiga la ecuación elíptica semilineal en el espacio hiperbólico $N$-dimensional $\mathbb{B}^N$ (modelado como la bola de Poincaré):
$$-\Delta_{\mathbb{B}^N} u - \lambda u = |u|^{p-1}u, \quad u \in H^1(\mathbb{B}^N),$$
donde $N \geq 3$, $\lambda > \frac{N(N-2)}{4}$ y $1 < p \leq 2^* - 1$ (con $2^* = \frac{2N}{N-2}$ siendo el exponente de Sobolev crítico). El estudio aborda dos preguntas primordiales:

1. Existencia: ¿Posee la ecuación soluciones no radiales y con cambio de signo en el caso crítico ($p = 2^* - 1$) cuando el parámetro espectral $\lambda$ se encuentra en el rango $\frac{N(N-2)}{4} < \lambda < \lambda_1$, donde $\lambda_1 = \frac{(N-1)^2}{4}$ es el fondo del espectro $L^2$ de $-\Delta_{\mathbb{B}^N}$?
2. No Existencia: ¿Es posible establecer la no existencia de soluciones no triviales para valores espectrales $\lambda > \lambda_1$ bajo restricciones de simetría específicas?

Metodología
Los autores emplean una combinación de métodos variacionales, geometría conforme, teoría de grupos y análisis espectral.

• Transformación Conforme: El problema en el espacio hiperbólico se transforma en un problema de Dirichlet euclídeo ponderado en la bola unidad $B \subset \mathbb{R}^N$. Utilizando el factor conforme $h(x) = \frac{2}{1-|x|^2}$, la ecuación $(Eq_\lambda)$ se mapea a:
  $$-\Delta v - \tilde{\lambda} h^2 v = |v|^{2^*-2}v, \quad v \in H^1_0(B),$$
  donde $\tilde{\lambda} = \lambda - \frac{N(N-2)}{4}$. Esto permite la aplicación de técnicas variacionales euclídeas.

• Simetría y Subespacios Equivariantes: Para construir soluciones no radiales, los autores restringen el problema variacional a subespacios $\phi$-equivariantes de $H^1_0(B)$. Utilizan un subgrupo cerrado $\Gamma \subset O(N)$ y un homomorfismo $\phi: \Gamma \to \mathbb{Z}_2$. Las funciones $u$ en estos subespacios satisfacen $u(gx) = \phi(g)u(x)$, lo que fuerza cambios de signo y rompe la simetría radial. La existencia de tales subespacios depende de la construcción de $n$ subespacios equivariantes distintos con intersecciones triviales, basados en la descomposición $N = 4n + m$.

• Prueba de Existencia (Caso Crítico):

  • Los autores definen un cociente de Sobolev equivariante $S_\phi$ y lo comparan con el correspondiente cociente euclídeo $S_\phi^\infty$.
  • Mediante la construcción de una función de prueba basada en las burbujas de Aubin-Talenti (soluciones de la ecuación crítica euclídea) y utilizando las estimaciones de decaimiento mejoradas de estas burbujas (derivadas mediante la transformación de Kelvin y la equivariancia), demuestran la desigualdad estricta $S_\phi < S_\phi^\infty$.
  • Esta desigualdad estricta, combinada con el principio de concentración-compacidad y el hecho de que el conjunto de puntos fijos de la acción del grupo es solo el origen, asegura la compacidad de las sucesiones minimizantes, produciendo un minimizador no trivial.

• Prueba de No Existencia ($\lambda > \lambda_1$):

  • Para $\lambda > \lambda_1$, la ecuación se visualiza como un problema de autovalores de tipo Schrödinger $-(\Delta_{\mathbb{B}^N} + V)u = \lambda u$ con un potencial $V = -|u|^{p-1}$.
  • Los autores invocan un resultado de Borthwick y Marzuola que establece que si el potencial $V$ decae lo suficientemente rápido ($V = o(\rho^{-1})$), no existen autofunciones $L^2$ para $\lambda > \lambda_1$.
  • Para verificar esta condición de decaimiento para soluciones con cambio de signo, introducen una condición de Empaquetamiento de Órbitas Cuantitativo (QOP). Esta condición mide cuántos puntos pueden empaquetarse en una órbita de un subgrupo $\Gamma$ sobre la esfera unidad.
  • Demuestran que si $|u|$ es $\Gamma$-invariante y $\Gamma$ satisface la condición (QOP), la solución $u$ debe decaer a un ritmo suficiente para satisfacer la hipótesis del teorema de no existencia, forzando así que $u \equiv 0$.

Contribuciones Clave y Resultados

1. Existencia de Soluciones No Radiales con Cambio de Signo (Teorema 1.1):
   Para dimensiones $N = 4n + m$ ($n \geq 1, m \in \{0,1,2,3\}$) y parámetros $\frac{N(N-2)}{4} < \lambda < \frac{(N-1)^2}{4}$ con exponente crítico $p = 2^* - 1$, la ecuación posee al menos $n$ soluciones distintas no radiales con cambio de signo. Este resultado extiende trabajos previos sobre soluciones radiales e mejora los resultados de multiplicidad para dimensiones menores.

2. No Existencia Restringida por Simetría (Teorema 1.2):
   Para $\lambda > \lambda_1$ y $1 < p \leq 2^* - 1$, si una solución $u$ satisface $|u| \in H^1(\mathbb{B}^N)$ y es invariante bajo un subgrupo $\Gamma \subset O(N)$ que satisface la condición (QOP), entonces $u \equiv 0$.

   • Este resultado generaliza los teoremas de no existencia conocidos para soluciones radiales a una amplia clase de soluciones simétricas no radiales.
   • Identifica estructuras de grupo específicas (por ejemplo, productos de grupos ortogonales) que garantizan la no existencia, mientras señala que los grupos con órbitas finitas no satisfacen la necesaria condición de empaquetamiento.

Significado y Reivindicaciones
El artículo afirma ser el primero en abordar estas direcciones específicas respecto a las soluciones no radiales con cambio de signo en el entorno hiperbólico crítico y la no existencia basada en simetría para $\lambda > \lambda_1$.

• Mejora de la Literatura Existente: El resultado de existencia mejora los hallazgos previos de Mancini, Sandeep y otros, quienes establecieron la existencia para soluciones radiales positivas o soluciones radiales con cambio de signo bajo diferentes restricciones. Este trabajo apunta específicamente al régimen no radial y con cambio de signo en el caso crítico.
• Nuevo Mecanismo de No Existencia: El resultado de no existencia es significativo porque va más allá de la identidad de Pohozaev estándar (que falla para soluciones con cambio de signo debido a los conjuntos nodales) y de los principios de comparación. En su lugar, utiliza la teoría espectral y una condición geométrica de "empaquetamiento de órbitas" para derivar estimaciones de decaimiento, probando la no existencia para una gran clase de funciones simétricas, incluyendo un subespacio de dimensión infinita de funciones no radiales.

Los autores mantienen un tono modesto, enmarcando su trabajo como el establecimiento de la existencia y la multiplicidad para rangos espectrales específicos y la provisión de un resultado parcial de no existencia supeditado a las propiedades geométricas del grupo de simetría, en lugar de reclamar una clasificación completa de todas las posibles soluciones.