Professional Documents
Culture Documents
Przystpujc do analizy ergodycznoci procesw Markowa cigych w czasie, na wstpie naley ustali
odpowiednie zaoenia, ktre s niezbdne do jej zdefiniowania. Zatem zaoono, e ( pt ) t jest
funkcj przejcia pomidzy jednorodnymi procesami Markowa ( Xt , P) na przestrzeni ( , A) .
Ponadto przyjto rwnie, e ( X t )t jest kanonicznym procesem Markowa okrelonym na
przestrzeniach kanonicznych =D ( [ 0, ) , S ) , A= ( X t :t ) , oraz warto parametru
jest umiejscowiona w funkcji X 0 w przestrzeni euklidesowej P . Z tym, e wielko
jest wyznaczana z rozkadu stacjonarnego ( pt ) . Zatem:
v. Dla kadego A, B B
t
1
P [ X A , X s B ] ds , ( A) ( B)t
t 0 0
vi. Dla kadego B B
t
1
p (x , B)ds , ( B)t
t 0 s
vii. Dla kadego B B z warunkiem (B)> 0
P [ T B < ] >0, x S
viii. Dla kadego B B takiego, e pt 1B =1B dla kadego t 0
( B ) {0,1 }
ix. Kada funkcja h F b ( S) speniajca warunek pt h=h , dla kadego t 0 jest staa
dla zmierzonej wielkoci .
Definicja (Wasno Fellera): Przejcie wielkoci p w ( S , B ) nazywane jest silna wasnoci Fellera
jeli f jest funkcj cig dla kadej zmierzonej funkcji f : S R .
w nastpstwie t procesu pt 1B jest funkcj cig. Std do powyej przedstawionej zalenoci dla
parametru przyj mona, e pt 1B 0 oraz pt 1B 1 . Wtedy
( B )= ( 1B ) = ( p t 1B ) {0,1 }