Tok (matematika)

thumb| Tok u faznom prostoru određen diferencijalnom jednačinom klatna. Na horizontalnoj osi, položaj klatna, a na vertikalnoj njegova brzina.
U matematici, **tok** formalizira ideju kretanja čestica u fluidu. Tokovi su sveprisutni u nauci, uključujući inženjerstvo i fiziku. Pojam toka je osnovni za proučavanje običnih diferencijalnih jednačina. Neformalno, tok se može posmatrati kao kontinuirano kretanje tačaka tokom vremena. Formalnije, tok je grupno djelovanje realnih brojeva na skupu.

Ideja vektorskog toka, odnosno toka određenog vektorskim poljem, javlja se u oblastima diferencijalne topologije, Rimanove geometrije i Lijeve grupe. Specifični primjeri vektorskih tokova uključuju geodetski tok, Hamiltonov tok, Riccijev tok, tok srednje zakrivljenosti i Anosovljev tok. Tokovi se također mogu definirati za sisteme slučajnih varijabli i stohastičkih procesa, te se javljaju u proučavanju ergodičkih dinamičkih sistema. Najslavniji od njih je možda Bernoullijev tok.

## Formalna definicija
**Tok** na setu   je grupna akcija aditivne grupe realnih brojeva na . Eksplicitnije, tok je mapiranje
:\varphi : X \times \R \to X
such that, for all  i svi realni brojevi  i ,
:\begin{align}
& \varphi(x,0) = x; \\
& \varphi(\varphi(x,t),s) =\varphi(x,s+t).
\end{align}

IUobičajeno je pisati  umjesto , tako da se gornje jednačine mogu izraziti kao \varphi^0 = \text{Id} (funkcija identiteta) i \varphi^s \circ \varphi^t = \varphi^{s+t} (grupni zakon). Zatim, za sve  the mapping  je bijekcija s inverzom{{tmath|\varphi^{-t}: X \to X.}} Ovo proizilazi iz gornje definicije, a realni parametar  može se uzeti kao generalizirana funkcionalna potencija, kao u iteraciji funkcije.

Tokovi obično moraju biti kompatibilni sa matematičkim strukturama datim na skupu . Posebno, ako   opremljen je topologijom, tada se obično zahtijeva da  bude kontinuirana. Ako je  opremljen diferencijabilnom strukturom, tada se obično zahtijeva da  bude diferencijabilan. U ovim slučajevima tok formira jednoparametarsku grupu homeomorfizama i difeomorfizama.

U određenim situacijama mogu se razmotriti i **lokalni tokovi**, koji su definirani samo u nekom podskupu

