收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

随机模型中密度演化方程的适定性

徐洪  
【摘要】: 对具有马氏性的随机过程,柯尔莫哥洛夫建立了状态转移概率的向前和向后方程,把研究过程的问题转化为研究微分方程解的问题。对不具有马氏性的随机模型,问题就变得困难很多。为解决这类问题,产生了许多不同的方法,如Palm和Kendall的嵌入马氏链方法;Lindley的积分方程方法。此外,通过引入补充变量,扩大记录过程信息的状态变量的维数,使非马氏过程具有马氏性也是一种有效的方法。称引入补充变量后得到的扩维随机过程为向量马氏过程。对许多实际问题,想建立其状态转移概率函数的向前或向后方程从而确定整个过程有不少困难。能否退而求其次,建立状态概率或密度函数满足的方程?比较早的尝试性工作可以参见文献[28],M/ G/1比较完整地建立模型队长过程的状态概率密度演化方程可参见文献[27]。史定华教授在其专著中,则用状态概率密度演化方法系统处理了向量马氏过程的随机模型问题,在证明了向量马氏过程的频度转移公式后,就能通过系统的状态概率密度函数得到过程的许多性能指标,从而利用密度演化方法重新处理了排队论和系统可靠性中的许多模型。这样,尽管有时不能完全确定向量马氏过程,但得到这些性能指标后,对解决实际问题显然仍裨益非浅。 在马氏过程中得到向前向后方程,或者在向量马氏过程中得到密度演化方程,都是想把随机模型的研究转化为方程的研究,也即把随机过程的研究转化为确定性的方程问题研究。对柯尔莫哥洛夫的向前或向后方程适定性和渐近性问题的研究已经非常系统完整。1940年,费勒首先通过构造最小非负解,证明了解的存在性问题[29];1945年杜勃研究了解的唯一性问题[24],而候振挺在1974年则给出了解的唯一性条件[12]。如果解不唯一,那么如何得到所有的解也有许多结论,见文献[8], [24], [42], [50], [54]等。 对向量马氏过程中得到的状态概率密度演化方程,自然也仍旧必须讨论解的存在唯一性问题。在建立了随机模型的密度演化方程后,有这样一些问题亟待解决:方程的解是否对任何可能的初始状态概率密度都存在?如果不是,那么对什么样的初始状态概率密度,方程的解存在?解是否唯一?如果解存在唯一,解是否渐近稳定? 本文的主要内容之一就是研究解决这些问题。我们主要采用两种方法:半群理论和更新方程方法。 从目前排队论和可靠性理论中的模型看,得到的密度演化方程通常是一些带有积分项的常微分或偏微分方程组,且带有比较复杂的边界条件,现有的方程理论很难在这里直接应用。目前研究这类问题主要运用半群理论方法,即把方程转化为一个抽象柯西问题处理。半群理论是处理动力系统方程的一种有效方法。把得到的由微分或偏微分方程描述的动力系统归结为巴拿赫空间上的抽象柯西问题,从而用一般的半群理论统一处理,这方面的工作已有丰富的结果,见文献[33],[48]等。在密度演化方程研究中,采用此方法应该是一件有意义的工作。近来,已有一些这方面的尝试性工作。如文献[36]中,在有界风险率假设下,利用半群理论证明了M/ G/1队长模型的密度演化方程解的存在唯一性和渐近性;在文献[4]中,证明了M/M/∞密度演化方程解的存在唯一性。但从总体上看,密度演化方程解的研究工作还在起步阶段。本文的将继续这方面的研究工作。 除继续利用算子半群方法研究外,我们发现一些密度演化方程解的适定性问题可以转化为边界函数的共轭更新方程解的存在唯一性问题来研究。通过证明共轭更新方程解的存在唯一性和渐近性,不但可以得到这些方程解的存在唯一性,也能得到解的渐近稳定性结果。 本文的另一工作是用密度演化方法对经典排队理论很难处理的分形排队模型进行了初步的探索性研究。 随着计算机网络技术的不断发展,自20世纪90年代开始,对网络数据传输的研究逐渐引起重视。网络数据传输的实证研究揭示了数据到达过程具有重尾,自相似和长程相依这样一些特征[43],建立在到达过程是马氏或独立基础上的方法就难以在此应用。而由一个分形映射驱动到达过程的分形排队模型是描述数据传输模型的有效方法之一,具有直观且较易数值模拟的特点。对分形排队模型,我们建立了映射状态和队长的联合密度演化方程,利用数值计算和数值仿真模拟的方法对方程的解作了初步的探索性研究。 下面是本文主要内容和结果。 第一章中,我们简要介绍了密度演化方法的基本思想。并阐述了密度演化方程和向前向后方程之间的联系和区别:转移概率的向前方程是状态概率方程的一个特殊情况,是特殊初始条件下的状态概率演化方程。同时给出了本文的总体结构安排和主要结果。 第二章主要是给出本文所涉及的有关分析方面的一些基本概念和结果。大致包括两方面的内容: C_0-半群和积分方程理论。在第一和第二节中,除了给出半群理论的一些基本概念和结论外,我们对连续状态空间上的半群算子建立了抽象柯西问题解适定的一个充分条件(定理2.2.7),该条件要求相应的过程具有某种正则性。第三节中,则证明了l~1空间上抽象柯西问题中的相应算子成为闭算子的一个充分条件(定理2.3.1),从而就能证明离散空间上密度演化方程解存在唯一的充分条件(推论2.3.3)。在第四节中,讨论了抽象柯西问题解何时具有概率意义的问题。该章的最后一节引入共轭更新方程的概念并讨论了共轭更新方程解的存在唯一性和渐近性问题。利用更新定理,对无限维共轭更新方程证明了解的渐近稳定性。 第三章将用密度演化方法的观点重新讨论离散状态马氏过程模型。在第一节中,进一步讨论了状态概率和转移概率函数之间的联系和差异:尽管状态概率不能完全确定转移概率,但如果状态概率演化方程相应的算子的定义域中包含的函数足够广,那么也能确定转移概率。第二节则从过程的概率特性出发,建立了一类离散状态马氏过程的密度演化方程,给出了该方程解存在唯一的充分条件(定理3.2.1)。第三节用密度演化方法重新得到了有关生灭过程中的一些重要结论(推论3.3.3,3.3.4)。文献[4]中得到的M /M/∞密度演化方程解的存在性和唯一性可以作为这里结论的特例。结果表明,密度演化方法处理随机模型有时会更简洁,易于理解。 在第四和第五章中,我们将讨论向量马氏过程的密度演化方程解的存在性问题。按照所采用的方法的不同,我们分两部分来讨论向量马氏过程的密度演化方法解的存在唯一性。 在第四章中,我们利用算子半群理论,分别讨论了可靠性和排队论中的二个典型模型——两部件可修串联系统和M/ G/1忙闲过程模型——的密度演化方程解的存在唯一性问题。第一节中,证明了忙闲过程的密度演化方程中得到的算子的一些性质(定理4.1.1,4.1.2和4.1.3),给出了相应柯西问题解存在唯一的结果(定理4.1.4)。第二节则研究了两部件可修串联系统密度演化方程的适定性问题,在不假设风险率函数有界时,证明了闭化算子对应的柯西问题解的适定性(定理4.2.10),而仅对适当的初始条件,原来的问题解存在唯一(推论4.2.11);而如果风险率函数有界,那么密度演化方程的解存在唯一(定理4.2.13)。 第五章运用更新定理证明了排队论中M/ G/1队长过程和可靠性问题中两部件并联可修系统的密度演化方程适定性和渐近稳定性问题。我们把这两个模型的密度演化方程解的适定性问题转化为特殊积分方程——共轭更新方程——的相应问题,利用第一章的无限维共轭更新方程解的结果,证明了密度演化解的存在唯一性和渐近性。第一节中,建立了M/ G/1队长过程的密度演化方程和一个可列更新方程之间的联系(定理5.1.1,5.1.2),然后证明了该可列更新方程解的存在唯一性和渐近稳定性(定理5.1.5),得到的结论和已有的经典结论是一致的(推论5.1.5),这里不再需要假设风险率函数是有界函数。第二节中研究并联可修系统密度演化方程解的适定性问题,同样得到了原来问题和更新方程解的存在唯一性之间的关系(定理5.2.1,推论5.2.2),随后在较弱的条件下证明了更新方程解的存在唯一性和渐近稳定性(引理5.2.4,定理5.2.5),由此可以得到原来密度演化方程解的适定性和渐近稳定性(定理5.2.6)。最后,与已有的结果进行了比较(注3)。 比较第四章和第五章两种方法,半群方法应该是更一般,但是由于对涉及的算子的谱计算较困难,目前尚无很好的方法来讨论解的渐近稳定性问题。积分方程的办法对特殊的模型较有效,不但能得到存在唯一性,而且解的渐近行为也有较完整的结论,但是究竟什么样的密度演化方程可以转化为积分方程处理还有待进一步研究。 在第三章,第四章和第五章中我们侧重于在已得到密度演化方程后,方程解的存在唯一性的研究。事实上,密度演化方法可以用来处理许多经典方法难以入手的随机模型问题。最后第六章我们讨论的离散分形排队模型就是一个例子。 网络数据传输的实证研究发现,节点上到达的数据流量具有分形,自相似和重尾特性。建立在到达过程具有马氏性或独立性假设上的模型都不能很好地刻画相应的数据传输过程。到达过程由分形映射驱动的排队模型是一个能从物理机制角度解释每个节点的数据产生过程并且适宜于计算机仿真模拟的模型。由于此时到达的时间间隔不再是独立的,而是具有长程相依性,这类问题经典排队论的方法很难处理。用密度演化方法我们仍可建立状态和队长的密度演化方程。对得到的密度演化方程,尽管还没有较好的方法从理论上进行研究,但是,可以用数值计算方法或利用到达过程比较容易计算机仿真模拟这个特点,利用统计方法进行研究。在第一节中,我们简要介绍了网络数据传输的物理背景。第二节中则介绍了从密度演化观点研究分形映射的一些基本思想。决定分形映射密度演化方程的不变密度一直是一个比较困难的问题,这里,我们给出了近似得到不变密度的两种方法:数值计算和统计方法。第三节研究了由混沌映射驱动的到达过程的闲期和忙期逗留时间分布,得到了它们的联合分布(定理6.3.1)。结果表明,尽管映射的状态是平稳的,联合分布是同分布的,但并不一定独立。因此,分形排队模型和on-off模型之间还是稍有不同的。对Bernoulli映射,进一步得到了联合密度的解析表达式表达式(推论6.3.2)。对一般的混沌映射,我们利用数值计算和仿真模拟的方法讨论了闲期逗留时间分布,结果显示:相应于非线性映射的逗留时间分布是渐近幂率的。这个结果和文献[40]中的结论是一致的。最后一节,我们建立了分形排队的密度演化方程。对Bernoulli映射,我们得到了状态和队长的平稳联合分布存在的条件和具体的表达式(定理6.4.1)。但是,对非线性的映射,理论上要给出或证明平稳分布还比较困难。我们同样利用仿真模拟的方法讨论了队长边际分布,结果显示,如果刻画到达的映射是线性的,那么该分布是几何的,如果是非线性的,那么是渐近幂率的。 总之,本文比较系统地研究了可靠性和排队论中已经得到的一些具有典型性的密度演化方程解的存在唯一性问题,对某些模型则进一步讨论了解的渐近性问题。同时,对涉及的过程比较一般,不具有再生点的离散时间分形排队模型,能否利用密度演化方程去解决也作了初步探讨。在处理密度演化方程适定性问题的方法上,不但采用了通常所用的算子半群方法,还注意到模型的特殊性,充分利用了共轭更新方程的结果。对理论上尚无较好方法处理的分形排队模型的密度演化方程,利用数值计算和统计方法进行了初步的研究。 本文是在史定华教授悉心指导和帮助下完成的。特别是第六章,主要思想来自史定华教授,此外,一些数值计算和计算机仿真的方法也是和黄月芳博士一起讨论产生的,在此一并表示感谢。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 魏志强;离散Sturm—Liouvile方程保谱类的Hamiltonian形式[J];华北水利水电学院学报;1996年02期
2 陈延盛,周清甫;变深度非均匀流中非线性重力波调制理论[J];力学学报;1990年06期
3 耿献国;;Toda链与离散的规范变换[J];郑州大学学报(理学版);1988年01期
4 赵东;章普;;代换法解筛选速度拉曼跃迁演化方程[J];咸宁学院学报;2009年06期
5 许太喜,耿献国;一个Liouville完全可积的Neumann系统[J];科学通报;1990年04期
6 李淑红,张海明;含时受迫谐振子传播子的精确解[J];广西物理;2005年01期
7 秦孟兆;一类演化方程u_t=αu~qu_1+au_p的差分格式[J];科学通报;1982年05期
8 李翊神,陈春丽;两类特殊曲面的运动及其相应的新的可积方程[J];数学年刊A辑(中文版);2001年04期
9 邢巧芳;何梅;;平面简单闭曲线上的一个不等式[J];华北水利水电学院学报;2009年02期
10 王松岭;刘作良;李春曦;叶学民;;下降液膜二维剪切表面波的演化方程[J];华北电力大学学报;2007年01期
11 邢修三;非平衡统计信息理论[J];物理学报;2004年09期
12 秦孟兆,屠规彰;一类演化方程的三个基本守恒律[J];应用数学学报;1982年02期
13 孙昌璞;;量子Berry相因子的经典模型[J];高能物理与核物理;1989年02期
14 杨灵娥;演化方程的三个基本守恒律[J];应用科学学报;1995年02期
15 朱勇;三层流体模型的非线性波演化方程[J];水动力学研究与进展A辑;1995年01期
16 董连科,王晓伟;函数的H-导数和分形动力学[J];高压物理学报;1997年01期
17 杨永增;海浪初始谱误差演变初步分析[J];海洋预报;2000年04期
18 高岳;朱宪辰;;时变t-copula蒙特卡罗模拟的亚洲股指组合风险研究[J];数学的实践与认识;2010年03期
19 田畴;不同的演化方程的解之间的Bcklund变换[J];科学通报;1987年21期
20 田畴;李翊神;;李群与演化方程(英文)[J];数学年刊A辑(中文版);1981年04期
中国重要会议论文全文数据库 前10条
1 唐光普;刘西拉;;混凝土冻融破坏面研究[A];沿海地区混凝土结构耐久性及其设计方法科技论坛与全国第六届混凝土耐久性学术交流会论文集[C];2004年
2 邢修三;;动态统计信息理论及其与物理学和系统理论的关系[A];第二届全国复杂动态网络学术论坛论文集[C];2005年
3 李环;刘顺生;马爱群;;三维谐振子的双波描述[A];加入WTO和中国科技与可持续发展——挑战与机遇、责任和对策(上册)[C];2002年
4 周翠英;蒋海昆;王红卫;姜早峰;胡长和;;地震学定量预报指标的一种提取方法[A];中国地震学会第四次学术大会论文摘要集[C];1992年
5 于广明;赵建锋;;采动岩体破坏协同模型研究[A];新世纪 新机遇 新挑战——知识创新和高新技术产业发展(上册)[C];2001年
6 钟一民;陈滨津;余建国;;三维超声心脏图像的水平集分割[A];2008年医疗仪器学术年会暨理事会论文汇编[C];2008年
7 程友良;吴英杰;;有限深分层流体中高阶内孤立波的演化方程[A];第二十一届全国水动力学研讨会暨第八届全国水动力学学术会议暨两岸船舶与海洋工程水动力学研讨会文集[C];2008年
8 黄再兴;;电子焊点的粘塑性热损伤本构模型与演化方程[A];现代数学和力学(MMM-XI):第十一届全国现代数学和力学学术会议论文集[C];2009年
9 赵中奇;李桃;王浣尘;;MEI系统吸引子的拓扑结构[A];2003中国控制与决策学术年会论文集[C];2003年
10 杨洁;丛爽;;基于Liouville超算符变换的开放量子系统最优控制[A];'2008系统仿真技术及其应用学术会议论文集[C];2008年
中国博士学位论文全文数据库 前10条
1 姚纯青;规范固定Yang-Mills热流及相关问题研究[D];华东师范大学;2006年
2 皮玲;几何热流在数字图像处理中的应用[D];华东师范大学;2006年
3 张本威;核环境中部分子的多重散射与碎裂函数的修正[D];华中师范大学;2003年
4 金永东;单种群杆菌群体生长繁衍之生物波特征的系统动力学研究与计算机模拟复制[D];四川大学;2004年
5 李梦玄;金融市场相依性Copula模型及实证研究[D];华中科技大学;2009年
6 杜睿;不可压多松弛格子Boltzmann方法的研究及其应用[D];华中科技大学;2007年
7 陈凤娟;细胞神经网络和不可压缩弹性体的混沌动力学[D];昆明理工大学;2008年
8 施沈阳;离散约束动力学系统的对称性质与守恒量研究[D];上海大学;2008年
9 贺志国;基于活动轮廓模型的SAR图像分割算法研究[D];国防科学技术大学;2008年
10 赵文;宇宙中暗能量、残余引力波和微波背景辐射极化的一些研究[D];中国科学技术大学;2006年
中国硕士学位论文全文数据库 前10条
1 杨尚荣;两类四阶演化方程的对称分析[D];兰州大学;2010年
2 胡亮;演化方程的约化及其精确解[D];西北大学;2010年
3 刘海艳;LHC能区的部分子分布函数[D];华东师范大学;2004年
4 刘作良;下降液膜二维剪切表面波的稳定性研究[D];华北电力大学(河北);2007年
5 刘真真;可压缩混合层对于长波扰动的不稳定特性[D];天津大学;2007年
6 于媛媛;Hodograph变换和Hodograph-type变换的推广[D];西北大学;2010年
7 湛小钧;用投影法研究曲面上曲线的收缩[D];西南大学;2012年
8 邓滨;求解含源项对流扩散方程的格子BGK模型[D];华中科技大学;2004年
9 闫鹏;基于ARCH-Copula模型的关联性研究[D];天津科技大学;2009年
10 陈益凌;股票定价动态演化方程的理论框架和实际应用[D];上海交通大学;2013年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978