Markov过程读书报告.doc

《Markov过程读书报告.doc》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、湖南师范大学研究生课程论文论文题目马氏过程读书报告课程名称马氏过程姓名学号专业概率论与数理统计年级级学院数学与计算机科学学院日期年月..................................................................................................(以下内容由任课老师填写)研究生课程论文简要评语评阅教师签名：年月日得分：Markov过程读书报告姓名：学号：这学期我们在邓老师的带领下学习了过程这门课程，通过这门课程的学习，我对过程有了

2、初步的了解。下面就针对过程的一些知识点做一些总结，其中包括过程的定义，性质，定理，和一些例子。一、过程的定义:设有概率空间上的以为状态空间的随机过程，（其中是一个完全可分度量空间），及的一族子代数使对.设对是适应的，这时，我们称是一个以为参考代数族的马氏过程，如果对，都有下式成立:.又称为马氏性，由上可知，马氏过程具有无记忆性。下面给出马氏过程的几个等价性定义：(即下列条件等价)1、是上的一个马氏过程；2、对及，都有下式成立：；3、对一切及有界实函数，下式成立：；4、令，对任意有界实函数，下式成立：；1、对任意

3、实函数与，下式成立：二、转移概率函数族：转移概率函数族的定义:，转移概率函数族的性质：1、，关于的可测函数；2、,是上的概率测度；3、即第3条性质被称作方程，它与马氏性是等价的。三、齐次马氏过程:齐次马氏过程的定义：若转移概率函数族只与有关，即，则称该马氏过程是齐次马氏过程。所以有；这种情况的方程可写为：例1：强度参数为的过程是齐次马氏过程。，当时，转移概率函数为；当时，所以，强度参数为的过程的转移概率矩阵为定义：若存在使得，，则称为转移概率密度函数。例2：设是一个运动，则也是一个齐次马氏过程。对于,因为，所以

4、所以运动由出发经过时间到达的概率为下面看一下齐次马氏过程的有限维联合分布：设初分布为，对于，，而其中为示性函数；所以，对于一般的，三、马氏过程对应的半群令，在上定义模，下面我们定义一族的算子：记作；则该算子族具有以下性质：（1）是线性算子；（2）是压缩算子：；（3）是正算子：；（4）；（5）（恒同算子）；（6）对于，有对于时齐的马氏过程对应的算子半群具有以下的性质：（1）是的闭子空间；（2）；（3）对于是的连续映射；（4）可以限制到的闭子空间中成为一个单参数、强连续、收缩的正算子半群。三、无穷小生成元考查（按意

5、义下收敛），在该极限存在时，将它记作，称为无穷小生成元或简称生成元，算子可能无界。令，称为算子的定义域，显然有.命题：（1）在中稠；而且对于，必有；（2）；（3）对于，对可微，而且，下面定义预解算子，由于对连续，所以对于上式右端有定义，并且.所以有以下的性质：（1），；（2）对,,，（1）若,则，从而Hille-Yosida定理：设是一个函数的Banach空间，是上以为定义域的线性算子.可以是上的一个强连续、收缩正半群的无穷小生成元当且仅当下列条件成立：（1）在中稠；（2）对于，在上处处有定义；（3）对于，是正

6、算子（即它将非负函数应为非负函数）（4）.三、鞅问题与弱生成元在第五部分中，无穷小生成元是按中的强收敛定义的，因而它的定义域比较小，而且较难确定。特别是，在很多情况下，问题往往是要求对已知的形式无穷小生成元去找出其相应的马氏过程。这时，能够给出一个要求较弱的类似无穷小生成元的刻画就很方便。下面我们先给出鞅问题的模型：所以由马氏性与时齐性就得到.所以，对于，是鞅.令（称为的弱连续中心）令，这里有界收敛是指对于收敛，而且.显然，.当时，记.也称为弱生成元。显然有右导数：下面给出这类鞅与半群之间的关系：设有时齐马氏过

7、程，对于，令，则是鞅；反之，当具有右连续轨道，如果存在上的有界连续函数，使得是鞅，那么，，而且.最大值原理：设，而且，则.三、推移算子与强马氏性以及具有强马氏性的条件设，令是的映射，对于，令。一般的，对于上的随机过程，设的相空间为，时间取值于，则不妨将过程看做上定义的过程，这时推移算子应有。由以前学习的知识,我们可以了解到对于只有可列个取值的停时，马氏过程永远有强马氏性。一般的，并非所有的马氏过程都具有强马氏性，下面我们支出对于一个轨道右连续的马氏过程在其转移函数（半群）附加一些条件就能保证有强马氏性。Fell

8、er过程与Feller半群定义：转移函数族（或相应半群）称为具有Feller性（对应的：强Feller性），如果对于及有界连续函数（对应的：有界可测函数），都使有界连续。若马氏过程对应的半群是Feller半群（对应的：强Feller性）,则称为Feller过程（对应的：强Feller过程）。显然这意味着Feller过程的转移概率测度当时弱收敛到测度，即对弱连续。设马氏过程以为转移概率族