:\mathrm{dom}(\varphi) = \{ (x,t) \ | \ t\in(a_x,b_x), \ a_x
called the '*** of . This is often the case with the flows of vector fields, when these vector fields are not complete. In such cases, the group action properties can be described by the notion of groupoids or pseudogroups.

### Alternativne notacije 
Vrlo je uobičajeno u mnogim oblastima, uključujući inženjerstvo, fiziku i proučavanje diferencijalnih jednačina, koristiti notaciju koja implicitno čini tok. Dakle,  je zapisano za  i moglo bi se reći da varijabla  zavisi od vremena  i početnog uslova . Primjeri su dati u nastavku.

U slučaju toka vektorskog polja V na glatkoj mnogostrukosti X, tok se često označava na takav način da je njegov generator eksplicitan. Naprimjer,
:\Phi_V\colon X\times\R\to X; \qquad (x,t)\mapsto\Phi_V^t(x).

## Orbite
Dat je  u , skup \{ \varphi(x,t): t \in \R \} se naziva orbita od  pod . Neformalno, može se smatrati putanjom čestice koja je inicijalno pozicionirana na . Ako je tok generiran vektorskim poljem, tada su njegove orbite slike njegovih integralnih krivulja.

## Primjeri 
### Algebarska jednačina 
Neka je  vremenski zavisna trajektorija koja je bijektivna funkcija. Tada se tok može definirati kao:
\varphi(x,t) =  f(t + f^{-1}(x)).
### Autonomni sistemi običnih diferencijalnih jednačina 
Neka  bude (vremenski nezavisno) vektorsko polje
i  the solution of the initial value problem
:\dot{\boldsymbol{x}}(t) = \boldsymbol{F}(\boldsymbol{x}(t)), \qquad \boldsymbol{x}(0)=\boldsymbol{x}_0.

Tada \varphi(\boldsymbol x_0,t) = \boldsymbol x(t) je **tok vektorskog polja F**. To je dobro definisan lokalni tok pod uslovom da je vektorsko polje
 is Lipschitz-continuous. Tada  ije također Lipschitz-kontinuiran gdje god je definiran. Općenito, može biti teško pokazati da je tok φ globalno definiran, ali jedan jednostavan kriterij je da vektorsko polje.

### Vremenski zavisne obične diferencijalne jednačine 
U slučaju vremenski zavisnih vektorskih polja , ojedan označava \varphi^{t,t_0}(\boldsymbol x_0) = \boldsymbol{x}(t+t_0), gdje je   rastvor od

:\dot{\boldsymbol{x}}(t) = \boldsymbol{F}(\boldsymbol{x}(t),t), \qquad \boldsymbol{x}(t_0)=\boldsymbol{x}_0.
Tada  {{tmath|\varphi^{t,t_0}(\boldsymbol x_0)}} je **vremenski zavisan tok F*'. To nije "tok" prema gornjoj definiciji, ali se lako može shvatiti kao jedan preuređivanjem argumenata. Naime, mapiranje
: \varphi\colon(\R^n\times\R)\times\R \do\R^n\times\R;\qquad
\varphi((\boldsymbol{x}_0, t_0), t)=(\varphi^{t,t_0}(\boldsymbol{x}_0),t+t_0)
zaista zadovoljava grupni zakon za posljednju varijablu:
:\begin{align}
\varphi(\varphi((\boldsymbol{x}_0,t_0),t),s) 
&= \varphi((\varphi^{t,t_0}(\boldsymbol{x}_0),t+t_0),s) \\
&= (\varphi^{s,t+t_0}(\varphi^{t,t_0}(\boldsymbol{x}_0)),s+t+t_0) \\
&= (\varphi^{s,t+t_0}(\boldsymbol{x}(t+t_0)),s+t+t_0) \\
&= (\boldsymbol{x}(s+t+t_0),s+t+t_0) \\
&= (\varphi^{s+t,t_0}(\boldsymbol{x}_0),s+t+t_0) \\
&= \varphi((\boldsymbol{x}_0,t_0),s+t).
\end{align}
Vremenski zavisni tokovi vektorskih polja mogu se posmatrati kao specijalni slučajevi vremenski nezavisnih tokova pomoću sljedećeg trika. Definirajte:\boldsymbol{G}(\boldsymbol{x},t):=(\boldsymbol{F}(\boldsymbol{x},t),1),\qquad\boldsymbol{y}(t) :=(\boldsymbol{x}(t+t_0),t+t_0).
Tada  je rješenje problema početne vrijednosti "neovisnog od vremena"
: \dot{\boldsymbol{y}}(s) = \boldsymbol{G}(\boldsymbol{y}(s)), \qquad \boldsymbol{y}(0)=(\boldsymbol{x}_0,t_0)
ako i samo ako  je rješenje originalnog vremenski zavisnog problema početnih vrijednosti. Nadalje, tada je preslikavanje  upravo tok "vremenski nezavisnog" vektorskog polja .

### Tokovi vektorskih polja na mnogostrukostima 
Tokovi vremenski nezavisnih i vremenski zavisnih vektorskih polja definisani su na glatkim mnogostrukostima tačno onako kako su definisani na euklidskom prostoru  i njihovo lokalno ponašanje je isto. Međutim, globalna topološka struktura glatke mnogostrukosti se snažno manifestuje u tome kakvu vrstu globalnih vektorskih polja ona može podržati, a tokovi vektorskih polja na glatkim mnogostrukostima su zaista važan alat u diferencijalnoj topologiji. Većina studija dinamičkih sistema provodi se na glatkim mnogostrukostima, koje se u primjenama smatraju "parametarskim prostorima".

Formalno:
neka  \mathcal{M} bude diferencijabilna mnogostrukost. Neka \mathrm{T}_p \mathcal{M} označava tangentni prostor tačke p \in \mathcal{M}. Let \mathrm{T}\mathcal{M} biti će potpuna tangentna mnogostrukost; to jest, \mathrm{T}\mathcal{M} = \cup_{p\in\mathcal{M}}\mathrm{T}_p\mathcal{M}. Let

    f : \R\times\mathcal{M} \to \mathrm{T}\mathcal{M}

biti vremenski zavisno vektorsko polje na t\in\R i p\in\mathcal{M}, neko ima f(t,p)\in \mathrm{T}_p\mathcal{M}; to jest, preslikavanje x\mapsto f(t,x) preslikava svaku tačku na element njenog vlastitog tangentnog prostora. Za odgovarajući interval I\subseteq\R koji sadrži 0, tok  je funkcija \phi: I\times\mathcal{M} \to \mathcal{M}
\begin{align}
    \phi(0, x_0) &= x_0&\forall x_0\in\mathcal{M} \\
    \frac{\mathrm{d}}{\mathrm{d}t}\Big|_{t=t_0}\phi(t,x_0) &= f(t_0,\phi(t_0,x_0))&\forall x_0\in\mathcal{M},t_0\in I 
\end{align}

### Rješenja toplotne jednačine 
Neka jw  subdomen (vezan ili ) od  (sa  integerom). Označimo  njegovu granicu (pretpostavlja se glatku). 
Razmotrite sljedeću toplotnu jednačinu na  , for ,
:
\begin{array}{rcll}
u_t - \Delta u & = & 0 & \mbox{ in } \Omega \times (0,T), \\
u & = & 0 & \mbox{ on } \Gamma \times (0,T),
\end{array}

sa sljedećim uslovom početne vrijednosti in  .

Jednačin   NA  odgovara homogenom Dirichletovom graničnom uvjetu. Matematička postavka za ovaj problem može biti polugrupni pristup. Da bismo koristili ovaj alat, uvodimo neograničeni operator   definirano na  L^2(\Omega) njegovim domenom
: D(\Delta_D) = H^2(\Omega) \cap H_0^1(\Omega)  
(pogledajmo klasične Sobolevljeva prostora sa  H^k(\Omega) = W^{k,2}(\Omega) 
and 
:H_0^1(\Omega) = {\overline{C_0^\infty (\Omega)} } ^{H^1(\Omega)} 
je zatvaranje beskonačno diferencijabilnih funkcija s kompaktnim nosačem u  za  H^1(\Omega)-norm).

Za bilo koji  v \in D(\Delta_D) , imamo
:
\Delta_D v = \Delta v = \sum_{i=1}^n \frac{\partial^2 }{\partial x_i^2} v ~. 

Sa ovim operatorom, jednačina toplote postaje  u'(t) = \Delta_Du(t)  and  . Dakle, protok koji odgovara ovoj jednačini je (vidi gornje oznake)
:
\varphi(u^0,t) = \mbox{e}^{t\Delta_D}u^0 ,
gdje   je (analitička) polugrupa generirana od strane .

### Rješenja talasne jednačine 
Ponovo, neka je  poddomen (ograničen ili ne) od  (gdje je  cijeli broj). Označavamo sa  njegovu granicu (pretpostavlja se da je glatka).
Razmotrimo sljedeću talasnu jednačinu na  \Omega \times (0,T)  (za ),
:
\begin{array}{rcll}
u_{tt} - \Delta u & = & 0 & \mbox{ in } \Omega \times (0,T), \\
u & = & 0 & \mbox{ on } \Gamma \times (0,T),
\end{array}

sa sljedećim početnim uslovom  u  i  u_t(0) = u^{2,0} \mbox{ in } \Omega.

Koristeći isti polugrupni pristup kao u slučaju gornje toplotne jednačine, zapisujemo talasnu jednačinu kao parcijalnu diferencijalnu jednačinu prvog reda u vremenu, uvođenjem sljedećeg neograničenog operatora,
:
\mathcal{A} = \left(\begin{array}{cc} 0 & Id \\ \Delta_D & 0 \end{array}\right)

sa domenom  D(\mathcal{A}) = H^2(\Omega) \cap H_0^1(\Omega) \times H_0^1(\Omega)  on  H = H^1_0(\Omega) \times L^2(\Omega) (the operator  je definirano u prethodnom primjeru).
Uvodimo vektore kolone: U = \left(\begin{array}{c} u^1 \\ u^2 \end{array}\right) 
(gdje  u^1 = u i  u^2 = u_t) i 
: U^0 = \left(\begin{array}{c} u^{1,0} \\ u^{2,0} \end{array} \right).

S ovim pojmovima, talasna jednačina postaje  U'(t) = \mathcal{A}U(t)  and .

Dakle, tok koji odgovara ovoj jednačini je:\varphi(U^0,t) = \mbox{e}^{t\mathcal{A}}U^0 
gdje je \mbox{e}^{t\mathcal{A}} (unitarna) polugrupa generirana od strane  \mathcal{A}.

### Bernoullijev tok 
Ergodički dinamički sistemi, odnosno sistemi koji pokazuju slučajnost, također pokazuju tokove. Najslavniji od njih je možda Bernoullijev tok. Ornsteinova teorema izomorfizma tvrdi da, za bilo koju datu entropiju , postoji tok , nazvan Bernoullijev tok, takav da tok u trenutku , *tj.* ,  je  Bernoullijev pomak.

Nadalje, ovaj tok je jedinstven, do konstantnog ponovnog skaliranja vremena. To jest, ako , je drugi tok sa istom entropijom, tada , za neku konstantu . Pojam jedinstvenosti i izomorfizma ovdje je pojam izomorfizma dinamičkih sistema. Mnogi dinamički sistemi, uključujući Sinaijeve bilijare i Anosovljev tok, izomorfni su Bernoullijevim pomjeranjima.

## Također pogledajte
*Abelova jednačina
*Iterirana funkcija
*Schröderova jednačina
*Beskonačne kompozicije analitičkih funkcija

## Reference
* 
* 
* 
* 

Kategorija:Dinamički sistemi
Kategorija:Grupne akcije