Solutions with one dimensional concentration for a two dimensional Gross-Pitaevskii model with general potential

1. O Problema Investigado

O artigo foca na análise assintótica de soluções de ondas estacionárias para a Equação de Gross-Pitaevskii (GPE) em duas dimensões ($\mathbb{R}^2$), sujeita a uma restrição de massa unitária ($L^2$-norma). A equação descreve condensados de Bose-Einstein com interação atrativa sob a influência de um potencial de armadilha externo $W(y)$, que é geral (não necessariamente simétrico).

O problema é formulado como:
$$-\Delta \tilde{u} + W(y)\tilde{u} - a|\tilde{u}|^2\tilde{u} = \lambda \tilde{u}, \quad \int_{\mathbb{R}^2} |\tilde{u}|^2 dy = 1$$
Onde:

• $a > 0$ é a força de interação atrativa.
• $\lambda$ é o parâmetro de frequência (autovalor).
• O foco é o comportamento assintótico quando $a \to a^*$ (um valor crítico) e, consequentemente, $\lambda \to -\infty$.

Ao introduzir a escala $\epsilon^2 = -1/\lambda$, o problema é transformado em uma perturbação singular:
$$-\epsilon^2 \Delta u + [1 + \epsilon^2 W(y)]u - |u|^2 u = 0, \quad \int_{\mathbb{R}^2} |u|^2 dy = a\epsilon^2$$
O objetivo central é investigar a existência de soluções que exibem fenômenos de concentração unidimensional, ou seja, soluções que se concentram ao longo de curvas fechadas e suaves $\Gamma_\epsilon \subset \mathbb{R}^2$, em vez de pontos isolados.

2. Metodologia

Os autores empregam uma combinação sofisticada de técnicas analíticas, adaptando e estendendo métodos de redução de Lyapunov-Schmidt para contextos de dimensão infinita e restrições de massa.

• Coordenadas de Fermi: O problema é reformulado localmente ao redor da curva de concentração $\Gamma_\epsilon$ utilizando coordenadas de Fermi $(t, \theta)$, onde $t$ é a distância normal e $\theta$ é o parâmetro de arco.
• Construção de Soluções Aproximadas:
  • Constrói-se uma solução aproximada baseada no perfil de solitão unidimensional $U(x)$ (solução da equação $U'' - U + U^3 = 0$).
  • Ajusta-se o perfil com correções sucessivas ($\phi_1, \phi_2$) para eliminar os termos de erro de ordem superior gerados pela curvatura da curva, pelo potencial $W$ e pela não-linearidade.
• Esquema de "Gluing" (Colagem): Utiliza-se um método de colagem (inner-outer gluing) para conectar a solução local (perto da curva) com o comportamento decaimento exponencial no infinito, transformando o problema global em um problema projetado em uma faixa infinita.
• Redução de Lyapunov-Schmidt Infinita:
  • O problema original é reduzido a um sistema de equações diferenciais não-lineares acopladas de segunda ordem para dois parâmetros livres: $f(\tau)$ (deslocamento da curva) e $e(\tau)$ (amplitude da correção).
  • A resolução deste sistema é feita em duas etapas: primeiro resolvendo problemas lineares auxiliares e depois aplicando o Teorema do Ponto Fixo de Schauder para o sistema não-linear.
• Condições de Não-Degenerescência e Lacuna (Gap): A prova depende criticamente de condições espectrais sobre o operador linearizado ao longo da curva, garantindo que os autovalores não ressoem com os modos de perturbação.

3. Contribuições Chave e Resultados Principais

O trabalho apresenta dois resultados fundamentais:

A. Condições Necessárias (Teorema 2.2)

Os autores derivam condições necessárias para a existência de soluções que se concentram em uma curva $\Gamma_\epsilon$.

1. Comprimento da Curva: O comprimento da curva $\ell$ deve ser limitado inferiormente por uma constante positiva independente de $\epsilon$.
2. Valor Crítico de Massa: O parâmetro de interação $a$ deve tender a $+\infty$ (o que implica $\lambda \to -\infty$).
3. Equação de Balanceamento: A curva de concentração e o potencial devem satisfazer uma relação assintótica específica:
   $$\frac{3\epsilon^2 W_t(0, \theta)}{2[1 + \epsilon^2 W(0, \theta)]} + \kappa(\theta) = o(1)$$
   Onde $\kappa(\theta)$ é a curvatura da curva e $W_t$ é a derivada normal do potencial. Esta equação generaliza condições conhecidas para potenciais simétricos.

B. Existência de Soluções (Teorema 2.5 e 2.6)

Sob condições técnicas sobre o potencial $W$ e a geometria da curva (estacionariedade e não-degenerescência), os autores provam a existência de soluções positivas que se concentram em curvas fechadas.

• Potencial Não-Simétrico: Diferente de trabalhos anteriores que exigiam simetria radial (reduzindo o problema a EDOs), este trabalho lida com potenciais gerais, onde o problema não pode ser reduzido a uma única variável.
• Comprimento Não-Uniformemente Limitado: Uma inovação significativa é o tratamento de curvas cujo comprimento pode depender de $\epsilon$ e não ser uniformemente limitado. Isso introduz desafios técnicos novos em comparação com trabalhos clássicos (como Del Pino, Kowalczyk e Wei, 2007).
• Condições de Lacuna (Gap Conditions): A prova exige que o parâmetro $\epsilon$ (e consequentemente $a$) satisfaça condições de "lacuna" para evitar ressonâncias entre os modos de perturbação e os autovalores do operador linearizado.

4. Significado e Impacto

• Resposta a uma Conjectura: O resultado responde parcialmente a uma conjectura levantada por Ambrosetti, Malchiodi e Ni (2003) sobre as condições necessárias para soluções que se concentram em subvariedades.
• Generalização de Métodos: O artigo estende a aplicação do método de redução de Lyapunov-Schmidt de dimensão infinita para problemas elípticos não-lineares com restrição de massa, um cenário mais complexo do que o problema padrão de perturbação singular sem restrição.
• Física de Condensados: Os resultados fornecem uma base teórica rigorosa para a formação de estruturas de vórtices ou anéis de densidade em condensados de Bose-Einstein sob potenciais de armadilha complexos e não simétricos, onde a interação atrativa é forte.
• Superação de Ressonâncias: O trabalho aborda delicadamente fenômenos de ressonância que surgem devido à dependência do comprimento da curva em relação a $\epsilon$, introduzindo novas normas ponderadas e estimativas para garantir a estabilidade do processo de redução.

Em resumo, este artigo representa um avanço significativo na teoria de equações diferenciais parciais não-lineares, demonstrando a viabilidade de soluções de concentração em curvas para modelos de Gross-Pitaevskii com potenciais gerais e restrições de massa, superando as limitações de simetria presentes na literatura anterior.