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

Resumo Técnico do Artigo

1. O Problema Investigado

O artigo foca na construção de soluções de "explosão" (blowing-up solutions) para um sistema elíptico crítico com condições de contorno de Neumann em um domínio limitado e suave $\Omega \subset \mathbb{R}^4$. O sistema é dado por:

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

onde:

• $\lambda > 0$ é um parâmetro grande.
• $\beta > 0$ é uma constante de acoplamento que representa um regime competitivo (as componentes $u_1$ e $u_2$ se repelem).
• O expoente crítico é $3$, correspondente ao expoente de Sobolev crítico em dimensão $N=4$ ($2^* - 1 = \frac{2N}{N-2} - 1 = 3$).
• O objetivo é encontrar soluções onde $u_1$ e $u_2$ explodem (tendem ao infinito) em pontos distintos da fronteira $\partial\Omega$ à medida que $\lambda \to +\infty$.

2. Metodologia: Redução de Lyapunov-Schmidt

Os autores utilizam o método clássico de redução de Lyapunov-Schmidt para transformar o problema infinito-dimensional em um problema finito-dimensional. A abordagem segue os seguintes passos:

1. Ansatz (Aproximação Inicial):
   A solução é construída na forma $u_i = V_{\lambda, \delta_i, \xi_i} + \psi_i$, onde:

   • $V_{\lambda, \delta_i, \xi_i} = U_{\delta_i, \xi_i} - W_{\lambda, \delta_i, \xi_i}$ é o termo principal.
   • $U_{\delta_i, \xi_i}$ é a "bolha" de Talenti padrão que resolve o problema crítico em $\mathbb{R}^4$.
   • $W_{\lambda, \delta_i, \xi_i}$ é um termo de correção introduzido por Rey, definido via funções de Bessel ($K_1$), necessário para satisfazer a condição de Neumann e lidar com a falta de compacidade em dimensão baixa ($N=4$).
   • $\xi_i \in \partial\Omega$ são os pontos de concentração e $\delta_i$ são parâmetros de escala que tendem a zero.

2. Decomposição do Espaço:
   O espaço de Hilbert $H^1(\Omega) \times H^1(\Omega)$ é decomposto em dois subespaços:

   • $K_{d,\xi}$: O espaço gerado pelos vetores tangentes à variedade de soluções aproximadas (derivadas da bolha em relação aos parâmetros $\delta$ e $\xi$).
   • $K_{d,\xi}^\perp$: O complemento ortogonal.

3. Redução do Problema:

   • Passo 1 (Equação no Complemento): Resolve-se a equação projetada em $K_{d,\xi}^\perp$ para encontrar o termo de resto $\psi_i$. Isso é feito via um argumento de contração, provando a existência e unicidade de $\psi$ pequeno.
   • Passo 2 (Equação no Espaço Finito): O problema original é reduzido à busca de pontos críticos de uma energia reduzida $\tilde{E}(d, \xi)$, que depende apenas dos parâmetros de escala e localização.

3. Dificuldades Técnicas e Inovações

• Dimensão Crítica Baixa ($N=4$): Diferente de dimensões mais altas ($N \ge 6$), onde a bolha de Talenti é suficiente, em $N=4$ a interação entre o termo de correção e a fronteira é mais delicada. A bolha padrão não satisfaz bem as condições de Neumann sem uma correção de alta ordem.
• Funções de Bessel: A correção $W$ envolve a função de Bessel $K_1$, cujas propriedades assintóticas (comportamento próximo a zero e no infinito) são analisadas exaustivamente nos apêndices para controlar os erros.
• Regime Competitivo: A presença do termo $-\beta u_1 u_2^2$ com $\beta > 0$ introduz interações de repulsão entre as componentes. Os autores mostram que, mesmo com essa repulsão, é possível localizar as explosões em pontos distintos da fronteira.

4. Resultados Principais

Teorema 1.1 (Resultado Principal):
Assumindo que a função de curvatura média $H$ da fronteira $\partial\Omega$ possui dois pontos de máximo local estrito distintos, $\xi_1^*$ e $\xi_2^*$, com $H(\xi_i^*) > 0$, então para $\lambda$ suficientemente grande e qualquer $\beta > 0$, existe uma solução $(u_{1,\lambda}, u_{2,\lambda})$ para o sistema (1.1) tal que:

• $u_{1,\lambda}$ explode no ponto $\xi_1^*$.
• $u_{2,\lambda}$ explode no ponto $\xi_2^*$.
• Os pontos de concentração permanecem distintos à medida que $\lambda \to \infty$.

Expansão da Energia Reduzida:
Os autores derivam a expansão assintótica da energia reduzida:
$$\tilde{E}(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)$$
A minimização desta função em relação a $d_i$ e $\xi_i$ revela que os pontos de concentração são governados pelos máximos da curvatura média da fronteira.

Observações Adicionais:

• Geometria do Domínio: Em domínios com "protrusões" (como um elipsoide alongado ou domínios com várias saliências), a curvatura média atinge máximos locais nas pontas. Se houver $k$ tais pontos, o sistema admite $\frac{k(k-1)}{2}$ soluções de explosão distintas (escolhendo pares de pontos distintos).
• Generalização: O resultado estende-se para sistemas com $d \ge 2$ componentes em regime totalmente competitivo.

5. Significado e Contribuições

• Preenchimento de Lacuna na Literatura: Enquanto o caso escalar (uma equação) e o caso subcrítico de sistemas foram amplamente estudados, o caso crítico para sistemas acoplados com condições de Neumann era um problema aberto. Este trabalho fornece a primeira construção de soluções de explosão de fronteira para tal sistema.
• Mecanismo de Repulsão: Demonstra que, mesmo em regime competitivo (onde as componentes tendem a se separar), a geometria do domínio (via curvatura média) pode forçar a formação de soluções multi-pico estáveis em pontos específicos da fronteira.
• Técnica de Análise: O artigo refinou a técnica de ansatz para dimensão 4, incorporando termos de ordem superior e funções de Bessel, o que é crucial para tratar problemas críticos em dimensões baixas onde a compacidade falha de maneira mais severa.

Em suma, o artigo estabelece a existência de soluções complexas e estruturadas para sistemas de Schrödinger acoplados críticos em 4D, ligando diretamente a localização das singularidades à geometria diferencial do domínio.