随机微分方程弱解的稳定性和存在性

本文研究了驱动项为无穷维Ｂｒｏｗｎ运动的一般Ｉｔ随机微分方程，给出了还问题的解和弱解的存在性关系，证明了在线性增长条件下，方程弱解的稳定性和存在性定理．     

带分数Brown运动和局部线性增长的随机微分方程

该文讨论了一类带分数Brown运动,且系数为局部线性增长的随机微分方程适应解的存在唯一性.使用一种广义tieltjes积分定义方法定义关于分数Brown运动的随机积分,利用这种积分的性质,得到了一类由标准Brown运动和一个Hurst指数H∈(1/2,1)的分数Brown 运动共同驱动的、系数为局部线性增长的随机微分方...     

带Brown运动的随机奇异积分的存在性

在轨迹二阶导数具有Hlder连续的条件下,利用高阶奇异积分思想和概率极限的理论,研究了在Brown运动下的随机奇异积分.得到了以Brown运动为积分元的随机奇异积分是存在性定理.     

Banach空间中随机微分包含的弱解存在性定理

本文对Banach空间中的微分包含及随机微分包含引入了弱解的概念,并给出了它们的存在性定理。     

随机微分方程终值问题的弱解

设｛Ｗｔ．Ｆｔ．ｔ∈［０，Ｔ］｝为概率空间（Ω，Ｆ，Ｐ）上的标准α维Ｂｒｏｗｎｆｃｆｃ，Ｆｔ为由它生成的自然σ－代数流。本文讨论了如下随机微分方程终值问题弱解的存在性：Ｘｔ＝ξ＋∫ｔ＾Ｔｇ（ｓ，Ｘｓ，Ｙｓ）ｄｓ＋∫ｔ＾ＴＹｓｄＷｓ其中ξ∈Ｌ＾２（Ω，ＦＴ，Ｐ；Ｒ＾ｎ），ｇ：［０，Ｔ］×Ｒ＾ｎ×Ｒｎｄ→Ｒ＾ｎ为有界可测函数。此外，还讨论了它在金融市场期权定价问题中的应用。     

分数Brown运动驱动的随机延迟微分方程解的存在唯一性

研究了Hirst参数H＞1/2分数Brown运动驱动的随机延迟微分方程(SDDE).随机积分如Duncan et al.[9]所定义的Wick-It(o)型随机积分,在系数具有充分正则性条件下,证明了随机延迟微分方程解的存在唯一性,其中利用了Malliavin φ-导数及随机分析.     

具有无限时滞的随机泛函微分方程的解的唯一存在性

本文主要证明了在相空间（B）中具有无限时滞随机泛函微分方程解的唯一存在性.推广了文献[2]中的相空间,并且给出了一些相空间存在的例子.另外,本文建立了一个Banach空间（M）^2t0（（-∞,T],Rd）依范数‖·‖,并在这个空间上讨论了具有无限时滞随机泛函微分方程的解的唯一存在性.     

更弱条件下随机微分方程解的存在性

（１）中的Ｌｉｐｓｃｈｚ条件下，证明了形如下列方程Ｘ＝Ф（Ｘ）＋Ｆ（Ｘ）．Ｍ的解的存在性和唯一性；（２）在局部Ｌｉｐｓｃｈｔｚ条件下，证明了上述方程解的存在性和唯一性；然而在实际应用中，有许多随机微分方程不满足Ｌｉｐｓｃｈｔｚ条件，但解存在却不唯一（见（５）中例子）本文利用非紧致度在更弱条件下证明（＊）至少存在一个解，从面推广了（１），（２），（３）中的存在性定理。     

分数Brown运动驱动的随机延迟微分方程解的存在唯一性

研究了Hirst参数H>1/2分数Brown运动驱动的随机延迟微分方程(SDDE),随机积分如Duncan et al.[9]所定义的Wick-It■型随机积分,在系数具有充分正则性条件下,证明了随机延迟微分方程解的存在唯—性,其中利用了Malliavinφ-导数及随机分析。     

随机脉冲随机微分方程解的存在唯一性

