Blowing-up solutions to a critical 4D Neumann system in a competitive regime

1. Planteamiento del Problema

El artículo aborda la existencia de soluciones de "explosión" (blowing-up solutions) para un sistema elíptico acoplado crítico con condiciones de frontera de Neumann en un dominio $\Omega \subset \mathbb{R}^4$ con frontera suave. El sistema estudiado es:

$$\begin{cases} -\Delta u_1 + \lambda u_1 = u_1^3 - \beta u_1 u_2^2 & \text{en } \Omega, \\ -\Delta u_2 + \lambda u_2 = u_2^3 - \beta u_2 u_1^2 & \text{en } \Omega, \\ \frac{\partial u_1}{\partial \nu} = \frac{\partial u_2}{\partial \nu} = 0 & \text{en } \partial\Omega, \end{cases}$$

donde:

• $\lambda > 0$ es un parámetro grande.
• $\beta > 0$ es una constante de acoplamiento que representa un régimen competitivo (las especies o componentes se repelen).
• El exponente crítico es $3 = \frac{N+2}{N-2}$ para $N=4$ (exponente de Sobolev crítico).

El desafío principal: A diferencia de los casos subcríticos o de dimensiones superiores ($N \geq 6$), el caso crítico en dimensiones bajas ($N=3, 4, 5$) presenta dificultades técnicas significativas debido a la falta de compacidad y a la necesidad de un perfil de aproximación (ansatz) mucho más refinado. En particular, para $N=4$, la burbuja estándar de Talenti no es suficiente para capturar los efectos de la frontera y la interacción entre componentes.

2. Metodología

Los autores emplean el método de reducción de Lyapunov-Schmidt, una técnica perturbativa estándar para problemas no lineales, adaptada cuidadosamente a las particularidades de este sistema en dimensión 4.

A. Construcción del Ansatz (Aproximación)

La solución se construye como una perturbación de una suma de "burbujas" concentradas en puntos de la frontera. La forma ansatz es:
$$u_i = V_{\lambda, \delta_i, \xi_i} + \psi_i, \quad i=1,2$$
donde:

• $V_{\lambda, \delta_i, \xi_i} = U_{\delta_i, \xi_i} - W_{\lambda, \delta_i, \xi_i}$.
• $U_{\delta_i, \xi_i}$ es la burbuja estándar de Talenti centrada en $\xi_i \in \partial\Omega$ con parámetro de concentración $\delta_i$.
• Corrección clave: El término $W_{\lambda, \delta_i, \xi_i}$ es una corrección introducida por Rey (adaptada aquí al sistema) que involucra funciones de Bessel. Esta corrección es esencial en $N=4$ para satisfacer las condiciones de Neumann y manejar los términos de orden superior que surgen en la expansión asintótica.
• $\delta_i \sim \frac{d_i}{\lambda \ln \lambda}$, donde $d_i$ son parámetros escalares positivos.
• $\xi_1, \xi_2$ son puntos distintos en la frontera $\partial\Omega$.

B. Reducción del Problema

El problema se descompone en dos pasos:

1. Resolución en el espacio ortogonal: Se demuestra la existencia y unicidad de un término de resto $\psi = (\psi_1, \psi_2)$ en un subespacio ortogonal a las direcciones de invariancia del problema linealizado. Esto se logra mediante un argumento de punto fijo (contracción) y estimaciones precisas de los operadores lineales y no lineales.
2. Reducción a dimensión finita: Se define una energía reducida $\mathcal{R}(d, \xi)$ que depende solo de los parámetros de concentración $d$ y los puntos de concentración $\xi$. Los autores demuestran que encontrar una solución al sistema original es equivalente a encontrar un punto crítico de esta energía reducida.

C. Análisis de la Energía Reducida

Se realiza un desarrollo asintótico fino de la energía reducida cuando $\lambda \to \infty$. El término dominante de la expansión depende de la curvatura media $H(\xi)$ de la frontera en los puntos de concentración:
$$\mathcal{R}(d, \xi) \approx C_0 + \frac{1}{\lambda \ln \lambda} \sum_{i=1}^2 \left( -c_1 H(\xi_i) d_i + c_2 d_i^2 \right) + o(1).$$
Esta estructura revela que los puntos de concentración deben localizarse cerca de los máximos locales estrictos de la curvatura media.

3. Contribuciones Clave y Resultados Principales

Teorema Principal (Teorema 1.1)

Bajo la hipótesis de que la función de curvatura media $H$ de la frontera $\partial\Omega$ posee al menos dos puntos de máximo local estricto distintos, $\xi_1^*$ y $\xi_2^*$, con valores positivos ($H(\xi_i^*) > 0$), existe un umbral $\lambda_0$ tal que para todo $\lambda > \lambda_0$, el sistema (1.1) admite una solución $(u_{1,\lambda}, u_{2,\lambda})$ donde:

• $u_{1,\lambda}$ explota (tiende a infinito) en $\xi_1^*$.
• $u_{2,\lambda}$ explota en $\xi_2^*$.
• Los puntos de explosión son distintos y se sitúan en la frontera.

Contribuciones Técnicas Específicas

1. Manejo de la Dimensión 4 Crítica: El trabajo supera la dificultad de la dimensión 4, donde la burbuja estándar falla. La incorporación de la corrección con funciones de Bessel ($W$) es fundamental para obtener las estimaciones de error necesarias.
2. Régimen Competitivo: Se construyen soluciones donde los componentes se segregan (cada uno explota en un punto diferente) en un régimen de acoplamiento positivo ($\beta > 0$), lo cual es más complejo que el caso cooperativo.
3. Geometría del Dominio: Se establece una conexión directa entre la geometría del dominio (a través de la curvatura media) y la ubicación de las soluciones de explosión. Por ejemplo, en un elipsoide o dominios con "protrusiones" (salientes), la curvatura tiene máximos en las puntas, garantizando la existencia de tales soluciones.
4. Generalización: Los resultados se extienden a sistemas con $d \geq 2$ componentes, donde cada componente explota en un máximo local distinto de la curvatura media.

4. Significado e Impacto

• Avance en la Teoría de Ecuaciones Acopladas: Mientras que el caso escalar (una sola ecuación) ha sido estudiado extensamente (ej. trabajos de Rey, Wei, Yan), la teoría para sistemas acoplados críticos con condiciones de Neumann estaba menos desarrollada. Este artículo proporciona uno de los primeros resultados de existencia de soluciones de explosión para sistemas críticos competitivos.
• Resolución de un Problema Abierto: El artículo aborda explícitamente la falta de resultados sobre soluciones de explosión en la frontera para sistemas críticos competitivos, llenando un vacío en la literatura matemática.
• Aplicaciones Físicas: Dado que estos sistemas modelan fenómenos como condensados de Bose-Einstein y óptica no lineal, la comprensión de cómo las soluciones se concentran en la frontera bajo competencia y parámetros grandes es relevante para la física teórica y aplicada.
• Herramientas Analíticas: El desarrollo de las estimaciones finas para la corrección de la burbuja en $N=4$ y el análisis de la energía reducida ofrecen herramientas técnicas que pueden ser aplicadas a otros problemas críticos en dimensiones bajas.

En resumen, este trabajo demuestra que la complejidad geométrica del dominio (máximos de curvatura) puede ser utilizada para controlar y generar soluciones complejas (múltiples picos de explosión) en sistemas de ecuaciones diferenciales parciales no lineales críticos, incluso en el difícil escenario de dimensión 4 con condiciones de Neumann.