New solutions to Schrödinger-Poisson-Slater equations in Coulomb-Sobolev spaces

Resumen Técnico: Nuevas Soluciones a las Ecuaciones de Schrödinger–Poisson–Slater en Espacios de Sobolev-Coulomb

Planteamiento del Problema
El artículo investiga la existencia y multiplicidad de soluciones a la ecuación en derivadas parciales no lineal y no local:
$$-\Delta u + (I_\alpha \star |u|^p) |u|^{p-2} u = f(|x|, u) \quad \text{en } \mathbb{R}^N,$$
donde $N \ge 2$, $p > 1$, y $\alpha \in (1, N)$. Aquí, $I_\alpha$ denota el potencial de Riesz de orden $\alpha$. La no linealidad $f: [0, \infty) \times \mathbb{R} \to \mathbb{R}$ es una función de Carathéodory sujeta a una nueva y amplia clase de suposiciones.

Esta ecuación modela un problema de masa cero que surge en sistemas cuánticos de muchos cuerpos (aproximaciones de Hartree–Fock) y modelos de semiconductores. A diferencia de las variantes de masa positiva, este problema se establece naturalmente en un espacio de Sobolev-Coulomb $E_{\alpha, p}(\mathbb{R}^N)$, definido por la norma:
$$\|u\| = \left[ \int_{\mathbb{R}^N} |\nabla u|^2 dx + \left( \int_{\mathbb{R}^N} |I_{\alpha/2} \star |u|^p|^2 dx \right)^{1/p} \right]^{1/2}.$$
Los autores trabajan dentro del subespacio de funciones radiales, $E_{\alpha, p}^{\text{rad}}(\mathbb{R}^N)$, para recuperar las propiedades de compacidad necesarias para los métodos variacionales. El estudio aborda la pérdida de compacidad en las inmersiones hacia espacios de Lebesgue, gobernada por exponentes críticos como el exponente de Sobolev-Coulomb $q_{CS} = 2(2p+\alpha)/(2+\alpha)$ y el exponente radial $q_{rad}$.

Metodología
La innovación metodológica principal es un enfoque basado en escalado dentro de la teoría de puntos críticos. Los autores adaptan técnicas de Mercuri y Perera [28] para manejar situaciones donde las geometrías variacionales clásicas (como la geometría de paso de montaña o el enlace basado en subespacios lineales) pueden no estar presentes o donde la simetría $Z_2$ es insuficiente.

Los componentes metodológicos clave incluyen:

1. Invariancia de Escalado: Los autores identifican un problema de autovalores no lineal invariante de escalado:
   $$-\Delta u + (I_\alpha \star |u|^p) |u|^{p-2} u = \lambda |u|^{q-2} u,$$
   donde $q = q_{CS}$. Este problema admite una secuencia de autovalores $\{\lambda_k\}$ definida mediante el índice cohomológico $Z_2$ de Fadell y Rabinowitz, en lugar del género clásico.
2. Clasificación de No Linealidades: El comportamiento de la no linealidad local $f$ se clasifica en relación con las propiedades de escalado del lado izquierdo de la ecuación. Dependiendo del límite de $f(|x|, t)/|t|^{q-2}t$ cuando $|t| \to \infty$ (o $0$),$f$ se categoriza como:
   • Subescalada: La no linealidad está dominada por la parte principal en el infinito (o en cero).
   • Asintóticamente Escalada: La no linealidad se comporta como un término de autovalor en el infinito (o en cero).
   • Sobreesescalada: La no linealidad domina la parte principal.
3. Estimaciones de Grupos Críticos: Mediante el uso del índice cohomológico, los autores derivan nuevas estimaciones de grupos críticos y construyen conjuntos de enlace basados en escalado. Esto permite la detección de puntos críticos incluso cuando el funcional carece de las simetrías estándar requeridas para las teorías de índice clásicas.
4. Análisis de Compacidad: El artículo establece resultados de compacidad (condiciones de Palais-Smale) para el funcional de acción asociado en diversos regímenes de parámetros ($N, \alpha, p$), abordando los desafíos planteados por el crecimiento subcrítico, crítico y supercrítico de Sobolev.

Resultados Clave
El artículo establece teoremas de existencia y multiplicidad para el problema de masa cero bajo diversas condiciones de crecimiento en $f$:

• Existencia en Regímenes Subescalados: Para no linealidades que son "subescaladas" (dominadas por la parte principal), los autores prueban la existencia de al menos una solución.
• Multiplicidad mediante Resonancia: Cuando $f$ es asintóticamente escalada (acercándose a un término de autovalor $\lambda |u|^{q-2}u$), la existencia de soluciones no triviales depende de la posición de $\lambda$ en relación con los autovalores $\{\lambda_k\}$.
  • Si $\lambda > \lambda_1$, existe una solución no trivial.
  • Si $\lambda > \lambda_2$, existen dos soluciones no triviales.
  • Estos resultados se mantienen incluso si el primitivo del término de perturbación es negativo, eliminando la necesidad de que $\lambda$ sea no resonante en ciertos casos.
• Casos Sobreesescalados y Críticos:
  • En el caso sobreesescalado, donde la no linealidad domina, los autores prueban la existencia de soluciones no triviales bajo condiciones de signo en el primitivo de la perturbación, o introduciendo un parámetro pequeño.
  • En el caso crítico (que involucra el exponente crítico de Sobolev $2^*$), el artículo prueba la existencia de $m$ pares distintos de soluciones para parámetros cercanos a autovalores con multiplicidad $m$.
  • El número de soluciones puede hacerse arbitrariamente grande ajustando parámetros (por ejemplo, el coeficiente de un término subcrítico), con el conteo de soluciones tendiendo a infinito a medida que el parámetro crece.

Significado y Afirmaciones
Los autores afirman que su trabajo extiende resultados recientes de Mercuri y Perera [28] a un rango más amplio de parámetros $N, \alpha, p$ y a una clase más general de no linealidades $f$. El significado del artículo radica en:

1. Generalización de Regímenes Variacionales: La introducción de los términos "subescalado", "escalado" y "sobreesescalado" proporciona un marco unificado para clasificar regímenes variacionales que anteriormente se trataban por separado o no se trataban en absoluto. Esta clasificación refleja la interacción entre la no linealidad $f$ y las propiedades de escalado de la ecuación.
2. Manejo de Geometrías No Simétricas y No Estándar: El enfoque permite tratar problemas donde el funcional de energía no exhibe la geometría estándar de paso de montaña o donde la no linealidad no es una función impar (lo que impide el uso de teoremas estándar de puntos críticos simétricos).
3. Captura de Crecimiento Supercrítico: Al trabajar en el espacio de Sobolev-Coulomb con $p \neq 2$, la metodología captura no linealidades de crecimiento subcrítico, crítico y supercrítico de Sobolev, que a menudo son difíciles de manejar en configuraciones clásicas de Sobolev.
4. Analogía con la Alternativa de Fredholm: La clasificación de soluciones basada en la "resonancia" de $f$ con la secuencia de autovalores $\{\lambda_k\}$ se describe como un análogo no lineal de la alternativa clásica de Fredholm.

El artículo no propone nuevas aplicaciones físicas ni propuestas experimentales, sino que proporciona una base matemática rigurosa para resolver estas ecuaciones bajo parámetros físicos extendidos encontrados en la Teoría del Funcional de la Densidad (DFT) y modelos de química cuántica. Los autores señalan que, aunque utilizan la suposición $2p < 2^*$ en algunos resultados para garantizar la acotación de las secuencias de Palais-Smale, esperan relajar esta condición en trabajos futuros.