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

Sintesi Tecnica: Connessioni Eterocline tra Orbite Periodiche a Ampiezza Finita Emergenti da una Singolarità di Codimensione Due

Definizione del Problema
Il saggio affronta la sfida teorica e numerica di costruire connessioni eterocline tra due distinte orbite periodiche iperboliche a ampiezza finita in sistemi conservativi. Mentre le connessioni che coinvolgono equilibri (EtoE) o equilibri verso orbite periodiche (EtoP) sono ben studiate, le connessioni tra due stati periodici (PtoP) in sistemi conservativi rimangono difficili da trovare e computare, particolarmente per ampiezze elevate. Le difficoltà primarie includono la determinazione delle corrette fasi asintotiche per accoppiare le orbite periodiche a una regione centrale (core), la risoluzione della non unicità (molteplicità) delle connessioni e l'identificazione dei punti di partenza per la continuazione numerica in spazi di fase ad alta dimensionalità.

Metodologia
Gli autori impiegano una strategia duale che combina la teoria della forma normale vicino a una singolarità e la continuazione numerica lontano da essa.

1. Framework Geometrico e Numerico:

   • Il problema è formulato utilizzando foliazioni cilindriche dei fogli di stabilità e instabilità associati alle orbite periodiche.
   • Metodo di Shooting (Tiro): Utilizzato come predittore per computare queste foliazioni integrando all'indietro da una sezione di Poincaré (superficie di sezione) con diverse fasi asintotiche. Questo genera curve chiuse nella sezione.
   • Decomposizione Core-Farfield (Nucleo-Campo Lontano): Utilizzata come correttore. Questo approccio ai valori al contorno divide la soluzione in una regione centrale (core) e campi lontani asintotici (le orbite periodiche), evitando condizioni al contorno di proiezione in favore di condizioni asintotiche di ordine zero.
   • Molteplicità e Fasi: L'intersezione delle curve stabili e instabili nella sezione di Poincaré determina il numero di connessioni eterocline e le loro specifiche fasi asintotiche.

2. Teoria della Forma Normale e Analisi della Singolarità:

   • Gli autori identificano una singolarità di codimensione due nella famiglia di orbite periodiche come centro organizzatore di queste connessioni. Questa singolarità si verifica dove le prime e seconde derivate della funzione di azione $A(k)$ rispetto al numero d'onda $k$ si annullano ($A_k = A_{kk} = 0$).
   • Viene derivata una forma normale non lineare tramite modulazione di fase di uno stato periodico a ampiezza finita. La derivazione dimostra che i coefficienti della forma normale sono direttamente correlati all'espansione di Taylor dell'azione e allo spettro di Bloch dell'ondata sottostante.
   • La forma normale risultante è un tipo di equazione mKdV (modified Korteweg-de Vries), che è completamente integrabile e ammette soluzioni eterocline esplicite tra stati periodici coniugati.

3. Strumenti Teorici Chiave:

   • Invarianza dell'Azione: Il saggio introduce l'"azione" come una nuova proprietà invariante. Si dimostra che essa è invariante lungo le foliazioni stabili e instabili, ma presenta un salto ($\Delta A$) attraverso la sezione quando si connettono orbite con azioni diverse.
   • Relazione Hamiltoniana-Azione: Viene dimostrato un lemma secondo cui i punti critici dell'Hamiltoniana spaziale $H(k)$ e dell'azione $A(k)$ coincidono ($H_k = k A_k$), permettendo l'identificazione delle singolarità tramite diagrammi Hamiltoniana-numero d'onda.
   • Molteplicità Algebrica: Il saggio lega la molteplicità algebrica dello zero dell'autovalore nel problema spettrale linearizzato al venire meno delle derivate dell'azione ($A_k=0$ implica molteplicità 3; $A_{kk}=0$ implica molteplicità 4).

Risultati Chiave

• Connessioni Esplicite: Sfogando la singolarità di codimensione due, gli autori derivano formule esplicite per le connessioni eterocline tra due distinte orbite periodiche. L'esistenza di queste connessioni dipende dai segni del coefficiente $K$ (relativo alla quarta derivata dello spettro di Bloch) e della terza derivata dell'azione $A_{kkk}$.
• Validazione della Strategia Numerica: La combinata strategia di shooting e decomposizione core-farfield computa con successo connessioni ad ampia ampiezza che sarebbero altrimenti difficili da trovare. Il metodo gestisce il calcolo delle fasi asintotiche e risolve la molteplicità visualizzando le intersezioni nella sezione di Poincaré.
• Applicazione a Modelli Specifici: La teoria è applicata a tre distinti sistemi conservativi:
  1. Equazione di Swift-Hohenberg (SH): Nello specifico la SH cubica e la equazione SH357 (con non linearità quadratica, cubica, quintica e settica). Il modello SH357 è usato per dimostrare la scoperta di punti di codimensione due e l'emergenza di rami eteroclini.
  2. Nonlinear Schrödinger (NLS) con Dispersione del Quarto Ordine: Utilizzata per illustrare la geometria delle foliazioni e delle connessioni, inclusi i casi in cui la simmetria è rotta.
  3. Sistema Boussinesq Accoppiato (ac-Boussinesq): Applicato a modelli di onde d'acqua, dimostrando l'utilità del metodo in sistemi derivati dalla fluidodinamica.
• Rottura della Simmetria: Il saggio dimostra che possono esistere connessioni eterocline tra orbite periodiche con azioni differenti (e quindi diversi valori hamiltoniani, sebbene il saggio si concentri su connessioni sulla stessa superficie) e che i termini di rottura della simmetria possono indurre connessioni tra orbite con numeri d'onda e ampiezze distinte.

Significatività e Rivendicazioni
Il saggio sostiene di fornire un quadro sistematico per trovare e computare connessioni eterocline PtoP in sistemi conservativi, una classe di problemi precedentemente considerata estremamente complessa.

• Centro Organizzatore: Stabilisce la singolarità di codimensione due (dove $A_k = A_{kk} = 0$) come un robusto centro organizzatore per l'emergenza di queste connessioni, offrendo uno strumento predittivo per localizzare i punti di partenza per i rami numerici.
• Nuovo Invariante: L'introduzione dell' "azione" come invariante lungo le foliazioni che salta alla connessione è presentata come una proprietà nuova e intrinseca alla geometria di queste soluzioni.
• Unificazione: Il lavoro unifica l'approccio geometrico (foliazioni, shooting) con la teoria analitica della forma normale, mostrando come i coefficienti della forma normale siano determinati dall'azione e dallo spettro di Bloch del sistema originale.
• Generalità: Sebbene focalizzato su esempi in spazio di fase 4D, gli autori affermano che la strategia si estende a spazi di fase di dimensioni superiori e a più dimensioni spaziali.

Il saggio non pretende di risolvere tutti i problemi PtoP, ma fornisce una strategia specifica ed efficace per sistemi dotati di una legge di conservazione dell'energia e dell'azione, in particolare quelli derivanti dalla dinamica delle onde non lineari e della formazione di pattern.