Příklady nelineárních jevů (fold, transkritická a vidličková bifurkace)

Co se naučíme:

  • pochopit nelineární jevy v dynamických systémech související s uvedenými bifurkacemi
  • použít znalostí o bifurkacích souvisejících s přechodem vlastního čísla přes 0 na praktických úlohách
  • popsat bifurkaci SNIPER a jev synchronizace
Jednoparametrická bifurkace spojitého systému spojená s přechodem reálného vlastního čísla přes 0 je typicky příčinou jednak změny stability rovnováhy, ale hlavně změny počtu rovnováh.
  • fold bifurkace je typicky příčinou skokové změny v dynamice systému, kdy ustálený stav (stabilní rovnováha) při malé změně parametru pod kritickou hodnotu zanikne a systém reaguje velkou změnou stavových hodnot
  • transkritická bifurkace je typicky příčinou změny v dynamice systému, která sice skoková není, ale vede k odlišné závislosti výstupu systému na parametrech, což může znamenat např. dichotomii v měřených datech apod.
  • vidličková bifurkace je generická v symetrických systémech, kde hraje stejnou roli, jako transkritická, kromě toho je příčinou vzniku větvení

Biochemický přepínač

Vzorovým příkladem skokové změny zapříčiněné fold bifurkací je biochemický přepínač.

Modelová (velmi zjednodušená) rovnice produkce genetického proteinu v buňce: $$\dot g = k_1\tfrac{g^2}{1+g^2}-k_2g$$ Protein vzniká autokatalytickou reakcí, která zde není popsána, ale můžete se podívat na Hillovu rovnici. Jde o popis kinetiky o něco složitější reakce, než je enzymatická kinetika Michaelise–Mentenové.

Zavedeme novou proměnnou $x(t)=g(\tfrac{t}{k_1})$ a označíme $a = \tfrac{k_2}{k_1}$. Pak: $$\dot x = \tfrac{x^2}{1+x^2}-ax$$ $$\dot x = \tfrac{x^2}{1+x^2}-ax$$ Rovnováha splňuje $$x \left ( \tfrac{x}{1+x^2} -a \right )=0.$$ Jedna rovnováha je tedy nulová a druhá splňuje $$a=\tfrac{x}{1+x^2},$$ můžeme tedy větve rovnováh nakreslit. Zajímají nás pouze kladné hodnoty koncentrace i parametru jako poměru rychlostí reakcí. Se znalostmi z předchozí kapitoly můžeme ukázat (ukažte!), že $[0,0]$ je bod transkritické bifurkace (bod větvení) a bod $[a^*,x^*]=[\tfrac12,1]$ je limitní bod (kritická hodnota fold bifurkace). $$\dot x = x \left ( \tfrac{x}{1+x^2} -a \right )$$
Překročí-li tedy $a = \tfrac{k_2}{k_1}$ kritickou hodnotu $\tfrac12$, gen se přestane produkovat.

Vymírání populací

Dalším vzorovým příkladem skokové změny zapříčiněné fold bifurkací je vymírání populací. Používané rovnice pro modelování velikosti (hustoty) populace jsme si již uvedli a dokonce jsme si ukázali příklad vymíraní na modelu s Alleeho efektem: $$\dot x=f(x)=rx \left (1-\tfrac{x}{K} \right ) \left (\tfrac{x}{A}-1 \right )-Ex.$$
Domácí úkol
Použijte teorii bifurkací k analýze modelu lovu v populaci s Alleeho efektem: $$\dot x=f(x,E)=$$ $$ =rx \left (1-\tfrac{x}{K} \right ) \left (\tfrac{x}{A}-1 \right )-Ex.$$ Návod: fold bifurkace nastává pro $E^*$ a $x^*$ splňující: $f(x,E)=0$ a $f_x(x,E)=0$.


Model výlovu

Model výlovu s logistickým růstem:

Uvažujme konstantně lovenou populaci (např. tuňáků) modelovanou logistickou rovnicí $$\dot x = rx(1-\tfrac{x}{K}) - h = f(x,h)$$ s mírou růstu $r>0$, výlovem $h>0$ a kapacitou prostředí $K>0$.

