Exact number of positive solutions and existence of sign-changing solutions with prescribed mass for NLS on bounded domains

Resumo Técnico: Número Exato de Soluções Positivas e Existência de Soluções que Mudam de Sinal com Massa Prescrita para NLS em Domínios Limitados

Autores: Linjie Song e Wenming Zou.
Contexto: Equações Diferenciais Parciais Não Lineares (NLS), Análise Variacional, Teoria do Gênero, Fluxo Descendente.

1. O Problema

O artigo investiga o problema elíptico não linear associado à equação de Schrödinger não linear (NLS) em um domínio limitado $\Omega \subset \mathbb{R}^N$, sujeito a uma restrição de massa (norma $L^2$) prescrita. O problema é formulado como encontrar pares $(u, \lambda) \in H^1_0(\Omega) \times \mathbb{R}$ tais que:
$$\begin{cases} -\Delta u + \lambda u = |u|^{p-2}u & \text{em } \Omega, \\ \int_{\Omega} |u|^2 dx = \mu, \end{cases}$$
onde $\mu > 0$ é a massa prescrita e $\lambda$ é um multiplicador de Lagrange indeterminado. O expoente $p$ é subcrítico de Sobolev ($2 < p < 2^*$).

O estudo foca em três regimes baseados na relação entre $p$ e o expoente crítico $L^2$ ($p_c = 2 + 4/N$):

1. Subcrítico ($2 < p < p_c$): A energia é limitada inferiormente.
2. Crítico ($p = p_c$): O caso limítrofe.
3. Supercrítico ($p_c < p < 2^*$): A energia não é limitada inferiormente, apresentando desafios significativos para a existência de soluções.

O objetivo central é determinar o número exato de soluções positivas (especialmente no caso supercrítico em uma bola unitária) e provar a existência e multiplicidade de soluções que mudam de sinal (sign-changing solutions) com comportamento assintótico específico quando a massa $\mu \to 0^+$ ou $\mu \to +\infty$.

2. Metodologia

Os autores empregam uma combinação sofisticada de técnicas variacionais e analíticas:

• Teoria do Gênero (Genus Theory): Utilizada para provar a existência de múltiplas soluções que mudam de sinal nos casos subcrítico e crítico. Eles definem níveis minimax baseados em conjuntos simétricos na esfera de massa $S_\mu(\Omega)$.
• Análise de Índice de Morse: O índice de Morse das soluções é usado para controlar o comportamento assintótico e distinguir entre soluções positivas e que mudam de sinal.
• Técnicas de Fluxo Descendente (Descending Flow): Desenvolvidas especificamente para o contexto de restrições $L^2$. Os autores constroem um operador pseudo-gradiente $V_\tau$ que preserva a invariância de cones positivos e negativos. Isso permite localizar soluções que mudam de sinal fora dos cones de funções não-negativas.
• Análise de "Blow-up" (Explosão): Utilizada para estudar o comportamento das soluções quando $\mu \to 0^+$ ou $\lambda \to \infty$, relacionando-as com soluções no espaço todo $\mathbb{R}^N$ e autovalores do Laplaciano.
• Problemas Aproximados com Parâmetro: Para lidar com a falta de compacidade no caso supercrítico, introduz-se um parâmetro $\tau \in [1/2, 1]$ no termo não linear. Utiliza-se um teorema de "monotonicity trick" (inspirado em Jeanjean) para encontrar soluções críticas para quase todo $\tau$, e depois passa-se ao limite $\tau \to 1$.
• Teorema de Saddle-Point Generalizado: Para encontrar soluções que mudam de sinal com energia alta no caso supercrítico, generaliza-se a estrutura de "Mountain Pass" para uma estrutura de ponto de sela, garantindo a existência de uma segunda solução crítica além da solução positiva.

3. Contribuições Principais e Resultados

A. Multiplicidade de Soluções que Mudam de Sinal (Teorema 1.1)

• Caso Subcrítico ($2 < p < p_c$): Para qualquer massa $\mu > 0$, o problema admite infinitas soluções que mudam de sinal. As energias dessas soluções tendem a $+\infty$ conforme o índice aumenta. Quando $\mu \to 0^+$, a energia tende a 0 e o multiplicador de Lagrange $\lambda$ tende a $-\lambda_k(\Omega)$ (o $k$-ésimo autovalor de Dirichlet). Quando $\mu \to +\infty$, a energia tende a $-\infty$ e $\lambda \to +\infty$.
• Caso Crítico ($p = p_c$): Para massas pequenas ($0 < \mu < \bar{\mu}$), também existem infinitas soluções que mudam de sinal com comportamento assintótico similar ao caso subcrítico.
• Caso Supercrítico ($p_c < p < 2^*$): Para qualquer inteiro positivo $j$, existe um limiar de massa $\mu^*$ tal que, para $\mu < \mu^*$, existem pelo menos $j$ soluções distintas que mudam de sinal.

B. Número Exato de Soluções Positivas (Teorema 1.2)

• No caso supercrítico, quando $\Omega$ é a bola unitária $B_1$, os autores provam que, para massas suficientemente pequenas, existem exatamente duas soluções positivas.
• Uma solução tem energia tendendo a 0 e $\lambda \to -\lambda_1(B_1)$ quando $\mu \to 0^+$.
• A outra solução tem energia tendendo a $+\infty$ e $\lambda \to +\infty$ quando $\mu \to 0^+$.
• Este resultado é crucial e independente do parâmetro de escala $\tau$ no termo não linear, servindo como base para a construção de soluções que mudam de sinal.

C. Existência de Soluções que Mudam de Sinal com Alta Energia (Teorema 1.4)

• No caso supercrítico na bola unitária, os autores provam a existência de uma solução que muda de sinal para massas pequenas, cuja energia e o multiplicador de Lagrange tendem a $+\infty$ quando $\mu \to 0^+$.
• A prova combina o resultado de que existem exatamente duas soluções positivas (Teorema 1.2) com a teoria do gênero e técnicas de fluxo descendente para isolar uma terceira solução (que muda de sinal) no nível minimax superior.

4. Significância e Impacto

• Pioneirismo em Domínios Limitados: Este trabalho fornece, possivelmente, o primeiro resultado sobre a existência de infinitas soluções que mudam de sinal com massa prescrita para NLS em domínios limitados. Resultados anteriores focavam principalmente em soluções positivas ou em domínios não limitados ($\mathbb{R}^N$).
• Superação de Dificuldades no Caso Supercrítico: O caso supercrítico com restrição de massa é notoriamente difícil devido à falta de compacidade e à não limitação inferior da energia. A abordagem dos autores, combinando a análise exata de soluções positivas com técnicas de fluxo descendente e teoria do gênero, oferece um novo paradigma para lidar com esses problemas.
• Ferramentas Novas: O desenvolvimento de um operador pseudo-gradiente que preserva a invariância de cones em variedades de restrição $L^2$ é uma contribuição metodológica significativa, permitindo localizar soluções que mudam de sinal de forma rigorosa.
• Comportamento Assintótico Preciso: O artigo não apenas prova a existência, mas descreve detalhadamente o comportamento assintótico das soluções e dos multiplicadores de Lagrange em relação à massa, conectando-os aos autovalores do Laplaciano no domínio.

Em resumo, o artigo resolve questões fundamentais sobre a estrutura do conjunto de soluções da NLS com massa prescrita em domínios limitados, estabelecendo resultados de multiplicidade precisos e fornecendo ferramentas analíticas robustas para o estudo de soluções que mudam de sinal em regimes críticos e supercríticos.