广义生灭过程的对偶理论及其相应的算子半群.pdfVIP

广义生灭过程的对偶理论 及其相应的算子半群 应用数学专业硕士研究生 赵海霞 指导教师 李扬荣教授 摘要 关于Markov过程理论的研究，众多数学家们已得到了一系列完善的普遍性理论．本 文着力于将这些现有的结论应用到具体的q一矩阵一一广义生灭矩阵Q上去，得到广义 生灭矩阵Q在一些性质上具体的数字刻画，并籍此讨论了广义生灭矩阵Q的最小O一 函数的性质．进一步地，我们求出了广义生灭矩阵的对偶q一矩阵驴，除了讨论Q’及 最小驴一函数的一些性质外，我们还考虑了最小Q一函数与最小驴一函数之间可能存 在的联系．最后，结合线性算子半群理论，我们讨论了两类由广义生灭矩阵Q演绎而得 的算子半群．为叙述简便起见，本文至此将广义生灭矩阵Q简称为Q，广义生灭矩阵的 对偶q一矩阵Q．简称为驴． 我们在第二章中主要讨论了0的一些具体性质，如单调性、对偶性、FRR性并得到 如下结果： 命题2．1．1 Q是单调的当且仅当{‰)器1为单调递减数列． 命题2．1．2 Q是对偶的当且仅当{‰)器1为单调递减数列． 命题2．1．3Q是FRR的当且仅当lim‰=0． 我们还证明了Q零入等价于0强零入．这是个较好的结论，因为对于一般的q一矩 阵而言，它在foo内零出等价于它在恁内零出，故可统称为零出；但它在2}内零入不一 定就能保证它在fl内也是零入的，即一个q一矩阵是零入的，但它可能不是强零入的． 广义生灭矩阵Q在这方面则具备了较好的性质，由此我们结合Q强零入和零出的数字刻 画，得出了最小Q一函数单调性、对偶性、FRR性的数字刻画．以下是第二章的主要结 果， 命题2．1．5Q零入等价于Q强零入． 命题2．1．7设Pn0，n=1…2…且{％)巽1为有界数列，则Q是强零入的当且仅 #n+1．an pn+1．-．．q 当S=+oo．其中，s=登(矗i+上+…+址)．n=l 其中，R引oc石1+括¨觥)，五=至(舞+糍¨雠)． 定理2．2．2Q的最小口一函数是单调的当且仅当(h}器l单调递减且R=+co． 定理2．2．3Q的最小Q一函数是某单调q一函数的对偶当且仅当(1){‰’器l单调递 减且(2)(a)limh=0，s=+o。或(b)R+oo． 定理2．2．4设{‰)黯l单调递减，则Q的最小q一函数是FRR的当且仅当S=+oo 或R+∞ 我们在第三章中求出了广义生灭矩阵Q的对偶q一矩阵驴，讨论了口’的一些基本 性质．我们发现在某些性质上，驴的结论逊于Q的，如保守性；在某些性质上，驴的 结论则较0的要好，如对偶性．FRR性；而在关于强零入，零出的数字刻画方面，二者 的结论存在着巧妙而整齐的联系t 命题3．1．1 Q．是保守的当且仅当，旦‰‰=0． 命题3．1．2驴是对偶的． 命题3．1．3驴是单调的当且仅当0’是保守的． 命题3．1．4驴是FRR的． 命题3．1．5驴零入等价于铲强零入． 命题3．1．6设h0，n=1，2，…，且{‰)器I为有界数列，则Q’是强零入的当且 仅当R=+oo． 命题3．1．7设P,n0，n=1，2，…，且{‰)黯l为有界数列，则驴是零出的当且仅 当S=+∞． 显然，当{‰)器l有界时，Q+强零入等价于Q零出，驴零出等价于O强零入．此 外，我们还讨论了最小驴一函数的一些基本性质， 定理3．1．10口的最小驴一函数是单调的当且仅当lim‰=0且S=+oo． S+oo． 最后，我们发现在一定条件下，最小Q一函数与最小驴一函数存在如下联系； 定理3．1．12当{协}罂1单调递减趋于0且R=+o。时，最小Q一函数的对偶是最小 0+一函数． 我们在第四章中分别探讨了由Q定义而得的两个算子口o、西在co、fl空间上生 成正压缩岛半群的充要条件，同时也以线性算子半群理论为工具甜论了最小Q一函数 的FRR性．我们得到如下主要结论， 定理4．1．1设{h)器l为递减数列，则下述(a)(b)(c)相互等价， II (a)Qo在co上生成正压缩岛半群； (b)最小0一函数是F