Výlov $h$ je parametrem, který ovlivňuje existenci rovnovážného stavu $$x^*_{1,2}=\tfrac{K}{2} \pm \sqrt{\tfrac{K^2}{4}-\tfrac{hK}{r}}.$$ Bifurkace typu fold nastává v případě, že pro rovnovážný bod v kritické hodnotě parametru platí $$f_x(x^*,h^*)=r-\tfrac{2r}{K}x^*=0,$$ tj. pokud platí $$x^*=\tfrac{K}2,$$ což je právě splynutí rovnováh $x_1$ a $x_2$ v jedinou.

To nastává pro kritickou hodnotu parametru $h$: $$h^*=\tfrac{rK}{4}.$$ Protože $f_{xx}=-\tfrac{2r}{K} \neq 0$ a $f_h = -1 \neq 0$, jsou splněny podmínky nedegenerovanosti a transverzality bifurkace typu fold.
Pokud výlov překročí tuto prahovou hodnotu $h^*$, populace nutně vymře.

Model excitace neuronu

Nejjednodušší model toku Na$^+$ do neuronu přes buněčnou membránu je rovnice $$\dot x = kx(a-x)(x-1)+i,$$ kde $x$ je normalizované membránové napětí (potenciál) excitabilní buňky, $k > 0$ ovlivňuje rychlost odpovědi a $a \in (0,1)$ je práh mezi elektrickým klidem a vzruchem. Parametr $i$ je elektrický proud, který prochází membránou - vnější buzení. $$$$ Větev rovnováh $i=kx(x-a)(x-1)$ má vždy dva limitní body. Viz neuron.mw.

Rovnováhy pak můžeme nakreslit v závislosti na parametru $i$ podle vztahu $i=kx(x-a)(x-1)$. Dva limitní body i stabilita jsou v tomto modelu „vidět“. Fold bifurkace pak vysvětluje jev, kdy excitabilita neuronu je skoková změna napětí způsobená překročením hraničního prahu vstupního proudu. Do tohoto prahu neuron neodpovídá.


Model zániku korálových útesů

Přestože to není typické, i transkritická bifurkace může být příčinou skokové změny. Uveďme zde model zániku korálových útesů.
Tento model si ukážeme na cvičení.


Konvekční proudění

Jako příklad vidličkové bifurkace si ukážeme slavný Lorenzův model. Nebudeme se ale zabývat oblastí, kde vzniká Lorenzův chaotický atraktor, ale oblastí, kde dochází k zániku jediné stabilní rovnováhy, která odpovídá stacionárnímu rozložení teplot mezi teplejší zemí a studenější horní vrstvou atmosféry a vzniku konvekčního proudění.

Lorenzův model

Rovnice popisující proudění vznikající vedením tepla si uvádět nebudeme (jde o parciální diferenciální rovnice). Anglický fyzik John William Strutt, 3. baron Rayleigh ukázal, že pokud $$R \equiv \tfrac{g\alpha H^3\Delta T}{\nu \kappa} > R_c \equiv \tfrac{\pi^4(1+a^2)^3}{a^2},$$ vznikají periodická řešení těchto PDR. Číslo $R$ se proto nazývá Rayleigho číslo, kde $g$ je gravitační zrychlení, $\alpha$ tepelná roztažnost, $\nu$ viskozita a $\kappa$ tepelná vodivost kapaliny.

Jak se zvyšuje rozdíl teplot povrchů $\Delta T$, vedení tepla se stává nestabilní a vzniká cirkulace kapaliny. Můžete ho sledovat v hrnku horké kávy jako tmavé skvrny....

Zjednodušený model pohybu atmosféry uveřejnil v roce 1963 Edward Lorenz. Model potvrzuje nejen Rayleigho výsledky, ale ukazuje vznik turbulencí. \begin{eqnarray*} \dot x & = & -\sigma (x-y),\\ \dot y & = & rx-y-xz,\\ \dot z & = & -bz+xy, \end{eqnarray*}
  • $x(t)$: rychlost rotace konvekčního proudění
  • $y(t)$: rozdíl teplot spodní a horní vrstvy
  • $z(t)$: odchylka teploty od její střední hodnoty
