Compactness results for Sign-Changing Solutions of critical nonlinear elliptic equations of low energy

Aquí presento un resumen técnico detallado del artículo "Compactness Results for Sign-Changing Solutions of Critical Nonlinear Elliptic Equations of Low Energy" (Resultados de Compacidad para Soluciones que Cambian de Signo de Ecuaciones Elípticas No Lineales Críticas de Baja Energía), escrito por Hussein Cheikh Ali y Bruno Premoselli.

1. Planteamiento del Problema

El artículo se centra en el estudio de las propiedades de compacidad del conjunto de soluciones que cambian de signo (sign-changing solutions) para la siguiente ecuación elíptica crítica en un dominio acotado y suave $\Omega \subset \mathbb{R}^n$ ($n \ge 3$):

$$\begin{cases} -\Delta v + h v = |v|^{2^*-2} v & \text{en } \Omega, \\ v = 0 & \text{en } \partial\Omega, \end{cases}$$

donde $2^* = \frac{2n}{n-2}$ es el exponente crítico de Sobolev y $h \in C^1(\Omega)$ es una función potencial. Se asume que el operador $-\Delta + h$ es coercivo.

El objetivo principal es determinar bajo qué condiciones las secuencias de soluciones $v_\alpha$ que cambian de signo y tienen energía baja (cercana al nivel mínimo de energía para soluciones que cambian de signo) son compactas en la topología $C^2(\Omega)$. Específicamente, se investiga si una secuencia de soluciones que explota (blow-up, es decir, $\|v_\alpha\|_\infty \to \infty$) puede existir bajo ciertas restricciones de energía y dimensión.

El umbral de energía crítico considerado es:
$$E_{lim} = K_n^{-n} + I_h(\Omega)^{\frac{n}{2}}$$
donde $K_n$ es la constante óptima de Sobolev en $\mathbb{R}^n$ y $I_h(\Omega)$ es el mínimo de Rayleigh para el operador $-\Delta + h$. Este umbral representa la suma de la energía del "burbujeo" (bubbling) en el infinito y la energía de la solución base positiva.

2. Metodología

Los autores emplean un enfoque basado en análisis de explosión (blow-up analysis) y contradicción. La estrategia se divide en los siguientes pasos clave:

1. Descomposición de Struwe: Se asume por contradicción que existe una secuencia de soluciones $v_\alpha$ que explota pero que satisface el límite de energía. Según el teorema de Struwe, tal secuencia se descompone en:
   $$v_\alpha = B_\alpha \pm v_\infty + o(1)$$
   donde $B_\alpha$ es un perfil de burbuja positiva concentrada en un punto $x_\alpha$ (solución de $-\Delta B = B^{2^*-1}$ en $\mathbb{R}^n$), $v_\infty$ es una solución débil del problema límite, y el resto converge fuertemente a cero.

2. Nueva Estimación Puntual Global (Teorema 2.1):

   • Este es el aporte metodológico central. Los autores prueban una estimación puntual precisa que es válida hasta el borde del dominio $\partial\Omega$, incluso si el punto de concentración $x_\alpha$ converge a la frontera.
   • Demuestran que:
     $$|v_\alpha(x) - \Pi B_\alpha(x) \mp v_\infty(x)| \le \epsilon_\alpha (B_\alpha(x) + v_\infty(x))$$
     donde $\Pi B_\alpha$ es la proyección de $B_\alpha$ en $H^1_0(\Omega)$ (la solución de $(-\Delta + h_\alpha)u = B_\alpha^{2^*-1}$).
   • Esta estimación es crucial porque controla la interacción entre la burbuja y la solución base cerca del borde, donde $\Pi B_\alpha$ se desvía significativamente de $B_\alpha$ debido a las condiciones de Dirichlet.

3. Identidades de Pohozaev:

   • Se utilizan identidades de Pohozaev en diferentes escalas (interior y cerca del borde) para obtener condiciones necesarias para que ocurra la explosión.
   • Se analizan dos casos:
     • Explosión Interior ($x_\infty \in \Omega$): Se derivan condiciones sobre el valor de $h(x_\infty)$ y la función masa $m_h(x_\infty)$ dependiendo de la dimensión $n$.
     • Explosión en el Borde ($x_\infty \in \partial\Omega$): Se introduce una escala intermedia $r_\alpha$ para analizar el comportamiento de $v_\alpha$ cuando la burbuja se acerca al borde. Se demuestra que, bajo ciertas condiciones, la explosión en el borde es imposible para soluciones que cambian de signo en dimensiones bajas.

