空间上的x,x,a上的转移函数.docxVIP

空间上的x,x,a上的转移函数 x是一个尽可能多的可数据集，a是上个离散代数，（，b）是一个任何可测空间，{p（）、}是（x，a）上的转移函数家族，假设对aa，p（，，a）是ba，定义z是总数，n是非负总数，r是实质性集。概率空间，x0=（xn）n0x0=（xn）n0，=（n）nz，定义为（，f，p）中的随机排列，满足以下要求。 P(X0∈A?ζ)=Ρ(X0∈A|?ζ0-∞)a.s.A∈Aζ?)=P(X0∈A|ζ?0?∞)a.s.A∈A(1) P(Xn+1∈A?Xn0??ζ)=Ρ(ζn;Xn,A) a.s.A∈A(2) 则称?X为随机环境?ζ中的马氏链(记为MCRE),称?ζ为环境序列,X是状态空间,Θ为环境空间. 以下总假定π是空间(Θz,Bz)上的平稳分布,即对(Θz,Bz)上的推移算子T:(Τ?θ)n=θn+1,n∈Ζ,都有πT-1(B)=π(B),?B∈Bz.设k是(X,A)上的计数测度,E=X×Θz,ε=A×Bz,μ=k×π,则(E,ε,μ)为σ-有限的测度空间,定义其上的转移函数:?(x,?θ)∈E,F∈ε,Ρ(x,?θ;F)=∑y∈XΡ(θ0;x,y)Ι(F)y(Τ?θ),其中(F)y={?θ:(y,?θ)∈F},另记[F]x={(x,?θ):?θ∈(F)x}.令Pf(z)=∫P(z,du)f(u),?f∈L∞(E,ε,μ) ,则P为L∞上的压缩算子,从而(E,ε,μ,P)为一Hopf链. 设F∈E,记L(x,?θ;F)=Ρx,?θ∞∪n=1{(Xn,Τn?θ)∈F};Q(x,?θ;F)=Ρ(x,?θ)∞∪n=1∞∪m=n{(Xm,Τm?θ)∈F};F(L;α)={(x,?θ)∶L(x,?θ；F)=α};F(Q;α)={(x,?θ):Q(x,?θ;F)=α}. 记马氏双链的保守集C={(x,?θ):∞∑k=1Ρ(θ-k,?,θ-1;x,x)=∞}.无特别说明外,沿用文献中的记号及定义. 引理1(i) F∈E 是正则本质集当目仅当μ(F∩C)0;(ii) μ(F∩C)0,则Q(x,?θ;F)=1;μ?a?e(x,?θ)∈?F,其中?F是包含F∩C的最小闭集. 引理2若x是正则本质的且E不可分解,则每个状态可达x. 定理1 E不可分解且C≠?,则状态空间中至少存在一点x是强常返的. 证明因为C≠?,故空间中至少存在一点x满足π(C)x0,于是μ([E]x∩C)=μ([C]x)=π(C)x0,由引理1知x是正则本质的,下证x为强常返的. 由于E不可分解,由引理2知每个状态可达x,即?y∈X都有L(y,?θ;[E]x)＞0,π?a?e??θ?令m(?θ)=miny∈XL(y,?θ;[E]x),则m0对π?a?e??θ成立,从而存在Bn↑Θz,使得πBn→1(n→∞)且inf?θ∈Bnm(?θ)＞0,?n于是{Τk?θ∈Bn?i?o?}?{Ζn=xi?o?},从而: Q(y,?θ;[E]x)≥π{Τk?θ∈Bni?o?}≥limksupπ(Τ-kBn)=πBn→1;μ?a?e?(y,?θ);故x为强常返的. 推论1 E不可分解且C=E,则状态空间中的每一点都是强常返的. 引理3状态x是强常返的当且仅当π{?θ:L(x,?θ;[E]x)=1}=1. 引理4设状态x是正则本质的且x可达状态y,则y是正则本质的. 定理2 E不可分解且C≠?,则x为正则本质的当且仅当x为强常返的. 证明由定理1的证明过程可知必要性成立.反之,设x为强常返的,由引理3知[E]x(L;1)≠?,又因为E不可分解,所以[E]x(L;0)=?.因为C≠?,从定理1的证明知至少存在一点y为正则本质的.由[E]x(L;0)=?知L(y,?θ;[E]x)＞0?π-a?e??θ.根据引理4知x是正则本质的. 引理5设0≤f∈L∞,若Pf≥f,则在保守集C上Pf=f. 引理6 若C≠?且E不可分解,则C是最小闭集. 证明因为C非空即闭,故C为闭集.设A?C,A为闭集,则PIA≥IA.又0≤IA∈L∞,故C由引理5知PIA=IA,于是PIC\A=PIC-PIA=IC-IA=IC\A,若A≠C,则C\A为闭集且A∩(C\A)=?,这与E不可分解矛盾,故C为最小闭集. 引理7对任意的F∈E,F(L;0),F(Q;0),F(Q,1)或为空集或为闭集. 定理3 E不可分解且C≠?,则?F?C有L(x,?θ;F)＞0?μ?a?e?(x,?θ)∈C. 证明若F=C,则由C为闭集知结论成立. 假设F≠C,F?C,则由引理6知C为最小闭集. 由引理7知F(L;0)非空即闭,故C∩F(L;0)非空即闭.若C∩F(L;0)为闭集,则由C是最小闭集知C∩F(L;0)=C,即?(x,?θ)∈C,都有L(x,?θ;F)=0,从而对?(x,?θ)∈C\F也有L(x,?θ;F)=0,由C为闭集