a parametry jsou
  • $\sigma = \tfrac{\nu}{\kappa}$: Prandtlovo číslo (kinematická viskozita/součinitel tepl. vodivosti),
  • $r = \tfrac{R}{R_c}$ $\sim$ Rayleigho číslo,
  • $b = \tfrac{4}{(1+a^2)}$ $\sim$ šířka / délka konvekční buňky
  • Úkol
    Ukažte, že pro $r<1$ má systém jedinou stabilní rovnováhu, která fyzikálně odpovídá systému bez proudění (vyrovnání teplot) a $r=1$ je bod symetrického větvení. V MATCONTu ověřte, že jde o bod vidličkové bifurkace.
    Pro při přechodu přes $r=1$ (zvýšením rozdílu teplot horního a dolního povrchu $\Delta T$) dochází v systému \begin{eqnarray*} \dot x & = & -\sigma (x-y),\\ \dot y & = & rx-y-xz,\\ \dot z & = & -bz+xy, \end{eqnarray*} k vzniku dvou stabilních stavů z nulového stavu $x=0$. Ten odpovídá nulové rychlosti rotace konvekčního proudění, teplota je stacionárně rozložena mezi spodní a horní vrstvou (viz stacionární řešení rovnice vedení tepla pro Dirichletovu okrajovou podmínku v předmětu profesora Pospíšila PřF:M6868 Spojité deterministické modely II). Nově vzniklé stabilní stavy $x=\pm \sqrt{b (r-1)}$ odpovídají konvekčnímu proudění o rotaci proti směru a ve směru hodinových ručiček. Vznikají tedy konvekční proudění oběma směry o stejné rychlosti.

    Bifurkace SNIPER a synchronizace

    Poslední významnou aplikací fold bifurkace je Saddle-Node Infinite PERiod bifurkace – SNIPER. Uvažujme spojitý systém popsaný v polárních souřadnicích systémem \begin{eqnarray*} \dot r & = & r(1-r^2)\\ \dot \theta & = & \omega - \sin \theta. \end{eqnarray*} Má rovnovážný bod $r=0$, $\theta = 0$, který je nestabilní. Pro $r=1$ může existovat rovnováha odpovídající cyklu, která zaniká fold bifurkací pro kritickou hodnotu $\theta^*=\tfrac{\pi}{2}$.
    Kritický bod této bifurkace pak dává vzniknout cyklu s nekonečně dlouhou periodou, odtud její název. Fázový portrét vypadá takto:
    Tento typ bifurkace stojí za jevem, kterému říkáme synchronizace.

    Představte si dva běžce na oválu (nebo taky oscilující neurony, rotující vesmírná tělesa, děti na houpačce, hodiny na stěně nebo metronomy na společné základně). Každý má svou úhlovou rychlost $\omega_1$ a $\omega_2$ a jeho pozice na oválu (fáze) je dána rovnicí $$\dot \theta_i = \omega_i, \quad i \in \{1, \, 2 \}.$$ Neznají se, nekomunikují spolu. Běží (oscilují) svou vlastní frekvencí. Pokud se ale běžci znají a chtějí spolu komunikovat, upraví svůj běh (oscilaci, rotaci, houpání nebo kývání). Čím blíž k sobě budou, tím víc se budou snažit. Sílu spřažení označme $\kappa_i$. \begin{eqnarray*} \dot \theta_1 & = & \omega_1 - \kappa_1 \sin(\theta_1-\theta_2),\\ \dot \theta_2 & = & \omega_2 - \kappa_2 \sin(\theta_2-\theta_1),\\ \end{eqnarray*} Stavová proměnná $\varphi = \theta_1 - \theta_2$ popisující úhlovou vzdálenost mezi běžci (oscilátory) má rovnici $$\dot \varphi=\Delta \omega-(\kappa_1+\kappa_2) \sin \varphi, \quad \text{ kde } \Delta \omega=\omega_1-\omega_2$$ $$\dot \varphi=\Delta \omega-(\kappa_1+\kappa_2) \sin \varphi$$
    Proto vznikne vazba. Pokud bude dost silná, vznikne stabilní vázaná rotace – synchronizace. Proto se díváme stále na stejnou přivrácenou stranu Měsíce a máme štěstí, že vázaná rotace nevznikla mezi Sluncem a Zemí, protože jsme dostatečně daleko.
    Úkol
    Vyzkoušejte si synchronizaci na metronomech.
    V reálu i v Maplu.

    Nastavení zobrazení příkladů:

    Vyhledat příklad nebo problém podle čísla