4. Análisis por Dimensiones:

   • Se tratan separadamente los casos $n \in \{3, 4, 5\}$, $n=6$ y $n \ge 7$, ya que los órdenes de magnitud de los términos en las identidades de Pohozaev cambian drásticamente.

3. Contribuciones Clave

• Estimación Puntual hasta el Borde: La demostración de la estimación (1.9) / (2.17) es la primera vez que se logra una descripción puntual precisa de soluciones que explotan y cambian de signo que es uniforme hasta el borde del dominio, sin asumir que el punto de concentración es interior. Esto permite descartar la explosión en el borde en ciertas configuraciones.
• Carácterización de la Explosión para Soluciones que Cambian de Signo: A diferencia de las soluciones positivas, donde la explosión en el borde es posible en ciertas condiciones, los autores demuestran que para soluciones que cambian de signo con energía mínima, la explosión en el borde es imposible en dimensiones bajas ($n \le 5$) y bajo ciertas condiciones en $n \ge 7$.
• Resultados de Compacidad Incondicionales en Bajas Dimensiones: Se establece que en dimensiones $3 \le n \le 5$, la compacidad es incondicional para soluciones que cambian de signo en el nivel de energía más bajo, lo cual es sorprendente dado que las soluciones positivas en estas dimensiones suelen no ser compactas.

4. Resultados Principales

Teorema 1.1 (Compacidad):
Sea $\Omega$ un dominio suave acotado. Si una secuencia de soluciones $v_\alpha$ satisface el límite de energía (1.7) y:

• Caso $3 \le n \le 5$: Si todas las $v_\alpha$ cambian de signo, entonces la secuencia es compacta en $C^2(\Omega)$. No se requieren condiciones adicionales sobre $h$.
• Caso $n \ge 7$: Si $h(x) \neq 0$ en todo $\Omega$ (específicamente, si $h > 0$), entonces la secuencia es compacta en $C^2(\Omega)$.

Corolario 1.1:
Estos resultados implican que el conjunto de soluciones que cambian de signo con energía ligeramente superior al umbral mínimo es precompacto en la topología $C^2$.

Proposición 1.1 (Caso $n=6$):
En dimensión 6, la compacidad no se cumple en general. Se demuestra que si ocurre una explosión, el límite $v_\infty$ debe ser positivo y satisfacer una relación específica $h(x_\infty) = \pm 2v_\infty(x_\infty)$. Se cita literatura previa donde se construyen familias no compactas en $n=6$.

Análisis de la Dimensión 6:
El caso $n=6$ es crítico y excluido del teorema principal de compacidad. Los autores muestran que en este caso, la explosión puede ocurrir si se cumple una condición de resonancia entre el potencial $h$ y la solución base en el punto de concentración.

5. Significado e Impacto

• Contraste con Soluciones Positivas: El resultado es notable porque, en dimensiones bajas ($3 \le n \le 5$), las soluciones positivas de ecuaciones críticas (como el problema de Brezis-Nirenberg) a menudo exhiben falta de compacidad (familias de soluciones que explotan). Sin embargo, para soluciones que cambian de signo en el nivel de energía más bajo, la compacidad se recupera "incondicionalmente". Esto sugiere que la estructura nodal (cambio de signo) impone restricciones topológicas y energéticas más fuertes que impiden la formación de burbujas en el borde o en el interior bajo estas condiciones de energía.
• Herramientas Nuevas: La técnica de estimación puntual global hasta el borde abre nuevas vías para estudiar problemas de ecuaciones elípticas críticas en dominios con frontera, especialmente para soluciones no positivas.
• Cierre de Lagunas: El trabajo completa la comprensión de la compacidad para soluciones que cambian de signo en el nivel de energía mínimo, resolviendo casos abiertos en dimensiones bajas y proporcionando condiciones claras para dimensiones altas.

En resumen, el artículo demuestra que la naturaleza "sign-changing" de las soluciones actúa como un mecanismo estabilizador en dimensiones bajas, garantizando la compacidad en el nivel de energía más bajo, un fenómeno que contrasta fuertemente con el comportamiento de las soluciones positivas.