Heteroclinic connections between finite-amplitude periodic orbits emerging from a codimension two singularity

Resumo Técnico: Conexões Heteroclínicas entre Órbitas Periódicas de Amplitude Finita Emergentes de uma Singularidade de Codimensão Dois

Enunciado do Problema
O artigo aborda o desafio teórico e numérico de construir conexões heteroclínicas entre duas órbitas periódicas hiperbólicas distintas de amplitude finita em sistemas conservativos. Enquanto conexões envolvendo equilíbrios (EtoE) ou equilíbrios para órbitas periódicas (EtoP) são amplamente estudadas, conexões entre dois estados periódicos (PtoP) em sistemas conservativos permanecem difíceis de encontrar e computar, particularmente para grandes amplitudes. As principais dificuldades incluem determinar as fases assintóticas corretas para acoplar as órbitas periódicas a uma região central (core), resolver a não unicidade (multiplicidade) das conexões e identificar pontos de partida para continuação numérica em espaços de fase de alta dimensão.

Metodologia
Os autores empregam uma estratégia dupla combinando a teoria da forma normal perto de uma singularidade e a continuação numérica longe dela.

1. Estrutura Geométrica e Numérica:

   • O problema é formulado usando foliações cilíndricas das variedades estáveis e instáveis associadas às órbitas periódicas.
   • Método de Tiro (Shooting Method): Utilizado como um preditor para computar essas foliações integrando para trás a partir de uma seção de seção (seção de Poincaré) com variando as fases assintóticas. Isso gera curvas fechadas na seção.
   • Decomposição Core-Farfield: Utilizada como um corretor. Esta abordagem de valor de contorno decompõe a solução em uma região central (core) e campos distantes assintóticos (far-fields, as órbitas periódicas), evitando condições de contorno de projeção em favor de condições assintóticas de ordem zero.
   • Multiplicidade e Fases: A interseção das curvas estáveis e instáveis na seção de Poincaré determina o número de conexões heteroclínicas e suas respectivas fases assintóticas.

2. Teoria da Forma Normal e Análise de Singularidade:

   • Os autores identificam uma singularidade de codimensão dois na família de órbitas periódicas como um centro organizador para essas conexões. Esta singularidade ocorre onde a primeira e a segunda derivadas da ação $A(k)$ em relação ao número de onda $k$ se anulam ($A_k = A_{kk} = 0$).
   • Uma forma normal não linear é derivada via modulação de fase de um estado periódico de amplitude finita. A derivação prova que os coeficientes da forma normal estão diretamente relacionados à expansão de Taylor da ação e ao espectro de Bloch da ondulação subjacente.
   • A forma normal resultante é uma equação do tipo Korteweg-de Vries modificada (mKdV), que é completamente integrável e admite soluções heteroclínicas explícitas entre estados periódicos conjugados.

3. Ferramentas Teóricas Principais:

   • Invariância da Ação: O artigo introduz a "ação" como uma nova propriedade invariante. Mostra-se que ela é invariante ao longo das foliações estáveis e instáveis, mas apresenta um salto ($\Delta A$) através da seção de seção ao conectar órbitas com diferentes ações.
   • Relacionamento Hamiltoniano-Ação: Um lema é provado mostrando que os pontos críticos do Hamiltoniano espacial $H(k)$ e da ação $A(k)$ coincidem ($H_k = k A_k$), permitindo a identificação de singularidades via diagramas de Hamiltoniano-número de onda.
   • Multiplicidade Algébrica: O artigo vincula a multiplicidade algébrica do autovalor zero no problema espectral linearizado ao desaparecimento das derivadas da ação ($A_k=0$ implica multiplicidade 3; $A_{kk}=0$ implica multiplicidade 4).

Principais Resultados

• Conexões Explícitas: Ao desdobrar a singularidade de codimensão dois, os autores derivam fórmulas explícitas para conexões heteroclínicas entre duas órbitas periódicas distintas. A existência dessas conexões depende dos sinais do coeficiente $K$ (relacionado à quarta derivada do espectro de Bloch) e da terceira derivada da ação $A_{kkk}$.
• Validação da Estratégia Numérica: A estratégia combinada de tiro e decomposição core-farfield computa com sucesso conexões de grande amplitude que seriam de difícil localização de outra forma. O método lida com a computação de fases assintóticas e resolve a multiplicidade visualizando interseções na seção de Poincaré.
• Aplicação a Modelos Específicos: A teoria é aplicada a três sistemas conservativos distintos:
  1. Equação de Swift-Hohenberg (SH): Especificamente a SH cúbica e a equação SH357 (com não linearidades quadrática, cúbica, quíntica e séptica). O modelo SH357 é usado para demonstrar a descoberta de pontos de codimensão dois e o surgimento de ramos heteroclínicos.
  2. Nonlinear Schrödinger (NLS) com Dispersão de Quarta Ordem: Usado para ilustrar a geometria das foliações e conexões, incluindo casos onde a simetria é quebrada.
  3. Sistema Boussinesq Acoplado (ac-Boussinesq): Aplicado a modelos de ondas de água, demonstrando a utilidade do método em sistemas derivados da dinâmica de fluidos.
• Quebra de Simetria: O artigo demonstra que conexões heteroclínicas podem existir entre órbitas periódicas com diferentes ações (e, portanto, diferentes valores hamiltonianos, embora o artigo foque em conexões na mesma superfície) e que termos de quebra de simetria podem induzir conexões entre órbitas com números de onda e amplitudes distintas.

Significância e Alegações
O artigo afirma fornecer um arcabouço sistemático para encontrar e computar conexões heteroclínicas PtoP em sistemas conservativos, uma classe de problemas anteriormente considerada altamente desafiadora.

• Centro Organizador: Estabelece a singularidade de codimensão dois (onde $A_k = A_{kk} = 0$) como um centro organizador robusto para o surgimento dessas conexões, oferecendo uma ferramenta preditiva para localizar pontos de partida para ramos numéricos.
• Novo Invariante: A introdução da "ação" como um invariante ao longo das foliações que salta na conexão é apresentada como uma propriedade novel intrínseca à geometria dessas soluções.
• Unificação: O trabalho unifica a abordagem geométrica (foliações, tiro) com a teoria da forma normal analítica, mostrando como os coeficientes da forma normal são determinados pela ação e pelo espectro de Bloch do sistema original.
• Generalidade: Embora focado em exemplos de espaço de fase 4D, os autores afirmam que a estratégia se estende a espaços de fase de dimensões mais altas e múltiplas dimensões espaciais.

O artigo não pretende resolver todos os problemas PtoP, mas sim fornece uma estratégia específica e eficaz para sistemas que possuem uma lei de conservação de energia e ação, particularmente aqueles oriundos de contextos de formação de padrões e ondas não lineares.