广义分支过程及其相应的Markov积分半群

来源 :西南大学 | 被引量 : 0次 | 上传用户:blyd831104
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
关于Markov过程理论的研究,历来有概率方法和分析方法。近年来,用分析的方法来研究Markov过程,数学家们已取得一系列成果。本文着力于使用分析的方法,以算子半群理论为工具,先系统的研究了广义分支矩阵Q及其转移函数F(t)的性质,尤其是广义分支矩阵Q在l∞上的性质。进一步证明了广义分支矩阵Q的导出算子Ql∞在l∞空间上生成Q—积分半群和导出算子—Qol1在l1空间上生成正压缩半群,并研究了相应的Q—积分半群和正压缩半群的一些性质。 广义分支过程是一类重要的时间连续Markov链,状态空间E=Z+={0,1,2,...},其q—矩阵Q=(qij;i,J∈E)定义为: 为了系统的了解广义分支过程,本文在第二章给出了矩阵Q及其最小Q—函数F(t)的一些基本性质,定理2.1.1给出了矩阵Q的次随机单调性、正则性及零流出,而定理2.1.2则给出了最小Q—函数.F(t)唯一且忠实性,对偶性。结果如下: 定理2.1.1如果广义分支q—矩阵Q满足下列条件之一 (ⅰ)θ>1,.Bˊ(1)≤0 (ⅱ)θ≤1, Bˊ(1)<+∞ (ⅲ)θ≤1,B′(1)=+∞∫1ε(1—s)θ-1/—B(s)dx=+∞这里q是方程B(s)=0的一个根,且0<q<1,ε∈(q,1).那么 (1)广义分支q—矩阵Q是次随机单调的; (2)广义分支q—矩阵Q是正则的; (3)广义分支q—矩阵Q是零流出的; (4)广义分支q—矩阵Q是非对偶的。 广义分支矩阵的最小Q—函数F(t)具有如下性质: 定理2.1.2如果广义分支q—矩阵Q满足下列条件之一 (ⅰ)θ>1, B′(1)≤0 (ⅱ)θ≤1, B′(1)<+∞ (ⅲ)θ≤1,B′(1)=+∞.∫1ε(1—s)θ-1/—B(s)dx=+∞这里q是方程B(s)=0的一个根,且0<q<1,ε∈(q,1).设广义分支q—矩阵Q的最小Q—函数为F(t). 那么 (1)F(t)是唯一且忠实的; (2)F(t)是非随机单调的; (3)F(t)是对偶的。 在第三章中,我们分别给出了广义分支矩阵Q的导出算子Ql∞,—Qol1与Qc0在l∞,l1,c0空间上的一些性质,定理3.1.1给出了λI—Ql∞在l∞单射与满射成立的条件及Ql∞的耗散性与闭性满足的条件,定理3.1.2得到了λI——Qol1在l1单射与满射成立的条件及—Qol1的耗散性满足的条件,定理3,1.3我们则验证了Qc0在c0上耗散性与能闭性。结果如下: 定理3.1.1当定理2.1.1中三个条件中的任何一个成立时, (1)对(A)λ>0,λI—Ql∞在l∞空间上是单射; (2)对(A)λ>0,λI—Ql∞在l∞空间上是满射; (3)Ql∞是耗散算子; (4)Ql∞是闭算子。 定理3.1.2当定理2.1.1中三个条件中的任何一个成立时, (1)Qol1在l1空间上是稠定线性算子; (2)Qol1是耗散算子,Qol1是能闭算子,—Qol1是耗散算子; (3)对(A)λ>0,λI——Qol1在l1空间上是单射; (4)对()λ>0,λI——Qol1在l1空间上是满射. 定理3.1.3当定理2.1.1中三个条件中的任何一个成立时, (1)Oc0在c0空间上是稠定线性算子; (2)Qc0是耗散算子; (3)Qc0在c0空间上是能闭的线性算子; (4)对()λ>0,λI—Qc0在c0空间上是单射. 在[5]中Y.R.Li着重讨论了转移函数在l∞上的性质,得到了一般的无界q—矩阵Q在l∞上生成一次正压缩积分半群。第四章中我们在Y.R.Li[5]的基础上对广义分支矩阵Q做了一些限制,首先得到了Q导出的算子Ql∞在l∞空间上生成一次正压缩积分半群的充要条件及生成积分Q—半群的条件。进一步的我们研究了Q导出的算子—Qol1在l1空间上生成正压缩半群的条件。我们得到如下结果: 定理4.1.1广义分支矩阵Ql∞在空间l∞上生成一正的压缩积分半群T(t)=(Tij(t);i,j∈Z+)的充要条件是定理2.1.1中三个条件中的任何一个成立.此时(Tˊij(t))=P(t)=(pij(t)). 定理4.1.2当定理2.1.1中三个条件中的任何一个成立时,Ql∞在空间l∞上生成的压缩积分半群T(t)是积分Q—半群。 定理4.1.3当定理2.1.1中三个条件中的任何一个成立时,—Qol1在l1空间上生成正压缩半群S(t)=(Sij(t);i,j∈E)且X(t)=F(t). 第五章中我们在第四章基础上,进一步得出了广义分支矩阵Ql∞在空间l∞上生成一正的压缩积分半群的次随机单凋性和Feller性。结果如下. 定理5.1.1广义分支矩阵生成的积分半群T(t)是次随机单调的. 定理5.1.2如果T(t)是广义分支q—矩阵生成的正压缩积分半群,那么(Tˊij(t))=P(y)是Feller的,T(t)是Feller的,即,对于j∈Z+,t>0,有limi→∞Tij(t)=0.
其他文献
作为一门新科学的混沌学(Chaology),一般认为始于李天岩和约克(Ybrke)1975年发表于《美国数学月刊》的论文“周期三蕴含混沌”,因为该文中“混沌”(Chaos)首次被作为科学名词使
本文是主要介绍具有Holling—Ⅳ型非单调响应函数的食饵—捕食者系统分歧情况的综述报告。 分别介绍了响应函数不具有时滞的食饵—捕食者系统文中对如上三个系统的Hopf分
对于偶数维、紧致、可定向、没有边界的共形实流形,Connes构造了一个标准的Fredholm模,并用Wodzicki留数定义了一个共形不变量。特别,在4维的情形,用共形形变的方法这个不变量被
学位
欧氏空间En中的一个凸体R被称为简约体是指任意一个真含于R的凸体的宽度严格小于R的宽度。一个凸体的宽度方向就是其最小宽度所在的方向。一个凸体是严格凸的,是指它的边界不
这是一篇关于抛物型方程组能控性问题的研究综述.本文主要分为三部分,第一部分主要概括介绍抛物方程的能控性,以及介绍一些文中需要的定义、定理.第二部分以反应扩散方程组为例,介
由于miRNA对生命体具有非常重要的调控功能,因此寻找新的miRNA是生命科学领域的一大热点。寻找miRNA基因的方法有计算识别方法和实验检测方法,两种方法结合使用,才能准确地找到m
设G=(V,E)是简单连通图,其中V={v1,v2,…,vn}为顶点集合,E为边集合。G的邻接矩阵A=(aij)n×n,其中aij为连接点v,vj的边的条数。A(G)的特征值和特征向量分别称为图G的特征值和特征向量。图G的
微分方程解的研究一直以来都是人们最为关注的研究领域,大部分微分方程都是从实际问题中抽象建模而成的,所以我们在研究微分方程问题的时候,讨论其解的存在唯一性有着基础性的意
近年来,许多文献都对椭圆系统进行了研究,并且得到了广泛的应用。变分方法成为了研究拟线性椭圆系统解的存在性和多解性的有力工具。本文重点进行了如下研究:1.三临界点定理在椭