Existence and nonexistence of normalized solutions for nonlinear Schrödinger equation involving combined nonlinearities in bounded domain

Resumen Técnico: Existencia y No Existencia de Soluciones Normalizadas en Dominios Acotados

1. Planteamiento del Problema

El artículo estudia la existencia, multiplicidad y no existencia de soluciones normalizadas para la ecuación de Schrödinger no lineal con combinaciones de potencias en un dominio acotado y suave $\Omega \subset \mathbb{R}^N$:

$$\begin{cases} -\Delta u + \omega u = \mu |u|^{p-2}u + |u|^{q-2}u, & u > 0 \quad \text{en } \Omega, \\ u = 0, & \text{en } \partial\Omega, \\ \|u\|_{L^2(\Omega)}^2 = \rho, \end{cases}$$

donde:

• $\rho > 0$ es la masa prescrita (norma $L^2$ fija).
• $\omega \in \mathbb{R}$ es un parámetro desconocido que actúa como multiplicador de Lagrange asociado a la restricción de masa.
• $\mu \in \mathbb{R}$ es un coeficiente que permite no linealidades con signo cambiante.
• $1 < p \le q$ son los exponentes de las potencias.
• El caso crítico de Sobolev se denota como $2^* = \frac{2N}{N-2}$ (para $N \ge 3$).

El objetivo es encontrar pares $(\omega, u)$ que sean puntos críticos del funcional de energía restringido a la variedad $S_\rho = \{u \in H_0^1(\Omega) : \|u\|_2^2 = \rho\}$.

2. Metodología

Los autores emplean una combinación de técnicas variacionales avanzadas y análisis geométrico:

• Minimización Local: Se analiza la existencia de minimizadores locales del funcional de energía $I(u)$ en subconjuntos de $S_\rho$ definidos por cotas en la norma del gradiente ($A_\alpha$). Se utiliza el lema de Brezis-Lieb y desigualdades de Sobolev/Gagliardo-Nirenberg para probar la compacidad de las sucesiones minimizantes.
• Truco de Monotonicía (Monotonicity Trick) de Struwe: Para superar la falta de compacidad en el caso crítico y la dificultad de acotar sucesiones Palais-Smale (PS) en dominios generales, se introduce un parámetro $\eta$ en el funcional ($I_\eta$). Esto permite construir una sucesión de soluciones para $\eta_n \to 1$ que satisface la identidad de Pohozaev, garantizando la acotación en $H_0^1(\Omega)$ si el dominio es estrellado.
• Identidad de Pohozaev: Se utiliza crucialmente para obtener estimaciones de acotación y demostrar la no existencia en ciertos regímenes.
• Método de Planos Móviles (Moving-Plane Method): Se aplica en dominios convexos para establecer la monotonía de las soluciones cerca del borde, lo cual es esencial para probar resultados de no existencia cuando la masa es grande.
• Argumentos de Continuidad y Análisis de Rango: Para el caso de la bola y el problema de Brézis-Nirenberg, se utiliza la unicidad y simetría radial de las soluciones para reducir el problema a una EDO y analizar la continuidad de la norma $L^2$ respecto al parámetro $\lambda$ (equivalente a $\omega$).

3. Contribuciones Clave y Resultados Principales

El artículo establece tres resultados fundamentales bajo diferentes condiciones de los parámetros y la geometría del dominio:

A. Existencia de un Minimizador Local (Teorema 1.1)

• Condiciones: $2 < p \le q \le 2^*$, $\mu \in \mathbb{R}$.
• Resultado: Para una masa $\rho$ suficientemente pequeña, existe al menos una solución que es un minimizador local de la energía restringida.
• Mejora: Este resultado elimina la restricción de que el dominio deba ser "estrellado" (necesaria en trabajos previos como [28]) y cubre casos de no linealidades con signo cambiante y exponentes subcríticos de masa.

B. Existencia de una Segunda Solución (Tipo Montaña) (Teorema 1.3)

• Condiciones: $\mu \ge 0$, $\Omega$ es un dominio estrellado.
• Resultado: Para $\rho$ pequeño, existen al menos dos soluciones positivas: el minimizador local y una segunda solución de tipo "paso de montaña" (mountain pass).
• Detalles Técnicos: Se construye una estructura de paso de montaña para el funcional $I_\eta$. Usando el truco de monotonicía, se obtiene una sucesión PS acotada. La convergencia fuerte se demuestra mediante estimaciones de "burbujeo" (bubbling estimates) y la identidad de Pohozaev.
• Alcance: Mejora resultados previos al cubrir dimensiones $N \ge 3$ (mientras que trabajos anteriores se limitaban a $N \in \{3,4,5\}$) y trata el caso crítico de Sobolev $q=2^*$.

C. No Existencia para Masas Grandes (Teorema 1.5)

• Condiciones: $\mu > 0$, $1 < p \le 2$, $q \ge \max\{2^*, 3\}$, $\Omega$ es un dominio convexo.
• Resultado: Si la masa $\rho$ es suficientemente grande, no existen soluciones positivas normalizadas.
• Mecanismo: El método de planos móviles muestra que la solución se concentra en el centro del dominio a medida que $\rho \to \infty$. Esto fuerza a que el multiplicador de Lagrange $\omega$ tienda a infinito, lo cual entra en contradicción con las estimaciones obtenidas mediante la identidad de Pohozaev y la desigualdad de Hölder.
• Significado: Proporciona el primer resultado de no existencia para problemas de tipo Brézis-Nirenberg con masa prescrita en el caso crítico/supercrítico en dimensiones $3 \le N \le 6$.

D. Dicotomía en la Bola (Teorema 1.7)

• Contexto: Caso especial donde $\mu=0$, $q=2^*$ y $\Omega$ es una bola.
• Resultado: Se establece una dicotomía completa:
  1. Si $0 < \rho < \rho^*$: Existen al menos dos soluciones.
  2. Si $\rho = \rho^*$: Existe al menos una solución.
  3. Si $\rho > \rho^*$: No existen soluciones.
• Método: Se basa en el análisis de la continuidad de la norma $L^2$ de la solución única del problema de Brézis-Nirenberg clásico respecto al parámetro espectral $\lambda$, demostrando que la norma tiende a cero en los extremos del intervalo de existencia de $\lambda$.

4. Significado e Impacto

Este trabajo es significativo por varias razones:

1. Unificación de Casos: Aborda simultáneamente el caso subcrítico, crítico y supercrítico de masa, así como combinaciones de no linealidades, en un marco unificado para dominios acotados.
2. Superación de Limitaciones Geométricas: Logra resultados de existencia sin requerir que el dominio sea estrellado para la primera solución, y extiende la existencia de la segunda solución a dimensiones superiores a las tratadas anteriormente.
3. Resultados de No Existencia: Llena un vacío en la literatura al probar la no existencia de soluciones para masas grandes en dominios convexos, un problema que había permanecido abierto para exponentes críticos y supercríticos.
4. Compleción del Problema de Brézis-Nirenberg: Ofrece una respuesta completa (dicotomía) para el problema de Brézis-Nirenberg con masa prescrita en una bola, caracterizando exactamente el umbral de masa $\rho^*$ donde desaparecen las soluciones.

En conclusión, el artículo avanza significativamente la comprensión de las soluciones normalizadas en dominios acotados, resolviendo problemas de existencia y no existencia mediante técnicas variacionales refinadas y análisis geométrico preciso.