Segregated solutions for a critical Choquard system with a small interspecies repulsive force

Resumo Técnico: Soluções Segregadas para um Sistema Crítico de Choquard com Força Repulsiva Interespécie

1. O Problema Investigado

O artigo estuda um sistema de equações elípticas acopladas não lineares do tipo Choquard (ou Schrödinger-Newton) em dimensão $N=4$. O sistema é dado por:
$$\begin{cases} -\Delta u = (|x|^{-\mu} * |u|^{\frac{4-\mu}{2}})|u|^{\frac{2-\mu}{2}}u + \beta uv^2 & \text{em } \mathbb{R}^4, \\ -\Delta v = (|x|^{-\mu} * |v|^{\frac{4-\mu}{2}})|v|^{\frac{2-\mu}{2}}v + \beta u^2v & \text{em } \mathbb{R}^4, \end{cases}$$
onde:

• $*$ denota a convolução padrão.
• $0 < \mu \leq 4$.
• $\beta < 0$ é um parâmetro de acoplamento que representa uma força repulsiva entre as componentes $u$ e $v$ (regime competitivo).
• O termo não linear não local $(|x|^{-\mu} * |u|^{\frac{4-\mu}{2}})|u|^{\frac{2-\mu}{2}}u$ atinge o expoente crítico superior no sentido da desigualdade de Hardy-Littlewood-Sobolev ($2^*_\mu = \frac{2N-\mu}{N-2}$).

O objetivo principal é provar a existência de soluções do tipo "segregadas" (ou de explosão/blow-up) quando a força repulsiva $|\beta|$ é suficientemente pequena. Especificamente, busca-se soluções onde:

1. A primeira componente ($u$) se assemelha à solução radial positiva da equação escalar de Choquard.
2. A segunda componente ($v$) exibe um comportamento de "blow-up" (explosão) concentrado em $k$ vértices de um polígono regular, com $k \geq 2$.

2. Metodologia

O autor emprega o método de Redução de Lyapunov-Schmidt em um espaço de funções ponderado. A abordagem técnica envolve os seguintes passos:

• Análise do Problema Limite: Utiliza-se a classificação das soluções positivas da equação de Choquard crítica (equação escalar), que assumem a forma de "bubbles" (bolhas) $U_{\lambda, \xi}(x)$.
• Ansatz de Solução: Constrói-se uma aproximação inicial para o sistema:
  • $u \approx U$ (solução radial única).
  • $v \approx \sum_{j=1}^k U_{\lambda, \xi_j}$ (soma de $k$ bolhas concentradas nos vértices $\xi_j$ de um polígono regular de raio $\rho$).
  • Os parâmetros $\lambda$ (escala) e $\rho$ (posição) são ajustados, com a relação $\frac{1}{\lambda^2} + \rho^2 = 1$.
• Espaço de Funções e Simetrias: Define-se um espaço de Banach $X$ de funções que satisfazem simetrias específicas (paridade em certas variáveis, invariância sob rotação de $2\pi/k$ e invariância sob transformação de Kelvin). Isso é crucial para lidar com o núcleo do operador linearizado.
• Redução de Dimensão Finita: O problema original é decomposto em duas partes:
  1. Equação Ortogonal ($\Pi^\perp$): Resolve-se para os termos de erro $\phi_1, \phi_2$ no complemento ortogonal ao núcleo do operador linearizado, utilizando o Teorema do Mapeamento de Contração. Isso requer estimativas precisas nos espaços ponderados $\|\cdot\|_*$ e $\|\cdot\|_{**}$.
  2. Equação Projetada ($\Pi$): Reduz-se o problema a encontrar um parâmetro $\lambda$ tal que a projeção do erro residual sobre o núcleo seja nula. Isso gera uma equação algébrica para $\lambda$.
• Estimativas de Integrais: Realiza-se uma análise assintótica detalhada das interações não locais entre as bolhas e os termos de acoplamento $\beta$, explorando a geometria do polígono regular e a invariância Kelvin.

3. Contribuições Chave e Resultados Principais

• Existência de Soluções Segregadas: O Teorema Principal (Teorema 1.2) estabelece que, para cada $k \geq 2$, existe um $\beta_0 < 0$ tal que, para todo $\beta \in [\beta_0, 0)$, o sistema possui uma solução $(u, v)$ da forma:
  $$u = U + \phi_1, \quad v = \sum_{j=1}^k U_{\lambda, \xi_j} + \phi_2$$
  onde $\phi_1, \phi_2$ são pequenos erros que tendem a zero.
• Comportamento Assintótico: O parâmetro de escala $\lambda$ (que controla a concentração das bolhas de $v$) satisfaz:
  $$\frac{1}{\lambda} = O\left(e^{-c/|\beta|}\right)$$
  para alguma constante $c > 0$ quando $|\beta| \to 0$. Isso indica que, à medida que a repulsão diminui, as bolhas tornam-se extremamente concentradas (o raio de concentração tende a zero exponencialmente).
• Pioneirismo na Interação Não Local Crítica: O trabalho é, segundo a autora, o primeiro a conectar a teoria de sistemas competitivos com a equação de Choquard crítica. Diferente de sistemas locais (como Schrödinger), o termo não local introduz desafios analíticos significativos na estimativa de erros e na estrutura do núcleo do operador linearizado.
• Restrição Dimensional: O método é desenvolvido especificamente para $N=4$. O autor nota que para $N \geq 5$, o termo de acoplamento teria crescimento sublinear, o que invalidaria o processo de redução utilizado.

4. Significado e Impacto

• Física Matemática: O sistema modela fenômenos onde partículas interagem consigo mesmas (termo não local) e com outras espécies (termo de acoplamento). A existência de soluções segregadas com múltiplos picos (blow-up) em configurações geométricas regulares (polígonos) é fundamental para entender a formação de estruturas em sistemas de matéria escura, estrelas de bósons e plasmas.
• Avanço Analítico: O artigo supera a dificuldade de lidar com o expoente crítico em sistemas não locais competitivos. A demonstração de que a estrutura de soluções conhecidas para sistemas locais (como em [4]) persiste mesmo na presença do termo não local crítico é um resultado robusto.
• Técnica de Redução: A adaptação do método de Lyapunov-Schmidt para lidar com a simetria de Kelvin e a não-localidade em dimensão crítica fornece um novo arcabouço técnico para futuros estudos em equações integro-diferenciais.

Em suma, o artigo fornece uma prova rigorosa da existência de soluções complexas e geometricamente estruturadas para um sistema de Choquard crítico competitivo, preenchendo uma lacuna importante na literatura sobre equações não locais com expoentes críticos.