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.  Dünaamilised süsteemid on näiteks matemaatilised mudelid, mis kirjeldavad 
planeetide liikumist, ilma, kristallide kasvamist või piljardipallide liikumist piljardilaual.

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: .

Olekute ruum

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.

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.

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.

Dünaamika

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.

Aeg

Aeg  on samuti olekumuutuja, aga kuna me ei saa mõjutada aja kulgemist, nimetatakse aega sõltumatuks muutujaks. Ka aeg võib olla diskreetne või pidev.
Diskreetne aeg
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.  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.
Pidev aeg
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.

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.

Sissejuhatavad näited
Eksponentsiaalne kasv
pisi|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 
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 .

63px|Sumbvõnkumine300px|Trajektoor olekuruumis 

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 
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:
    (identsusomadus)   ja 
    (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
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.

Näide
Üldine pidev deterministlik mõõtmeline dünaamiline süsteem
Ü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.

 Vaata ka 
 Süsteemidünaamika
 Süsteemiteooria
 Dünaamiline süsteemiteooria
 Võnkumine

Viited


Kategooria:Süsteemiteooria