等价类空间中离散时间有限程排它过程的若干性质.pdfVIP

维普资讯 258 应 用 数 学 2008 应 用 数 学 MATHEMATICA APPLICATA 2008，21(2)：258～264 等价类空间中离散时间 有限程排它过程的若干性质 申广君，祝东进 (安徽师范大学数学计算机科学学院，安徽 芜湖 241000) 摘要：本文利用李雅谱诺夫函数给出了等价类空间中离散时间有限程排它过程遍历、 暂留的判别准则，推广、改进该模型在紧邻情形下的相应结果． 关键词：有限程排它过程 ；遍历；暂留；马氏链；李雅谱诺夫函数 中图分类号 ：0211．62 AMS(2000)主题分类 ：60K35 文献标识码：A 文章编号 ：1001—9847(2008)02—0258—07 1．模型及主要结果 排它过程是由美 国数学家 Spitzer于 1970年首先提出的，它不同于 自旋系统 ，该模型是 由 两个位置 z，Y∈Z上的状态交换的概率速度 p(x，)决定的．这里 p(x，)≥ 0，Vz，YEZ， ∑p(z，)一1，z表示整数集．为了本文研究的需要，首先给出{o，1)状态空间中带有参数q 的有限程排它过程． 称马尔可夫过程 E {0，1)，t∈[O，+。。)为带有参数q的有限程排它过程 ，如果它的母 元 满足： -厂(77)一∑p(x，3，)77(z)(1—17())[厂()一厂(17)]， (1) 其中 rq’ — z+ 1， pcz， ： {Ip；2，：Y一三z二一2，： 10， 其它． 这里 f是有限柱函数 ，0 p-，pz，q 1，p-+pz+q： 1．称 E {O，1)为粒子的组态，7／(x) = l可解释为在 组态中z位置上有一个粒子；T／(x)一。可解释为在 组态中z位置上没有 粒子．且 f ()， — z， 铀 (2)一lr／(x)， —y， 【()， ≠z，Y． * 收稿 日期 ：2007—06—19 ． 基金项 目：安徽高校省级 自然科学研究项 目(KJ2007B184) 作者简介：申广君，男，汉 ，安徽人 ．讲师，研究方 向：无穷粒子系统 维普资讯 第 2期 申广君等 ：等价类空问中离散时间有限程排它过程 的若干性质 259 由[1]知上述定义的有限程排它过程是存在的． 对 {0，1z上排它过程的研究已得到相当丰富的结果，可参见[4～10]等．本文主要讨论等 价类空间中离散时间有限程排它过程 ∈D的若干性质． 定义 1 如果对任意zEz存在yEz使得 叩(z)一 叩(z+ )，那么称两组态 叩与 叩是 等价的．记作 叩～ 叩． 令 尘 D／～ 表示由等价关系 ～诱导的D中元素等价类的集合．这里 D一 {叩E {0，1)：存在 i。，。使得 当i≤ i。时，r／(i)一 1；当J≥ o时，叩()一0)． (2) 显然 D是可数集