|
(5.11)后退:让l∈ {1,…,n}并假设cljis已确定,k>l。然后我们可以确定cll。事实上:Vll=V(Xl)=nXj=1clj=nXj=lclj=cll+Xj>lclj。(5.12)因此我们设置:cll=sVll-Xj>lclj。(5.13)5.3引理3.1和命题3.1的证明我们在这里证明引理3.1和命题3.1,它们给出了一个递归过程来精确模拟引理3.1的Q证明。Let(t,Θ)∈ [0,T]×Rand考虑过程rt,Θ=(rt,Θs)s∈[t,t]由(2.2)(2.3)定义。让我们∈ [t,t]。It^o公式的应用给出:easrt,Θs=eatrt,Θt+aZsteauut,Θudu+bZsteaudBu,(5.14),使用等式(2.3)进行的简单计算表明:aZste-a(s)-u) ut,Θudu=αt,Θs- αt,Θte-a(s)-t) ,(5.15),其中αt,Θ是由(3.4)定义的。此外,如果ξ由(3.5)定义,再次应用其公式得出:ξts=bZste-a(s)-u) dBu。(5.16)因此:rt,Θs=e-a(s)-t) rt,Θt+αt,Θs- e-a(s)-t) αt,Θt+ξts,(5.17),证明结束为rt,Θt=αt,Θt,by(5.4)。现在我们来看命题3.1的证明。命题3.1的证明。让t≤ s≤ u≤ TIt^o的公式意味着三重态(ξtr,At,sr,Xt,x,Θr)r∈[s,u]是以下线性随机微分方程的解:dξrArXr=-a 0 01 0 01 0 0ξrArXr+αt,Θr-σdt公司+b 00 0σρσp1- ρdBrdWr, r∈ [s,u],(5.18),初始条件ξs=ξts,As=0,Xs=Xt,x,Θs。该线性方程具有闭合形式的解,我们发现:ξtu=e-a(u-s) ξts+bZuse-a(u-r) dBr,(5.19)At,su=ξtsa(1- e-a(u-s) )+巴祖(1- e-a(u-r) )dBr,(5.20)Xt,x,Θu=Xt,x,Θs+Zusαt,Θrdr-σ(u- s) +ξtsa(1- e-a(u-s) )+ZUS1- ρσdWr(5.21)+baZus(1- e-a(u-r) )dBr+ZusρσdBr。
|