Instability of two-pulse periodic waves with long wavelength in some Hamiltonian PDEs

Resumo Técnico: Instabilidade de Ondas Periódicas de Dois Pulsos em PDEs Hamiltonianas

1. Problema e Contexto

O artigo investiga os critérios de estabilidade/espectro de ondas viajantes periódicas em uma classe de Equações Diferenciais Parciais (EDPs) Hamiltonianas. O foco específico recai sobre ondas periódicas de dois pulsos (two-pulse periodic waves) com períodos muito grandes (limite de comprimento de onda longo).

• Contexto das Equações: O estudo abrange generalizações quasilineares da equação de Korteweg-de Vries (KdV) e perturbações dispersivas das equações de Euler para fluidos compressíveis (em coordenadas de Euler ou Lagrange). Isso inclui formulações hidrodinâmicas da equação de Schrödinger não linear.
• Natureza das Ondas: As ondas estudadas possuem um perfil que, em cada período, exibe dois pulsos distintos. No limite em que o período tende ao infinito, um desses pulsos converge para um solitão brilhante (bright soliton) e o outro para um solitão escuro (dark soliton), ambos compartilhando o mesmo estado final (endstate).
• Objetivo: Determinar se essas ondas periódicas de dois pulsos são espectro-estáveis ou instáveis. O autor demonstra que, sob condições gerais, tais ondas são espectro-instáveis.

2. Metodologia

O autor combina duas abordagens analíticas distintas para cobrir todos os casos possíveis de estabilidade dos solitões limitantes. A análise baseia-se na expansão assintótica quando o período da onda ($X$) tende ao infinito (equivalente a $\epsilon = \sqrt{\mu - \mu_s} \to 0$, onde $\mu$ é o nível de energia e $\mu_s$ o nível crítico).

Abordagem 1: Expansão Assintótica do Hessian da Ação (Caso de Solitões Estáveis)

• Ferramenta: Utiliza o funcional de ação abreviada $\Theta(c, \lambda, \mu)$.
• Mecanismo: Calcula a expansão assintótica da matriz Hessiana $\nabla^2 \Theta$ em relação aos parâmetros de integração.
• Critério de Estabilidade: Aplica o teorema de [BMR16], que relaciona a assinatura negativa (número de autovalores negativos) da Hessiana com a estabilidade orbital. Especificamente, se o número de autovalores negativos difere da dimensão do espaço de parâmetros de forma ímpar, a onda é instável.
• Resultado Parcial: Mostra que, se a soma das segundas derivadas dos momentos de Boussinesq dos dois solitões limitantes ($d_c^2 M_\ell + d_c^2 M_r$) for positiva, a onda periódica é instável.

Abordagem 2: Convergência da Função de Evans (Caso de Solitões Instáveis)

• Motivação: A primeira abordagem não cobre o caso em que a soma das derivadas é negativa (o que poderia sugerir estabilidade na primeira análise) ou quando um dos solitões é inerentemente instável.
• Ferramenta: Estuda a função de Evans periódica (periodic Evans function), que caracteriza o espectro do operador linearizado.
• Mecanismo: Prova que uma versão renormalizada da função de Evans da onda periódica converge, a uma taxa exponencial, para o produto das funções de Evans dos dois solitões limitantes.
• Lógica: Se pelo menos um dos solitões limitantes possui um autovalor no semiplano direito complexo ($\mathbb{C}^+$), a função de Evans da onda periódica de grande período também terá zeros próximos a esse autovalor, indicando instabilidade espectral.

3. Contribuições Principais

1. Generalização de Resultados Assintóticos: Estende os resultados de [BMR20] (que tratavam do limite harmônico e do limite de um único solitão) para o regime de dois solitões distintos (um brilhante e um escuro) superpostos.
2. Prova de Instabilidade Universal: Demonstra que ondas periódicas de dois pulsos com período suficientemente grande são sempre espectro-instáveis, exceto no caso degenerado onde ambos os solitões são estáveis e a soma das segundas derivadas dos momentos é exatamente zero.
3. Conexão entre Funções de Evans: Estabelece rigorosamente a convergência da função de Evans periódica para o produto das funções de Evans homoclínicas (solitões) em um cenário de dois pulsos, adaptando a técnica de [YZ19] (que tratava de um único pulso).
4. Análise de Sistemas Quasilineares: Fornece uma estrutura robusta para analisar a estabilidade em sistemas quasilineares (como as equações de Euler-Korteweg), onde a regularidade e a existência global são desafios adicionais.

4. Resultados Chave

O Teorema Principal (Teorema 2.3.3) estabelece que, para uma onda periódica de dois pulsos de período suficientemente grande:

• Caso A (Soma Positiva): Se $d_c^2 M_\ell + d_c^2 M_r > 0$, a onda é espectro-instável. O operador linearizado admite um autovalor real positivo com expoente de Floquet $\xi = 0$.
• Caso B (Instabilidade de Solitão): Se pelo menos um dos solitões limitantes (brilhante ou escuro) for espectro-instável, então a onda periódica de dois pulsos também é espectro-instável. Neste caso, o operador linearizado admite autovalores no semiplano direito complexo para cada expoente de Floquet.
• Conclusão Geral: A única exceção à instabilidade ocorre se ambos os solitões forem estáveis e a soma das segundas derivadas dos momentos for zero. Em todos os outros casos, a instabilidade é garantida.

Observação sobre Não-Linearidade: O artigo enfatiza que a instabilidade provada é no nível linear/espectral. Para o caso semilinear, espera-se instabilidade orbital não-linear sob perturbações localizadas. Para o caso quasilinear geral, a conversão para instabilidade não-linear permanece uma questão aberta, embora se espere que a estabilidade modulada (space-modulated stability) seja a noção correta.

5. Significado e Impacto

• Compreensão de Padrões Complexos: O trabalho esclarece a dinâmica de ondas periódicas complexas que não convergem para um único estado solitário, mas sim para uma superposição de estados distintos.
• Validação de Intuições Heurísticas: Confirma a intuição de que, quando dois solitões estão muito distantes (período grande), as instabilidades inerentes a cada um podem se desenvolver independentemente, quebrando a sincronização da superposição.
• Aplicabilidade Física: Os resultados são aplicáveis a modelos físicos importantes, como a dinâmica de fluidos compressíveis e a propagação de ondas em meios não lineares descritos por equações do tipo KdV generalizada.
• Avanço Metodológico: A técnica de combinar a análise da Hessiana da ação (para contagem de modos instáveis via índice de Krein) com a análise direta da função de Evans (para capturar autovalores complexos) oferece um roteiro poderoso para futuros estudos de estabilidade em sistemas Hamiltonianos com múltiplos graus de liberdade.

Em suma, o artigo prova que a "sobreposição" de um solitão brilhante e um escuro em uma onda periódica de grande período é uma configuração intrinsecamente instável na maioria dos cenários físicos relevantes, devido à interação das propriedades espectrais dos seus componentes limitantes.