Přednášky předmětu M5444 Markovské řetězce 1. Úvod do studia stochastických procesů 1.1. Motivace: V této kapitole zavedeme pojem stochastického procesu, naučíme se rozlišovat stochastický proces s diskrétním časem a spojitým časem a stochastický proces s diskrétními stavy a spojitými stavy, budeme definovat pravděpodobnostní rozložení stochastického procesu, poznáme vlastnosti pravděpodobnostního rozložení stochastického procesu, naučíme se klasifikovat stochastické procesy podle různých kritérií. 1.2. Definice: Definice stochastického procesu (SP) Nechť ( )ΑΩ, je měřitelný prostor, R množina reálných čísel, ≠Τ ∅ neprázdná množina (nejčastěji jí přisuzujeme význam času). Nechť zobrazení RT:X →×Ω má tyto dvě vlastnosti: a) Tt ∈∀ je X(.,t) náhodná veličina vzhledem k jevovému poli A. Značí se Xt. b) Ω∈ω∀ je X(ω,.) prvkem množiny všech reálných funkcí definovaných na T. Zobrazení X s těmito dvěma vlastnostmi se nazývá stochastický proces definovaný na T. Značí se { }Tt;Xt ∈ . 1.3. Definice: Definice složky SP, realizace SP a realizace složky SP příslušné možnému výsledku Nechť { }Tt;Xt ∈ je stochastický proces. a) Pro libovolné, ale pevně dané Tt ∈ se náhodná veličina X(.,t) = Xt nazývá t-tá složka stochastického procesu. b) Pro libovolné, ale pevně dané Ω∈ω se reálná funkce X(ω,.) nazývá realizace stochastického procesu příslušná k možnému výsledku ω. c) Pro libovolná, ale pevně daná Tt ∈ a Ω∈ω se číslo X(ω,t) nazývá realizace t-té složky stochastického procesu příslušná k možnému výsledku ω. 1.4. Příklad: Vývoj hmotnosti novorozených dětí Nechť Ω je množina novorozenců, ω novorozenec, )∞= ,0T časový interval počítaný od narození novorozence, t je časový okamžik. Zavedeme stochastický proces { }Tt;Xt ∈ , který popisuje průběh hmotnosti kteréhokoliv náhodně vybraného novorozence. a) Xt = X(.,t) je náhodná veličina udávající hmotnost kteréhokoliv náhodně vybraného novorozence v okamžiku t (fixovaný okamžik, libovolný novorozenec). b) X(ω,.) je reálná funkce popisující průběh hmotnosti daného novorozence ω (libovolný okamžik, fixovaný novorozenec). c) X(ω,t) je číselná realizace náhodné veličiny Xt příslušná k možnému výsledku ω, tj. konkrétní hmotnost daného novorozence v daný časový okamžik (fixovaný okamžik, fixovaný novorozenec). 1.5. Definice: Definice časové řady a náhodné funkce Nechť { }Tt;Xt ∈ je stochastický proces. a) Je-li množina T spočetná a lineárně uspořádaná, tj. t0 < t1 < ..., jde o stochastický proces s diskrétním časem (tj. o časovou řadu). b) Je-li množina T interval, jde o stochastický proces se spojitým časem (tj. o náhodnou funkci). 1.6. Definice: Definice SP s diskrétními stavy a spojitými stavy Nechť { }Tt;Xt ∈ je stochastický proces. a) Jestliže pro Tt ∈∀ je náhodná veličina Xt diskrétní, jde o stochastický proces s diskrétními stavy. b) Jestliže pro Tt ∈∀ je náhodná veličina Xt spojitá, jde o stochastický proces se spojitými stavy. Množina všech hodnot, jichž může náhodná veličina Xt nabývat, se nazývá množina stavů a značí se J. 1.7. Příklad: Příklad stochastického procesu s diskrétním časem a diskrétními stavy: Dva hráči, označme je A a B, dali do hry dohromady vklad 5 Kč, z toho hráč A 3 Kč a hráč B 2 Kč. Hráč A hází mincí. Když padne líc, vyhraje 1 Kč, když rub, prohraje 1 Kč. Hra trvá tak dlouho, až je jeden z hráčů ruinován. Zavedeme stochastický proces { }Tt;Xt ∈ , kde t = 1, 2, ... je pořadové číslo hodu mincí a Xt = j, když hráč A má po t-tém hodu j Kč, tedy J = {0, 1, 2, 3, 4, 5}. Např. pro posloupnost hodů {L, R, R, L, R , R, R} je odpovídající realizace stochastického procesu x(t) = {4, 3, 2, 3, 2, 1, 0}. Grafické znázornění: -1 0 1 2 3 4 5 6 7 8 t -1 0 1 2 3 4 5 x(t) 1.8. Příklad: Příklad stochastického procesu s diskrétním časem a spojitými stavy: Po určité výrobní operaci měříme velikost opotřebení obráběcího nože. Nůž se po N výrobních operacích vymění. Stochastický proces nabývá hodnot, které odpovídají opotřebení nože. Máme tedy stochastický proces { }Tt;Xt ∈ , kde T = {1, 2, ..., N} (t je pořadové číslo výrobní operace), JXt ∈ , kde { }ax0;RxJ ≤≤∈= , přičemž a je maximální opotřebení obráběcího nože. Grafické znázornění: 1.9. Příklad: Příklad stochastického procesu se spojitým časem a diskrétními stavy: Sledujeme určité zařízení, které může být v každém okamžiku buď v provozu (stav 1) nebo v opravě (stav 0). Zavedeme stochastický proces { }Tt;Xt ∈ , kde { }0t;tT ≥= , JXt ∈ , J = {0, 1}. Grafické znázornění: Označme t1, t2, … okamžiky poruch, t1 ’ , t2 ‘ , … okamžiky oprav. 1.10. Příklad: Příklad stochastického procesu se spojitým časem a spojitými stavy: Sledujeme šumové napětí na výstupu nějakého elektrického přístroje. Stochastický proces nabývá hodnot, které odpovídají tomuto šumovému napětí. Zavedeme stochastický proces { }Tt;Xt ∈ , kde { }0t;tT ≥= , JXt ∈ , kde { }∞<<−∞= x;xJ . Grafické znázornění: 1.11. Definice: Definice pravděpodobnostního rozložení SP Nechť { }Tt;Xt ∈ je stochastický proces. Pro Tt ∈∀ lze pravděpodobnostní rozložení náhodné veličiny Xt popsat distribuční funkcí: ).xX(P)x(:Rx tt ≤=Φ∈∀ (Tato distribuční funkce je obecně funkcí dvou proměnných t a x a popisuje jednorozměrné rozložení stochastického procesu. Nepodává však úplný popis pravděpodobnostního chování stochastického procesu, protože neobsahuje informace o závislostech náhodných veličin Xt při různých hodnotách t. Úplný popis pravděpodobnostního chování stochastického procesu podává teprve systém distribučních funkcí.) Nechť ( ) Tt,,t n1 ∈K je uspořádaná n-tice indexů, ( )n1 tt X,,X K je marginální vektor daného stochastického procesu. Pro ( ) n n1 Rx,,x ∈∀ K označme ( ) ( )nt1tn1tt xXxXPx,,x n1n1 ≤∧∧≤=Φ KKK marginální distribuční funkci náhodného vektoru ( )n1 tt X,,X K . Systém ( ){ }Tt,,t,,2,1n;x,,xF n1n1ttT n1 ∈=Φ= KKKK se nazývá pravděpodobnostní rozložení stochastického procesu { }Tt;Xt ∈ . 1.12. Věta: Věta o vlastnostech pravděpodobnostního rozložení SP Nechť FT je pravděpodobnostní rozložení stochastického procesu { }Tt;Xt ∈ . Pak systém FT má tyto vlastnosti: a) FT je symetrický systém distribučních funkcí, tj. ( ) ( ) ( )n1ni1in1 iittn1tt n n1n1 x,,xx,,x:Rx,,xTt,,tNn KKKK KK Φ=Φ∈∀∈∀∈∀ , kde { }n1 i,,i K je libovolná permutace množiny indexů { }n,,1 K . b) FT je konzistentní systém distribučních funkcí, tj. je-li { } { } { }n,,1l,,kj,,i KKK =∪ disjunktní rozklad množiny indexů { }n,,1 K , pak ( ) ( )n1tt x x jitt x,,xlimx,,x n1 l k ji KK K M K Φ=Φ ∞→ ∞→ . Důkaz: plyne z vlastností distribuční funkce. 1.13. Věta: Kolmogorovova věta Každý systém distribučních funkcí, který je symetrický a konzistentní, je pravděpodobnostním rozložením nějakého stochastického procesu. 1.14. Definice: Definice stochasticky ekvivalentních SP Řekneme, že dva stochastické procesy jsou stochasticky ekvivalentní, mají-li stejné pravděpodobnostní rozložení. 1.15. Příklad: Odvození pravděpodobnostního rozložení SP Nechť X je náhodná veličina s distribuční funkcí Ψ(x) a f(t) je reálná funkce taková, že a) f(t) > 0 pro Tt ∈∀ b) f(t) < 0 pro Tt ∈∀ . Pro Tt ∈∀ položme Xt = f(t)X. Odvoďte pravděpodobnostní rozložení stochastického procesu { }Tt;Xt ∈ . Řešení: ad a) ( ) ( ) ( ) . )t(f x min )t(f x minXP )t(f x X )t(f x XP xX)t(fxX)t(fPxXxXPx,,x i i ni1 i i ni1 n n 1 1 nn11nt1tn1tt n1n1       Ψ=      ≤=      ≤∧∧≤= =≤∧∧≤=≤∧∧≤=Φ ≤≤≤≤ K KKKK ad b) ( ) ( ) ( ) . )t(f x maxXP )t(f x max1 )t(f x maxXP )t(f x maxXP1 )t(f x maxXP )t(f x X )t(f x XP xX)t(fxX)t(fPxXxXPx,,x i i ni1 i i ni1 i i ni1 i i ni1 i i ni1 n n 1 1 nn11nt1tn1tt n1n1       =+      Ψ−= =      =+      ≤−=      ≥=      ≥∧∧≥= =≤∧∧≤=≤∧∧≤=Φ ≤≤≤≤ ≤≤≤≤≤≤ K KKKK Je-li X spojitá náhodná veličina, pak       = ≤≤ )t(f x maxXP i i ni1 = 0. 1.16. Poznámka: Dělení SP podle různých kritérií a) Rozdělení stochastických procesů podle závislosti jejich pravděpodobnostního rozložení na čase – striktně stacionární procesy (je pro ně charakteristická určitá stálost v čase): ( ) ( )n1hthtn1tt x,,xx,,x n1n1 KK KK ++Φ=Φ , kde h > 0 – evoluční procesy (mají výrazný časový trend) b) Rozdělení stochastických procesů podle toho, zda k určení jejich pravděpodobnostního rozložení stačí znát pouze dvourozměrné distribuční funkce či nikoliv: – definitní procesy – hereditní procesy c) Rozdělení definitních procesů podle toho, zda jejich pravděpodobnostní rozložení závisí pouze na rozdílu časových okamžiků, nikoliv na jejich umístění na časové ose – homogenní procesy – nehomogenní procesy. 2. Funkcionální charakteristiky stochastických procesů 2.1. Motivace: V této kapitole zavedeme trend, rozptyl a směrodatnou odchylku stochastického procesu, autokovarianční a autokorelační funkci stochastického procesu, poznáme vlastnosti těchto funkcionálních charakteristik, budeme definovat centrovaný a standardizovaný stochastický proces slabě stacionární stochastický proces. 2.2. Definice: Definice střední hodnoty a rozptylu SP, definice centrovaného a standardizovaného SP Nechť { }Tt;Xt ∈ je stochastický proces. a) Jestliže pro Tt ∈∀ existuje střední hodnota ( )tXE , pak zavedeme reálnou funkci ( )tµ vztahem: ( ) ( )tXEt:Tt =µ∈∀ . Tato funkce se nazývá střední hodnota (trend) SP. ( ( )tµ charakterizuje polohu realizací SP na časové ose.) b) Jestliže pro Tt ∈∀ existuje rozptyl ( )tXD , pak zavedeme reálnou funkci ( )t2 σ vztahem: ( ) ( )t 2 XDt:Tt =σ∈∀ . Tato funkce se nazývá rozptyl SP. Funkce ( ) ( )tt 2 σ=σ se nazývá směrodatná odchylka SP. ( ( )t2 σ charakterizuje variabilitu realizací stochastického procesu kolem trendu.) c) Nechť stochastický proces má střední hodnotu ( )tµ a rozptyl ( )t2 σ , který je konečný a nenulový. Transformovaný stochastický proces { }Tt;Yt ∈ , kde ( )tXY tt µ−= , se nazývá centrovaný SP. Transformovaný stochastický proces { }Tt;Zt ∈ , kde ( ) ( )t tX Z t t σ µ− = , se nazývá standardizovaný SP. (Lze snadno ukázat, že centrovaný SP má nulovou střední hodnotu a rozptyl stejný jako původní SP. Standardizovaný SP má nulovou střední hodnotu a jednotkový rozptyl.) 2.3. Příklad: Nechť náhodná veličina X má střední hodnotu E(X) = 2 a rozptyl D(X) = 9. Zavedeme SP { }Tt;Xt ∈ , kde Xt = X.cos ωt, ω > 0 je konstanta. Najděte střední hodnotu a rozptyl tohoto SP. Řešení: ( ) ( ) ( ) ( ) tcos2XEtcostcosXEXEt t ω=⋅ω=ω⋅==µ ( ) ( ) ( ) ( ) tcos9XDtcostcosXDXDt 22 t 2 ω=⋅ω=ω⋅==σ Např. pro ω = 1 dostaneme: -2 0 2 4 6 8 10 12 14 t -3 -2 -1 0 1 2 3 4 5 6 7 8 9 10 trend -2 0 2 4 6 8 10 12 14 t -3 -2 -1 0 1 2 3 4 5 6 7 8 9 10rozptyl 2.4. Poznámka: Další funkcionální charakteristiky stochastického procesu Podobně jako u náhodných veličin lze pro stochastický proces zavést další momentové charakteristiky, např. šikmost a špičatost. Všechny tyto charakteristiky, které vycházejí ze znalosti jednorozměrného rozložení stochastického procesu, však nepostačují k popisu pravděpodobnostního chování stochastického procesu, protože neobsahují informace o závislostech mezi složkami stochastického procesu. 2.5. Definice: Definice autokovarianční a autokorelační funkce SP Nechť { }Tt;Xt ∈ je stochastický proces. Předpokládáme, že pro Tt ∈∀ existuje střední hodnota ( )tXE a ( ) ∞< 2 tXE . a) Reálnou funkci ( )21 t,tγ dvou proměnných danou vztahem ( ) ( ) ( )[ ] ( )[ ]( )2t1ttt2121 tXtXEX,XCt,t:Tt,t 2121 µ−µ−==γ∈∀ nazveme autokovarianční funkcí stochastického procesu. b) Reálnou funkci ( )21 t,tρ dvou proměnných danou vztahem ( ) ( ) ( ) ( ) ( )21 21 tt2121 tt t,t X,XRt,t:Tt,t 21 σσ γ ==ρ∈∀ nazveme autokorelační funkcí stochastického procesu. (Autokovarianční funkce je zobecněním varianční matice náhodného vektoru a autokorelační funkce je zobecněním korelační matice náhodného vektoru. Tyto funkce obsahují informace o lineárních závislostech mezi složkami SP.) 2.6. Věta: Věta o vlastnostech autokovarianční funkce SP Pro autokovarianční funkci stochastického procesu platí: a) ( ) ( )tt,t:Tt 2 σ=γ∈∀ b) ( ) ( )122121 t,tt,t:Tt,t γ=γ∈∀ c) ( ) ( ) ( )212121 ttt,t:Tt,t σσ≤γ∈∀ (zobecněná Cauchyho – Schwarzova – Buňakovského nerovnost) Důkaz: Plyne z vlastností kovariance. 2.7. Příklad: Najděte autokovarianční a autokorelační funkci SP z příkladu 2.3. V tomto příkladu byl SP zaveden vztahem Xt = X.cos ωt, přičemž E(X) = 2, D(X) = 9 Řešení: ( ) ( ) ( ) ( ) ( ) 2121 2121tt21 tcostcos9XDtcostcos X,XCtcostcostcosX,tcosXCX,XCt,t 21 ω⋅ω=⋅ω⋅ω= =⋅ω⋅ω=ω⋅ω⋅==γ ( ) ( ) ( ) ( ) 1 tcos9tcos9 tcostcos9 tt t,t t,t 2 2 1 2 21 21 21 21 = ωω ω⋅ω = σσ γ =ρ 2.8. Věta: Věta o střední hodnotě a autokovarianční funkci transformovaného SP Nechť { }Tt;Xt ∈ je stochastický proces se střední hodnotou ( )tXµ a autokovarianční funkcí ( )21X t,tγ . Nechť f(t) je reálná funkce definovaná na T. a) Zavedeme stochastický proces { }Tt;Yt ∈ , kde Yt = Xt + f(t). Pak platí: ( ) ( ) ( )tftt:Tt XY +µ=µ∈∀ ( ) ( )21X21Y21 t,tt,t:Tt,t γ=γ∈∀ b) Zavedeme stochastický proces { }Tt;Yt ∈ , kde Yt = f(t) Xt. Pak platí: ( ) ( ) ( )ttft:Tt XY µ=µ∈∀ ( ) ( ) ( ) ( )21X2121Y21 t,ttftft,t:Tt,t γ=γ∈∀ Důkaz: Plyne z vlastností střední hodnoty a kovariance. 2.9. Definice: Definice slabě stacionárního SP Stochastický proces { }Tt;Xt ∈ se nazývá slabě stacionární, jestliže platí: a) ( ) ct:Tt =µ∈∀ (trend je konstantní) b) ( ) ∞<σ∈∀ t:Tt 2 (rozptyl je konečný) c) ( ) ( )212121 t,tht,ht:0h,Tt,t γ=++γ>∀∈∀ (kovariance libovolných dvou složek SP závisí pouze na jejich vzdálenosti na časové ose a nikoliv na jejich umístění na časové ose) 2.10. Poznámka: Vztah mezi striktní a slabou stacionaritou SP, zavedení autokovarianční funkce slabě stacionárního SP a) Je-li stochastický proces striktně stacionární, je i slabě stacionární. b) Je-li stochastický proces slabě stacionární, pak pro ( ) ( )122121 tt,0t,t:Tt,t −γ=γ∈∀ . Znamená to, že autokovarianční funkce závisí pouze na rozdílu argumentů t2 – t1 =: h. V tomto případě zavádíme funkci jedné proměnné, kterou značíme rovněž symbolem γ , vztahem ( ) ( )h,0h:Th γ=γ∈∀ . Je to autokovarianční funkce slabě stacionárního SP. 2.11. Věta: Věta o vlastnostech autokovarianční funkce slabě stacionárního SP Autokovarianční funkce slabě stacionárního stochastického procesu má tyto vlastnosti: a) ( ) ( ) 22 0t:Tt σ=γ=σ∈∀ (všechny složky SP mají týž rozptyl) b) ( ) ( )hh:0h −γ=γ>∀ (autokovarianční funkce je sudá) c) ( ) ( )0h:0h γ≤γ>∀ Důkaz: Důkaz vlastností a) , b) je triviální. Ad c) Uvažme centrovaný slabě stacionární SP { }Tt;Xt ∈ (tj. pro ( ) 0t:Tt =µ∈∀ ). Pak ( ) ( ) ( ) ( )[ ] ( )2 t 2 t 2 tt 2 XEXEXEXDt =−==σ . Dále ( ) ( ) ( ) ( )htthtt XXEX,XCht,th ++ ⋅==+γ=γ . Počítáme [ ]( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )[ ]h02hth2tXEXXE2XEXXE 222 hthtt 2 t 2 htt γ±γ=+σ+γ±σ=+±=± +++ . Protože [ ]( ) 0XXE 2 htt ≥± + , plyne odtud, že ( ) ( )0h:0h γ≤γ>∀ . 2.12. Příklad: Nechť Y, Z jsou standardizované náhodné veličiny (tj. E(Y) = 0, E(Z) = 0, D(Y) = 1, D(Z) = 1), které jsou stochasticky nezávislé. Zavedeme SP { }Tt;Xt ∈ , kde Xt = Y.cos ωt + Z.sin ωt, ω > 0 je konstanta. Najděte střední hodnotu a rozptyl tohoto SP a ukažte, že je slabě stacionární. Řešení: ( ) ( ) ( ) ( ) ( ) 0ZEtsinYEtcostsinZtcosYEXEt t =⋅ω+⋅ω=ω⋅+ω⋅==µ ( ) ( ) ( ) ( ) ( ) 1tsintcosZDtsinYDtcostsinZtcosYDXDt 2222 t 2 =ω+ω=⋅ω+⋅ω=ω⋅+ω⋅==σ . Aby byl SP slabě stacionární, musí mít konstantní střední hodnotu, konečný rozptyl a pro jeho autokovarianční funkci musí platit γ(h) = γ(t, t+h). První dvě podmínky jsou splněny, ověříme třetí: ( ) ( ) ( ) ( )( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )( ) ( ) ( ) ( )hhcoshcoshttcos htsintsinhtcostcosZDhtsintsinYDhtcostcos Z,ZChtsintsin Z,YChtsintcosY,ZChtcostsinY,YChtcostcos htsinZhtcosY,tsinZtcosYCX,XCht,t htt γ==−=+−= =+⋅++⋅=⋅+⋅+⋅+⋅= =⋅+⋅+ +⋅+⋅+⋅+⋅+⋅+⋅= =+⋅++⋅⋅+⋅==+γ + 2.13. Věta: Věta o vlastnostech autokorelační funkce slabě stacionárního SP Pro autokorelační funkci slabě stacionárního SP platí: ( ) ( ) ( )0 h h:Th γ γ =ρ∈∀ . Důkaz: ( ) ( ) ( ) ( )21 21 2121 tt t,t t,t:Tt,t σσ γ =ρ∈∀ . Je-li SP slabě stacionární, pak ( ) ( ) ( ) ( ) ( )0tt,ht,t 2 2 1 2 21 γ=σ=σγ=γ , tedy ( ) ( ) ( )0 h h γ γ =ρ . 2.14. Příklad: Nechť je dán SP { }Tt;Xt ∈ , kde náhodné veličiny K,X,X 21 tt jsou stochasticky nezávislé a mají všechny stejnou distribuční funkci Φ(x). Určete střední hodnotu, rozptyl a autokorelační funkci tohoto SP. Řešení: Protože náhodné veličiny Xt, t∈T mají všechny stejnou distribuční funkci Φ(x), mají i stejnou střední hodnotu ( ) µ=tXE a stejný rozptyl ( ) 2 tXD σ= . Dále počítáme autokovarianční funkci ( ) ( )    ≠ =σ ==γ 21 21 2 tt21 ttpro0 ttpro X,XCt,t 21 . Jedná se tedy o slabě stacionární SP. Nyní spočteme autokorelační funkci ( ) ( ) ( ) ( )    ≠ = = σσ γ =ρ ttpro0 ttpro1 tt t,t t,t 21 21 21 21 21 . Znamená to, že neexistuje žádná závislost mezi realizacemi SP ve dvou různých okamžicích. 3. Markovské řetězce s diskrétním časem 3.1. Definice: Definice markovského řetězce s diskrétním časem Nechť ( )P,,ΑΩ je pravděpodobnostní prostor, N0 = {0, 1, 2, ...} je indexová množina, jejíž prvky nazveme okamžiky a J = {..., -2, -1, 0, 1, 2, ...} je nejvýše spočetná množina stavů (bez újmy na obecnosti lze předpokládat, že J = {0, 1, 2, ...} nebo J = {0,1, ..., n}). Stochastický proces { }0n Nn;X ∈ definovaný na měřitelném prostoru ( )ΑΩ, , jehož složky nabývají hodnot z množiny stavů J, se nazývá markovský řetězec (s diskrétním časem), jsou-li splněny následující podmínky: a) ( ) 0jXP:NnJj n0 >=∈∃∈∀ (vyloučení nepotřebných stavů) b) ( ) ( )1n1nnn002n2n1n1nnnn100 jX/jXPjXjXjX/jXP:Jj,,j,jNn −−−−−− ====∧∧=∧==∈∀∈∀ KK za předpokladu, že ( ) 0jXjXjXP 002n2n1n1n >=∧∧=∧= −−−− K . (markovská vlastnost – budoucí chování markovského řetězce závisí pouze na přítomném stavu a nikoliv na stavech minulých) Vysvětlení: Nejčastější interpretací markovských řetězců je nějaká soustava, která se může nacházet ve stavech a0, a1, … V průběhu času soustava mění svoje stavy. Tyto stavy pozorujeme v diskrétních časových okamžicích n = 0, 1, … Náhodná veličina Xn nabývá hodnoty j, když v okamžiku n je soustava ve stavu aj. Markovská vlastnost znamená, že všechny dosavadní stavy soustavy mají vliv na budoucí stav pouze prostřednictvím stavu přítomného. 3.2. Věta: Věta o simultánní pravděpodobnostní funkci markovského řetězce s diskrétním časem Je-li { }0n Nn;X ∈ markovský řetězec, pak platí: ( ) ( ) ( ) ( )1n1nnn001100nn1100 jX/jXPjX/jXPjXPjXjXjXP −− ==⋅⋅=====∧∧=∧= KK pokud ( ) 0jXjXjXP 1n1n1100 >=∧∧=∧= −−K , = 0 jinak. Důkaz: Podle věty o násobení pravděpodobností a podle markovské vlastnosti dostáváme: ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )1n1nnn1122001100 002n2n1n1nnn001122001100 nn1100 jX/jXPjX/jXPjX/jXPjXP jXjXjX/jXPjXjX/jXPjX/jXPjXP jXjXjXP −− −−−− ==⋅⋅==⋅==⋅== ==∧∧=∧==⋅⋅=∧==⋅==⋅== ==∧∧=∧= K KK K Věta o násobení pravděpodobností: Nechť (Ω, A, P) je pravděpodobnostní prostor, A1, A2, ..., An takové jevy, že P(A1∩ ... ∩ An-1) ≠0. Pak P(A1 ∩ A2 ∩ ... ∩ An) = P(A1) P(A2/A1) P(A3/A1∩ A2) ... P(An/A1∩ ... ∩ An-1). Markovská vlastnost: ( ) ( )1n1nnn002n2n1n1nnn jX/jXPjXjXjX/jXP −−−−−− ====∧∧=∧== K 3.3. Příklad: Nechť Y1, Y2, ... jsou stochasticky nezávislé náhodné veličiny, které nabývají hodnot z množiny {..., -2, -1, 0, 1, 2, ...} (jde o tzv. celočíselné náhodné veličiny). Položme 1n,YX,0X n 1i in0 ≥== ∑= . Dokažte, že stochastický proces { }0n Nn;X ∈ je markovský řetězec. Řešení: Dokážeme, že levá strana v markovské vlastnosti se rovná pravé straně. Levá strana: ( ) ( ) ( ) ( ) ( ) ( )0XjXjXP 0XjXjXP BP BAP B/AP0XjX/jXP 02n2n1n1n 01n1nnn 01n1nnn =∧∧=∧= =∧∧=∧= = ∩ ===∧∧== −−−− −− −− K K K . Jevy zapsané pomocí náhodných veličin X0, X1, ..., Xn se budeme snažit zapsat pomocí náhodných veličin Y1, Y2, ..., Yn, které jsou stochasticky nezávislé. X0 = 0, X1 = X0 + Y1 ⇒ Y1 = X1 - X0, X2 = X1 + Y2 ⇒ Y2 = X2 – X1, ..., Xn = Xn-1 + Yn ⇒ Yn = Xn – Xn-1, tedy { } { }112n1n1n1nnn0111n1nnn jYjjYjjY0XjXjXjX =∧∧−=∧−===∧=∧∧=∧= −−−−−− KK Dále { } { }112n1n1n0111n1n jYjjY0XjXjX =∧∧−===∧=∧∧= −−−−− KK . Po dosazení do levé strany: ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )1nnn 112n1n1n 112n1n1n1nnn 02n2n1n1n 01n1nnn jjYP jYPjjYP jYPjjYPjjYP 0XjXjXP 0XjXjXP − −−− −−−− −−−− −− −== =⋅⋅−= =⋅⋅−=−= = =∧∧=∧= =∧∧=∧= K K K K Pravá strana: ( ) ( ) ( ) ( ) ( ) ( ) ( )1nnn 2n1n1n 2n1n1n1nnn 1n1n 1n1nnn 1n1nnn jjYP jjYP jjYPjjYP jXP jXjXP jX/jXP − −−− −−−− −− −− −− −== −= −=−= = = =∧= === Protože levá strana se rovná pravé straně, je daný stochastický proces { }0n Nn;X ∈ markovský řetězec. 3.4. Příklad: Nechť Y1, Y2, … jsou stochasticky nezávislé náhodné veličiny, které mají rovnoměrné diskrétní rozložení na množině G = {-1, 1} (tj. nabývají hodnot ±1 s pravděpodobností 1/2). Položme X0 = 0 a zavedeme náhodnou veličinu ∑= = n 1i in YX . Tato náhodná veličina udává polohu částice na přímce, kterou částice zaujme po n krocích, když na počátku je v bodě 0 a pohybuje se v obou možných směrech se stejnou pravděpodobností. Markovský řetězec { }0n Nn;X ∈ se nazývá symetrická náhodná procházka na přímce. Náhodnou procházku lze simulovat v MATLABu pomocí funkce np: function [poloha]=np(N) %funkce na simulaci symetricke nahodne prochazky po primce %syntaxe: poloha=np(N) %vstupni parametry: N ... delka nahodne prochazky %vystupni parametr: poloha ... vektor souradnic bodu, v nichz se castice nachazi v jednotlivych krocich %funkce nakresli trajektorii nahodne prochazky %funkce poskytne tabulku rozlozeni cetnosti souradnic castice na primce, v nichz se nahodna prochazka nachazi NC=unidrnd(2,N,1);poloha(1)=0; for i=2:N if NC(i)==1 poloha(i)=poloha(i-1)-1; else poloha(i)=poloha(i-1)+1; end end t=[0:N-1]; plot(t,poloha) tabulate(poloha) 0 2 4 6 8 10 12 14 16 18 20 -1 -0.5 0 0.5 1 1.5 2 2.5 3 3.5. Označení Jev {Xn = j} – markovský řetězec je v okamžiku n ve stavu j. P(Xn = j) = pj(n) – absolutní pravděpodobnost stavu j v okamžiku n. p(n) = (...., pj(n), ...) – vektor absolutních pravděpodobností. P(Xn+1 = j / Xn = i) = pij(n,n+1) – pravděpodobnost přechodu ze stavu i v okamžiku n do stavu j v okamžiku n+1 (pravděpodobnost přechodu 1. řádu).           +=+ M LL M )1n,n(p)1n,n( ijP - matice pravděpodobností přechodu 1. řádu. P(Xn+m = j / Xn = i) = pij(n,n+m) – pravděpodobnost přechodu ze stavu i v okamžiku n do stavu j v okamžiku n+m (pravděpodobnost přechodu m-tého řádu).           +=+ M LL M )mn,n(p)mn,n( ijP - matice pravděpodobností přechodu m-tého řádu. P(X0 = j) = pj(0) – počáteční pravděpodobnost stavu j. p(0) = (...., pj(0), ...) – vektor počátečních pravděpodobností. 3.6. Věta: Věta o vlastnostech markovského řetězce s diskrétním časem Nechť { }0n Nn;X ∈ je markovský řetězec. Pokud dále uvedené podmíněné pravděpodobnosti existují, platí pro Jj,iNm,m,m,n 021 ∈∀∈∀ : a) P(Xn+m = j / Xn = i) ≥ 0, tj. pij(n,n+m) ≥ 0 ( )    ≠ = === jipro0 jipro1 iX/jXP nn , tj.    ≠ = = jproi0 jipro1 )n,n(pij . b) ( )∑∈ + === Jj nmn 1iX/jXP , tj. ∑∈ =+ Jj ij 1)mn,n(p . (Přechod ze stavu i v okamžiku n do nějakého stavu j v okamžiku n+m je jev s pravděpodobností 1.) c) ( ) ( ) ( )kX/jXPiX/kXPiX/jXP 121121 mnmmn Jk nmnnmmn ======= +++ ∈ +++ ∑ , tj. ∑∈ ++++=++ Jk 211kj1ik21ij )mmn,mn(p)mn,n(p)mmn,n(p (Chapmanovy – Kolmogorovovy rovnice) d) ( ) ( ) ( )kX/jXPkXPjXP nmn Jk nmn ===== + ∈ + ∑ , tj. ∑∈ +=+ Jk kjkj )mn,n(p)n(p)mn(p (Zákon evoluce) Důkaz: ad a) ( ) ( ) ( ) 0 iXP iXjXP iX/jXP n nn nn ≥ = =∧= === , protože ( ) 0iXjXP nn ≥=∧= a ( ) 0iXP n >= podle (a) z definice 3.1. ( ) ( ) ( )    ≠ = = = =∧= === jipro0 jipro1 iXP iXjXP iX/jXP n nn nn ad b) ( ) { } { }( ) ( ) 1 iXP iXP iX/jXPiX/jXP n n n Jj mn Jj nmn = = =∩Ω =      ===== ∈ + ∈ +∑ U ad c) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )kX/jXPiX/kXP iXP kX/jXPiX/kXPiXP iXP iXkX/jXPiX/kXPiXP iXP jXkXiXP iXP }iX{}kX{}jX{P iXP }iX{}jX{P iXP iXjXP iX/jXP 1211 12111211 211121 2121 21 mnmmn Jk nmn n mnmmn Jk nmnn n nmnmmn Jk nmnn n Jk mmnmnn n n Jk mnmmn n nmmn n nmmn nmmn ===== = ===== = = =∧===== = = = =∧=∧= = =       =∩=∩= = = = =∩Ω∩= = = =∧= === +++ ∈ + +++ ∈ ++++ ∈ + ∈ +++ ∈ +++ ++++ ++ ∑ ∑∑ ∑U ad d) ( ) ( ) ( ) ( ) ( )kX/jXPkXPjXkXP}jX{}kX{P}jX{PjXP nmn Jk n Jk mnn Jk mnnmnmn =====∧==      =∩===∩Ω== + ∈∈ + ∈ +++ ∑∑U 3.7. Poznámka: Zápis vlastností markovského řetězce s diskrétním časem v maticovém tvaru a) P(n,n+m) ≥ 0, kde 0 je nulová matice, P(n,n) = I, kde I je jednotková matice. b) P(n,n+m)e = e, kde e je sloupcový vektor ze samých jedniček. c) P(n,n+m1+m2) = P(n,n+m1) P(n+m1,n+ m1+m2). d) p(n+m) = p(n) P(n,n+m). 3.8. Příklad: Nechť je dán markovský řetězec { }0n Nn;X ∈ s množinou stavů J = {0,1}. Pravděpodobnosti přechodu 1. řádu jsou dány maticí           =+ 3 1 3 2 4 3 4 1 )1n,n(P . Vektor absolutních pravděpodobností v okamžiku n je p(n) =       2 1 , 2 1 . Jaká je pravděpodobnost, že po jednom kroku bude řetězec ve stavu 0 (resp. 1)? Řešení: Podle zákona evoluce máme: p(n+1) = p(n) P(n,n+1) = ( )5417,0;4583,0 24 13 , 24 11 6 1 8 3 , 3 1 8 1 3 1 2 1 4 3 2 1 , 3 2 2 1 4 1 2 1 3 1 3 2 4 3 4 1 2 1 , 2 1 =      =      ++=      ⋅+⋅⋅+⋅=                 = Po jednom kroku tedy bude řetězec ve stavu 0 s pravděpodobností 0,4583 a ve stavu 1 s pravděpodobností 0,5417. 3.9. Definice: Definice stochastického vektoru a stochastické matice a) Řádkový vektor s nejvýše spočetným počtem nezáporných složek, jejichž součet je roven 1, se nazývá stochastický vektor. b) Čtvercová matice, jejímž každým řádkem je stochastický vektor, se nazývá stochastická matice. c) Řekneme, že markovský řetězec, stochastický vektor a stochastická matice jsou odpovídající dimenze, když počet stavů markovského řetězce, počet složek stochastického vektoru a řád stochastické matice jsou stejné. 4. Homogenní markovské řetězce s diskrétním časem 4.1. Definice: Definice homogenního markovského řetězce (s diskrétním časem) Řekneme, že markovský řetězec { }0n Nn;X ∈ s množinou stavů J je homogenní, jestliže jeho pravděpodobnosti přechodu 1. řádu pij(n,n+1) nezávisí na okamžiku n, tj. pro ( ) ijn1n0 piX/jXP:JjNn ===∈∀∈∀ + . Matice pravděpodobností přechodu 1. řádu je pak rovna P(1) a značí se P. Matice P se nazývá matice přechodu homogenního markovského řetězce. Vysvětlení homogenity: Pravděpodobnostní chování HMŘ se sice může s časem měnit, ale náhodný mechanismus, který tyto změny způsobuje – matice přechodu P – je sám časově neproměnný. 4.2. Příklad: Na okružní trase je umístěno 2m bodů. Mezi nimi převáží auto náklady. Náklad se z každého bodu převáží do následujícího s pravděpodobností p nebo do předchozího s pravděpodobností q = 1 – p. Zavedeme stochastický proces { }0n Nn;X ∈ , kde Xn = j, když v okamžiku n je auto v bodě j, j = 0, 1, ..., 2m. Ukažte, že tento stochastický proces je homogenní markovský řetězec a najděte jeho matici přechodu. Řešení: Daný stochastický proces je markovský řetězec, protože jeho budoucí stav závisí pouze na stavu přítomném a nikoliv na stavech minulých. Je to homogenní markovský řetězec, protože pravděpodobnosti přechodu 1. řádu nezávisí na okamžiku n. Grafické znázornění situace: Matice přechodu:                 = 0q000p p0q000 000p0q q000p0 K K KKKKKKK K K P . 4.3. Věta: Nechť { }0n Nn;X ∈ je stochastický proces s množinou stavů J, p je stochastický vektor odpovídající dimenze a P stochastická matice odpovídající dimenze. Pak { }0n Nn;X ∈ je homogenní markovský řetězec s vektorem počátečních pravděpodobností p(0) = p a maticí přechodu P, právě když všechny marginální pravděpodobnostní funkce tohoto procesu jsou tvaru: ( ) ( ) n1n100 jjjjjnn1100n100 pp0pjXjXjXP:Jj,,j,jNn − ⋅⋅==∧∧=∧=∈∀∈∀ KKK . Důkaz: Plyne z věty 3.2. a markovské vlastnosti. 4.4. Věta: Vlastnosti homogenního markovského řetězce v maticovém tvaru Nechť { }0n Nn;X ∈ je markovský řetězec s vektorem počátečních pravděpodobností p(0) a maticí přechodu P. Pak pro 1n,Nm,n 0 ≥∈∀ platí: a) P(n,n+m) = P(m) = Pm . b) p(n,n+m) = p(m) = p(0)Pm . Důkaz: ad a) Z Ch – K rovnice plyne: P(m) = P(m-1+1) = P(m-1)P = P(m-2+1)P = P(m-2)P2 = ... = P(0)Pm = Pm . ad b) Ze zákona evoluce plyne: p(m) = p(m-1+1) = p(m-1)P = p(m-2+1)P = p(m-2)P2 = ... = p(0)Pm . 4.5. Poznámka: Z věty 4.4. plyne, že k určení pravděpodobnostního chování homogenního markovského řetězce stačí znát vektor počátečních pravděpodobností p(0) a matici přechodu P. 4.6. Příklad: Je dán homogenní markovský řetězec { }0n Nn;X ∈ s množinou stavů J = {0,1,2}, vektorem počátečních pravděpodobností p(0) = (1/2, 1/6, 1/3) a maticí přechodu               = 0 2 1 2 1 100 0 2 1 2 1 P . Určete vektor absolutních pravděpodobností po čtyřech krocích. Řešení:       =                     == 96 34 96 31 96 31 0 2 1 2 1 100 0 2 1 2 1 3 1 6 1 2 1 )0()4( 4 4 ,,,,Ppp 4.7. Poznámka: Přechodový diagram v rozvinutém a nerozvinutém tvaru. Homogenní markovský řetězec lze graficky znázornit pomocí přechodového diagramu, a to buď v rozvinutém nebo nerozvinutém tvaru. Je to ohodnocený orientovaný graf, kde vrcholy jsou stavy, orientované hrany se zakreslují pro kladné pravděpodobnosti přechodu za jeden krok a ohodnocení hran (váhy) jsou dána kladnými pravděpodobnostmi přechodu. 4.8. Příklad: Nechť { }0n Nn;X ∈ je homogenní markovský řetězec s množinou stavů J = {0,1,2} a maticí přechodu                 = 3 2 0 3 1 2 1 2 1 0 010 P . Nakreslete přechodový diagram. Řešení: 4.9. Poznámka: Pomocí přechodového diagramu v rozvinutém tvaru lze získat vektor absolutních pravděpodobností v okamžiku n. Postupuje se tak, že se pro každý možný stav v okamžiku n sečtou součiny vah těch hran, které v okamžiku n v daném stavu končí. 0 1 1/3 1 2 2/3 1/2 1/2 4.10. Příklad: Pro HMŘ z př. 4.8. vypočtěte pomocí přechodového diagramu v rozvinuté podobě vektor absolutních pravděpodobností pro n = 3. Řešení: Přechodový diagram v rozvinutém tvaru pro první tři kroky: ( ) 6 1 3 1 2 1 13p0 =⋅⋅= , ( ) 4 1 2 1 2 1 13p1 =⋅⋅= , ( ) 12 7 3 1 4 1 3 2 2 1 1 2 1 2 1 13p2 =+=⋅⋅+⋅⋅= ( )       = 12 7 , 4 1 , 6 1 0p 4.11. Příklad: Model havarijního pojištění Počet výskytů pojistné události v n-tém pojistném období je náhodná veličina Yn, n = 1, 2, …. Předpokládáme, že náhodné veličiny Yn jsou stochasticky nezávislé a všechny se řídí rozložením Po(λ). Existují tři kategorie pojistného: 0 … základní pojistné, 1 … pojistné s bonusem 30%, 2 … pojistné s bonusem 50%. V prvním pojistném období platí klient základní pojistné. Jestliže pojistné období má bezeškodní průběh, je klient v dalším pojistném období zařazen o kategorii výše. Pokud uplatní jeden pojistný nárok, je v příštím období zařazen o kategorii níže. Při uplatnění dvou a více pojistných událostí je zařazen o dvě kategorie níže. Nechť náhodná veličina Xn značí kategorii pojistného v n-tém pojistném období. Lze snadno odvodit, že platí { } { }      ≥ = = = − + + 2Ypro0 1Ypro0,Xmax 0Ypro2,Xmin X n n1n n1n 1n Stochastický proces { }0n Nn;X ∈ s množinou stavů J = {0, 1, 2} je markovský řetězec, protože jeho budoucí stav závisí pouze na stavu přítomném a nikoliv na stavech minulých. Protože pravděpodobnosti přechodu 1. řádu nezávisí na okamžiku n, jde o homogenní markovský řetězec. a) Najděte vektor počátečních pravděpodobností a matici přechodu. (Návod: využijte toho, že matice přechodu je stochastická matice. b) Nakreslete přechodový diagram. Řešení: Ad a) Vektor počátečních pravděpodobností: p(0) = (1, 0, 0). Stanovíme jednotlivé prvky matice přechodu. ( ) ( ) ( ) λ−λ− + −= λ −==−=≥==== e1e !0 10YP11YP0X/0XPp 0 nnn1n00 ( ) ( ) λ−λ− + = λ ====== ee !0 0YP0X/1XPp 0 nn1n01 ( ) 0pp1p 010002 =+−= ( ) ( ) ( ) λ−λ− + −= λ −==−=≥==== e1e !0 10YP11YP1X/0XPp 0 nnn1n10 ( ) 01X/1XPp n1n11 ==== + ( ) ( ) λ−λ− + = λ ====== ee !0 0YP1X/2XPp 0 nn1n12 ( ) ( ) ( ) ( ) λ−λ−λ−λ− + λ−−= λ − λ −==−=−=≥==== ee1e !1 e !0 11YP0YP12YP2X/0XPp 10 nnnn1n20 ( ) ( ) λ− + λ====== e1YP2X/1XPp nn1n21 ( ) ( ) λ− + ====== e0YP2X/2XPp nn1n22           λλ−− − − = λ−λ−λ−λ− λ−λ− λ−λ− eeee1 e0e1 0ee1 P Přechodový diagram: 4.12. Příklad: Je dán je homogenní markovský řetězec { }0n Nn;X ∈ s množinou stavů J = {0,1} a maticí přechodu       = 6,04,0 3,07,0 P . Jaký je tvar této matice po n krocích? Řešení: V teorii matice se dokazuje Perronův vzorec: ∑= λ= s 1i ii n i n vwP , kde λ1, ..., λs jsou vlastní čísla matice P (protože P je stochastická matice, je aspoň jedno vlastní číslo rovno 1), wi je sloupcový vlastní vektor příslušný vlastnímu číslu λi (P wi = λi wi) a vi je řádkový vlastní vektor příslušný vlastnímu číslu λi (viP = λivi ’ ). Přitom vektory wi a vi jsou ortogonální. Nejdříve vypočítáme vlastní čísla matice P: 3,0 1 3,03,1 6,04,0 3,07,0 0 1,2 2 =λ⇒+λ−λ= λ− λ− =λ−= IP Stanovíme sloupcové vlastní vektory: P wi = λi wi i = 1: ⇒      ⋅=      ⋅      12 11 12 11 w w 1 w w 6,04,0 3,07,0 w1 =       1 1 , i = 2: ⇒      ⋅=      ⋅      22 21 22 21 w w 3,0 w w 6,04,0 3,07,0 w2 =       − 7/4 4/3 Stanovíme řádkové vlastní vektory: viP = λivi ’ i = 1: ( ) ⇒      ⋅=      12 11 1211 v v 1 6,04,0 3,07,0 v,v v1 = ( )7/3,7/4 , i = 2: ( ) ⇒      ⋅=      22 21 2221 v v 3,0 6,04,0 3,07,0 v,v v2 = ( )1,1 − Celkem: ( ) ( )       − − ⋅+      ==−⋅      − ⋅+⋅      ⋅= 7/47/4 7/37/3 3,0 7/37/4 7/37/4 1,1 7/4 7/3 3,07/3,7/4 1 1 1 nnnn KP 4.13. Poznámka: Uvažme homogenní markovský řetězec, který má množinu stavů J = {0, 1, 2}, vektor počátečních pravděpodobností p(0) = (1/2, 1/3, 1/6) a matici přechodu                 = 4 1 4 3 0 4 1 4 1 2 1 0 3 2 3 1 P . Ukážeme si, jak lze simulovat realizace tohoto řetězce pomocí MATLABu. Nejprve získáme počáteční stav řetězce: Vygenerujeme náhodné číslo u z intervalu (0,1). Interval (0,1) rozdělíme na tři podintervaly podle kumulativních součtů vektoru počátečních pravděpodobností. Je-li       ∈ 2 1 ,0u , pak X(0)=0. Je-li    ∈ 6 5 , 2 1 u , pak X(0)=1. Je-li )1, 6 5 u ∈ , pak X(0)=2. Při simulaci dalších realizací i = 1, 2, …, n postupujeme podle kumulativních součtů v jednotlivých řádcích matice P: Vždy vygenerujeme náhodné číslo u z intervalu (0,1). Je-li X(i-1)=0 ∧       ∈ 3 1 ,0u , pak X(i)=0. Je-li X(i-1)=0 ∧ )1, 3 1 u ∈ , pak X(i)=1. Je-li X(i-1)=1 ∧       ∈ 2 1 ,0u , pak X(i)=0. Je-li X(i-1)=1 a ∧    ∈ 4 3 , 2 1 u , pak X(i)=1. Je-li X(i-1)=1 a ∧ )1, 4 3 u ∈ , pak X(i)=2. Je-li X(i-1)=2 ∧       ∈ 4 3 ,0u , pak X(i)=1. Je-li X(i-1)=0 ∧ )1, 4 3 u ∈ , pak X(i)=2. function realizace = simulovani_MR(P,p0,n) % funkce generuje prvnich n realizaci MR % syntaxe: [realizace]=simulace_MR(P,p0,n) % vstupni parametry: % P ... matice prechodu % p0 ... vektor pocatecnich pravdepodobnosti (radkovy) % n ... pocet kroku simulace % vystupni parametr: realizace ... vektor realizaci MR realizace = zeros(n, 1); realizace(1) = randomQ(p0); for i=2:n realizace(i) = randomQ(P(realizace(i-1), :)); end plot(realizace, 'o'); axis([-1 n+2 0.8 size(p0,2)+0.2]); end function q = randomQ(prob) % funkce vygeneruje nahodny stav q dle vektoru pravdepobnosti % syntaxe: q=randomQ(prob) % vstupni parametr: % prob ... radkovy vektor pravdepodobnosti (napr. [0.5 0.4 0.1]) % vystupni parametr: % q: nahodny index vstupniho vektoru %napr. 1 s pravd. 0.5, 2 s pravd. 0.4, 3 s pravd. 0.1 r = random('unif', 0, 1); leng = size(prob, 2); sum = 0; for q = 1:leng sum = sum+prob(q); if(r <= sum) break; end end end 5. Stacionární a limitní rozložení homogenních markovských řetězců 5.1. Definice: Definice stacionárního vektoru Nechť a je stochastický vektor a P stochastická matice odpovídající dimenze. Jestliže platí a = aP, pak vektor a se nazývá stacionární vektor matice P. 5.2. Příklad: Najděte stacionární vektor stochastické matice                 = 3 2 3 1 0 2 1 6 1 3 1 0 2 1 2 1 P . Řešení: a = aP, a1 + a2 + a3 = 1, tj. (a1, a2, a3) = (a1, a2, a3)                 3 2 3 1 0 2 1 6 1 3 1 0 2 1 2 1 3 a 2 a a 21 1 += 3 a 6 a 2 a a 321 2 ++= 3 a2 2 a a 32 3 += a1 + a2 + a3 = 1 211 a2a3a6 += 3212 a2aa3a6 ++= 323 a4a3a6 += a1 + a2 + a3 = 1 a = =      19 9 , 19 6 , 19 4 (0,211; 0,316; 0,474) 5.3. Poznámka: Stacionární vektor lze v MATLABu získat pomocí funkce sv.m: function [a]=sv(P) %funkce pro vypocet stacionarniho vektoru %syntaxe: a=sv(P) %vstupni parametr ... stochasticka matice P %vystupni parametr ... stacionarni vektor a %zjistime rad matice P: n=size(P,1); %vytvorime pomocnou jednotkovou matici: I=eye(n); %sestavime matici soustavy: A=[[I-P]';ones(1,n)]; %vytvorime vektor pravých stran: f=[zeros(n,1);1]; %vypocteme stacionární vektor a=(A\f)'; 5.4. Definice: Definice stacionárního rozložení homogenního markovského řetězce Nechť { }0n Nn;X ∈ je homogenní markovský řetězec s maticí přechodu P. Stochastický vektor a, který je stacionárním vektorem matice P, se nazývá stacionární rozložení daného řetězce. Vysvětlení: Stacionární rozložení popisuje chování HMŘ po dostatečně dlouhé době sledování, kdy již odezněl vliv počátečních podmínek. Složka aj stacionárního rozložení udává podíl celkové doby, kterou řetězec stráví ve stavu j. 5.5. Věta: Věta o existenci limity vektoru absolutních pravděpodobností Nechť { }0n Nn;X ∈ je homogenní markovský řetězec s maticí přechodu P. Jestliže pro Jj,i ∈∀ existuje jijn a)n(plim =∞→ , pak existuje též jj n a)n(plim = ∞→ . Důkaz: Ze zákona evoluce plyne: j Ji ijj Ji i Ji ijni Ji ijinjn a)0(paa)0(p)n(plim)0(p)n(p)0(plim)n(plim ∑∑∑∑ ∈∈∈ ∞→ ∈ ∞→∞→ ===== . 5.6. Příklad: Máme černou a bílou urnu a pět koulí. Na počátku pokusu jsou všechny koule v černé urně. V každém kroku pokusu náhodně vybereme jednu kouli, přičemž výběr každé koule je stejně pravděpodobný a přemístíme ji do druhé urny. Zavedeme homogenní markovský řetězec { }0n Nn;X ∈ s množinou stavů J = {0,1, ..., 5}, kde Xn = j, když po n-tém kroku bude v černé urně právě j koulí. a) Najděte matici přechodu a nakreslete přechodový diagram. b) Najděte stacionární rozložení tohoto řetězce. c) Vypočtěte střední hodnotu počtu koulí v černé urně po stabilizaci pokusu. Řešení: ad a)                         = 010000 5 1 0 5 4 000 0 5 2 0 5 3 00 00 5 3 0 5 2 0 000 5 4 0 5 1 000010 P 0 1 1/5 1 2 2/5 4/5 3 3/5 3/5 4 4/5 2/5 5 1 1/5 ad b) (a0, a1, a2, a3, a4, a5) = (a0, a1, a2, a3, a4, a5)                         010000 5 1 0 5 4 000 0 5 2 0 5 3 00 00 5 3 0 5 2 0 000 5 4 0 5 1 000010 10 a 5 1 a = , 201 a 5 2 aa += , 312 a 5 3 a 5 4 a += , 423 a 5 4 a 5 3 a += , 534 aa 5 2 a += , 45 a 5 1 a = a1 = 5a0, a2 = 10a0, a3 = 10a0, a4 = 5a0, a5 = a0 Protože a0 + a1 + a2 + a3 + a4 + a5 = 1, dostáváme a0 + 5a0 + 10a0 + 10a0 + 5a0 + a0 = 1 ⇒ 32 1 a0 = Stacionární rozložení: a =       32 1 , 32 5 , 32 10 , 32 10 , 32 5 , 32 1 ad c) 5,2 32 80 32 1 5 32 5 4 32 10 3 32 10 2 32 5 1 32 1 0)X(E ==⋅+⋅+⋅+⋅+⋅+⋅= Výsledek je ve shodě s očekáváním, že po dostatečně velkém počtu pokusů bude v obou urnách v průměru stejný počet koulí. 5.7. Poznámka: Pro daný homogenní markovský řetězec příslušné stacionární rozložení nemusí existovat. 5.8. Definice: Definice limitního rozložení a ergodického řetězce Nechť { }0n Nn;X ∈ je homogenní markovský řetězec s vektorem počátečních pravděpodobností p(0). Jestliže existuje pp = ∞→ )n(lim n , pak vektor p se nazývá limitní rozložení daného řetězce. Jestliže vektor p nezávisí na vektoru počátečních pravděpodobností p(0), pak řekneme, že daný řetězec je ergodický (regulární). 5.9. Poznámka: Interpretace ergodického řetězce Ergodický řetězec lze interpretovat takto: podíl případů, kdy je řetězec ve stavu j, se blíží číslu aj bez ohledu na to, jak proces začal. 5.10. Věta: Věta o vztahu mezi limitním a stacionárním rozložením u ergodického řetězce Jestliže { }0n Nn;X ∈ je ergodický homogenní markovský řetězec a existuje jeho stacionární rozložení a, pak limitní rozložení p je rovno stacionárnímu rozložení a. Důkaz: PpPppp =−== ∞→∞→ )1n(lim)n(lim nn , tedy p je stacionární vektor matice P a ten značíme a. 5.11. Věta: Markovova věta Nechť { }0n Nn;X ∈ je homogenní markovský řetězec s maticí přechodu P. Jestliže existuje takové číslo 0Nn ∈ , že matice Pn má všechny prvky kladné (říkáme, že je regulární) , pak a) existuje stacionární rozložení daného řetězce a je jediné b) řetězec { }0n Nn;X ∈ je ergodický c) matice Pn konverguje k limitní matici A, jejíž řádky jsou stejné a jsou rovny stacionárnímu vektoru a. Důkaz: Nebudeme provádět. 5.12. Poznámka: Matice P je regulární, jestliže není rozložitelná na tvar       = 2 1 P0 0P P ,       = SR 0Q P nebo       = 0P P0 P 2 1 . 5.13. Příklad: Uvažme provoz výrobní linky, která se může nacházet ve dvou stavech: v provozu (stav 1) nebo v opravě (stav 2). Dlouhodobým sledováním provozu výrobní linky se dospělo k následujícím závěrům: pokud se výrobní linka v jednom období nacházela v provozu, tak v následujícím období v 50% případů zůstala v provozu a v 50% případů se nacházela v opravě. Pokud se výrobní linka nacházela v jednom období v opravě, pak v dalším období zůstala v 75% případů v opravě a v 25% případů se vrátila do provozu. a) Modelujte tuto situaci pomocí homogenního markovského řetězce. b) Najděte matici přechodu P a nakreslete přechodový diagram. c) Najděte limitní rozložení daného homogenního řetězce a interpretujte ho. Řešení: ad a) { }0n Nn;X ∈ , Xn = j, když v n-tém období je linka ve stavu j, j = 1, 2. ad b)       = 75,025,0 5,05,0 P ad c) (a1, a2) = (a1, a2)       75,025,0 5,05,0 , a1 + a2 = 1 3 1 a, 3 2 a 12 ==⇒ , tedy       = 3 2 , 3 1 a Znamená to, že po dostatečně dlouhé době bude linka v provozu s pravděpodobností 1/3 a v opravě s pravděpodobností 2/3. 1 0,5 2 0,25 0,5 0,75 5.14. Příklad: Nechť { }0n Nn;X ∈ je homogenní markovský řetězec s maticí přechodu             = KKKKK K K K p0q0 0p0q 00pq P , kde p + q = 1. (Tento HMŘ se nazývá náhodná procházka s odrážejícími stěnami.) Určete stacionární rozložení tohoto HMŘ. Řešení: ( ) ( ) 1a, p0q0 0p0q 00pq ,a,a,a,a,a,a 0j j210210 =             = ∑ ∞ = KKKKK K K K KK 001100 a q p a q q1 aqaqaa = − =⇒+= ( ) 0 2 02 00 2201 a q p a q q1p q paa q p aqapaa       = − = − =⇒+= Obecně: K,2,1j,a q p a 0 j j =      = a) Nechť p < q. Pak q p 1a q p 1 a a q p a1 0 0 0j 0 j 0j j −=⇒ − =      == ∑∑ ∞ = ∞ = . Stacionární rozložení existuje a má tvar: K,2,1,0j, q p 1 q p a j j =      −      = Jedná se o geometrické rozložení s parametrem q p 1−=ϑ . (Připomenutí geometrického rozložení: Náhodná veličina X udává počet neúspěchů v posloupnosti opakovaných nezávislých pokusů předcházejících prvnímu úspěchu, přičemž pravděpodobnost úspěchu je v každém pokusu ϑ. Píšeme X ~ ( )ϑGe . Pravděpodobnostní funkce: ( )    =ϑϑ− =π jinak0 1,0,xpro)1( x x K ) b) Nechť p ≥ q. Pak ∞=∑ ∞ =0j ja a stacionární rozložení neexistuje. 5.15. Příklad: Na malém městě jsou dva obchody, označme je A a B. Zajímáme se o nákupy zákazníků v těchto obchodech. Uvažujeme přitom týdenní období a sledujeme, kde zákazníci v jednotlivých týdnech nakupovali a jak tyto obchody střídali. Pro jednoduchost předpokládejme, že v průběhu jednoho týdne navštěvovali buď pouze obchod A nebo obchod B. Jako součást marketingového výzkumu byla shromážděna data od 1000 zákazníku v časovém horizontu 10 týdnů. Na základě tohoto výzkumu bylo zjištěno, že 90% zákazníků nakupujících v obchodě A tam bude nakupovat i v následujícím týdnu a 10% přejde do obchodu B. Dále 80% zákazníků nakupujících v obchodě B tam bude nakupovat i v následujícím týdnu a 20% přejde do obchodu A. a) Modelujte tuto situaci pomocí HMŘ a najděte matici přechodu. b) Jestliže na začátku nakupovalo 1000 zákazníků v obchodě A, kolik jich bude po šesti týdnech? c) Jestliže na začátku nakupovalo 1000 zákazníků v obchodě B, kolik jich bude po šesti týdnech? d) Jak velký je tržní podíl těchto dvou obchodů za předpokladu dostatečně velkého počtu období? e) Obchod B provede reklamní kampaň, aby přilákal zákazníky nakupující v obchodě A. Došlo k určitému přesunu zájmu nakupovat v obchodě B. Dle nového průzkumu byla stanovena matice přechodu       80,020,0 15,085,0 . Jak se nyní změnil tržní podíl obchodů A a B za předpokladu dostatečně velkého počtu období? Řešení: Ad a) Zavedeme homogenní markovský řetězec { }0n Nn;X ∈ s množinou stavů J = {1, 2}, přičemž Xn = 1, když zákazník v n-tém týdnu nakupuje v obchodě A a Xn = 2, když zákazník v n-tém týdnu nakupuje v obchodě B. Podle textu úlohy sestavíme matici přechodu:       = 8,02,0 1,09,0 P . Ad b) Vektor počátečních pravděpodobností je ( ) )0,1(0 =p , vektor absolutních pravděpodobností po 6 týdnech bude ( ) ( ) ( )2941,0;7059,006 6 == Ppp , tedy v obchodě A bude nakupovat 706 zákazníků. Ad c) Vektor počátečních pravděpodobností je ( ) )1,0(0 =p , vektor absolutních pravděpodobností po 6 týdnech bude ( ) ( ) ( )4118,0;5882,006 6 == Ppp , tedy v obchodě B bude nakupovat 412 zákazníků. Ad d) Hledáme stacionární rozložení daného HMŘ. Toto rozložení bude existovat, protože již matice P má všechny prvky kladné. Řešíme systém rovnic ( ) ( ) 1aa, 8,02,0 1,09,0 a,aa,a 101010 =+      = . Dostaneme složky stacionárního vektoru: 3 1 a, 3 2 a 10 == . Tržní podíl obchodu A tedy činí 66,7%, obchodu B 33,3%. Ad e) V tomto případě hledáme stacionární rozložení pro HMŘ s maticí přechodu       80,020,0 15,085,0 . Získáme vektor a = (0,5714; 0,4286), tedy tržní podíl obchodu A činí 57,1%, obchodu B 42,9%. 5.16. Příklad: Profesor má tři oblíbené otázky, z nichž jedna se objeví v každém testu, který profesor zadá. Studenti znají jeho zvyklosti dobře. Profesor nikdy nepoužívá téže otázky dvakrát po sobě. Když naposled užil otázky 1, hodí mincí a v případě, že padne líc, užije otázky 2. Jestliže užil otázky 2, hází dvěma mincemi a přejde k otázce 3, když na obou mincích padne líc. Jestliže užil otázky 3, hází třemi mincemi a přejde k otázce 1, když na všech třech padl líc. a) Popište situaci pomocí homogenního markovského řetězce, najděte matici přechodu a nakreslete přechodový diagram. b) Za předpokladu, že uplynulo již dosti dlouhé období, zjistěte, kterou otázku použil profesor nejčastěji a v kolika procentech případů ji užil. Řešení: Ad a) Zavedeme homogenní markovský řetězec { }0n Nn;X ∈ s množinou stavů { }3,2,1J = , přičemž Xn = j, když v okamžiku n zadá profesor otázku číslo j, j = 1,2,3. Matice přechodu: P           = 08/78/1 4/104/3 2/12/10 Ad b) Hledáme stacionární vektor daného HMŘ. (a1, a2, a3) = (a1, a2, a3)           08/18/7 4/104/3 2/12/10 , a1 + a2 + a3 = 1. Řešením získáme stacionární vektor a = (5/15, 6/15, 4/15), tedy profesor zadává nejčastěji otázku číslo 2 a užil ji ve 40% případů. 5.17. Příklad: V příkladu 4.11. „Model havarijního pojištění“ jsme zjistili, že matice přechodu má tvar           λλ−− − − = λ−λ−λ−λ− λ−λ− λ−λ− eeee1 e0e1 0ee1 P . a) Odvoďte stacionární rozložení daného HMŘ. b) Za předpokladu, že základní výše pojistného je w Kč, vypočtěte střední hodnotu výše pojistného, kterou pojištěnec zaplatí v dlouhodobém časovém horizontu. Řešení: Ad a) Pro zjednodušení zavedeme označení c0 = e-λ , c1 = λ e-λ . Matice P má pak tvar:           −− − − = 0110 00 00 cccc1 c0c1 0cc1 P . Stacionární rozložení existuje, protože již matice P2 má všechny prvky kladné. Řešíme systém rovnic ( ) ( ) 1aaa, cccc1 c0c1 0cc1 a,a,aa,a,a 210 0110 00 00 210210 =++           −− − − = . Dostaneme složky stacionárního vektoru: ( ) ( ) λ− λ− λ− λ−λ− λ− λ−λ− λ− = − = λ− − = − − = λ− λ−− = − −− = 2 2 10 2 0 22 10 00 12 2 10 100 0 e1 e cc1 c a, e1 e1e cc1 c1c a, e1 ee1 cc1 ccc1 a Ad b) Připomeneme, že stavy 0, 1, 2 znamenají, že 0 je základní pojistné, 1 je pojistné s bonusem 30%, 2 je pojistné s bonusem 50%. Střední hodnota výše pojistného tedy bude ( ) ( )       λ− + λ− − + λ− λ−− =++ λ− λ− λ− λ−λ− λ− λ−λ− 2 2 22 2 210 e1 e 5,0 e1 e1e 7,0 e1 ee1 wa5,0a7,0aw . 6. Odhady absolutních pravděpodobností a pravděpodobností přechodu v HMŘ 6.1. Poznámka: Předpokládejme, že HMŘ { }0n Nn;X ∈ s konečným počtem stavů k má vektor počátečních pravděpodobností p(0) = (p1(0), p2(0), …, pk(0)) a matici přechodu           = kk1k k111 pp pp L LLL L P . Tyto pravděpodobnosti však neznáme, můžeme je pouze odhadnout na základě dlouhodobého pozorování systému. Podívejme se nejprve na odhad pravděpodobností přechodu. Pro i,j = 1, …, k označme: cij … počet pozorování přechodu systému ze stavu i do stavu j ∑= = k 1j iji cc … celkový počet přechodů, které začínaly ve stavu i (je-li i absorpční stav, ci = 0) Bodové odhady pravděpodobností přechodu získáme takto:      = ≠ = 0proc0 0proc c c pˆ i i i ij ij . Je-li splněna podmínka ( ) 5cpˆ1pˆ iijij ≥− (tzv. podmínka dobré aproximace), můžeme spočítat též 100(1-α)% asymptotický interval spolehlivosti pro pij. Jeho meze jsou: ( ) 21 i ijij ij u c pˆ1pˆ pˆ α− − ± . Odhad počátečních pravděpodobností lze získat na základě náhodného výběru. Nechť d je rozsah náhodného výběru a di je počet těch složek náhodného výběru, které se na počátku pozorování nacházely ve stavu i, i = 1, 2, …, k. Přitom ∑= = k 1i idd . Bodový odhad pi(0): ( ) k,,2,1i, d d 0pˆ i i K== . Za splnění podmínky ( ) ( )[ ] 5d0pˆ10pˆ ii ≥− lze sestrojit 100(1-α)% asymptotický interval spolehlivosti pro pi(0). Jeho meze jsou: ( ) ( ) ( )[ ] 21 ii i u d 0pˆ10pˆ 0pˆ α− − ± . 6.2. Příklad: V jistém regionu bylo náhodně vybráno 2501 domácností. Bylo zjištěno, že k určitému datu 629 domácností nepředplácelo žádný deník, 750 předplácelo regionální deník a zbytek celostátní deník. Z těch domácností, které neměly žádné předplatné, hodlá v příštím měsíci 126 předplácet regionální a 63 celostátní deník.Z domácností, které předplácejí regionální deník, u něj v příštím měsíci zůstane 525 domácností a 75 začne předplácet celostátní deník. A nakonec z těch domácností, které předplácejí celostátní deník, 673 nezmění předplatné a 112 přejde na předplatné regionálního deníku. Modelujte situaci pomocí homogenního markovského řetězce a najděte bodové a intervalové odhady (se spolehlivostí 95 %) počátečních pravděpodobností a pravděpodobností přechodu. Řešení: Zavedeme homogenní markovský řetězec { }0n Nn;X ∈ s množinou stavů J = {1, 2, 3}, kde Xn = 1, když v n-tém měsíci náhodně vybraná domácnost nemá žádné předplatné, Xn = 2, když má předplatné na regionální deník a Xn = 3, když má předplatné na celostátní deník. Údaje obsažené v textu úlohy uspořádáme do tabulky: 1 2 3 Σ 1 440 126 63 629 2 150 525 75 750 3 337 112 673 1122 Σ 2501 Nejprve odhadneme počáteční pravděpodobnosti podle vzorce ( ) k,,2,1i, d d 0pˆ i i K== . V našem případě k = 3, d1 = 629, d2 = 750, d3 = 1122, d = 2501. ( ) ( ) ( ) 4486,0 2501 1122 0pˆ,2999,0 2501 750 0pˆ,2515,0 2501 629 0pˆ 121 ====== Odhad vektoru počátečních pravděpodobností: ( ) ( )45,0;3,0;25,00pˆ = . Znamená to, že na počátku sledování 25 % domácností v daném regionu nemělo žádné předplatné, 30 % předplácelo regionální deník a 45 % celostátní deník. Před výpočtem intervalů spolehlivosti ověříme, zda jsou splněny podmínky dobré aproximace ( ) ( )[ ] 5d0pˆ10pˆ ii ≥− . Přitom ( ) ( ) ( ) 2501d, 2501 1122 0pˆ, 2501 750 0pˆ, 2501 629 0pˆ 321 ==== . Tedy i = 1: 4692501 2501 629 1 2501 629 =      − , i = 2: 5252501 2501 750 1 2501 750 =      − , i = 3: 6192501 2501 1122 1 2501 1122 =      − . Vidíme, že podmínky jsou splněny. Pro i = 1, 2, 3 a 05,0=α dosadíme do vzorce ( ) ( ) ( )[ ] 21 ii i u d 0pˆ10pˆ 0pˆ α− − ± . Dostaneme meze 95% asymptotických intervalů spolehlivosti pro p1(0), p2(0), p3(0). ( ) ( )2685,0;2345,00p1 ∈ , ( ) ( )3178,0;2819,00p2 ∈ , ( ) ( )4681,0;4291,00p3 ∈ vždy s pravděpodobností 95 %. Interpretujeme např. 1. interval spolehlivosti: Ve sledovaném regionu je k danému datu s pravděpodobností 95 % 23,45 % až 26,85 % domácností, které nepředplácejí žádný deník. Nyní se budeme věnovat odhadům pravděpodobností přechodu. Použijeme vzorec k,,1j,i, c c pˆ i ij ij K== . Znovu uvedeme tabulku se zadanými údaji: 1 2 3 Σ 1 440 126 63 629 2 150 525 75 750 3 337 112 673 1122 Σ 2501 V našem případě k = 3, c11 = 440, c12 = 126, c13 = 63, c1 = 629, c21 = 150, c22 = 525, c23 = 75, c2 = 750, c31 = 337, c32 = 112, c33 = 673, c3 = 1122. 1002,0 629 63 pˆ,2003,0 629 126 pˆ,6995,0 629 440 pˆ 131211 ====== 1,0 750 75 pˆ,7,0 750 525 pˆ,2,0 750 150 pˆ 132221 ====== 5998,0 1122 673 pˆ,0998,0 1122 112 pˆ,3004,0 1122 337 pˆ 333231 ======           = 0,60,10,3 0,10,70,2 0,10,20,7 ˆP Interpretujeme např. 1. řádek odhadnuté matice přechodu: Pokud v jednom měsíci náhodně vybraná domácnost neodebírala žádný deník, tak v příštím měsíci s pravděpodobností 0,7 opět nebude mít žádné předplatné, s pravděpodobností 0,2 si předplatí regionální deník a s pravděpodobností 0,1 celostátní deník. Před výpočtem intervalů spolehlivosti ověříme splnění podmínek dobré aproximace ( ) 5cpˆ1pˆ iijij ≥− . Připomínáme, že c11 = 440, c12 = 126, c13 = 63, c1 = 629, c21 = 150, c22 = 525, c23 = 75, c2 = 750, c31 = 337, c32 = 112, c33 = 673, c3 = 1122. i = 1: 57629 629 63 1 629 63 ,101629 629 126 1 629 126 ,132629 629 440 1 629 440 =      −=      −=      − i = 2: 68750 750 75 1 750 75 ,158750 750 525 1 750 525 ,120750 750 150 1 750 150 =      −=      −=      − i = 3: 2691122 1122 673 1 1122 673 ,1091122 1122 112 1 1122 112 ,2361122 1122 337 1 1122 337 =      −=      −=      − Ve všech devíti případech jsou podmínky dobré aproximace splněny, můžeme tedy spočítat meze 95% asymptotických intervalů spolehlivosti pro pravděpodobnosti přechodu. Pro i, j = 1, 2, 3 a 05,0=α dosadíme do vzorce ( ) 21 i ijij ij u c pˆ1pˆ pˆ α− − ± . ( ) ( ) ( ),1236,0;0767,0p,2316,0;169,0p,7354,0;6637,0p 131211 ∈∈∈ ( ) ( ) ( ),1215,0;0785,0p,7328,0;6672,0p,2286,0;1714,0p 232221 ∈∈∈ ( ) ( ) ( )6285,0;5712,0p,1174,0;0823,0p,3272,0;2735,0p 333231 ∈∈∈ . Interpretujeme např. interval spolehlivosti pro p11: Pokud v jednom měsíci náhodně vybraná domácnost neodebírala žádný deník, tak v příštím měsíci můžeme se spolehlivostí 95 % zaručit, že s pravděpodobností 66,37 % až 73,54 % opět nebude odebírat žádný deník. 7. Klasifikace stavů homogenního markovského řetězce 7.1. Označení: Označení prvků matice Pn Nechť { }0n Nn;X ∈ je homogenní markovský řetězec s množinou stavů J a s maticí přechodu P. Prvky matice Pn budeme značit pij(n). 7.2. Definice: Definice doby prvního návratu do stavu j Nechť homogenní markovský řetězec { }0n Nn;X ∈ vychází ze stavu j, tj. P(X0 = j) = 1. Zavedeme množinu { }jX;1nT nj =≥= , která udává pořadí okamžiků návratů do stavu j. Náhodná veličina { } Tpro TproTmin j jj j    ∅=∞ ∅≠ =τ se nazývá doba prvního návratu do stavu j. 7.3. Označení: Označení pravděpodobnostní funkce doby prvního návratu do stavu j Náhodná veličina τj je diskrétní náhodná veličina, nabývá hodnot 1, 2, 3, ... Její pravděpodobnostní funkci označíme fj(n), tedy fj(n) = P(τj = n), n = 1, 2, 3, ... (pro n = 0 položíme fj(0) = 0). Pravděpodobnost, že homogenní markovský řetězec vycházející ze stavu j, se vůbec někdy vrátí do stavu j, je tedy ∑ ∞ = = 1n jj )n(ff . Pravděpodobnost fj lze vyjádřit jako P(τj < ∞). 7.4. Věta: Souvislost pravděpodobnostní funkce doby 1. návratu s pravděpodobnostmi přechodu Pravděpodobnostní funkce doby 1. návratu do stavu j souvisí s pravděpodobnostmi přechodu takto: ∑= −=∈∀ n 1k jjjjj ),k(f)kn(p)n(p:Jj n = 1, 2, 3, ... Odtud lze fj(n) vyjádřit pomocí rekurentního vztahu: ∑∑ − = − = −−=⇒+−=∈∀ 1n 1k jjjjj 1n 1k jjjjjjj )k(f)kn(p)n(p)n(f)n(f)k(f)kn(p)n(p:Jj . Důkaz: Pro k = 1, 2, 3, ... označme jev { }kjXA jnk =τ∧== . Jevy Ak jsou neslučitelné a { }jXA n n 1k k == = U . Počítáme ( ) ( ) ( ) ( ) ( ) ( ) ( ) ∑∑ ∑∑ ∑ ∑ == = − = = == −==== ==∧≠∧∧≠∧====τ∧===τ= ===τ∧====      ===== n 1k jjj n 1k knj n 1k k1k10nj n 1k j0nj n 1k n 1k 0jn0k0 n 1k k0njj )kn(p)k(fjX/jXP)k(f jXjXjXjX/jXP)k(fkjX/jXPkP jX/kjXPjX/APjX/APjX/jXP)n(p K U (Při úpravách byla použita rovnost ( ) ( ) ( )CB/APC/BPC/BAP ∩=∩ .) 7.5. Příklad: Nechť { }0n Nn;X ∈ je homogenní markovský řetězec s maticí přechodu       β−β αα− = 1 1 P . Je-li vektor počátečních pravděpodobností p(0) = (1, 0), vypočtěte pravděpodobnost, že doba 1. návratu do stavu 0 bude n, n = 1, 2, 3, ... a vypočtěte pravděpodobnost, že řetězec se vůbec někdy vrátí do stavu 0. Řešení: Použijeme vzorec ( ) ∑ − = −−= 1n 1k jjjjjj )k(f)kn(p)n(pnf . Počítáme P2 =       β−+αββ−β+βα− αβ−+αα−αβ+α− =      β−β αα−       β−β αα− 2 2 )1()1()1( )1()1()1( 1 1 1 1 P3 = =      β−β αα−       β−+αββ−β+βα− αβ−+αα−αβ+α− 1 1 )1()1()1( )1()1()1( 2 2       β−+αββ−+αβα−− −αββ−+αβα−+α− = 3 11 00 3 )1()1(2)1()3(p1 )3(p1)1()1(2)1( f0(1) = p00 = 1 – α f0(2) = p00(2) – p00f0(1) = (1 – α)2 + αβ – (1 – α)2 = αβ f0(3) = p00(3) – p00(2)f0(1) – p00f0(2) = (1 – α)3 + 2(1 – α)αβ + (1 – β)αβ – [(1 – α)2 + αβ](1 – α) – (1 – α)αβ = =(1 – α)3 + 2(1 – α)αβ + (1 – β)αβ – (1 – α)3 – (1 – α)αβ – (1 – α)αβ = (1 –β)αβ Obecně:    =αββ =α− = 2,3,...npro)-(1 1npro1 )n(f 2-n0 7.6. Definice: Definice trvalého a přechodného stavu Nechť { }0n Nn;X ∈ je homogenní markovský řetězec s množinou stavů J. a) Stav Jj∈ se nazývá trvalý, jestliže fj = 1 (tj. P(τj < ∞). (Znamená to, že řetězec se do stavu j vrátí po konečně mnoha krocích.) b) Stav Jj∈ se nazývá přechodný, jestliže fj < 1 (tj. P(τj = ∞). (Znamená to, že řetězec se do stavu j s kladnou pravděpodobností nikdy nevrátí.) Množina trvalých stavů se značí JT, množina přechodných stavů JP. Přitom ∅=∩=∪ PTPT JJ,JJJ . 7.7. Věta: Kritérium pro klasifikaci trvalých a přechodných stavů. a) Stav j je trvalý, právě když ∞=∑ ∞ =1n jj )n(p . b) Stav j je přechodný, právě když ∞<∑ ∞ =1n jj )n(p . Důkaz: Nebudeme provádět. 7.8. Příklad: Provádíme posloupnost opakovaných nezávislých hodů kostkou. Nechť náhodná veličina Xn udává maximální číslo dosažené v prvních n hodech, n = 1, 2, 3, ... Zavedeme homogenní markovský řetězec { }0n Nn;X ∈ s množinou stavů J = {1, 2, ..., 6}, kde Xn = j, když v prvních n hodech bylo nejvyšší dosažené číslo j. Najděte matici přechodu P a klasifikujte stavy na trvalé a přechodné. Řešení:                             = 100000 6 1 6 5 0000 6 1 6 1 6 4 000 6 1 6 1 6 1 6 3 00 6 1 6 1 6 1 6 1 6 2 0 6 1 6 1 6 1 6 1 6 1 6 1 P Zajímají nás jen diagonální prvky matice Pn , protože zkoumáme řadu ∑ ∞ =1n jj )n(p . ..., 6 1 )3(p, 6 1 )2(p, 6 1 p 3 11 2 1111       =      == ..., 6 2 )3(p, 6 2 )2(p, 6 2 p 3 22 2 2222       =      == Obecně: n jj 6 j )n(p       = , j = 1, ..., 6 Řada ∑ ∞ =       1n n 6 j absolutně konverguje pro j = 1, 2, 3, 4, 5 a diverguje pro j = 6. Tedy JT = {6}, JP = {1, 2, 3, 4, 5}. 7.9. Definice: Definice trvalého nenulového stavu a trvalého nulového stavu Nechť Jj∈ je trvalý stav homogenního markovského řetězce { }0n Nn;X ∈ . a) Stav j se nazývá trvalý nenulový, jestliže existuje střední hodnota µj náhodné veličiny τj. b) Stav j se nazývá trvalý nulový, jestliže střední hodnota náhodné veličiny τj neexistuje. 7.10. Důsledek: Kritérium pro klasifikaci trvalých nenulových stavů a trvalých nulových stavů Stav j je trvalý nenulový, jestliže řada ∑ ∞ =1n j )n(nf absolutně konverguje. Stav j je trvalý nulový, jestliže řada ∑ ∞ =1n j )n(nf diverguje. 7.11. Poznámka: Lze ukázat, že HMŘ s konečnou množinou stavů nemůže mít trvalé nulové stavy. 7.12. Definice: Definice periodického stavu, neperiodického stavu, ergodického stavu Nechť dj je největší společný dělitel čísel n ≥ 1, pro něž pjj(n) > 0. Je-li dj > 1, pak řekneme, že stav j je periodický s periodou dj. Je-li dj = 1, pak řekneme, že stav j je neperiodický. Trvalý nenulový neperiodický stav se nazývá ergodický stav. 7.13. Příklad: Na úsečce délky 5 jsou vyznačeny body 0, 1, ..., 5. V bodě 3 se nachází kulička. Kulička koná náhodnou procházku po úsečce tak, že s pravděpodobností p se posune o jednotku napravo a s pravděpodobností q = 1 – p se posune o jednotku nalevo. Dosáhne-li bodu 0 nebo bodu 5, setrvá tam. Popište proces pomocí homogenního markovského řetězce a klasifikujte stavy na periodické a neperiodické. Řešení: Zavedeme homogenní markovský řetězec { }0n Nn;X ∈ s množinou stavů J = {0, 1, 2, 3, 4, 5}, kde Xn = j, když v okamžiku n je kulička v bodě j.                     = 100000 p0q000 0p0q00 00p0q0 000p0q 000001 P p00(n) = 1 pro ⇒∈∀ Nn stav 0 je neperiodický. p55(n) = 1 pro ⇒∈∀ Nn stav 5 je neperiodický. p11(1) = 0, p11(2) = pq, p11(3) = 0, p11(4) = pqp, ... Největší společný dělitel čísel 2, 4, 6, ... je 2, tedy stav 1 je periodický s periodou 2. Stejně to dopadne se stavy 2, 3, 4. 7.14. Věta: Výpočet střední hodnoty doby 1. návratu do ergodického stavu a trvalého nenulového periodického stavu a) Nechť Jj∈ je trvalý nenulový neperiodický stav (tj. ergodický stav). Pak )n(plim 1 jjn j ∞→ =µ . b) Nechť Jj∈ je trvalý nenulový periodický stav s periodou dj. Pak )nd(plim d jjj n j j ∞→ =µ . 7.15. Příklad: Nechť je dán homogenní markovský řetězec { }0n Nn;X ∈ s množinou stavů J = {0, 1, 2} a maticí přechodu                 = 2 1 3 1 6 1 4 1 2 1 4 1 3 1 3 1 3 1 P . Vypočtěte střední hodnoty dob 1. návratů do stavů 0, 1, 2. Řešení: Jelikož matice P je regulární matice, bude matice Pn konvergovat k limitní matici, jejíž všechny řádky jsou stejné a jsou rovny stacionárnímu vektoru a matice P. ( ) ( )                 = 2 1 3 1 6 1 4 1 2 1 4 1 3 1 3 1 3 1 a,a,aa,a,a 210210 25 9 a 25 10 a 25 6 a 1aaa 2 a 4 a 3 a a 3 a 2 a 3 a a 6 a 4 a 3 a a 2 1 0 210 210 2 210 1 210 0 = = = ⇒                 =++ ++= ++= ++=       = 25 9 , 25 10 , 25 6 p ,       = 9 25 , 10 25 , 6 25 µ Vychází-li řetězec např. ze stavu 1, tak v průměru po 2,5 krocích se tam vrátí. 8. Rozložitelné a nerozložitelné homogenní markovské řetězce 8.1. Definice: Definice dosažitelných a sousledných stavů Nechť { }0n Nn;X ∈ je homogenní markovský řetězec s množinou stavů J. a) Řekneme, že stav j je dosažitelný ze stavu i, když existuje n ≥ 1 tak, že pij(n) > 0. Pokud pij(n) = 0 pro všechna n ≥ 1, pak řekneme, že stav j není dosažitelný ze stavu i. b) Řekneme, že stav j je sousledný se stavem i, jestliže j je dosažitelný z i a i je dosažitelný z j. (Symbolicky se dosažitelnost stavu j ze stavu i označuje takto: i →j a souslednost stavů i, j se označuje takto: i ↔ j.) 8.2. Příklad: Je dán homogenní markovský řetězec { }0n Nn;X ∈ s množinou stavů J = {1, 2, ..., 5} a maticí přechodu                 = 10000 4/104/300 4/14/102/10 00001 0002/12/1 P . Nakreslete přechodový diagram a sestavte tabulku dosažitelných stavů a tabulku sousledných stavů. Řešení: Přechodový diagram Tabulka dosažitelných stavů dosažitelný stavstav 1 2 3 4 5 1 + + - - - 2 + + - - - 3 + + + + + 4 + + + + + 5 - - - - + Tabulka sousledných stavů sousledný stavstav 1 2 3 4 5 1 + + - - - 2 + + - - - 3 - - + + - 4 - - + + - 5 - - - - + 8.3. Definice: Definice třídy trvalých stavů a třídy přechodných stavů Neprázdná množina stavů JC ⊆ se nazývá třída trvalých stavů, jestliže žádný stav vně C není dosažitelný ze žádného stavu uvnitř C. Množina stavů, která není třídou trvalých stavů, se nazývá třída přechodných stavů. 8.4. Příklad: Pro homogenní markovský řetězec z příkladu 8.2. najděte třídy trvalých a přechodných stavů. Řešení: Nejprve uvedeme matici přechodu.                 = 10000 4/104/300 4/14/102/10 00001 0002/12/1 P Nakreslíme přechodový diagram. Z diagramu je zřejmé, že když řetězec vstoupí do třídy stavů {1, 2} nebo {5}, není odtud dosažitelný žádný stav vně třídy {1, 2} resp. {5}, tedy { } { }52,1JT ∪= . Když řetězec vstoupí do třídy stavů {3, 4}, je odtud dosažitelný stav 5, tedy { }4,3JP = . 8.5. Poznámka: Poznámka o podřetězci homogenního markovského řetězce Jestliže v matici přechodu P vynecháme ty řádky a sloupce, které odpovídají stavům nepatřícím do třídy trvalých stavů C, dostaneme opět stochastickou matici. Lze ji považovat za matici přechodu homogenního markovského řetězce s množinou stavů C. Nazývá se podřetězec původního řetězce. Např. pro homogenní markovský řetězec z příkladu 8.2. , který má matici přechodu                 = 10000 4/104/300 4/14/102/10 00001 0002/12/1 P , dostaneme podřetězec s maticí přechodu           = 100 001 02/12/1 1P . 8.6. Důsledek: Důsledek pro třídu trvalých stavů a pro třídu přechodných stavů a) Řetězec nikdy neopustí třídu trvalých stavů, jakmile do ní jednou vstoupí. b) Řetězec se nikdy nevrátí do třídy přechodných stavů, jakmile ji jednou opustí. 8.7. Věta: Kritérium pro stanovení třídy trvalých stavů Množina stavů JC ⊆ je třída trvalých stavů, právě když pij = 0 pro Cj,Ci ∉∈∀ . Důkaz: Nebudeme provádět. 8.8. Definice: Definice rozložitelného a nerozložitelného homogenního markovského řetězce Homogenní markovský řetězec se nazývá nerozložitelný, jestliže všechny jeho stavy jsou sousledné. V opačném případě říkáme, že řetězec je rozložitelný. Ekvivalentní definice: HMŘ se nazývá nerozložitelný, jestliže v něm neexistuje jiná třída trvalých stavů než J. 8.9. Věta: Řetězec s konečně mnoha stavy je rozložitelný právě tehdy, má-li matice přechodu (po případném přečíslování stavů) tvar       = BA 0P P 1 , kde P1, B jsou čtvercové matice. Důkaz: viz Prášková, str. 37. 8.10. Příklad: Uvažme náhodnou procházku s pohlcujícími stěnami, tj. homogenní markovský řetězec { }0n Nn;X ∈ s množinou stavů J = {0,1, ..., N-1, N} a přechodovým diagramem Zjistěte, zda tento řetězec je rozložitelný. Pokud ano, najděte třídy trvalých a přechodných stavů. Řešení: Z přechodového diagramu okamžitě vyplývá, že stavy 0 a N jsou sousledné jenom samy se sebou. Ostatní stavy 1, 2, ..., N-1 jsou sousledné, řetězec je tedy rozložitelný a { } { } { }1N,,2,1J,N0J PT −=∪= K . 0 1 1-p 1 2 1-p p N-2 1-p p 1-p p 1 p N-1 N 1-p p 8.11. Definice: Definice stavů stejného typu Řekneme, že stavy Jj,i ∈ homogenního markovského řetězce jsou stejného typu, jestliže jsou oba a) přechodné b) trvalé nenulové c) trvalé nulové d) neperiodické e) periodické s touž periodou. 8.12. Věta: Věta o solidaritě Jsou-li stavy i a j sousledné, pak jsou stejného typu. Důkaz: Nebudeme provádět. 8.13. Důsledek: Důsledek pro nerozložitelný homogenní markovský řetězec V nerozložitelném homogenním markovském řetězci jsou všechny stavy stejného typu. Má-li nerozložitelný homogenní markovský řetězec konečnou množinu stavů, pak jsou všechny stavy trvalé nenulové. 8.14. Věta: Věta o stacionárním rozložení nerozložitelného HMŘ Nechť { }0n Nn;X ∈ je homogenní markovský řetězec . Pak platí: 1. Jsou-li všechny jeho stavy přechodné nebo všechny trvalé nulové, pak stacionární rozložení neexistuje. 2. Jsou-li všechny jeho stavy trvalé nenulové, pak stacionární rozložení existuje a je jediné. 2a) Jsou-li všechny stavy neperiodické, pak ( ) Jji,,0nplima ij n j ∈>= ∞→ a také ( ) Jj,0nplima j n j ∈>= ∞→ 2b) Jsou-li všechny stavy periodické, pak ( ) Jji,,0kp n 1 lima n 1k ij n j ∈>= ∑= ∞→ a také ( ) Jj,0kp n 1 lima n 1k j n j ∈>= ∑= ∞→ 8.15. Důsledek: V nerozložitelném homogenním markovském řetězci s konečně mnoha stavy stacionární rozloženi existuje. 8.16. Věta: Věta o množině stavů dosažitelných z trvalého stavu. Nechť stav i je dosažitelný z nějakého trvalého stavu j. Pak platí: a) stav i je trvalý stav stejného typu jako stav j b) i a j jsou sousledné stavy c) fji = fij = 1 (tj. pravděpodobnost, že řetězec vycházející ze stavu j resp. i vůbec někdy vstoupí do stavu i resp. j, je rovna 1). (Znamená to, že množina stavů dosažitelných z nějakého trvalého stavu j je množina trvalých stavů a tvoří nerozložitelný podřetězec původního řetězce.) 8.17. Poznámka: Nejprve pro jednoduchost předpokládejme, že v rozložitelném řetězci existují jen dvě třídy stavů. Znamená to, že současným přečíslováním stavů v matici přechodu lze vytvořit nulové submatice. Dostáváme pak buď matici typu       = 2 1 P0 0P P , kde P1, P2 jsou čtvercové matice obsahující pravděpodobnosti přechodu mezi třídami stavů, přičemž obě třídy jsou třídy trvalých stavů, nebo typu       = QR 0P P 1 , kde P1, Q jsou čtvercové matice, přičemž P1 obsahuje pravděpodobnosti přechodu mezi trvalými stavy, matice Q obsahuje pravděpodobnosti přechodu mezi přechodnými stavy a matice R je tvořena pravděpodobnostmi přechodu z přechodných do trvalých stavů. Je-li matice P rozložitelná na tvar       = 0P P0 P 2 1 , kde 0 jsou nulové čtvercové matice, bude systém oscilovat mezi dvěma třídami přechodných stavů a příslušná matice P bude popisovat periodický řetězec. 8.18. Poznámka: poznámka o rozkladu konečné množiny stavů J a o kanonickém tvaru matice přechodu Předpokládejme nyní, že rozložitelný HMŘ je tvořen jak trvalými, tak přechodnými stavy, přičemž má r tříd trvalých stavů. Věta 8.16. umožní rozložit množinu stavů J takto: Nechť j1 je trvalý stav s nejnižším indexem a J1 je množina všech stavů dosažitelných z j1. Nechť j2 je trvalý stav s nejnižším indexem mezi těmi trvalými stavy, které nepatří do J1 a nechť J2 je množina všech stavů dosažitelných z j2 atd. Lze tedy psát Pr21 JJJJJ ∪∪∪∪= K , kde J1, J2, ..., Jr jsou neslučitelné množiny trvalých stavů a JP je množina stavů přechodných. Je-li J konečná množina, pak matici přechodu P lze psát v tzv. kanonickém tvaru (po eventuálním přečíslování stavů). Kanonický tvar matice P JT J J1 J2 ... Jr JP J1 P1 Ø ... Ø Ø J2 Ø P2 ... Ø Ø ... ... ... ... ... ... JT Jr Ø Ø ... Pr Ø JP R1 R2 ... Rr Q P1, ..., Pr jsou matice obsahující pravděpodobnosti přechodu mezi třídami trvalých stavů J1, ..., Jr. Matice R1, ..., Rr obsahují pravděpodobnosti přechodu mezi třídami přechodných a trvalých stavů. Matice Q obsahuje pravděpodobnosti přechodu mezi přechodnými stavy. 8.19. Příklad: Je dán homogenní markovský řetězec { }0n Nn;X ∈ s množinou stavů J = {0,1, ..., 5} a maticí přechodu                     = 4/304/1000 2/102/1000 2/13/16/1000 5/105/15/25/10 0004/12/14/1 000001 P . Najděte kanonický tvar matice P. Řešení: Přechodový diagram J1 = {0}, J2 = {3, 4, 5}, JP = {1, 2}. Kanonický tvar matice přechodu:                     = 5/25/15/105/10 4/12/10004/1 004/304/10 002/102/10 002/13/16/10 000001 P . Vidíme tedy, že ( )11 =P           = 4/304/1 2/102/1 2/13/16/1 2P       = 0 4/1 1R       = 5/105/1 000 2R       = 5/25/1 4/12/1 Q . 8.20. Definice: Definice fundamentální matice nerozložitelného homogenního markovského řetězce Nechť { }0n Nn;X ∈ je nerozložitelný homogenní markovský řetězec s maticí přechodu P. Limitní matici přechodu označme A. Fundamentální matici Z tohoto řetězce definujeme vztahem: ( )( ) 1− −−= APIZ . 8.21. Věta: Věta o výpočtu středních hodnot dob prvních vstupů Označme mij střední hodnotu doby 1. vstupu řetězce do stavu j za předpokladu, že vychází ze stavu i. Sestavíme matici ( ) Jj,iij m ∈ =M . Pak ( )MZEZIM )) +−= , kde E je matice ze samých jedniček, matice Z ) obsahuje jen diagonální prvky matice Z a matice M ) obsahuje jen diagonální prvky matice M. 8.22. Příklad: Při dlouhodobém sledování velkého souboru voličů s časovým krokem 1 měsíc byly zkoumány volební preference. Rozlišujeme strany A, B, C a Ostatní. Zavedeme homogenní markovský řetězec { }0n Nn;X ∈ s množinou stavů J = {1, 2, 3, 4}, kde Xn = 1, když náhodně vybraný volič preferuje v n-tém měsíci stranu A, Xn = 2 pro stranu B, Xn = 3 pro stranu C a Xn = 4 pro ostatní strany. Pravděpodobnosti přechodu sympatií voličů jsou uvedeny v matici přechodu:             = 92,003,0005,0 1,08,005,005,0 12,005,082,001,0 14,011,005,07,0 P . Najděte limitní matici přechodu a vypočtěte matici středních hodnot dob prvních přechodů. Řešení: Limitní matici přechodu získáme složením čtyř stacionárních vektorů. Stacionární vektor existuje, neboť již matice P2 má všechny prvky kladné. Řešením systému a = aP s podmínkou 1a 4 1j j =∑= získáme stacionární vektor: a = (0,1328; 0,0881; 0,1843; 0,5949). Znamená to, že během dlouhé doby může strana A očekávat 13,3% voličů, strana B 8,8%, strana C 18,4% a ostatní strany dohromady 59,5%. Limitní matice přechodu               = 5949,01843,00881,01328,0 5949,01843,00881,01328,0 5949,01843,00881,01328,0 5949,01843,00881,01328,0 A Interpretace 1. řádku matice A: Pokud volič v jednom měsíci preferoval stranu A, pak v následujícím měsíci ji bude s pravděpodbností 13,3% preferovat opět. Ke straně B se přikloní s pravděpodobností 8,8%, ke straně C s pravděpodobností 18,4% a s pravděpodobností 59,5% zvolí některou z ostatních stran. K výpočtu matice středních hodnot dob prvních přechodů potřebujeme fundamentální matici Z: ( )( )               −−− −− −−− − =−−= − 6895,27885,07502,01508,0 7644,26153,34354,02863,0 3986,2531,07037,47741,0 1411,22549,02999,05863,2 1 APIZ . Matice               = 6895,2000 06153,300 007037,40 0005863,2 ˆZ , matice                       = 5949,0 1 000 0 01843 1 00 00 0881,0 1 0 000 1328,0 1 ˆM . Matice ( )               =+−= 6811,18971,239231,616122,20 1686,94265,54615,486327,21 5535,85,223538,113061,25 1207,82353,18505306,7 MZEZIM )) . Interpretace 1. řádku matice M: Volič, který na začátku sledování preferoval stranu A, v průměru za 7,5 měsíce dá poprvé znovu hlas této straně. V průměru za 50 měsíců bude poprvé preferovat stranu B a v průměru za 18,2 měsíce bude poprvé preferovat stranu C. V průměru za 8,1 měsíce se poprvé přikloní k některé z ostatních stran. 9. Absorpční homogenní markovské řetězce 9.1. Definice: Definice absorpčního stavu Nechť { }0n Nn;X ∈ je homogenní markovský řetězec s množinou stavů J. Řekneme, že stav Jj∈ je absorpční stav, jestliže pjj = 1 (tzn., že ze stavu j není dosažitelný žádný jiný stav). Když řetězec vstoupí do absorpčního stavu, pak řekneme, že je absorbován. 9.2. Věta: Věta o vztahu mezi absorpčním stavem a trvalým stavem Každý absorpční stav je trvalým stavem. Důkaz: Plyne přímo z definice trvalého stavu. 9.3. Definice: Definice absorpčního homogenního markovského řetězce Homogenní markovský řetězec s konečnou množinou stavů se nazývá absorpční, jestliže každý jeho trvalý stav je absorpční. 9.4. Příklad: Nechť { }0n Nn;X ∈ je homogenní markovský řetězec s množinou stavů J = {0,1, ..., 5} a maticí přechodu                     = 100000 001000 010000 4/304/1000 0003/103/2 000010 P . Zjistěte, zda jde o absorpční řetězec. Řešení: Přechodový diagram JT = {3,4}∪ {5}, JP = {0, 1, 2}. Stavy 3 a 4 jsou trvalé, ale nejsou absorpční. Řetězec tedy není absorpční. 0 1 2/3 1 2 1/3 3 3/4 1/4 4 1 1 5 1 9.5. Definice: Definice fundamentální matice absorpčního řetězce Nechť { }0n Nn;X ∈ je absorpční řetězec s konečnou množinou stavů, který má r absorpčních a s neabsorpčních stavů. Stavy přečíslujeme tak, aby po množině JA r absorpčních stavů následovala množina JN s neabsorpčních stavů. Matici přechodu P přepíšeme do kanonického tvaru       = QR 0I P , kde I je jednotková matice řádu r, 0 je nulová matice typu r x s, R je matice typu s x r obsahující pravděpodobnosti přechodu z neabsorpčních do absorpčních stavů a Q je čtvercová matice řádu s obsahující pravděpodobnosti přechodu mezi neabsorpčními stavy. Matice ( ) 1− −= QIM (kde I je jednotková matice řádu s) se nazývá fundamentální matice absorpčního řetězce. Vysvětlení: Prvek mij matice M udává střední hodnotu počtu kroků, které řetězec stráví v neabsorpčním stavu j před přechodem do absorpčního stavu, pokud vyšel z neabsorpčního stavu i. Inverzní matice existuje, pokud Qn konverguje k 0. 9.6. Poznámka: Význam součtu prvků v i-tém řádku fundamentální matice M Střední hodnotu počtu kroků, které řetězec stráví v neabsorpčních stavech, když vychází z neabsorpčního stavu i a skončí v absorpčním stavu, vypočítáme jako součet prvků v i-tém řádku fundamentální matice M. Maticový zápis: t = Me, kde e je sloupcový vektor typu s x 1 ze samých jedniček. 9.7. Příklad: Dva hráči A a B dali dohromady do hry vklad 4 Kč. Hráč A hází mincí. Když padne líc, vyhrává 1 Kč, když rub, prohrává 1 Kč. Hra trvá tak dlouho, až je jeden z hráčů zruinován. a) Popište situaci pomocí homogenního markovského řetězce. Najděte matici přechodu a nakreslete přechodový diagram. b) Ukažte, že řetězec je absorpční. c) Najděte fundamentální matici a interpretujte její prvky. b) Vypočtěte střední hodnotu počtu kroků, které řetězec stráví v neabsorpčních stavech. Řešení: ad a) Zavedeme homogenní markovský řetězce { }0n Nn;X ∈ s množinou stavů J = {0,1, 2, 3, 4}, přičemž Xn = j, když v ntém kroku hry má hráč A právě j Kč. Matice přechodu:                 = 10000 2/102/100 02/102/10 002/102/1 00001 P Přechodový diagram: ad b) JT = {0}∪ {4}, JP = {1, 2, 3}. Trvalé stavy 0 a 4 jsou absorpční, řetězec je tedy absorpční. 0 1 1 1/2 2 1/2 1/2 3 1/2 1/2 4 1/2 1 ad c) Matici přechodu v kanonickém tvaru získáme tak, že nejprve zapíšeme pravděpodobnosti přechodu vztahující se k absorpčním stavům 0 a 4 a poté pravděpodobnosti přechodu vztahující se k neabsorpčním stavům 1, 2, 3. Původní matice přechodu:                 = 10000 2/102/100 02/102/10 002/102/1 00001 P Matice přechodu v kanonickém tvaru:                 = 02/102/10 2/102/100 02/1002/1 00010 00001 P Pro výpočet fundamentální matice M potřebujeme matici Q obsahující pravděpodobnosti přechodu mezi neabsorpčními stavy: 321           − −− − =−           = 12/10 2/112/1 02/11 , 02/10 2/102/1 02/10 QIQ , ( )           =−= − 2/312/1 121 2/112/3 3 2 1 1 QIM Interpretace: Podívejme se např. na druhý řádek matice M. Má-li hráč A v daném okamžiku 2 Kč, pak lze očekávat, že před skončením hry bude mít v průměru jedenkrát 1 Kč, dvakrát 2 Kč a jedenkrát 3 Kč. ad d) Podle poznámky 8.6. dostáváme: t = Me =           =           ⋅           3 4 3 1 1 1 2/312/1 121 2/112/3 Interpretace: Má-li hráč A v daném okamžiku buď 1 Kč nebo 3 Kč, tak v průměru po třech krocích hra skončí. Má-li hráč A v daném okamžiku 2 Kč, pak v průměru po čtyřech krocích hra skončí. 9.8. Věta: Věta o pravděpodobnostech přechodu do absorpčních stavů Označme bij pravděpodobnost, že řetězec vycházející z neabsorpčního stavu i bude absorbován ve stavu j. Sestavíme matici B = ( ) Jj,iijb ∈ . Pak B = MR, kde M je fundamentální matice absorpčního řetězce a R je matice v levém dolním rohu matice přechodu P v kanonickém tvaru. Důkaz: Nechť i je neabsorpční a j absorpční stav. Stavu j může být dosaženo 1. krokem s pravděpodobností pij nebo přechodem do neabsorpčního stavu k s pravděpodobností pik a odtud přechodem do absorpčního stavu j s pravděpodobností bkj. Tedy ∑∈ = Jk kjikij bpb . Maticově: B = R + QB, B – QB = R, (I – Q)B = R, B = (I – Q)-1 R = MR. 9.9. Definice: Definice matice přechodu do absorpčních stavů daného absorpčního řetězce Matice B se nazývá matice přechodu do absorpčních stavů daného absorpčního řetězce. 9.10. Příklad: Pro zadání z příkladu 9.7. vypočtěte matici přechodu do absorpčních stavů a interpretujte její prvky. Pro připomenutí: Dva hráči A a B dali dohromady do hry vklad 4 Kč. Hráč A hází mincí. Když padne líc, vyhrává 1 Kč, když rub, prohrává 1 Kč. Hra trvá tak dlouho, až je jeden z hráčů zruinován. Řešení: Matice přechodu v kanonickém tvaru:                 = 02/102/10 2/102/100 02/1002/1 002/110 00001 P , tedy           = 2/10 00 02/1 R . Již jsme vypočetli, že           = 2/312/1 121 2/112/3 M , tedy B = MR =           =           ⋅           4/34/1 2/12/1 4/14/3 2/10 00 02/1 2/312/1 121 2/112/3 . Interpretace: Má-li hráč A v daném okamžiku 1 Kč, pak bude s pravděpodobností 3/4 zruinován on a s pravděpodobností 1/4 bude zruinován hráč B. Má-li hráč A v daném okamžiku 2 Kč, pak bude s pravděpodobností 1/2 zruinován on a s pravděpodobností 1/2 bude zruinován hráč B. Má-li hráč A v daném okamžiku 3 Kč, pak bude s pravděpodobností 1/4 zruinován on a s pravděpodobností 3/4 bude zruinován hráč B. 9.11. Poznámka: Charakteristiky absorpčního řetězce můžeme v MATLABu vypočítat pomocí funkce absorb.m: function [Pk,M,B,t]=absorb(P) % funkce pro výpočet základních charakteristik absorpčního řetězce % Autor: Stanislav Tvrz % function [Pk,M,B,t]=absorb(P) % vstupní parametr: matice přechodu P % výstupní parametry: Pk ... matice přechodu v kanonickém tvaru % M ... fundamentální matice % B ... matice přechodu do absorpčních stavů % t ... vektor středních hodnot počtu kroků před absorpcí %vypíše pro kontrolu přechodovou matici P P vel=size(P); [i,j]=find(P==1); % najdu prvky matice P o hodnotě 1 vi=size(i); st=0; % počet nalezených absorpčních stavů %převod P na kanonický tvar for k=1:vi if i(k)==j(k) st=st+1; if st==1 % varianta pro první nalezený absorpční stav if (i(k)>1)&(i(k)st+1)&(i(k)=∈∃∈∀ (vyloučení nepotřebných stavů) b) ( ) ( ) ( )1ntnt0t2nt1ntntn10n10n10 jX/jXPjXjXjX/jXP:Jj,,j,jtttTt,,t,t 1nn02n1nn −−− ====∧∧=∧==∈∀<<<∈∀ −−− KKKK za předpokladu, že ( ) 0jXjXjXP 0t2nt1nt 02n1n >=∧∧=∧= −− −− K (markovská vlastnost – budoucí chování markovského řetězce závisí pouze na přítomném stavu a nikoliv na stavech minulých). Vysvětlení: Markovské řetězce se spojitým časem modelují fyzikální či jiné soustavy, které mohou v libovolném okamžiku náhodně přejít do některého ze svých možných stavů. Markovská vlastnost znamená, že to, do jakého stavu se soustava dostane při následující změně, závisí pouze na tom, v jakém stavu se soustava právě nachází a nezávisí na stavech předchozích. Např. sledujeme-li během pracovní doby provoz automatických strojů v dílně, náhodná veličina Xt, )T,0t∈ je počet strojů, které v okamžiku t nepracují (jsou opravovány nebo čekají na opravu). 11.2. Příklad: Uvažme populaci, jejíž jedinci se mohou množit a zanikat. Pravděpodobnost, že z libovolného jeince vznikne v časovém intervalu ( ht,t + nový jedinec, je ( )hoh +λ (symbol o(h) znamená, že ( ) 0 h ho limh =∞→ ) a pravděpodobnost, že libovolný jedinec zanikne v intervalu ( ht,t + , je ( )hoh +µ . Osudy jedinců jsou navzájem nezávislé. Označme Xt rozsah populace v čase t. Pak stochastický proces { }Tt;Xt ∈ je markovský řetězec se spojitým časem. Nazývá se lineární proces vzniku a zániku (resp. lineární proces množení a úmrtí). 11.3. Označení: Jev {Xt = j} – markovský řetězec je v okamžiku t ve stavu j. P(Xt = j) = pj(t) – absolutní pravděpodobnost stavu j v okamžiku t. p(t) = (...., pj(t), ...) – vektor absolutních pravděpodobností. ( ) ( )ht,tphX/jXP ijtht +===+ – pravděpodobnost přechodu ze stavu i v okamžiku t do stavu j v okamžiku t+h           +=+ M LL M )ht,t(p)ht,t( ijP - matice pravděpodobností přechodu mezi okamžiky t, t+h. P(X0 = j) = pj(0) – počáteční pravděpodobnost stavu j. p(0) = (...., pj(0), ...) – vektor počátečních pravděpodobností. 11.4. Věta: Věta o vlastnostech markovského řetězce se spojitým časem Nechť { }Tt;Xt ∈ je markovský řetězec. Pokud dále uvedené podmíněné pravděpodobnosti existují, platí pro Jj,iTg,h,t ∈∀∈∀ : a) P(Xt+h = j / Xt = i) ≥ 0, tj. pij(t,t+h) ≥ 0 ( )    ≠ = === jipro0 jipro1 iX/jXP tt , tj. ( )    ≠ = = jproi0 jipro1 t,tpij . b) ( ) 1iX/jXP Jj tht ===∑∈ + , tj. ( )∑∈ =+ Jj ij 1ht,tp . (Přechod ze stavu i v okamžiku t do nějakého stavu j v okamžiku t+h je jev s pravděpodobností 1.) c) ( ) ( ) ( )kX/jXPiX/kXPiX/jXP htght Jk thttght ======= +++ ∈ +++ ∑ , tj. ∑∈ ++++=++ Jk kjikij )ght,ht(p)ht,t(p)ght,t(p (Chapmanovy – Kolmogorovovy rovnice) d) ( ) ( ) ( )kX/jXPkXPjXP tht Jk tht ===== + ∈ + ∑ , tj. ∑∈ +=+ Jk kjkj )ht,t(p)t(p)ht(p (Zákon evoluce) Důkaz: Analogicky jako v diskrétním případě. 11.5. Poznámka: Zápis vlastností markovského řetězce se spojitým časem v maticovém tvaru a) P(t,t+h) ≥ 0, kde 0 je nulová matice, P(t,t) = I, kde I je jednotková matice. b) P(t,t+h)e = e, kde e je sloupcový vektor ze samých jedniček. c) P(t,t+h+g) = P(t,t+h) P(t+h,t+h+g). d) p(t+h) = p(t) P(t,t+h). 11.6. Definice: Definice HMŘ se spojitým časem Nechť { }Tt;Xt ∈ je markovský řetězec se spojitým časem. Řekneme, že tento řetězec je homogenní, jestliže platí: ( ) ( )hpiX/jXP:Tht,Jj,i ijtht ===∈∀∈∀ + . Vysvětlení: Znamená to, že pravděpodobnosti přechodu ( )iX/jXP tht ==+ – pokud existují – závisí pouze na časovém přírůstku h a nezávisí na časovém okamžiku t. Matice pravděpodobností přechodu P(t,t+h) se pak značí P(h) a nazývá se matice přechodu za časový přírůstek h. Pro HMŘ se spojitým časem tedy existuje celý systém matic přechodu ( ){ }Th,hP ∈ . Je zvykem definovat P(0) = I. 11.7. Věta: Vyjádření simultánní pravděpodobnostní funkce pro HMŘ Pro homogenní markovský řetězec se spojitým časem platí: ( ) ( ) ( ) ( )njj1jjjnhht1ht0tn10n1 hphptpjXjXjXP:Jj,,j,jTh,,h,t n14n100n11 − ==∧∧=∧=∈∀∈∀ ++++ KKKK K Důkaz: Plyne z věty o násobení pravděpodobností a markovské vlastnosti. 11.8. Věta: CH-K rovnice a zákon evoluce pro HMŘ Nechť { }Tt;Xt ∈ je homogenní markovský řetězec se spojitým časem, s vektorem počátečních pravděpodobností p(0) a systémem matic přechodu ( ){ }Th,h ∈P . Pak pro Tg,h ∈∀ platí: a) P(h+g) = P(h) P(g) (Chapmanova – Kolmogorovova rovnice) b) p(h) = p(0) P(h) (zákon evoluce) Důkaz: ad a) plyne z tvrzení (c) věty 11.4 ad b) plyne z tvrzení (d) věty 11.4 11.9. Věta: Existenční věta Ke každému stochastickému vektoru p(0) a ke každému systému stochastických matic ( ){ }Th;h ∈P , které splňují CH-K rovnice, existuje HMŘ se spojitým časem, jehož počáteční pravděpodobnosti jsou dány vektorem p(0) a systém matic pravděpodobností přechodu je právě ( ){ }Th;h ∈P . Důkaz: Nebudeme provádět. 12. Matice intenzit přechodu homogenního markovského řetězce se spojitým časem 12.1. Motivace: Nechť { }Tt;Xt ∈ je homogenní markovský řetězec se spojitým časem. Předpokládejme, že v okamžiku t je řetězec ve stavu i a za časový přírůstek h přejde do stavu j s pravděpodobností pij(h). Číslo ( ) h hpij vyjadřuje průměrnou pravděpodobnost přechodu ze stavu i do stavu j za časový přírůstek h. Označme pii(h) pravděpodobnost, že za časový přírůstek h řetězec setrvá ve stavu i. Pak 1 - pii(h) je pravděpodobnost, že za časový přírůstek h řetězec přejde do nějakého jiného stavu. Číslo ( ) h hp1 ii− vyjadřuje průměrnou pravděpodobnost výstupu řetězce ze stavu i za časový přírůstek h. Intenzity přechodu resp. výstupu popisují chování těchto průměrných pravděpodobností pro +→ 0h . 12.2. Poznámka: Nadále budeme předpokládat, že a) Jj,i ∈∀ existuje ( ) h hp lim ij 0h +→ b) Ji∈∀ existuje ( ) h hp1 lim ii 0h − +→ c) Jj,i ∈∀ existuje ( )    ≠ = = +→ jipro0 jipro1 hplim ij0h 12.3. Definice: Definice intenzit přechodu a výstupu Nechť { }Tt;Xt ∈ je homogenní markovský řetězec se spojitým časem se systémem matic přechodu ( ){ }Th,h ∈P . Pak definujeme: a) Jj,i ∈∀ : ( ) h hp limq ij 0h ij +→ = - intenzita přechodu ze stavu i do stavu j b) Ji∈∀ : ( ) h hp1 limq ii 0hi − = +→ - intenzita výstupu ze stavu i. Vysvětlení: Z definice intenzity přechodu resp. výstupu plyne, že pij(h) = hqij + o(h) resp. pii(h) = 1- hqi + o(h). Pro dostatečně malá h tedy dostáváme pij(h) ≈ hqij resp. pii(h) ≈ 1- hqii. Číslo qij vyjadřuje koeficient nárůstu pravděpodobnosti přechodu pij(h) během krátkého časového intervalu délky h a číslo qi vyjadřuje koeficient poklesu pravděpodobnosti setrvání pii(h) během krátkého časového intervalu délky h. 12.4. Věta: Věta o součtu intenzit přechodu Je-li množina stavů J konečná, pak pro intenzity přechodu platí: 0q:Ji Jj ij =∈∀ ∑∈ , kde qii = -qi. Důkaz: Vztah 0q Jj ij =∑∈ přepíšeme do tvaru i ij,Jj ij qq =∑≠∈ . Počítáme ( ) ( ) ( )[ ] iii 0h ij,Jj ij 0h ij,Jj ij 0h ij,Jj ij qhp1 h 1 limhp h 1 lim h hp limq =−=== +++ → ≠∈ → ≠∈ → ≠∈ ∑∑∑ . 12.5. Definice: Definice matice intenzit přechodu Matice Q = (qij)i,j J∈ , kde qii = -qi, se nazývá matice intenzit přechodu HMŘ se spojitým časem. Vysvětlení: Matice Q je charakterizována tím, že qij ≥ 0 pro i ≠ j a qii < 0 a součet prvků v každém řádku je nulový. Je to kvazistochastická matice. 12.6. Věta: Vztah mezi maticí intenzit přechodu a maticí přechodu Je-li { }Tt;Xt ∈ je homogenní markovský řetězec se spojitým časem, který má konečnou množinu stavů J, maticí intenzit přechodu Q a systém matic pravděpodobností přechodu ( ){ }Tt;t ∈P , pak pro Tt∈∀ platí: P(t) = eQt , kde eQt je maticová exponenciální funkce definovaná předpisem: ∑ ∞ = = 0k kk t !k t e QQ Důkaz: Nebudeme provádět. 12.6. Poznámka: Matici intenzit přechodu lze graficky vyjádřit pomocí přechodového diagramu. Je to ohodnocený orientovaný graf, kde a) vrcholy jsou stavy b) hrany odpovídají nenulovým intenzitám přechodu c) ohodnocení hran je rovno těmto intenzitám. Hrany, které nejsou smyčkami, mají kladné ohodnocení (qij > 0) a smyčky mají záporné ohodnocení (qii < 0). 12.7. Příklad: Doba bezporuchového provozu přístroje je náhodná veličina s rozložením Ex(α). Když dojde k poruše, přístroj začne být okamžitě opravován. Doba opravy je náhodná veličina s rozložením Ex(β). Jakmile je oprava ukončena, přístroj je okamžitě uveden do provozu. a) Modelujte tuto situaci pomocí HMŘ se spojitým časem. b) Najděte matici intenzit přechodu Q a nakreslete přechodový diagram. Řešení: Ad a) Zavedeme náhodnou veličinu    = opravěvstrojjetčasevpokud1, pracujestrojtčasevpokud,0 Xt . Stochastický proces { }Tt;Xt ∈ je HMŘ se spojitým časem s množinou stavů J = {0,1}. Ad b) Je-li Y spojitá náhodná veličina, pak její pravděpodobnostní chování je popsáno hustotou pravděpodobnosti ( )yϕ . Pro distribuční funkci ( )yΦ platí: ( ) ( )∫∞− ϕ=Φ y dtty . Dále zavedeme funkci přežití ( ) ( )yYPy >=Ψ a intenzitu ( ) ( ) ( )y y' y Ψ Ψ −=λ . V našem případě označme Y1 dobu bezporuchového provozu přístroje, Y1 ~ Ex(α), tedy ( )    >α =ϕ α− jinak0 0yproe y 1 y 11 1 , ( )    >− =Φ α− jinak0 0yproe1 y 1 y 11 1 , ( )    > =Ψ α− jinak1 0yproe y 1 y 11 1 , ( ) ( ) ( ) α= α− −= Ψ Ψ −=λ α− α− 1 1 y y 11 11 11 e e y y' y . Analogicky označme Y2 dobu opravy přístroje, Y2 ~ Ex(β). Stejným způsobem odvodíme, že ( ) β=λ 22 y . Matice intenzit přechodu: 0 1       β−β αα− = 1 0 Q . Přechodový diagram: 12.8. Věta: Věta o významu intenzit přechodu Nechť { }Tt;Xt ∈ je HMŘ se SČ, který má spočetnou množinu stavů J a matici intenzit přechodu Q = (qij)i,j J∈ . a) Nechť hs,st +∈ , kde s ≥ 0 a h > 0. Pak ( ) hq st i eiX/iXP − === , kde 0e hqi =− , je-li qi = ∞. b) Je-li qi = 0, potom pii(h) = 1. c) Je-li 0 < qi < ∞, pak veličina, která udává dobu setrvání řetězce ve stavu i, se řídí rozložením Ex(qi). Znamená to, že střední hodnota doby setrvání řetězce ve stavu i je iq 1 . Dále, pravděpodobnost toho, že první přechod ze stavu i se uskuteční právě do stavu j, j≠i, je i ij q q . Důkaz: Nebudeme provádět. 12.9. Definice: Definice různých typů stavů Nechť { }Tt;Xt ∈ je HMŘ se SČ, který má matici intenzit přechodu Q = (qij)i,j J∈ . a) Jestliže qi = 0, pak řekneme, že stav i je absorpční. (Řetězec, který vstoupí do absorpčního stavu, už v něm zůstane. Střední hodnota doby setrvání v absorpční stavu je nekonečně velká.) b) Jestliže 0 < qi < ∞, pak řekneme, že stav i je stabilní. (Budeme se zabývat výhradně řetězci se stabilními stavy) c) Jestliže qi = ∞, pak řekneme, že stav i je nestabilní. (Střední hodnota doby setrvání v nestabilním stavu je nulová.) 12.10. Definice: Definice stacionárního vektoru HMŘ se SČ Nechť { }Tt;Xt ∈ je HMŘ se SČ, který má systém matic přechodu ( ){ }Tt;t ∈P . Stochastický vektor a takový, že pro Tt∈∀ platí a = aP(t), se nazývá stacionární vektor (stacionární rozložení) daného řetězce. 12.11. Poznámka: Řešení rovnice a = aP(t) pro Tt∈∀ může být obtížné. Proto stacionární vektor počítáme raději pomocí matice intenzit přechodu. 12.12. Věta: Věta o získání stacionárního vektoru pomocí matice intenzit přechodu Nechť { }Tt;Xt ∈ je HMŘ se SČ, který má systém matic přechodu ( ){ }Tt;t ∈P a matici intenzit přechodu Q = (qij)i,j J∈ . Jestliže existuje Tt∈ tak, že matice P(t) je regulární (tj. všechny její prvky jsou kladné), pak existuje stacionární vektor daného řetězce a je dán vztahem: aQ = 0. Toto řešení je jediné. Důkaz: Nebudeme provádět. 12.13. Příklad: Pro zadání příkladu 12.7. najděte stacionární vektor. Řešení: Odvodili jsme, že       β−β αα− =Q . Hledáme a = (a0, a1), kde a0 + a1 = 1, tak, aby aQ = 0. ( ) ( ) 011010 a1a1aa,0,0a,a −=⇒=+=      β−β αα− . ( ) β+α α = β+α β =⇒=−β+α−⇒=β+α− 100010 a,a0a1a0aa . Stacionární vektor má tedy tvar:       β+α α β+α β = ,a . 12.14. Definice: Definice ergodického řetězce Homogenní markovský řetězec se spojitým časem a systémem matic přechodu ( ){ }Tt;t ∈P se nazývá ergodický, jestliže pro všechny stochastické vektory a odpovídající dimenze existuje ( )tlimt aP∞→ a tato limita na nich nezávisí. 12.15. Definice: Definice limitního rozložení a limitní matice přechodu a) Jestliže existuje ( ) pp = ∞→ tlim t , pak p se nazývá limitní rozložení (limitní vektor) daného řetězce. b) Jestliže existuje ( ) AP = ∞→ tlim t , pak A se nazývá limitní matice přechodu daného řetězce. Má-li všechny řádky stejné, nazývá se ergodická limitní matice přechodu. 12.16. Věta: Věta o souvislosti stacionárního a limitního rozložení Nechť { }Tt;Xt ∈ je HMŘ se SČ, který má stacionární rozložení a. Pak platí: a) Jeho limitní rozložení p je rovno stacionárnímu rozložení a. b) Všechny řádky limitní matice A jsou stejné a jsou rovny stacionárnímu vektoru a. 12.17. Poznámka: Při hledání stacionárního rozložení lze v MATLABu použít funkci stacionarni_vektor.m: function [a]=stacionarni_vektor(Q) %funkce pro vypocet stacionarniho vektoru %syntaxe: a=stacionarni_vektor(Q) %vstupni parametr ... kvazistochasticka matice Q %vystupni parametr ... stacionarni vektor a n=size(Q,1); A=[Q';ones(1,n)]; f=[zeros(n,1);1]; a=(A\f)'; 12.18. Příklad: Nechť HMŘ se SČ má množinu stavů { }2,1,0 a matici intenzit přechodu           − − − = 110 132 011 Q . Pomocí MATLABu najděte jeho stacionární rozložení. Řešení: Zadáme matici Q=[-1 1 0;2 -3 1;0 1 -1] Zavoláme funkci stacionarni_vektor: a=stacionarni_vektor(Q) Dostaneme výsledek: a = 0.5000 0.2500 0.2500 Znamená to, že po uplynutí dostatečně dlouhé doby polovinu doby stráví řetězec ve stavu 0, čtvrtinu doby ve stavu 1 a rovněž čtvrtinu doby ve stavu 2. 12.19. Příklad: V dílně pracuje N strojů téhož typu. V libovolný okamžik může nastat porucha kteréhokoliv stroje. O stroje se stará r opravářů, r < N. Na opravě stroje se podílí vždy jen jeden z nich. Stroj se v případě poruchy začne okamžitě opravovat, pokud je některý z opravářů volný. Porouchá-li se stroj v okamžiku, kdy jsou všichni opraváři zaměstnáni, musí se čekat, až se některý uvolní. Je známo, že: stroj, který pracuje v čase t, se během krátkého časového intervalu ( ht,t + porouchá s pravděpodobností ( )hoh +λ ; stroj, který je v čase t opravován, se během krátkého časového intervalu ( ht,t + vrátí do provozu s pravděpodobností ( )hoh +µ . Pomocí HMŘ se spojitým časem modelujte počet strojů, které v čase t nepracují. Najděte matici intenzit přechodu a najděte stacionární rozložení tohoto řetězce. Řešení: Nechť Xt je počet strojů, které v čase t nepracují. Pak { }Tt;Xt ∈ je HMŘ se SČ, který má množinu stavů J = {0, 1, … , N}. Jeho matici pravděpodobností přechodu určíme takto: Pravděpodobnost, že se počet strojů, které nepracují, zvětší v intervalu ( ht,t + o 1, je přímo úměrná počtu strojů, které v čase t pracují, tj. ( ) ( ) ( )hohjNhp 1j,j +λ−=+ , j = 0, 1, …, N-1. Pravděpodobnost, že se počet strojů, které nepracují, zmenší v intervalu ( ht,t + o 1, je přímo úměrná počtu strojů, které jsou v čase t opravovány, tj. ( ) ( )hohjhp 1j,j +µ=− , j = 1,2, …, r resp. ( ) ( )hohrhp 1j,j +µ=− , j = r+1, …, N. Pravděpodobnost, že se počet nepracujících strojů změní v intervalu ( ht,t + o více než 1, je o(h). Z těchto pravděpodobností přechodu získáme intenzity přechodu podle vzorce ( ) h hp limq ij 0h ij +→ = . ( ) ( ) ( ) ( )λ−= +λ− == ++ → + → + jN h hohjN lim h hp limq 0h 1j,j 0h 1j,j , j = 0, 1, …, N-1 ( ) ( ) µ= +µ == ++ → − → − j h hohj lim h hp limq 0h 1j,j 0h 1j,j , j = 1, 2, …, r resp. ( ) ( ) µ= +µ == ++ → − → − r h hohr lim h hp limq 0h 1j,j 0h 1j,j , j = r+1, …, N Intenzity setrvání ve stavech j = 0, 1, …, N můžeme určit z podmínky, že Q je kvazistochastická matice. Sestavíme tedy matici intenzit přechodu: ( )[ ] ( ) ( )[ ] ( )[ ] ( ) ( )[ ]                           µ− µ+λ−−−µ λ−µ+λ−− µ+λ−−µ λ−µ+λ−−µ λλ− = r00000 0r1rNr000 0rNrrN000 00022N20 0001N1N 0000NN KK KKKKKKKK KK KK KKKKKKKK KK LK KK Q Stacionární rozložení získáme řešením systému rovnic : aQ = 0 s podmínkou 1a N 0j j =∑= : 0aaN 10 =µ+λ− ( ) ( )[ ] ( ) 0a1jajjNa1jN 1jj1j =µ++µ+λ−−λ+− +− , j = 1, …, r-1 ( ) ( )[ ] 0ararjNa1jN 1jj1j =µ+µ+λ−−λ+− +− , j = r, …, N-1 0ara N1N =µ+λ − Řešení obdržíme ve tvaru: 0 j j a j N a       µ λ       = , j = 1, …, r-1 ( ) ( ) 0 j rjj a r!r 1jN1NN a       µ λ+−− = − K , j = r, …, N Přitom ∑= −= N 1j j0 a1a . 12.20. Příklad: Uvažme systém, v němž je v provozu velké množství předmětů téže funkce, např. talíře v jídelně. Předpokládáme, že předměty pocházejí od tří různých výrobců (říkáme, že jsou tří různých typů) a že doby životnosti předmětů od různých výrobců jsou stochasticky nezávislé náhodné veličiny s rozložením Ex(λi), i = 1, 2, 3. Provádíme cyklickou záměnu typů podle schématu 1 → 2 → 3 → 1. Zvolíme jedno místo v provozu a zavedeme HMŘ { }Tt;Xt ∈ se spojitým časem, kde Xt = j, když v okamžiku t je na tomto místě zařazen předmět typu j, j = 1, 2, 3. Najděte matici intenzit přechodu a stanovte stacionární rozložení. Řešení: Označme Yj dobu životnosti předmětu j-tého typu, Yj ~ Ex(λj), j = 1, 2, 3. V příkladu 12.7. bylo ukázáno, že intenzita poruchy je λj, tedy           λ−λ λλ− λλ− = 33 22 11 0 0 0 Q Stacionární rozložení získáme řešením systému rovnic : aQ = 0 s podmínkou 1a 3 1j j =∑= : 1aaa 0aa 0aa 0aa 321 3322 2211 3311 =++ =λ−λ =λ−λ =λ+λ− Řešením tohoto systému obdržíme: 323121 32 1 a λλ+λλ+λλ λλ = , 323121 31 2 a λλ+λλ+λλ λλ = , 323121 21 3 a λλ+λλ+λλ λλ = . 13. Laplaceova transformace a její užití při řešení systému Kolmogorovových diferenciálních rovnic a evolučních diferenciálních rovnic 13.1. Motivace: Pro HMŘ se spojitým časem lze pravděpodobnosti přechodu vyjádřit jako řešení systému Kolmogorovových diferenciálních rovnic a absolutní pravděpodobnosti lze vyjádřit jako řešení systému evolučních diferenciálních rovnic. V obou těchto případech vystupují v uvedených rovnicích intenzity přechodu a jedná se o systémy lineárních diferenciálních rovnic s konstantními koeficienty. Takovéto systémy můžeme řešit pomocí různých integrálních transformací, z nichž nejrozšířenější je Laplaceova transformace. Laplaceova transformace převádí soustavu diferenciálních rovnic pro neznámé funkce na soustavu algebraických rovnic pro obrazy těchto funkcí. Tuto soustavu vyřešíme a pomocí operátorového slovníku najdeme k obrazu řešení jeho vzor. 13.2. Definice: Definice Laplaceovy transformace Nechť f(t) je funkce splňující podmínky: a) f(t) je spojitá pro t > 0, b) f(t) = 0 pro t ≤ 0, c) f(t) je exponenciálního řádu, tj. existují konstanty M > 0, R∈α tak, že ( ) t Metf α− ≤ . Pak funkce ( ) ( )∫ ∞ − = 0 zt dtetfzF se nazývá Laplaceova transformace funkce f(t). Funkce f(t) se nazývá vzor a F(z) obraz. (Obecně je z komplexní proměnná, pro naše účely však postačí z ≥ 0.) 13.3. Označení: Laplaceovu transformaci (dále LT) značíme L(f(t)) = F(z) a zpětnou (inverzní) transformaci značíme L-1 (F(z)) = f(t). 13.4. Věta: Vztah mezi vzorem a obrazem Mezi původní funkcí f(t) a její LT F(z) existuje vzájemně jednoznačný vztah. 13.5. Příklad: Najděte LT funkce f(t) = eat . Řešení: ( ) ( ) ( ) [ ] az 1 e az 1 dtedteezF 0 azt 0 azt 0 ztat − = − −=== ∞−− ∞ −− ∞ − ∫∫ 13.6. Věta: Linearita LT LT i zpětná LT je lineární je lineární, tj. pro libovolné konstanty Rc,,c n1 ∈K , aspoň jedna konstanta je nenulová, platí: ( ) ( )( )∑∑ == =      n 1i ii n 1i ii tfLctfcL a ( ) ( )( )∑∑ = − = − =      n 1i i 1 i n 1i ii 1 zFLczFcL 13.7. Věta: LT derivace funkce Pro LT derivace platí: L(f’(t)) = zF(z) – f(0). 13.8. Věta: LT n-té derivace funkce Pro LT n-té derivace platí: L(f(n) (t)) = zn F(z) – zn-1 f(0) - zn-2 f’(0) - … - f(n-1) (0). 13.9. Poznámka: Uvedeme stručný operátorový slovník. Vzor f(t) Obraz F(z) 1 1/z t 1/z2 eat 1/(z-a) t eat 1/(z-a)2 A e-at A/(z+a) tk e-at k!/(z+a)k+1 , k = 0, 1, 2, … 13.10. Příklad: Užitím LT vyřešte diferenciální rovnici y’(t) + y(t) = e-2t s počáteční podmínkou y(0) = 0. Řešení: ( ) ( ) ( ) ( ) ( )( ) 2z 1 1z 1 2z B 1z A 2z1z 1 zY 2z 1 zY0yzzY + − + + = + + + = ++ =⇒ + =+− ( ) ( ) 1BAB0BA 1A1AA21BA2 1zB2zA1 −=⇒−=⇒=+ =⇒=−⇒=+ +++= ( ) t2t111 ee 2z 1 L 1z 1 L 2z 1 1z 1 Lty −−−−− −=      + − +      + =      + − + + = Zkouška: ( ) t2t e2et'y −− +−= t2t2tt2t eeee2e −−−−− =−++− - splněno Počáteční podmínka: y(0) = 1 – 1 = 0 – splněno 13.11. Příklad: Užitím LT najděte řešení systému lineárních diferenciálních rovnic ( ) ( ) ( ) ( ) ( ) ( ) 1ty2t'y3ty 0tyt'yt'y2 221 221 =+− =+− s počátečními podmínkami y1(0) = y2(0) = 0. Řešení: ( ) ( )[ ] ( ) ( )[ ] ( ) ( ) ( ) ( ) ( ) ( ) ( )[ ] ( ) ( ) ( ) ( ) z 1 zYz32zY z 1 zY20yzzY3zY 0zYz1zzY20zY0yzzY0yzzY2 2122211 2122¨211 =−+⇒=+−− =−+⇒=+−−− Řešením systému těchto dvou rovnic získáme ( ) 3 1 z 2 2 1 z 2 zY2 − + − − = , tedy ( ) 3 t 2 t 2 e2e2ty +−= . Z 2. rovnice plyne, že ( ) ( ) ( ) 3 t 2 t 3 t 2 t 3 t 2 t 221 e2e1e4e4e 3 2 e31ty2t'y31ty −+=−+      +−+=−+= . Celkem: ( ) 3 t 2 t 1 e2e1ty −+= , ( ) 3 t 2 t 2 e2e2ty +−= . Zkouška: ( ) ( ) 3 t 2 t 2 3 t 2 t 1 e 3 2 et'y,e 3 2 e 2 1 t'y +−=−= 1. rovnice: 0e2e2e 3 2 ee 3 4 e 3 t 2 t 3 t 2 t 3 t 2 t =+−−+− - splněno, 2. rovnice: 0e4e4e2e3e2e1 3 t 2 t 3 t 2 t 3 t 2 t =+−−+−+ - splněno Počáteční podmínky: ( ) ( ) 0220y,02110y 21 =+−==−+= - splněno. 13.12. Věta: Kolmogorovovy systémy a systém evolučních diferenciálních rovnic Nechť { }Tt;Xt ∈ je homogenní markovský řetězec se spojitým časem, který má systém matic přechodu ( ){ }Tt;t ∈P , systém vektorů absolutních pravděpodobností ( ){ }Tt;t ∈p , vektor počátečních pravděpodobností p(0) a matici intenzit přechodu Q. Pak platí: a) ( ) ( )QPP tt' = s počáteční podmínkou P(0) = I (Kolmogorovův systém prospektivních diferenciálních rovnic) b) ( ) ( )tt' QPP = s počáteční podmínkou P(0) = I (Kolmogorovův systém retrospektivních diferenciálních rovnic) c) ( ) ( )Qpp tt' = s počáteční podmínkou p(0) = daný stochastický vektor (systém evolučních diferenciálních rovnic). 13.13. Věta: Věta o řešení Kolmogorovových systémů a systému evolučních diferenciálních rovnic Nechť Q je kvazistochastická matice řádu n. Pak platí: a) Existuje jediné řešení systému prospektivních a retrospektivních Kolomogorovových diferenciálních rovnic s počáteční podmínkou P(0) = I. Toto řešení představuje systém matic přechodu HMŘ se SČ s množinou stavů { }n,,2,1J K= . b) Existuje jediné řešení systému evolučních diferenciálních rovnic s počáteční podmínkou p(0) = daný stochastický vektor. Toto řešení představuje systém vektorů absolutních pravděpodobností HMŘ se SČ s množinou stavů { }n,,2,1J K= . 13.14. Příklad: Nechť { }Tt;Xt ∈ je homogenní markovský řetězec se spojitým časem, který má množinu stavů { }2,1J = , matici intenzit přechodu       − − = 11 22 Q a vektor počátečních pravděpodobností ( )       = 2 1 , 2 1 0p . a) Najděte vektor stacionárních pravděpodobností. b) Najděte vyjádření pro vektor absolutních pravděpodobností. Řešení: Ad a) Hledáme vektor a tak, aby aQ = 0, a1 + a2 =1. ( ) ( ) 122121 a1a1aa,0,0 11 22 a,a −=⇒=+=      − − 3 2 3 1 1a, 3 1 a0a1a20aa2 211121 =−==⇒=+−⇒=+− , tedy       = 3 2 , 3 1 a . Ad b) Řešíme systém evolučních diferenciálních rovnic ( ) ( )Qpp tt' = s počáteční podmínkou ( )       = 2 1 , 2 1 0p . ( ) ( )( ) ( ) ( )( ) ( ) ( ) ( ) ( )tp1tp1tptp, 11 22 tp,tpt'p,t'p 12212121 −=⇒=+      − − = ( ) ( ) ( ) ( ) ( ) ( ) ( ) 2 1 0p,tp1tp2t'ptptp2t'p 1111211 =−+−=⇒+−= . Laplaceův obraz: ( ) ( ) ( ) ( ) ( )( ) ( ) ( ) 3z 6 1 z 3 2 3zz 2z zP z 2z 2 1 z 1 3zzPzP z 1 zP20pzzP 111111 + += + + =⇒ + =+=+⇒−+−=− ( ) t31 1 e 6 1 3 1 3z 6 1 z 3 1 Ltp −− +=             + += , ( ) ( ) t3 12 e 6 1 3 2 tp1tp − −=−= . Zkouška vyjde. 14. Poissonův proces 14.1. Definice: Definice Poissonova procesu Nechť { }Tt;Xt ∈ je homogenní markovský řetězec se spojitým časem, který má množinu stavů J = {0, 1, 2, …}, vektor počátečních pravděpodobností p(0) = (1, 0, …) a matici intenzit přechodu             λλ− λλ− λλ− = KKKKK K K K 00 00 00 Q , kde 0>λ je konstanta, nazývá se intenzita. Přechodový diagram: Tento HMŘ se nazývá Poissonův proces (s parametrem λ). (Vidíme, že v Poissonově procesu je možné jen setrvání v dosavadním stavu nebo přechod do nejbližšího vyššího stavu.) Vysvětlení: Poissonův proces popisuje např. náhodné a navzájem nezávislé události. Náhodná veličina { }K,1,0Xt ∈ udává počet událostí, které nastanou v intervalu ( t,0 . Přitom střední hodnota počtu událostí, které nastanou za časovou jednotku, je konstanta 0>λ . Pravděpodobnost p0(t) = e-λt vyjadřuje, že v intervalu ( t,0 nenastala žádná událost. Označíme-li S dobu čekání na změnu mezi stavy (tj. dobu čekání na příchod události resp. dobu setrvání ve stavu), pak P(S > t) = e-λt , tedy ( )    < ≥− =≤ λ− 0t,0 0t,e1 tSP t . To znamená, že je-li rozložení počtu událostí, které nastaly v intervalu ( t,0 Poissonovo, je rozložení doby čekání na změnu resp. doby setrvání ve stavu exponenciální. Příklady uvažovaných událostí: - dopady částic kosmického záření zaznamenávané čítačem částic - rozpady radioaktivního prvku - výzvy přicházející do telefonní ústředny - dopravní nehody registrované na nějakém silničním úseku - poruchy automatického stroje - příchody zákazníků do nějakého systému obsluhy apod. Upozornění: U těchto praktických příkladů není splněn předpoklad, že intenzita výskytu událostí λ je nezávislá na čase. Provoz v telefonní ústředně je jistě živější dopoledne než večer; silniční provoz záleží jak na denní době tak na dnu v týdnu; množství radioaktivní látky časem ubývá a tedy ubývá i intenzita rozpadu jejích atomů; poruchovost stroje se může zvyšovat s jeho opotřebením apod. Často se ale sleduje výskyt těchto událostí jen po nějakou omezenou dobu, během níž lze předpokládat neměnnost intenzity λ. 14.2. Věta: Věta o pravděpodobnostním rozložení složek Poissonova procesu Nechť { }Tt;Xt ∈ je Poissonův proces s parametrem λ. Pak platí: ( ) ( ) t j j e !j t tp:JjTt λ−λ =∈∀∈∀ . Vysvětlení: Náhodná veličina Xt, která udává např. počet zákazníků, kteří přijdou do fronty v intervalu ( t,0 , se řídí rozložením Po(λt). Číslo p0(t) = e-λt udává pravděpodobnost, že v intervalu ( t,0 nenastane žádná změna. Důkaz: Sestavíme systém evolučních diferenciálních rovnic ( ) ( )Qpp tt' = s počáteční podmínkou p(0) = (1, 0, …). ( ) ( ) ( )( ) ( ) ( ) ( )( )             λλ− λλ− λλ− = KKKKK K K K KK 00 00 00 ,tp,tp,tp,t'p,t'p,t'p 210210 , ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) M tptpt'p tptpt'p tpt'p 2012 101 00 λ−λ= λ−λ= λ−= Obecně: ( ) ( ) ( ) K,2,1j,tptpt'p j1jj =λ−λ= − s počáteční podmínkou p0(0) = 1, pj(0) = 0, j = 1, 2, … Při řešení těchto rovnic použijeme LT. Obraz 1. rovnice: ( ) ( ) ( ) ( ) ( ) t1 00000 e z 1 Ltp z 1 zPzP10pzzP λ−− =      λ+ =⇒ λ+ =⇒λ−==− Obraz 2. rovnice: ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) t 2 1 1211011 te z Ltp z zPzP z 1 zP00pzzP λ−− λ=      λ+ λ =⇒ λ+ λ =⇒λ− λ+ =λ==− Obraz 3. rovnice: ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) t2 3 2 1 23 2 222122 et !2 1 z Ltp z zPzP z zP00pzzP λ−− λ=      λ+ λ =⇒ λ+ λ =⇒λ− λ+ λ =λ==− Obecně: ( ) ( ) K,2,1,0j,e !j t tp t j j = λ = λ− 14.3. Příklad: Majitel obchodu s potravinami zjistil, že v ranní špičce přichází do obchodu průměrně 20 zákazníků za 5 minut. Majitelova manželka se domnívá, že v průběhu 10 minut může očekávat v průměru 30 zákazníků, zatímco optimističtější majitel v průběhu 10 minut očekává 40 zákazníků. Který odhad je pravděpodobnější? Řešení: Příchody zákazníků do obchodu lze modelovat Poissonovým procesem { }Tt;Xt ∈ , kde Xt = j, když za časový interval ( t,0 přijde do obchodu právě j zákazníků, j = 0, 1, 2, … Parametr procesu (intenzita procesu): minutu1zazákazníci4 5 20 ==λ . Podle předpokladu: Xt ~ Po(4t), tedy ( ) ( ) t4 j t e !j t4 jXP − == Odhad manželky: ( ) ( ) ( ) 01847,010pe !30 104 30XP 30 104 30 10 == ⋅ == ⋅− V MATLABu: poisspdf(30,40) Odhad manžela: ( ) ( ) ( ) 06297,010pe !40 104 40XP 40 104 40 10 == ⋅ == ⋅− V MATLABu: poisspdf(40,40) Optimistický odhad majitele je pravděpodobnější než opatrný odhad jeho manželky. 14.4. Věta: Věta o pravděpodobnostech přechodu v Poissonově procesu Nechť { }Tt;Xt ∈ je Poissonův proces s parametrem λ. Pak platí: ( ) ( ) ( )      < ≥ − λ =∈∀∈∀ λ− − ijpro0 ijproe !ij t tp:Jji,Tt t ij ij . Důkaz: Z matice intenzit přechodu plyne, že jediný přechod s nenulovou pravděpodobností je přechod do stavu o 1 vyššího. Přitom počáteční stav je nulový, tedy pj(t) = p0j(t). V důsledku homogenity: ( ) ( ) ( ) ( )      < ≥ − λ == λ− − ijpro0 ijproe !ij t tptp t ij i-j0,ij . 14.5. Věta: Věta o střední hodnotě a rozptylu Poissonova procesu Nechť { }Tt;Xt ∈ je Poissonův proces s parametrem λ. Pak E(Xt) = λt, D(Xt) = λt. Důkaz: Plyne z vlastností Poissonova rozložení, protože Xt ~ Po(λt). 14.6. Věta: Věta o rozložení doby setrvání řetězce v daném stavu Nechť { }Tt;Xt ∈ je Poissonův proces s parametrem λ. Označme Sj dobu, kterou řetězec setrvá ve stavu j-1, j = 1, 2, … Pak Sj ~ Ex(λ) a střední hodnota doby setrvání řetězce ve stavu j-1 je λ 1 . Důkaz: Plyne z věty 12.8. 14.7. Věta: Věta o nezávislosti dob setrvání řetězce v daných stavech Náhodné veličiny Sj, j = 1, 2, … jsou stochasticky nezávislé. Důkaz: Nebudeme provádět. 14.8. Příklad: Na autobusovou zastávku přijíždějí autobusy linek č. 1 a č. 2. Předpokládáme, že příjezdy autobusů obou linek tvoří události Poissonových procesů s parametry λ1, λ2, přičemž tyto procesy probíhají nezávisle na sobě. Vypočtěte pravděpodobnost, že za časový interval délky t přijede na zastávku právě k autobusů. Řešení: Označme Xt počty příjezdů linky č. 1 v intervalu ( t,0 , Xt ~ Po(λ1t), ( ) ( ) t j 1 t 1 e !j t jXP λ−λ == , j = 0, 1, 2, … Označme Yt počty příjezdů linky č. 2 v intervalu ( t,0 , Yt ~ Po(λ2t), ( ) ( ) t j 2 t 2 e !j t jYP λ−λ == , j = 0, 1, 2, … Dále označme Zt počty příjezdů autobusů obou linek v intervalu ( t,0 , Zt = Xt + Yt. Máme počítat P(Zt = k), k = 0, 1, 2, … Podle věty o rozložení součtu dvou stochasticky nezávislých náhodných veličin dostáváme: ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )t k 21 k 0j jk 2 j 1 tk 0j t jk 2t j 1 k 0j ttt 21 21 21 e !k tt j k !k e e !jk t e !j t jkYPjXPkZP λ+λ− = − λ+λ− = λ− − λ− = λ+λ =λλ      = − λλ =−==== ∑∑∑ Znamená to, že Zt ~ Po((λ1 + λ2)t). 14.9. Věta: Věta o bodovém a intervalovém odhadu parametru λ Poissonova procesu Nechť v intervalu T,0 byl sledován Poissonův proces s neznámým parametrem λ a bylo pozorováno n událostí. a) Bodový odhad parametru λ je dán vzorcem: T nˆ =λ , přičemž ( ) λ=λˆE (tj. λˆ je nestranný odhad) a ( ) T ˆD λ =λ . b) 100(1-α)% empirický interval spolehlivosti pro λ má meze: ( )2n2 T2 1 d 2/ 2 +χ= α , ( )2n2 T2 1 h 2/1 2 +χ= α− . 14.10. Příklad: Na určitém zařízení byly po dobu 580 h sledovány poruchy. Za tuto dobu jich nastalo 22. Za předpokladu, že poruchy tvoří události Poissonova procesu s parametrem λ, odhadněte tento parametr a najděte pro něj 95% empirický interval spolehlivosti. Řešení: T = 580, n = 22, tedy 0379,0 580 22 T nˆ ===λ ( ) ( ) 0252,02,29 1160 1 46 5802 1 2n2 T2 1 d 025,0 2 2/ 2 ==χ ⋅ =+χ= α ( ) ( ) 0574,06,66 1160 1 46 5802 1 2n2 T2 1 h 975,0 2 2/1 2 ==χ ⋅ =+χ= α− 0,0252 < λ < 0,0574 s pravděpodobností aspoň 0,95. 14.11. Poznámka: Poissonův proces lze v MATLABu simulovat pomocí funkce Poisson.m: function [v,abscet,relcet,p, tabulka1, tabulka2]=Poisson(CPS,lambda,t) %vstupni parametry %CPS ... celkovy pocet simulovanych prichodu zakazniku %lambda ... intenzita vstupniho proudu zakazniku %t ... casovy krok %vystupni parametry %v ... vektor variant poctu zakazniku %abscet ... abs. cetnosti jednotlivych variant %relcet ... relativni cetnosti jednotlivych variant %p ... pravdepodobnosti jednotlivych variant %tabulka1 ... empiricke a teoreticke charakteristiky simulovaneho poctu %zakazniku %tabulka2 ... empiricke a teoreticke charakteristiky doby simulace Tuto funkci použijeme při řešení následujícího příkladu. 14.12. Příklad: V sobotu v době od 8 do 20 h sledujeme provoz v klidné ulici ve vilové čtvrti města. V tomto období vjíždějí auta do této ulice v průměru každých 8 minut. Předpokládejme, že intervaly mezi příjezdy aut se řídí exponenciálním rozložením. Pomocí MATLABu simulujte vjezd 20 aut do této ulice. Řešení: V tomto případě jsou vstupní parametry tyto: CPS = 20, lambda = 1/8, časový krok zvolíme např. t = 8. Teoretická celková doba simulace by měla být 20.8 = 160 min, průměr = 8 min, směrodatná odchylka = 8 min.) [v,abscet,relcet,p, tabulka1, tabulka2]=Poisson(CPS,lambda,t) Počet aut, která vjíždějí vždy během 8 minut Abs. četnost Rel. četnost pravděpodobnost 0 1 2 4 15 6 6 1 0,5357 0,2143 0,2143 0,0357 0,3679 0,3679 0,1839 0,0153 Průměrný počet aut za časový krok: 0,7857 Střední hodnota počtu aut za časový krok: 1 Pozorovaná směr. odch. počtu aut za časový krok: 1,0313 Směrodatná odchylka počtu aut za časový krok: 1 Celková doba simulace: 214,7869 Teoretická celková doba simulace: 20*8 = 160 Průměrná doba mezi vjezdy aut: 10,7393 Střední hodnota doby mezi vjezdy aut: 8 Pozorovaná směr. odch. doby mezi vjezdy aut: 14,8255 Směrodatná odchylka doby mezi vjezdy aut: 8 Realizace Poissonova procesu: 0 50 100 150 200 250 0 2 4 6 8 10 12 14 16 18 20 15. Proces vzniku a zániku 15.1. Motivace: Budeme se zabývat popisem kolísání rozsahu souboru objektů v čase za předpokladu, že a) v náhodných okamžicích vstupují do tohoto souboru nové objekty, přičemž pravděpodobnost, že v intervalu ( ht,t + vstoupí do souboru rozsahu j nový objekt, je ( )hohj +λ , kde λj > 0 je intenzita vstupu do stavu j; b) v náhodných okamžicích vystupují z tohoto souboru jiné objekty, přičemž pravděpodobnost, že v intervalu ( ht,t + vystoupí ze souboru rozsahu j jeden objekt, je ( )hohj +µ , kde µj > 0 je intenzita výstupu ze stavu j; c) vstupy a výstupy objektů jsou stochasticky nezávislé jevy; d) během krátkého časového intervalu zůstává rozsah souboru týž nebo se jedničku zvětší či zmenší. Bude nás především zajímat, jak se chová rozsah tohoto souboru po dostatečně dlouhé době, tj. po odeznění vlivu počátečních podmínek. 15.2. Definice: Definice procesu vzniku a zániku Nechť { }Tt;Xt ∈ je homogenní markovský řetězec se spojitým časem, který má množinu stavů J = {0, 1, 2, …}, vektor počátečních pravděpodobností p(0) = (1, 0, …) a matici intenzit přechodu ( ) ( )             λλ+µ−µ λλ+µ−µ λλ− = KKKKK K K K 2222 1111 00 0 0 00 Q , kde K0,1,2,j,0j =>λ a K1,2,j,0j =>µ jsou konstanty. Tento řetězec se nazývá proces vzniku a zániku (resp. množení a úmrtí). Přechodový diagram: Upozornění: Je zřejmé, že Poissonův proces je speciálním případem procesu vzniku a zániku, v němž µj = 0, j = 1, 2, … a λj = λ, j = 0, 1, 2, … 15.3. Věta: Stacionární rozložení procesu vzniku a zániku Nechť { }Tt;Xt ∈ je proces vzniku a zániku s intenzitami vzniku K0,1,2,j,0j =>λ a intenzitami zániku K1,2,j,0j =>µ Pak stacionární rozložení tohoto procesu je dáno vzorcem: 0 j21 1j10 j aa:Jj µ⋅⋅µµ λ⋅⋅λλ =∈∀ − K K , kde ∑ ∞ = − µ⋅⋅µµ λ⋅⋅λλ + = 1j j21 1j10 0 1 1 a K K za předpokladu, že řada ∑ ∞ = − µ⋅⋅µµ λ⋅⋅λλ 1j j21 1j10 K K absolutně konverguje. Jinak stacionární rozložení neexistuje. Důkaz: Hledáme řešení systému rovnic aQ = 0, a0 + a1 + … = 1, tj. ( ) ( ) ( ) ( ) 1aaa ,,0,0,0 0 0 00 ,a,a,a 210 2222 1111 00 210 =+++ =             λλ+µ−µ λλ+µ−µ λλ− K K KKKKK K K K K ( ) 1aaa aaa ,2,1j,0aaa aa0aa 210 j 1j jj 1j 1j 1j 1j 1j1jjjj1j1j 0 1 0 11100 =+++ µ λ+µ + µ λ −= ⇒==µ+λ+µ−λ− µ λ =⇒=µ+λ− + − + − + ++−− K K Nechť j = 1: 0 21 10 0 1 0 2 11 0 2 0 1 2 11 0 2 0 2 aaaaaa µµ λλ = µ λ µ λ+µ + µ λ −= µ λ+µ + µ λ −= Obecně: 0 j21 1j10 j aa µ⋅⋅µµ λ⋅⋅λλ = − K K , přičemž ∑ ∑∑∑ ∞ = − ∞ = − ∞ = ∞ = µ⋅⋅µµ λ⋅⋅λλ + =⇒ µ⋅⋅µµ λ⋅⋅λλ +=+== 1j j21 1j10 0 1j 0 j21 1j10 0 1j j0 0j j 1 1 aaaaaa1 K KK K , pokud řada ∑ ∞ = − µ⋅⋅µµ λ⋅⋅λλ 1j j21 1j10 K K absolutně konverguje. 15.4. Příklad: Nechť { }Tt;Xt ∈ je proces vzniku a zániku s množinou stavů j = {0,1}, intenzitou vzniku λ a intenzitou zániku µ. Najděte: a) vektor absolutních pravděpodobností p(t) b) matici pravděpodobností přechodu P(t) c) stacionární rozložení a. Řešení: Matice intenzit přechodu:       µ−µ λλ− =Q Ad a) Sestavíme systém evolučních diferenciálních rovnic ( ) ( )Qpp tt' = s počáteční podmínkou p(0) = (1,0). ( ) ( )( ) ( ) ( )( ) ( ) ( ) ( ) ( )tp1tp1tptp,tp,tpt'p,t'p 01101010 −=⇒=+      µ−µ λλ− = ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) 10p,tpt'ptptpt'ptptpt'p 0000101010 =µ=µ+λ+⇒µ−µ+λ−=⇒µ+λ−= Laplaceův obraz: ( ) ( ) ( ) ( ) ( ) ( ) ( ) µ+λ+ µ+λ λ + µ+λ µ ==⇒ µ+λ+ µ+λ =⇒− µ =µ+λ+=− zz zP zz zP z zP10pzzP 00000 ( ) ( )t1 1 e zz Ltp µ+λ−− µ+λ λ + µ+λ µ =             µ+λ+ µ+λ λ + µ+λ µ = , ( ) ( ) ( )t 01 etp1tp µ+λ− µ+λ λ − µ+λ λ =−= . Celkem: ( ) ( ) ( ) ( )tt e,e 1 tp µ+λ−µ+λ− λ−λλ+µ µ+λ = Ad b) Pravděpodobnosti přechodu určíme např. ze systému Kolmogorovových retrospektivních diferenciálních rovnic ( ) ( )tt' QPP = s počáteční podmínkou P(0) = I. ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )       =            µ−µ λλ− =      10 01 tptp tptp , t'pt'p t'pt'p 1110 0100 1110 0100 : pro řešení tohoto systému opět využijeme Laplaceovu transformaci a získáme výsledek: ( ) ( ) ( ) ( ) ( )       µ+λµ−µ λ−λλ+µ µ+λ = µ+λ−µ+λ− µ+λ−µ+λ− tt tt ee ee1 tP . Ad c) Stacionární rozložení můžeme určit několika způsoby. Podle věty 15.3. máme: µ+λ µ = µ λ + = 1 1 a0 , µ+λ λ = µ+λ µ −=−= 1a1a 01 . Celkem: ( )λµ µ+λ = , 1 a 16. Speciální případy procesu vzniku a zániku 16.1. Definice: Definice lineárního procesu vzniku a zániku Nechť { }Tt;Xt ∈ je homogenní markovský řetězec se spojitým časem, který má množinu stavů J = {0, 1, 2, …}, vektor počátečních pravděpodobností p(0) = (0, 1, 0, …) a matici intenzit přechodu ( ) ( )             λλ+µ−µ λλ+µ−µ = KKKKK K K K 2220 0 0000 Q , kde 0,0 >µ>λ jsou konstanty. Tento řetězec se nazývá lineární proces vzniku a zániku s intenzitami λ, µ. (Intenzity přechodu jsou lineárními funkcemi pořadí stavů, v nichž byl proces v předešlém okamžiku, tj. λj = jλ, j = 0, 1, 2, … µj = jµ, j = 1, 2, …) 16.2. Věta: Věta o absolutních pravděpodobnostech v lineárním procesu vzniku a zániku Nechť { }Tt;Xt ∈ je lineární proces vzniku a zániku s intenzitami λ, µ. Pak absolutní pravděpodobnosti jsou dány vztahy: Pro λ = µ: ( ) t1 t tp0 λ+ λ = , ( ) ( ) ( ) K,2,1j, t1 t tp 1j 1j j = λ+ λ = + − Pro λ ≠ µ zavedeme označení ( ) ( ) ( )t t e e1 tA µ−λ µ−λ λ−µ − = . Pak ( ) ( )tAtp0 µ= , ( ) ( )[ ] ( )[ ] ( )[ ] K,2,1j,tAtA1tA1tp 1j j =λµ−λ−= − Důkaz: Uvedené vztahy získáme řešením systému evolučních diferenciálních rovnic. 16.3. Důsledek: Pravděpodobnost zániku Pravděpodobnost, že soubor objektů v čase t zanikne, je ( ) ( ) ( )    µ≠λµ µ=λ λ+ λ === protA pro t1 t tp0XP 0t . Limitním přechodem pro t → ∞ zjistíme, že limitní pravděpodobnost zániku je ( )     µ>λ λ µ µ≤λ = ∞→ pro pro1 tplim 0 t . 16.4. Věta: Střední hodnota a rozptyl rozsahu souboru Nechť { }Tt;Xt ∈ je lineární proces vzniku a zániku s intenzitami λ, µ. Předpokládejme, že v čase t = 0 má soubor rozsah k0 ≥ 1. Pak pro střední hodnotu a rozptyl rozsahu souboru v čase t > 0 platí: Pro λ = µ: ( ) ( ) tk2XD,kXE 0t0t λ== . Pro λ ≠ µ: ( ) ( ) ( ) ( ) ( ) [ ]1eekXD,ekXE t-t- 0t t- 0t − µ−λ µ+λ == µλµλµλ . Důkaz: Nebudeme provádět. 16.5. Poznámka: Limitním přechodem pro t → ∞ zjistíme, že limitní střední hodnota rozsahu souboru je ( )      µ>λ∞ µ<λ µ=λ = ∞→ pro pro0 prok XElim 0 t t 16.6. Příklad: Nechť { }Tt;Xt ∈ je lineární proces vzniku a zániku s množinou stavů J = {0, 1, 2}, intenzitou vzniku λ = 0,01 a intenzitou zániku µ = 0,001. a) Jaká je pravděpodobnost, že proces zanikne v čase t = 100? b) Jaká je limitní pravděpodobnost zániku? Řešení: Ad a) Podle důsledku 16.3. ( ) ( ) ( )t t 0 e e1 tp µ−λ µ−λ λ−µ − µ= , tedy ( ) 0619,0 e01,0001,0 e1 001,0100p 9,0 9,0 0 = − − = Pravděpodobnost, že v čase t = 100 proces zanikne, je 6,2 %. Ad b) ( ) 1,0 01,0 001,0 tplim 0t == λ µ =∞→ Limitní pravděpodobnost zániku je 10 %. 16.7. Příklad: V příkladu 16.6. předpokládejme, že v čase t = 0 soubor obsahoval 20 objektů. Jaká je střední hodnota a směrodatná odchylka rozsahu souboru v čase t = 100? Řešení: ( ) ( ) ( ) ( ) ( ) [ ] ( ) 3679,91ee 9 11 201eekXD49,1921,20eekXE 9,09,0t-t- 0t 0,9t- 0t =−=− µ−λ µ+λ ==== µλµλµλ 16.8. Poznámka: Vlastnosti lineárního procesu vzniku a zániku lze v MATLABu ilustrovat pomocí funkce lpvz.m: function [M,S,P]=lpvz(lambda, mi, tau,k0) % funkce lpvz ilustruje vlastnosti linearniho procesu vzniku a zaniku % syntaxe: [M,S,P]=lpvz(lambda, mi, tau,k0) % vstupni parametry: % lambda je intenzita vzniku, mi intenzita zaniku % tau je konecny cas, k0 rozsah souboru v case t=0 % vystupni parametry: % M je vektor strednich hodnot rozsahu souboru v case t=0 az tau % S je vektor smerodatnych odchylek rozsahu souboru v case t=0 az tau % P je pravdepodobnost zaniku souboru v case t=0 az tau t=[0:tau]'; M=k0*exp((lambda-mi).*t); S=sqrt(k0*((lambda+mi)/(lambda-mi))*exp((lambda-mi).*t).*(exp((lambda-mi).*t)-1)); P=mi*((1-exp((lambda-mi).*t)))./(mi-lambda*exp((lambda-mi).*t)); plot(t,M) figure plot(t,S) figure plot(t,P) Použijeme tuto funkci pro proces popsaný v př. 16.6. a 16.7. lambda=0.01;mi=0.001;tau=100;k0=20; Dostaneme graf závislosti středních hodnot rozsahu souboru na čase 0 10 20 30 40 50 60 70 80 90 100 20 25 30 35 40 45 50 graf závislosti směrodatných odchylek rozsahu souboru na čase 0 10 20 30 40 50 60 70 80 90 100 0 1 2 3 4 5 6 7 8 9 10 graf závislosti pravděpodobnosti zániku na čase 0 10 20 30 40 50 60 70 80 90 100 0 0.01 0.02 0.03 0.04 0.05 0.06 0.07 16.9. Definice: Definice Erlangova procesu Nechť { }Tt;Xt ∈ je proces vzniku a zániku, který má konečnou množinu stavů J = {0, 1, 2, …, m}, vektor počátečních pravděpodobností p(0) = (1, 0, …, 0) a matici intenzit přechodu ( ) ( ) ( ) ( )( )                     µ−µ λλ+µ−−µ− λµ+λ−µ λµ+λ−µ λλ− = mm00000 1m1m0000 000220 0000 00000 K K KKKKKKKK K K K Q , kde 0>λ a 0>µ jsou konstanty. Tento řetězec se nazývá Erlangův proces. Vysvětlení: Erlangův proces charakterizuje např. provoz telefonní ústředny, do níž vede m linek. Nechť Xt je počet obsazených linek v okamžiku t, Xt = 0, 1, …, m. Počet obsazených linek se v krátkém časovém intervalu můžeme změnit jen o jedničku. Intenzita nové výzvy je λ, zatímco intenzita ukončování hovoru je úměrná momentálnímu počtu obsazených linek s koeficientem úměrnosti µ. Výzva, která přichází k plně obsazené telefonní ústředně, se ztrácí. Přechodový diagram: Agner Krarup Erlang (1878 – 1929) byl dánský matematik, jako první se vědecky zabýval problematikou telefonních sítí. Pracoval 20 let pro Kodaňskou telefonní společnost. Na jeho počest byl zaveden 1 erlang jako jednotka telefonního provozu. 16.10. Věta: Věta o stacionárním rozložení Erlangova procesu Stacionární rozložení Erlangova procesu je dáno vzorcem: m,,1,0j, !k 1 !j 1 a m 0k k j j K=       µ λ       µ λ = ∑= . Stacionární rozložení existuje vždy. Důkaz: Hledáme řešení systému aQ = 0, 1a m 0j j =∑= . ( ) ( ) ( ) ( ) ( )( ) ( )0,,0,0 mm00000 1m1m0000 000220 0000 00000 a,,a,a m10 K K K KKKKKKKK K K K K =                     µ−µ λλ+µ−−µ− λµ+λ−µ λµ+λ−µ λλ− 0110 aa0aa µ λ =⇒=µ+λ ( ) ( ) 1m,,2,1j,a j a 1j 1 a0a1jaja j1j1j1jj1j −=      µ µ+λ + µ λ − + =⇒=µ++µµ+λ−λ −++− K 0ma 1m =µ−λ − Nechť j = 1: 0 2 00102 a !2 1 aa 2 1 aa 2 1 a       µ λ =      µ λ ⋅ µ µ+λ + µ λ −=      µ µ+λ + µ λ −= . Obecně: m,,2,1j,a !j 1 a 0 j j K=      µ λ = . Přitom ∑ ∑∑ = ==       µ λ =⇒      µ λ == m 0j j0 m 0j 0 j m 0j j !j 1 1 aa !j 1 a1 . Celkem: m,,1,0j, !k 1 !j 1 a m 0k k j j K=       µ λ       µ λ = ∑= 16.11. Příklad: V dílně pracují tři opraváři. Do této dílny přichází v průměru 24 zákazníků za 1 h. Jestliže příchozí zákazník najde volného opraváře, je k němu přiřazen a začne oprava. Jestliže není žádný opravář volný, zákazník nečeká a odchází. Předpokládáme, že doba opravy se řídí exponenciálním rozložením, přičemž průměrná doba opravy je 5 min. a) Jakou procentuální část pracovní doby jsou opraváři nevyužiti? b) Kolik procent potenciálních zákazníků je odmítnuto? c) Jaký je průměrný počet obsluhujících opravářů? Řešení: Zavedeme Erlangův proces { }Tt;Xt ∈ , kde Xt je počet obsluhujících opravářů v okamžiku t, Xt = 0, 1, 2, 3. Přitom 3m,2,12 12 1 1 ,24 == µ λ ==µ=λ Ad a) 158,0 19 3 2 6 1 2 2 1 21 2 !j 1 1 !j 1 1 a 1 32 3 0j jm 0j j0 ==      +++==       µ λ = − = = ∑∑ , tedy 15,8 % pracovní doby opraváři nepracují. Ad b) Zákazník bude odmítnut, když budou všichni tři opraváři pracovat. Počítáme 211,0 19 3 8 6 1 a !3 1 a 0 3 3 =⋅⋅=      µ λ = , tedy 21,1 % potenciálních zákazníků bude odmítnuto. Ad c) Vypočítáme zbylé složky stacionárního rozložení a = (a0, a1, a2, a3): 19 6 aa 01 = µ λ = , 19 6 a !2 1 a 0 2 2 =      µ λ = Střední hodnota počtu obsluhujících opravářů: 579,1 19 30 19 12 19 12 19 6 a3a2aja 321 3 0j j ==++=++=∑= . 16.12. Poznámka: Stacionární rozložení Erlangova procesu můžeme vypočítat v MATLABu pomocí funkce Erlang.m: function [a]=Erlang(m,lambda,mi) % funkce na vypocet stacionarniho rozlozeni Erlangova procesu % syntaxe: [a]=Erlang(m,lambda,mi) % vstupni parametry: % m ... nejvyssi poradove cislo v mnozine stavu % lambda ... intenzita vzniku % lambda ... intenzita zaniku % vystupni parametr % a ... vektor stacionarnich pravdepodobnosti a0=1/sum(((lambda/mi).^(0:m)).*(1./(factorial(0:m)))); a=((lambda/mi).^(1:m)).*(1./(factorial(1:m)))*a0; a=[a0 a]; Použijeme tuto funkci pro řešení příkladu 16.11.: m=3;lambda=24;mi=12; a=Erlang(m,lambda,mi) Dostaneme výsledek: a = 0.1579 0.3158 0.3158 0.2105 16.13. Definice: Definice procesu vzniku Nechť { }Tt;Xt ∈ je homogenní markovský řetězec se spojitým časem, který má množinu stavů J = {0, 1, 2, …}, vektor počátečních pravděpodobností p(0) = (1, 0, …) a matici intenzit přechodu             λλ− λλ− λλ− = KKKKK K K K 22 11 00 00 00 00 Q , kde K0,1,2,j,0j =>λ jsou konstanty. Tento řetězec se nazývá proces vzniku (resp. množení) s intenzitami K0,1,2,j,0j =>λ Vysvětlení: Proces vzniku popisuje kolísání rozsahu souboru objektů v čase, přičemž objekty mohou do souboru pouze vstupvat a nemohou vystupovat. Poissonův proces je speciálním případem procesu vzniku, kde λj = λ, j = 0, 1, 2, … Přechodový diagram: . 16.14. Věta: Absolutní pravděpodobnosti a pravděpodobnosti přechodu v procesu vzniku Nechť { }Tt;Xt ∈ je proces vzniku s intenzitami K0,1,2,j,0j =>λ Pak platí: a) Absolutní pravděpodobnosti jsou dány vztahy: ( ) t 0 0 etp λ− = ( ) ( ) ( ) ( )( ) ( )∑= +− λ− − λ−λ⋅⋅λ−λλ−λ⋅⋅λ−λ λ⋅⋅λλ−= j 0i ji1ii1ii0i t 1j10 j j i e 1tp KK K , j = 1, 2, … b) Pravděpodobnosti přechodu jsou dány vztahy: ( )      λ=λλ λ≠λ− λ−λ λ = + λ− + λ−λ− ++ + prote proee p j1j t j j1j tt j1j j 1j,j j 1jj Důkaz: Ad a) Plyne ze systému evolučních diferenciálních rovnic ( ) ( )Qpp tt' = s počáteční podmínkou p(0) = (1, 0, 0, …) Ad b) Plyne ze systému Kolmogorovových prospektivních diferenciálních rovnic ( ) ( )QPP tt' = s počáteční podmínkou P(0) = I 16.15. Příklad: Nechť v procesu vzniku jsou intenzity vzniku dány vztahem λj = (N + j)λ, kde N je dané přirozené číslo a λ > 0 je konstanta. Odvoďte vektor absolutních pravděpodobností. Řešení: ( ) tNt 0 eetp 0 λ−λ− == ( ) ( ) ( ) ( )( ) ( )∑= +− λ− − λ−λ⋅⋅λ−λλ−λ⋅⋅λ−λ λ⋅⋅λλ−= j 0i ji1ii1ii0i t 1j10 j j i e 1tp KK K = =( ) ( ) ( ) ( ) ( )( ) ( ) ( )( ) ( ) ( )( ) ( ) ( )( )∑= λ+− λ+−λ+⋅⋅λ++−λ+λ−+−λ+⋅⋅λ−λ+ −++λ− j 0i tiN jj jNiN1iNiN1iNiNNiN e 1jN1NN1 KK K =( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )∑∑ = λ− λ− = λ+− −−λ− −+ λ−= λ−λ−λλ−λ− −+ λ− j 0i j ti tN j jj j 0i tiN jj !ij!i1 e e 1 !1N !1jN 1 ji11ii e !1N !1jN 1 KK = = ( ) ( ) ( ) ( ) ( )jttN j 0i ijittN e1e j 1jN 1e i j !j 1 e !1N !1jN λ−λ− = −λ−λ− −      −+ =−      − −+ ∑ Znamená to, že Xt ~ Ps(N, e-λt ). 16.16. Definice: Definice lineárního procesu vzniku Nechť v procesu vzniku jsou intenzity vzniku úměrné rozsahu souboru, tj. λj = jλ, j = 1, 2, …, λ > 0. Předpokládejme, že na začátku je v souboru jeden objekt. Matice intenzit přechodu má tedy tvar             λλ− λλ− λλ− = KKKKK K K K 330¨0 0220 00 Q . Tento proces se nazývá lineární proces vzniku (Yuleův proces). 16.17. Věta: Absolutní pravděpodobnosti v Yuleově procesu Nechť { }Tt;Xt ∈ je Yuleův proces s intenzitou vzniku λ > 0. Pak absolutní pravděpodobnosti jsou dány vzorcem: ( ) ( ) K,2,1j,ee1tp t1jt j =−= λ−−λ− Znamená to, že rozsah souboru v čase t zmenšený o 1 se řídí rozložením Ge(e-λt ). Důkaz: Plyne z příkladu 16.7., kde položíme N = 1. 16.18. Věta: Střední hodnota a rozptyl v Yuleově procesu V Yuleově procesu je střední hodnota rozsahu souboru v čase t rovna eλt a rozptyl eλt (eλt – 1). Důkaz: Plyne z vlastností geometrického rozložení. (Proces vzniku i Yuleův proces mají v praxi jen malý význam, protože v reálném světě neexistují populace, jejichž jedinci nepodléhají zániku. Nicméně, uvedených procesů je možno použít např. k modelování krátkodobého růstu kolonie bakterií v prostředí s dostatkem živin.) 16.19. Příklad: Nechť je dán Yuleův proces s parametrem λ = 2,34. a) Jaká je pravděpodobnost, že v čase t = 0,6 bude rozsah souboru nejvýše 5? b) Vypočtěte střední hodnotu a směrodatnou odchylku rozsahu souboru v čase t = 0,2. Řešení: Ad a) ( ) ( ) K,2,1j,ee1tp t1jt j =−= λ−−λ− ( ) ( ) ( ) 7557,0ee16,0p5XP 5 0j 6,034,21j6,034,2 5 0j j6,0 =−==≤ ∑∑ = ⋅−−⋅− = Ad b) ( ) t t eXE λ = , ( ) ( )1eeXD tt t −= λλ ( ) 5968,1eXE 6,034,2 2,0 == ⋅ , ( ) ( ) 9762,01eeXD 6,034,26,034,2 2,0 =−= ⋅⋅ 16.20. Definice: Definice procesu zániku Nechť { }Tt;Xt ∈ je HMŘ se spojitým časem, který má množinu stavů J = {0, 1, 2, …, N}, vektor počátečních pravděpodobností p(0) = (0, 0, …, 1) a matici intenzit přechodu                 µ−µ µ−µ µ−µ = NN 22 11 0000 0000 0000 000000 K KKKKKKK K K K Q , kde N,,2,1j,0j K=>µ jsou konstanty. Tento proces se nazývá proces zániku. Vysvětlení: Na počátku má soubor N objektů. Objekty mohou ze souboru jenom vystupovat, přičemž intenzita výstupu ze souboru rozsahu j je µj, j = 1, 2, …, N. Proces končí zánikem souboru. Přechodový diagram: 16.21. Definice: Definice lineárního procesu zániku Nechť v procesu zániku jsou intenzity zániku úměrné rozsahu souboru, tj. µj = jµ, j = 0, 1, …, N, µ > 0. Matice intenzit přechodu má tedy tvar:                 µ−µ µ−µ µ−µ = NN0000 000220 0000 000000 K KKKKKKK K K K Q . Tento proces se nazývá lineární proces zániku. 16.22. Věta: Absolutní pravděpodobnosti v lineárním procesu zániku Nechť { }Tt;Xt ∈ je lineární proces zániku s intenzitou zániku µ > 0. Pak absolutní pravděpodobnosti jsou dány vzorcem: ( ) ( ) ( ) N,,1,0j,e1e j N tp jNtjt j K=−      = −µ−µ− . Znamená to, že rozsah souboru v čase t se řídí rozložením Bi(N, e-µt ). Důkaz: Plyne z evolučních diferenciálních rovnic ( ) ( )Qpp tt' = s počáteční podmínkou p(0) = (0, 0, …, 1). 16.23. Věta: Střední hodnota a rozptyl v lineárním procesu zániku V lineárním procesu zániku je střední hodnota rozsahu souboru v čase t rovna Ne-µt a rozptyl Ne-µt (1- e-µt ) . Důkaz: Plyne z vlastností binomického rozložení.