正则结构理论和非线性SPDEs的Wong-Zakai逼近

来源 :中国科学院大学 | 被引量 : 0次 | 上传用户:yjj_2323
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本篇博士论文的研究方向是正则结构理论和非线性SPDEs的Wong-Zakai逼近。  正则结构理论是M.Hairer在2013年研究时空白噪声驱动的半线性抛物SPDEs局部存在唯一解时提出的。Hairer指出,既然一光滑函数在任一点有局部Taylor展开,那对任一函数,或者更一般地对任一分布,如果能构造足够大的结构(即正则结构),继承Taylor多项式的性质,使得该函数(分布)在任意一点附近的值都能被正则结构中的有限个元逼近,就可以说这个函数(分布)属于更一般意义下的“函数”空间。考虑时空白噪声驱动的随机热方程,当空间变量的维数d>1时,方程的解都不可能是函数。由于广义函数无法定义乘法运算,对非线性方程而言,非线性项不良定,导致无法定义方程的解。这时候,若能构造对应的正则结构,就能得到非线性方程的解局部存在唯一。于是,对物理中的一些重要的模型,比如(KPZ)方程、动力系统中的(Φ43)模型,这些方程的非线性项不良定,经典意义下无法定义方程的解,则可以构造正则结构定义方程的局部解。为帮助有兴趣的读者快速地了解正则结构的基本理论和意义,我们在论文的第一部分(第二章)详细综述了正则结构的定义及通过正则结构得到奇异方程的局部解的具体步骤。作为在随机偏微分方程(SPDEs)中的应用,正则结构理论可以被用于研究奇异噪声驱动的半线性抛物SPDEs的Wong-Zaki逼近。  Wong-Zakai逼近问题是Wong和Zakai于1963年研究1-维布朗运动驱动的随机微分方程(SDEs)的时候提出来的。Wong-Zakai逼近不仅能有助于具体地构造SDEs的解,而且能使我们对解的性质有更直观的了解,特别是能由Wong-Zakai逼近得到解的支撑的性质。后来,类似的结果被推广到有限维SDEs甚至于无穷维SPDEs中。但是,在无穷维的情形中,大多数文章考虑半线性SPDEs的Wong-Zakai逼近,包括用正则结构理论讨论奇异噪声驱动的半线性抛物方程。而对一般非线性SPDEs,则需要方程的系数满足单调性和强制性条件,因此排除了许多有意义的SPDEs。  基于W.Liu和M.R(o)ckner在[44]中提出的局部单调条件,我们在论文的第二部分(第三章)和第三部分(第四章)把Wong-Zakai逼近的结果推广到系数仅满足局部单调性的SPDEs。在第三章我们得到了系数满足局部单调性和强制性条件的SPDEs的Wong-Zakai逼近,并应用Wong-Zakai逼近得到这些方程的解的Stroock-Varadhan支撑。许多有趣的拟线性方程,比如随机多孔介质方程、随机p-Laplace方程,这些方程的系数不满足单调性,我们的Wong-Zakai逼近结果可以用到这些模型中。[8]中讨论过随机2-维Navier-Stokes方程,也可以放在我们的框架下得到Wong-Zakai逼近。在第四章我们得到系数满足局部单调性和Lyapunov条件的非线性SPDEs的Wong-Zakai逼近,并因此得到解的Stroock-Varadhan支撑。这一结果可适用于一类没有合适的Gelfand三元组同时满足单调性和强制性的SPDEs。随机3-维改良Navier-Stokes方程、随机曲率收缩方程,它们的系数不满足强制性,但满足Lyapunov条件,因此也可以用我们的结果来估Wong-Zakai逼近。
其他文献
最小二乘问题是一个相当古老的课题.随着科技的发展,不仅在数学内涵的本身它被赋予了新的内容,而且被应用到很多研究领域.如神经网络、化学、物理、金融、经济、机械系统、通
该文首先介绍了R.E.Moore区间代数的基础知识、基本概念.其中主要包括区间、区间向量和区间矩阵之间算术运算规则的定义,区间函数和点函数区间扩展的基本理论.其次,在R.E.Moo
这篇博士论文主要研究不可压缩Navier-Stokes方程和粘性Camassa-Holm方程的随机刻画以及用倒向随机微分方程的理论研究不可压缩粘性Camassa-Holm方程解的存在唯一性.  在第
随着经济的持续快速发展,汽车需求量变大,车辆销售过程中的运输费用也随之变大。伴随着近几年新规的出现,陈旧的物流网络以及以公路运输为主的运输方式,都让车辆物流这一环在销售
癌症基因组存在着复杂多样的变异。这些变异有的能促进癌症的发生发展,称为驱动变异;有的对癌症的发生发展没有影响,叫做伴随变异。从这些变异中区分出哪些是驱动变异,哪些是伴
学位
本文的灵感来自近年来模型论领域兴起的稳定性和单纯性理论的研究.序和树分别是稳定性理论和单纯性理论研究中的。 本文以量词消去为法为重要的研究工具.这一方法对模型论
本文详细介绍了虚拟仪器技术和先进总线技术研究,介绍了传统多道分析器的工作方式和弱点。详细说明了利用虚拟仪器技术,采用CB公司的PCI-DAS4020/12数据采集卡在LabVIEW软件环境
一、令F是有两个复变元的到加法Abel群的一致函数,若〈x+1,y〉∈Dom(F)对所有的〈x,y〉∈Dom(F)均成立,我们将证明对任何〈x,y〉∈Dom(F)和m,n=1,2,3,…有如下互反律: 同时,本文中将给出此
计算机层析成像技术(CT)是近十几年发展起来的一种新的非接触无损检测技术,它具有检测精度高、重建图像无影像重叠、空间分辨率和密度分辨率高、可以直接进行数字化处理等优点