Dünaamiline süsteem

Dünaamiline süsteem on matemaatiline süsteem, mis areneb ajas süsteemile aluseks oleva dünaamilise eeskirja järkjärgulise rakendumise kaudu. [1] Dünaamilised süsteemid on näiteks matemaatilised mudelid, mis kirjeldavad planeetide liikumist, ilma, kristallide kasvamist või piljardipallide liikumist piljardilaual.[2]

Dünaamilised süsteemid koosnevad olekute ruumist , aja väärtuste hulgast ja dünaamikast . Olekute ruum sisaldab süsteemi kõiki võimalikke olekuid . Dünaamika on eeskiri, mille järgi süsteemi olek antud ajahetkel areneb süsteemi olekuks hilisemal ajahetkel. Matemaatiliselt on dünaamika funktsioon, mis kujutab olekute ruumi punktid olekute ruumi punktideks: .[2][3]

Olekute ruum

muuda

Muutujaid  , mis kirjeldavad dünaamilist süsteemi täielikult, nimetatakse olekumuutujateks ehk olekute ruumi koordinaatideks. Olekute ruum   on olekumuutujate kõikidest võimalikest väärtustest moodustuv hulk. Olekute ruum saab olla diskreetne või pidev. Diskreetsel juhul saavad olekumuutujad võtta ainult täisarvulisi väärtusi. Pideval juhul saavad olekumuutujad võtta mistahes reaalarvulisi väärtusi. Olekumuutujate arvu nimetatakse dünaamilise süsteemi dimensiooniks. Lõplikumõõtmelist pidevat olekute ruumi kutsutakse faasiruumiks. Olekute ruumid saavad olla ka lõpmatumõõtmelised.[3][4][5]

Diskreetse olekute ruumi näiteks on mündivise, mida saab modelleerida kahemõõtmelise diskreetse olekute ruumiga. Sel juhul oleks igale viskele vastav olek   element hulgast {"kull","kiri"}. Samas võib diskreetsel olekute ruumil olla ka lõpmatult palju mõõtmeid. Pideva olekute ruumi näiteks on füüsikaline pendel. Pendli oleku määramiseks on vaja teada pendli kõrvalekalde nurka   vertikaalist ja pendli nurkkiirust   Seega moodustavad füüsikalise pendli faasiruumi   ja   võimalikud väärtused ehk faasiruum on kahemõõtmeline muutkond.[3]

Süsteemi "täieliku kirjeldamise" all ei mõelda seda, et olekumuutujad peavad kirjeldama täielikult reaalset nähtust, mida modelleeritakse, vaid olekumuutujad peavad täielikult kirjeldama matemaatilist süsteemi, mille abil modelleeritakse reaalset nähtust.[4]

Dünaamika

muuda

Süsteemi arengu eeskiri ehk dünaamika leiab süsteemi tulevase oleku süsteemi praeguse oleku kaudu. Süsteemi arengu eeskiri saab olla deterministlik, kui igale olekule vastab unikaalne järgmine olek, või stohhastiline ehk juhuslik, kui ühele olekule vastab rohkem kui üks võimalikku järgmist olekut. Oleku   trajektooriks nimetatakse ajaliselt järjestatud olekute kogumit, mis tuleneb dünaamika rakendumisest olekule  . Paljudel juhtudel saame süsteemi arengu eeskirjaks võtta funktsiooni  . Kui funktsioon   on olekute suhtes lineaarne, nimetatakse dünaamilist süsteemi lineaarseks. Kui funktsioon   on mittelineaarne, nimetatakse dünaamilist süsteemi mittelineaarseks. Kui funktsioon   ei sõltu ajast ilmutatud kujul, nimetatakse dünaamilist süsteemi autonoomseks.[3][4][5]

Aeg   on samuti olekumuutuja, aga kuna me ei saa mõjutada aja kulgemist, nimetatakse aega sõltumatuks muutujaks.[5] Ka aeg võib olla diskreetne või pidev.[3]

Diskreetne aeg

muuda

