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

Resumen Técnico: Conexiones Heteroclínicas entre Órbitas Periódicas de Amplitud Finita Emergentes de una Singularidad de Codimensión Dos

Planteamiento del Problema
El artículo aborda el desafío teórico y numérico de construir conexiones heteroclínicas entre dos órbitas periódicas hiperbólicas distintas de amplitud finita en sistemas conservativos. Mientras que las conexiones que involucran equilibrios (EtoE) o de equilibrios a órbitas periódicas (EtoP) están bien estudiadas, las conexiones entre dos estados periódicos (PtoP) en sistemas conservativos siguen siendo difíciles de encontrar y computar, particularmente para amplitudes grandes. Las principales dificultades incluyen la determinación de las fases asintóticas correctas para acoplar las órbitas periódicas a una región central, la resolución de la no unicidad (multiplicidad) de las conexiones y la identificación de puntos de partida para la continuación numérica en espacios de fase de alta dimensión.

Metodología
Los autores emplean una estrategia dual que combina la teoría de la forma normal cerca de una singularidad y la continuación numérica lejos de ella.

1. Marco Geométrico y Numérico:

   • El problema se formula utilizando foliaciones cilíndricas de los colectores (manifolds) estables e inestables asociados con las órbitas periódicas.
   • Método de Disparo (Shooting Method): Se utiliza como predictor para computar estas foliaciones integrando hacia atrás desde una sección de sección (sección de Poincaré) con variaciones en las fases asintóticas. Esto genera curvas cerradas en la sección.
   • Descomposición Núcleo-Campo Lejano (Core-Farfield Decomposition): Se utiliza como corrector. Este enfoque de valor en la frontera de la solución descompone la solución en una región central y campos lejanos asintóticos (las órbitas periódicas), evitando las condiciones de contorno de proyección en favor de condiciones asintóticas de orden cero.
   • Multiplicidad y Fases: La intersección de las curvas estables e inestables en la sección de Poincaré determina el número de conexiones heteroclínicas y sus fases asintóticas específicas.

2. Teoría de la Forma Normal y Análisis de Singularidades:

   • Los autores identifican una singularidad de codimensión dos en la familia de órbitas periódicas como un centro organizador para estas conexiones. Esta singularidad ocurre donde la primera y la segunda derivada de la función de acción $A(k)$ con respecto al número de onda $k$ se anulan ($A_k = A_{kk} = 0$).
   • Se deriva una forma normal no lineal mediante la modulación de fase de un estado periódico de amplitud finita. La derivación demuestra que los coeficientes de la forma normal están directamente relacionados con la expansión de Taylor de la acción y el espectro de Bloch de la ondación subyacente.
   • La forma normal resultante es una ecuación de tipo Korteweg-de Vries modificada (mKdV), la cual es completamente integrable y admite soluciones heteroclínicas explícitas entre estados periódicos conjugados.

3. Herramientas Teóricas Clave:

   • Invariancia de la Acción: El artículo introduce la "acción" como una nueva propiedad invariante. Se demuestra que es invariante a lo largo de las foliaciones estables e inestables, pero exhibe un salto ($\Delta A$) a través de la sección de sección al conectar órbitas con diferentes acciones.
   • Relación Hamiltoniano-Acción: Se demuestra un lema que establece que los puntos críticos del Hamiltoniano espacial $H(k)$ y de la acción $A(k)$ coinciden ($H_k = k A_k$), permitiendo la identificación de singularidades mediante diagramas de Hamiltoniano-número de onda.
   • Multiplicidad Algebraica: El artículo vincula la multiplicidad algebraica del autovalor cero en el problema espectral linealizado con la anulación de las derivadas de la acción ($A_k=0$ implica multiplicidad 3; $A_{kk}=0$ implica multiplicidad 4).

Resultos Clave

• Conexiones Explícitas: Al desplegar la singularidad de codimensión dos, los autores derivan fórmulas explícitas para las conexiones heteroclínicas entre dos órbitas periódicas distintas. La existencia de estas conexiones depende de los signos del coeficiente $K$ (relacionado con la cuarta derivada del espectro de Bloch) y de la tercera derivada de la acción $A_{kkk}$.
• Validación de la Estrategia Numérica: La estrategia combinada de disparo y descomposición núcleo-campo lejano computa con éxito conexiones de gran amplitud que de otro modo serían difíciles de encontrar. El método gestiona la computación de las fases asintóticas y resuelve la multiplicidad mediante la visualización de las intersecciones en la sección de Poincaré.
• Aplicación a Modelos Específicos: La teoría se aplica a tres sistemas conservativos distintos:
  1. Ecuación de Swift-Hohenberg (SH): Específicamente la SH cúbica y la ecuación SH357 (con no linealidades cuadráticas, cúbicas, quínticas y sépticas). El modelo SH357 se utiliza para demostrar el descubrimiento de puntos de codimensión dos y la emergencia de ramas heteroclínicas.
  2. Schrödinger No Lineal (NLS) con Dispersión de Cuarto Orden: Utilizado para ilustrar la geometría de las foliaciones y las conexiones, incluyendo casos donde se rompe la simetría.
  3. Sistema Boussinesq Acoplado (ac-Boussinesq): Aplicado a modelos de ondas de agua, demostrando la utilidad del método en sistemas derivados de la dinámica de fluidos.
• Ruptura de Simetría: El artículo demuestra que pueden existir conexiones heteroclínicas entre órbitas periódicas con diferentes acciones (y, por tanto, diferentes valores hamiltonianos si no están en la misma superficie, aunque el artículo se centra en conexiones en la misma superficie) y que los términos de ruptura de simetría pueden inducir conexiones entre órbitas con distintos números de onda y amplitudes.

Significación y Reivindicaciones
El artículo afirma proporcionar un marco sistemático para encontrar y computar conexiones heteroclínicas PtoP en sistemas conservativos, una clase de problemas previamente considerados altamente desafiantes.

• Centro Organizador: Establece la singularidad de codimensión dos (donde $A_k = A_{kk} = 0$) como un centro organizador robusto para la emergencia de estas conexiones, ofreciendo una herramienta predictiva para localizar puntos de partida para ramas numéricas.
• Nuevo Invariante: La introducción de la "acción" como un invariante a lo largo de las foliaciones que salta en la conexión se presenta como una propiedad novedosa intrínseca a la geometría de estas soluciones.
• Unificación: El trabajo unifica el enfoque geométrico (foliaciones, disparo) con la teoría de la forma normal analítica, mostrando cómo los coeficientes de la forma normal están determinados por la acción y el espectro de Bloch del sistema original.
• Generalidad: Aunque se centra en ejemplos de espacio de fase de 4 dimensiones, los autores afirman que la estrategia se extiende a espacios de fase de mayor dimensión y a múltiples dimensiones espaciales.

El artículo no pretende resolver todos los problemas de tipo PtoP, sino que proporciona una estrategia específica y efectiva para sistemas que poseen una ley de conservación de energía y acción, particularmente aquellos derivados de contextos de formación de patrones y ondas no lineales.