Nonlinear Schrödinger equations with a critical, inverse-square potential

Resumen Técnico: Ecuaciones de Schrödinger No Lineales con un Potencial Crítico Inverso-Cuadrático

Planteamiento del Problema
El artículo investiga la existencia de soluciones de onda estacionaria para la ecuación de Schrödinger no lineal (NLS) que presenta un potencial crítico inverso-cuadrático (potencial de tipo Hardy) y una no linealidad periódica. La ecuación específica bajo estudio es:
$$-\Delta u + V(x)u - \frac{(N-2)^2}{4|x|^2}u = f(x, u), \quad x \in \mathbb{R}^N \setminus \{0\}$$
donde $N \ge 3$. Se asume que el potencial $V(x)$ y la no linealidad $f(x, u)$ son $\mathbb{Z}^N$-periódicas. El coeficiente del término singular es crítico, igual a la constante óptima en la desigualdad de Hardy, $\mu = \frac{(N-2)^2}{4}$. La no linealidad $f$ satisface las condiciones de Carathéodory, es superlineal y exhibe crecimiento subcrítico (potencia $p \in (2, 2^*)$, donde $2^* = \frac{2N}{N-2}$).

Metodología y Marco Funcional
Los autores emplean métodos variacionales para encontrar puntos críticos del funcional de energía asociado. Un desafío principal abordado es la falta de invarianza traslacional causada por el término de potencial singular $\frac{1}{|x|^2}$, lo cual impide la aplicación directa de argumentos de compacidad estándar utilizados en problemas de NLS periódicos.

1. Espacio Funcional No Estándar ($X^1(\mathbb{R}^N)$):
   Debido al coeficiente crítico en la desigualdad de Hardy, la norma estándar $H^1(\mathbb{R}^N)$ no es equivalente a la norma de energía natural del problema. Los autores definen el espacio $X^1(\mathbb{R}^N)$ como la completación de $H^1(\mathbb{R}^N)$ bajo la norma:
   $$\|u\|_{X^1}^2 = \int_{\mathbb{R}^N} \left( |\nabla u|^2 - \frac{(N-2)^2}{4|x|^2}u^2 + u^2 \right) dx$$
   Este espacio es un espacio de Hilbert que se incrusta continuamente en $H^s(\mathbb{R}^N)$ para $s \in (0, 1)$ y en $L^t(\mathbb{R}^N)$ para $t \in [2, 2^*)$. Los autores utilizan una norma específica $\|u\|^2 = [u]^2 + \int V(x)u^2 dx$, la cual es equivalente a $\|\cdot\|_{X^1}$ bajo la suposición de que $V$ tiene un ínfimo esencial positivo.

2. Marco Variacional:
   El funcional de energía $J: X^1(\mathbb{R}^N) \to \mathbb{R}$ se define como:
   $$J(u) = \frac{1}{2}\|u\|^2 - \int_{\mathbb{R}^N} F(x, u) dx$$
   donde $F$ es la primitiva de $f$. Los autores utilizan un teorema abstracto (basado en [1]) para generar secuencias de Cerami en la variedad de Nehari. Las suposiciones sobre $f$ (superlinealidad, crecimiento subcrítico y monotonía de $f(x,u)/|u|$) aseguran que el funcional satisface las condiciones geométricas requeridas para la existencia de dichas secuencias.

3. Descomposición de Perfiles:
   Dado que las condiciones de compacidad de Palais-Smale y Cerami no se satisfacen debido a la falta de invarianza traslacional en $X^1(\mathbb{R}^N)$, los autores desarrollan una nueva descomposición de perfiles adaptada a esta estructura específica.

   • Establecen que cualquier secuencia de Cerami acotada $(u_n)$ en $X^1(\mathbb{R}^N)$ puede descomponerse en un límite débil $u_0$ (una solución de la ecuación original) y un número finito de "burbujas" $u_i$ (soluciones de la ecuación límite sin el potencial singular, definidas en $H^1(\mathbb{R}^N)$).
   • Crucialmente, demuestran que el término de potencial singular se desvanece en el límite para las burbujas trasladadas. Al comparar los niveles de energía del funcional original $J$ y del funcional límite $J_0$ (asociado con la ecuación $-\Delta u + V(x)u = f(x,u)$), demuestran que las burbujas no triviales no pueden existir al nivel de energía del estado fundamental.

Contribuciones y Resultados Clave

• Existencia del Estado Fundamental: El resultado principal (Teorema 1.1) establece la existencia de una solución de estado fundamental para la ecuación (1.2) bajo las suposiciones (V) y (F1)–(F4).
• Nueva Descomposición de Perfiles: El artículo introduce un teorema de descomposición de perfiles técnicamente complejo (Teorema 4.4) diseñado específicamente para el espacio $X^1(\mathbb{R}^N)$. Esta descomposición maneja la naturaleza no invariante bajo traslación del potencial singular al mostrar que cualquier límite débil de una secuencia trasladada debe ser un punto crítico del funcional límite definido únicamente en $H^1(\mathbb{R}^N)$.
• Recuperación de Compacidad: Al comparar los niveles de energía ($c$ para el problema original y $c_0$ para el problema límite), los autores muestran que $c < c_0$. Esta desigualdad fuerza a que el número de burbujas no triviales ($m$) en la descomposición de perfiles sea cero, recuperando así la convergencia fuerte de la secuencia de Cerami hacia un estado fundamental.

Significado y Afirmaciones
El artículo afirma resolver el problema de existencia para ecuaciones NLS con un potencial inverso-cuadrático crítico en un entorno periódico, un caso que introduce dificultades significativas en comparación con los casos subcríticos (donde $\mu < \frac{(N-2)^2}{4}$). Los autores señalan que la constante crítica destruye la equivalencia de la norma natural con la norma clásica $H^1$ y rompe la invarianza traslacional, haciendo inaplicables las herramientas de compacidad estándar.

El significado radica en el desarrollo de la nueva descomposición de perfiles adaptada a la estructura no invariante bajo traslación de $X^1(\mathbb{R}^N)$. Este enfoque permite a los autores excluir límites débiles no triviales aprovechando la brecha de energía entre los problemas singulares y no singulares. El trabajo se basa y extiende estudios previos sobre potenciales de Hardy subcríticos (por ejemplo, [13], [15]) y el estudio de la ecuación de Berestycki–Lions en este marco funcional específico (por ejemplo, [3]). El artículo no propone nuevas aplicaciones físicas, sino que proporciona un marco matemático riguroso para resolver esta clase específica de problemas elípticos singulares.