Diskreetsed dünaamilised süsteemid muudavad oma olekut diskreetsete ajavahemike tagant. Mündiviske näite korral eiratakse mündi kukkumist ja põrkamist, mündi olekut vaadatakse ainult siis, kui münt on jõudnud tasakaaluolekusse. [3] Tihti valitakse ajahetked nii, et   ehk aja väärtusi sisaldav hulk  . Süsteemi olekut hetkel   saame tähistada  . Alustades algtingimusest  , kui  , saame rakendada funktsiooni  , et leida süsteemi olekud järgnevatel ajahetkedel:    . Selle tulemusena saame olekute hulga  , mis moodustab trajektoori olekute ruumis.[4]

Pidev aeg

muuda

Pidevate dünaamiliste süsteemide korral muutub süsteemi olek üle pideva aja. Sel juhul võime mõelda olekust   kui punktist, mis liigub aja kulgedes olekute ruumis. Süsteemi arengu eeskiri ehk dünaamika määrab siis, kuidas punkt   liigub. Alustades algtingimusest  , kui  , annavad kõik süsteemi tulevased olekud trajektoori, milleks on kõver olekute ruumis.[4]

Dünaamilised süsteemid ilmnesid esimest korda siis, kui Isaac Newton rakendas mehaanikas harilike diferentsiaalvõrrandite teooriat. Sel juhul  . Henri Poincare, keda peetakse kaasaegse, kvalitatiivse dünaamiliste süsteemide teooria rajajaks, märkas aga, et ka diferentsiaalvõrrandeid võib vaadata diskreetsete süsteemidena, kui uurida süsteemi lahendeid diskreetsete aja väärtuste hulgal. See on vajalik kõikides numbrilistes arvutustes ja katselistes mõõtmistes, sest mõõta on võimalik ainult lõpliku arvu väärtusi.[4]

Sissejuhatavad näited

muuda

Eksponentsiaalne kasv

muuda
 
Kaks eksponentsiaalselt kasvavat populatsiooni xt (punane) ja yt (sinine), kusjuures y0 = x3

Lihtne dünaamilise süsteemi näide on eksponentsiaalselt kasvava suuruse, näiteks takistamatult kasvava bakterikultuuri populatsiooni suuruse ajaline areng. Olek mingil kindlal hetkel on antud mittenegatiivse reaalarvuga, nimelt populatsiooni suurusega, st süsteemi olekuruum on mittenegatiivsete reaalarvude hulk  . Kui vaadelda kõigepealt olekuid   diskreetsel hetkedel  , st ajaruumis  , siis kehtib   konstantse kasvuteguriga  . Siis olek hetkel   on  .

Dünaamilise süsteemi iseloomulik omadus on see, et olek sõltub küll möödunud ajast   ja algväärtusest  , kuid mitte alghetke valikust. Olgu näiteks antud veel üks eksponentsiaalselt kasvav populatsioon   sama kasvuteguriga  , kuid algväärtusega  . Hetkel   kehtib siis

 .

Teine populatsioon kasvab niisiis ajalõigus   samamoodi nagu esimene populatsioon ajalõigus  . Seda käitumist saab väljendada ka nii: voolufunktsioon  , mis seab igale hetkele   ja igale algolekule   vastavusse oleku   hetkel  , siin niisiis  , rahuldab kõikide   ja kõikide   korral võrrandit

 .

See on dünaamilise süsteemi voolu poolrühmaomadus.

Vedrupendel

muuda

Veel üks dünaamiliste süsteemide allikas on mehaaniliste süsteemide matemaatiline modelleerimine, lihtsaimal juhtumil punktmassi liikumine niisuguse jõu mõjul, mis sõltub kohast ja kiirusest, kuid mitte eksplitsiitselt ajast. Niisuguse süsteemi olek hetkel   on antud järjestatud paarina  , mis koosneb kohast   ja kiirusest  . Siis on kogu liikumise kulg üheselt määratud, kui on ette antud algasend   koos algkiirusega  . Ühemõõtmelise liikumise korral on olekuruum seega  .

  

