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

---

1. O Problema Investigado

O artigo estuda as propriedades de compacidade das soluções da seguinte equação elíptica não linear crítica no domínio limitado e suave $\Omega \subset \mathbb{R}^n$ ($n \ge 3$):

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

onde:

• $2^* = \frac{2n}{n-2}$ é o expoente crítico de Sobolev.
• $h \in C^1(\Omega)$ é uma função potencial.
• O operador $-\Delta + h$ é assumido como coercivo.
• O foco principal são as soluções que mudam de sinal (sign-changing solutions), ou seja, soluções onde tanto a parte positiva $(v)_+$ quanto a negativa $(v)_-$ são não nulas.

O objetivo é determinar sob quais condições a sequência de soluções $(v_\alpha)$, associada a uma perturbação do potencial $h_\alpha \to h$, permanece compacta em $C^2(\Omega)$, especialmente quando a energia das soluções está próxima do nível mínimo para soluções que mudam de sinal.

2. Metodologia e Estratégia de Prova

A abordagem dos autores baseia-se em uma análise de "blow-up" (explosão) por contradição. A estratégia segue os seguintes passos fundamentais:

1. Hipótese de Contradição: Assume-se que existe uma sequência de soluções $(v_\alpha)$ que explode (ou seja, $\|v_\alpha\|_\infty \to +\infty$) enquanto a energia permanece limitada pelo limiar crítico.
2. Decomposição de Struwe: Utiliza-se o resultado clássico de Struwe para decompor a sequência em um perfil de "bolha" (bubble) $B_\alpha$ que se concentra em um ponto $x_\alpha$, uma solução limite $v_\infty$ e um termo de erro que converge a zero na topologia $H^1_0$.
   $$v_\alpha = B_\alpha \pm v_\infty + o(1)$$
3. Nova Estimativa Pontual Global (Teorema 2.1): A contribuição metodológica central é a prova de uma estimativa pontual precisa e global (válida até a fronteira $\partial\Omega$) para a sequência de soluções. Eles demonstram que:
   $$\left| \frac{v_\alpha - \Pi B_\alpha \mp v_\infty}{B_\alpha + v_\infty} \right|_\infty \to 0$$
   onde $\Pi B_\alpha$ é a projeção de $B_\alpha$ em $H^1_0(\Omega)$. Esta estimativa é crucial para controlar o comportamento da solução perto da fronteira, onde a bolha e a solução limite interagem de maneira complexa.
4. Identidades de Pohozaev: Os autores aplicam identidades de Pohozaev em diferentes escalas (escala interna e escala de fronteira) para derivar condições necessárias para que o "blow-up" ocorra. Isso permite relacionar o ponto de concentração $x_\infty = \lim x_\alpha$ com os valores da função $h$ e da solução limite $v_\infty$.
5. Análise de Casos: O problema é dividido em dois casos principais:
   • Blow-up Interior: $x_\infty \in \Omega$.
   • Blow-up na Fronteira: $x_\infty \in \partial\Omega$.

3. Principais Contribuições e Resultados

O artigo estabelece resultados de compacidade que dependem criticamente da dimensão $n$ e das propriedades da função $h$.

A. Teorema Principal (Teorema 1.1)

O conjunto de soluções que mudam de sinal com energia no nível mais baixo (definido por um limiar específico envolvendo a constante de Sobolev $K_n$ e o nível de energia $I_h(\Omega)$) é unconditionalmente compacto em $C^2(\Omega)$ sob as seguintes condições:

• Dimensões Baixas ($3 \le n \le 5$): A compacidade é garantida sem condições adicionais sobre $h$ (além da coercividade e da condição de energia).
• Dimensões Altas ($n \ge 7$): A compacidade é garantida se $h$ nunca se anula em $\Omega$ (ou seja, $h(x) \neq 0$ para todo $x \in \Omega$).

B. O Caso Dimensional Crítico ($n=6$)

O caso $n=6$ é excluído do teorema principal de compacidade. O artigo prova (Proposição 1.1) que, em $n=6$, a compacidade falha. Se uma sequência explode, o ponto de concentração $x_\infty$ deve ser interior e satisfazer a relação:
$$h(x_\infty) = \pm 2 v_\infty(x_\infty)$$
onde $v_\infty$ é uma solução positiva que atinge o nível de energia mínimo. Isso demonstra que, em dimensão 6, o fenômeno de "blow-up" é possível e controlado por uma relação específica entre o potencial e a solução limite.

C. Comportamento na Fronteira

Uma descoberta técnica significativa é que, para soluções que mudam de sinal, os pontos de concentração podem, teoricamente, tender à fronteira. No entanto, os autores provam que:

• Para $3 \le n \le 5$, o ponto de concentração não pode estar na fronteira ($x_\infty \in \partial\Omega$).
• Para $n \ge 7$, se $h \neq 0$, o ponto de concentração também não pode estar na fronteira.
• Isso contrasta com soluções positivas, onde a compacidade na fronteira é mais restrita, e destaca a natureza mais complexa e "errática" das soluções que mudam de sinal.

4. Significado e Impacto

1. Preenchimento de Lacunas na Literatura: Enquanto a compacidade para soluções positivas de equações críticas é bem compreendida (trabalhos de Brézis-Nirenberg, Druet, etc.), a teoria para soluções que mudam de sinal é muito mais recente e menos desenvolvida. Este trabalho fornece os primeiros resultados de compacidade robustos para soluções que mudam de sinal no nível de energia mais baixo.
2. Novidade Técnica: A prova da estimativa pontual global (Teorema 2.1) que funciona uniformemente até a fronteira é uma ferramenta poderosa. Ela permite descartar a possibilidade de concentração na fronteira em dimensões baixas, algo que era um obstáculo técnico significativo.
3. Contraste com Soluções Positivas: O resultado mostra que, em dimensões $3 \le n \le 5$, as soluções que mudam de sinal exibem um comportamento de compacidade "melhor" (mais robusto) do que as soluções positivas para certas classes de perturbações, o que é contra-intuitivo dado o comportamento geralmente mais complexo de soluções nodais.
4. Limites de Dimensão: O artigo esclarece o papel da dimensão 6 como um caso crítico onde a compacidade falha, oferecendo uma descrição precisa do comportamento assintótico nesse cenário.

Em resumo, o artigo estabelece uma teoria de compacidade completa para soluções nodais de baixa energia em dimensões 3 a 5 e sob condições específicas em dimensões 7 ou superiores, utilizando uma análise fina de blow-up e novas estimativas pontuais que superam as dificuldades impostas pela fronteira do domínio.