资源描述:
《概率论与随机过程课程论文》由会员上传分享,免费在线阅读,更多相关内容在学术论文-天天文库。
1、浅析二阶模糊随机过程均方Henstock—Stieltjes积分摘要:定义了二阶模糊随机过程均方Henstock—Stiehjes积分,并探究了其部分性质。同时对二阶二阶模糊随机过程均方Henstock—Stiehjes积分的一个收敛定理和可导性做了简单研究。关键词:二阶模糊随机过程;Henstock积分;均方Henstock积分1 引言在现实生活中存在大量既具有随机性又具有模糊性的不确定性现象,这些现象被称为模糊随机现象.许多人们感兴趣的模糊随机现象往往是通过积分、导数和微积分方程等数学形式出现的,这就为研究描述模糊随机现象的模糊随机过程以及模糊随机微积分提供了实际
2、背景.文献[1]比较系统地研究了一类模糊随机过程的均方微积分.如同实值过程的均方微积分,模糊随机过程的均方微积分重要性在于简单实用,不涉及很深的随机分析理论.众所周知,经典牛顿积分与黎曼积分互不包含,虽然勒贝格积分包含了黎曼积分,但也不包含牛顿积分。Henstock积分不仅包含牛顿积分、黎曼积分和勒贝格积分,而且不需要测度理论支持,便于应用科学工作者和工程研究人员很快地掌握并应用到他们的实际研究中去.本文讨论一类模糊随机过程的均方Henstock积分及其基本性质,使文献[1]中的结果为本文的特例,推广了其结果.文中第一部分对实值Henstock积分、模糊数空间以及关于
3、模糊随机变量的L2空间等预备知识作了介绍,第二部分给出了二阶模糊随机过程均方Henstock积分的定义并对其基本性质等进行了讨论,第三部分则对二阶模糊随机过程均方Henstock积分的收敛定理和可导性做了简单讨论。2 预备知识定义1(参阅文献[1]) 设是区间[a,b]上一实值,[a,b]的一个划分称为细分(细的划分,简称细分),如果下列条件成立:(1);(2),其中称为分点,称为的关联点。引理1 (1)给定[a,b]上函数,那么[a,b]的细分P总是存在的。8(2)设,则[a,b]的任意细分也是细分。(3)设是定义在[a,c]上的正实值函数,是定义在[c,b]上的正
4、实值函数,令对于任意细分,如果c不是关联点,那么c总是一个分点。证明:(1)的证明见文献[2]的引理2.1.(2)设[a,b]上任意细分,则对有,,所以有,因此细分也是细分。(3)设是[a,b]的任意细分,设c不是一个分点,则必存在D中某个区间包含c,不妨设。C不是关联点,所以。若,则,另由定义知此时,又由,得,矛盾。若,类似可证得,矛盾。所以,c点一定是分点。定义2(参阅文献[2])实值函数称为[a,b]上Henstock可积的(简称H可积),如果存在常数A,对每个,都存在一个函数,对[a,b]的任意细分,有。8注:如果上述定义中的为常值函数,那么H积分即为黎曼积分
5、。由牛顿积分的定义,易证牛顿可积的实值函数也是H可积的(见文献[3]中定理2)。由文献[2]中定理5.7知如果实值函数在[a,b]上勒贝格可积,则其在[a,b]上H可积。模糊数空间:(1)u是正规模糊集;(2)u是模糊凸的;(3)u是上半连续的;(4)是紧集。设,u的r一水平集定义为,在上定义距离。是一完备度量空间。设是一完备的概率空间。Borel可测函数称为模糊随机变量(简记为f.r.v.)。如果,则X的期望值EX存在,且对所有成立。设。对任意,定义上的距离如下:。对任何,有定理1 设是L2中序列,则下列条件等价:(1),并且,即;(2)是L2中一个柯西序列,即当时
6、,有;(3)一致可积且,即Xn以概率收敛到f.r.v.X.由定理1可见,是一完备的距离空间。82 二阶模糊随机过程均方Henstock—Stiehjes积分的定义及部分性质以下给出二阶模糊随机过程均方Henstock—Stiehjes积分的定义.定义3设是定义在[a,b]上的二阶模糊随机过程,是[a,b]上的实值函数,若对,使得对[a,b]上的任意精细划分,有,其中,则称在[a,b]上关于均方Henstock-Stieltjes可积。均方Henstock积分的性质:定理2 是均方H可积的,则积分值是唯一的。证明:设有两个积分值,由定义知,任意给定的,存在和,对任意细分
7、和细分,有和,其中分别细分和细分上的黎曼和。令,对任意细分D,由引理1知,D既是细分也是细分。因此对细分D的黎曼和,有由的任意性可知积分值唯一。定理3 是均方H可积德当且仅当对任意,存在实值函数,对任意细分和,有8,其中证明:设,所以有取一列单调下降到0的序列,对每个,存在,使对任意两个细分,有,其中和是和上的黎曼和。可设单调递减,对每个细分作黎曼和当时,由于,由引理1知细分也是细分,因而有,即为中柯西序列,由的完备性可知存在,使得。对任意,存在n,使,同时有成立,对此的任意细分P,有所以是均方H可积的。定理4 如果在区间[a,c],[c,b]上都是