Konkreetse näitena vaatleme vedrupendlit, mille massiivsele osale massiga   mõjub vedru taastav jõud ning võib-olla kiirusest sõltuv hõõrdejõud. Kui tähistada resultantjõudu  , saame harilike diferentsiaalvõrrandite süsteemi

  

kus punkt muutujate kohal tähistab tuletist – selles näites pideva – aja järgi. Esimene võrrand ütleb, et kiirus on koha tuletis aja järgi, ja teine võrrand tuleneb otse Newtoni teisest seadusest, mille järgi massi ja kiirenduse korrutis võrdub punktmassile mõjuva resultantjõuga.

Saab näidata, et ka selle süsteemi puhul on voolul

 

poolrühmaomadust. Kui vaadelda süsteemi oleku kulgu olekuruumis  , st trajektoori  , siis tekib vedrupendli sumbvõnkumise korral trajektoor, mis suundub spiraalikujuliselt rahuoleku   poole.

Definitsioonid

muuda

Dünaamiline süsteem on järjestatud kolmik  , mis koosneb hulgast   või   ajaruumist, mittetühjast hulgast  , olekuruumist (faasiruumist), ja binaarsest tehtest   nii et kõikide olekute   ja kõikide hetkede   korral kehtib:

  1.     (identsusomadus)   ja
  2.     (poolrühmaomadus).

Kui   või  , siis nimetatakse dünaamilist süsteemi   aegdiskreetseks ehk diskreetseks, ja kui   või  , siis nimetatakse dünaamilist süsteemi   aegpidevaks ehk pidevaks. Dünaamilist süsteemi   nimetatakse diskreetseks või pidevaks pööratavaks, kui   või vastavalt   gilt.

Dünaamiliste süsteemide uurimine

muuda

Dünaamilise süsteemi sisemine dünaamika võib olla üsna lihtne, aga selle korduv rakendumine võib aja lähenemisel lõpmatusele viia asümptootilise käitumiseni, mida ei ole otse dünaamika põhjal lihtne ennustada ega analüüsida. Paljudel juhtudel ei ole süsteemi lõppoleku leidmiseks lihtsamat viisi kui lasta süsteemil ajas töötada. Sellised arvutused võivad aga minna väga keeruliseks ja aeganõudvaks. Samas tihti puudub vajadus täpsete lahendite järgi ning piisab sellest, kui süsteemi algoleku ja dünaamika kaudu leida süsteemi käitumist kvalitatiivselt kirjeldavad tulemused.[6]

Näide

muuda

Üldine pidev deterministlik  mõõtmeline dünaamiline süsteem

muuda

Üldise pideva  mõõtmelise dünaamilise süsteemi saame kirjutada kujul

 

 

 

 ,

mida saab kompaktselt väljendada kujul

 .

Antud juhul   tähistab olekumuutujaid ja   tähistab süsteemi parameetreid, mis ei sõltu ajast.[5]

Vaata ka

muuda

Viited

muuda
  1. Hirsch, M.W. Smale, S. Devaney, R.L. "Differential Equations, Dynamical Systems & an Introduction to Chaos." Ameerika Ühendriigid, Elsevier, 2004.
  2. 2,0 2,1 "Dynamical Systems Theory: What in the World is it?". www.math.huji.ac.il/~mhochman/research-expo.html (inglise). Vaadatud 14.12.2017.
  3. 3,0 3,1 3,2 3,3 3,4 3,5 "Dynamical systems". www.scholarpedia.org/article/Dynamical_systems (inglise). Vaadatud 14.12.2017.
  4. 4,0 4,1 4,2 4,3 4,4 4,5 "The idea of a dynamical system". www.mathinsight.org/dynamical_system_idea (inglise). Vaadatud 14.12.2017.
  5. 5,0 5,1 5,2 5,3 Karantonis, A. "The Easy Lectures on Nonlinear Dynamical Systems with Emphasis on Physiochemical Phenomona." Saitama, 2000.
  6. Jost, J. "Dynamical Systems. Examples of Complex Behaviour." Saksamaa, Springer, 2005.