9
Stabilità di Lyapunov e ipercicli spezzati
HYC-1979Lesson 5: Selection, Species, Will
00:00

Il punto fisso centrale di un iperciclo può essere certificato come asintoticamente stabile senza risolvere l'intero sistema non lineare, mostrando una funzione di Lyapunov V(x) che si annulla all'equilibrio, rimane strettamente positiva ovunque altrove e diminuisce costantemente lungo ogni traiettoria che il sistema può seguire.

Iperciclo integro (n = 3)Ciclo catalitico chiuso 1 → 2 → 3 → 1n = 2, 3, 4x̂punto fisso123V(x̂) = 0 · V(x) > 0 per x ≠ x̂dV/dt < 0 lungo le traiettorie → asintoticamente stabileIperciclo spezzatoUn legame catalitico rimosso: 3 → 1nessun ciclo chiusorimossoSpigolo 2AFaccia 3ASpigolo 2B123Le orbite restano intrappolate in ciascun sottosistemaSpigolo 2A · Spigolo 2B · Faccia 3A — analizzati separatamente

Il criterio di Lyapunov

Una funzione V(x) è una funzione di Lyapunov per il punto fisso centrale x̂ quando V(x̂) = 0 e V(x) > 0 per ogni ̂. Se, inoltre, V diminuisce lungo le traiettorie (dV/dt < 0), allora ogni orbita vicina è attratta verso x̂ e il punto fisso è asintoticamente stabile. Il test è qualitativo: conta solo il segno della variazione, non una soluzione esplicita in forma chiusa della dinamica.

Stabilità per , 3 e 4

Per ipercicli piccoli di dimensione , 3 e 4 è possibile costruire esplicitamente una funzione di Lyapunov adeguata, che dimostra che il punto fisso centrale x̄0 = (c0/n)(1, …, 1)ᵀ è asintoticamente stabile. Ciò integra il quadro dei modi normali, in cui l'equilibrio cambia natura con la dimensione — un fuoco per , un pozzo a spirale per , un centro per — e trasforma una descrizione locale in un enunciato di stabilità globale.

Ipercicli spezzati e sottosistemi invarianti

Se un singolo legame catalitico viene spezzato, la rete non si chiude più in un unico ciclo auto-rinforzante. Al contrario, essa si suddivide in sottosistemi globalmente invarianti: insiemi di specie la cui dinamica non si propaga mai al resto del sistema. Poiché le orbite restano intrappolate al loro interno, ciascun sottosistema può essere analizzato singolarmente.

  • Spigolo 2A — uno spigolo fluente che trasmette l'influenza catalitica.
  • Spigolo 2B — uno spigolo di punto fisso che si assesta a riposo.
  • Faccia 3A — un sottosistema bidimensionale che comprende i membri rimanenti.

Lo studio di questi oggetti di dimensione inferiore recupera la stabilità e il comportamento di selezione del ciclo spezzato pezzo per pezzo, e collega l'analisi di Lyapunov degli ipercicli integri alla decomposizione dinamica di quelli spezzati.

Contrasto chiave
Un piccolo iperciclo integro è un'unica unità cooperante con un punto fisso centrale certificato; un iperciclo spezzato è una famiglia di sottosistemi invarianti indipendenti. Stesse specie, due destini qualitativamente diversi.