提出了随机脉冲随机微分方程模型,其中所谓的随机脉冲是指脉冲幅度由随机变量序列驱动,并且脉冲发生的时间也是一个随机变量序列.因此,随机脉冲随机微分方程是对带跳的随机微分方程模型的推广.利用Gronwall不等式、Lipschtiz条件和随机分析技巧,得到了随机脉冲随机微分方程的解的存在唯一性条件.     

一类具有依赖时间和状态延迟的随机微分方程解的存在唯一性

本文利用Banach压缩映像原理证明了在Lipschitz条件和线性增长条件下,一类具有依赖时间和状态延迟的随机微分方程解的存在唯一性.     

从超布朗运动到随机偏微分方程

随机偏微分方程(SPDE)是目前国内外广泛关注研究进展迅速的一个活跃的学术研究领域.该主题的研究涉及概率论(随机分析、随机场)、偏微分方程、调和分析等诸多分支学科方向.特别是随机偏微分方程其背景更多地源于现代物理学、化学、生物学、经济学等应用性学科,这使得该领域的研究显示出较强的意义和活力.本文从超布朗运动研究出发,发展性地提出有较强背景意义的典型类随机偏微分方程,并进而过渡到一般及更广泛类的随机偏微分方程的研究.同时我们系统地总结了关于高阶随机偏微分方程和随机波动方程的研究成果.     

非线性椭圆型偏微分方程弱解的存在性

在W1,p(x)空间框架下研究了具有p(x)增长条件的椭圆型偏微分方程:-d iva(x,u,D u) g(x,u,u)=f,得到了在W10,p(x)空间中弱解的存在性,推广了Boccardo等关于在Sobo lev空间中弱解的相应结论.     

系数为左Lipschitz的倒向随机微分方程解的存在性

考虑一类一维倒向随机微分方程(BSDE),其系数关于y满足左Lipschitz条件(可能是不连续的),关于z满足Lipschitz条件.在这样的条件下,证明了BSDE的解是存在的,并且得到了相应的比较定理.     

正倒向随机微分方程的适应解及其比较定理(英文)

研究了一类正倒向随机微分方程的适应解 ,其中正向方程不需要满足非退化条件 .我们证明了在某些单调条件下 ,正倒向随机微分方程存在唯一的适应解 ,并给出了该正倒向随机微分方程的比较定理 .     

Existence of Weak Solutions of Two-dimensional Euler Equations with Initial Vorticity in Lorentz Space L （2,1） （ R^2）

Some estimates on 2-D Euler equations are given when initial vorticity ω0 belongs to a Lorentz space L(2, 1). Then based on these estimates, it is proved that there exist global weak solutions of two dimensional Euler equations when ωo ∈ L(2, 1).     

多维带跳倒向双重随机微分方程解的性质

本文研究一类多维带跳倒向双重随机微分方程, 给出了It^{o}公式在带跳倒向双重随机积分情形下的推广形式, 同时运用推广形式的It^{o}公式, 在Lipschitz条件下证明了方程解的存在性和唯一性.     

基于软硬件特性可修计算机系统非负弱解存在唯一性

讨论由有软件和硬件构成的串联可修计算机系统,利用可修计算机系统算子生成的Banach空间中的正压缩c0-半群的性质及泛函分析的方法,证明该系统具有唯一非负时间依赖弱解.     

Implicit Simulation Methods for Stochastic Chemical Kinetics

In biochemical systems some of the chemical species are present with only small numbers of molecules. In this situation discrete and stochasticsimulation approaches are more relevant than continuous and deterministic ones. The fundamental Gillespie’s stochastic simulation algorithm (SSA) accounts for every reaction event, which occurs with a probability determined by the configuration of the system. This approach requires a considerable computational effort for models with many reaction channels and chemical species.In order to improve efficiency, tau-leaping methods represent multiple firings of each reaction during a simulation step by Poisson random variables. For stiff systems the mean of this variable is treated implicitly in order to ensure numerical stability. This paper develops fully implicit tau-leaping-like algorithms that treat implicitly both the mean and the variance of the Poisson variables. The construction is based on adapting weakly convergent discretizations of stochastic differential equations to stochastic chemical kinetic systems. Theoretical analyses of accuracy and stability of the new methods are performed on a standard test problem. Numerical results demonstrate the performance of the proposed tau-leaping methods.