|
按(2.20)WT=w expZTt(π′su(s,Zs)ds+π′sσ(s,Zs)dWs)-ZTt|π′sσ(s,Zs)|ds,加上(2.19)给出了j(t,w,z,π)=waaEQπ经验ZTtl(s,Zs,πs)dsZt=z, (4.7)α在哪里∈ Rn,l(t,z,α)=aα′u(t,z)- (a)1- a) /2)|σ(t,z)′α|。现在让我们∈ C1,2可能是(3.4)和(3.5)的解。通过公式(4.5),应用于u(t,Zt)的It^o公式给出:u(t,Zt)=u(t,Zt)+ZTtut(s,Zs)+ux(s,Zs)′(~u(s,Zs)+aσ(s,Zs)σ(s,Zs)′πs)+uy(s,Zs)′(u(s,Ys)+aσ(s,Zs)′πs)+Tr(σ(s,Zs)′uxx(s,Zs)σ(s,Zs))+yu(s,Zs)+Tr(σ(s,Zs)′uxy(s,Zs))ds+ZTtux(s,Zs)′σ(s,Zs)dBπs+(uy(s,Zs)′+ux(s,Zs)′σ(s,Zs))dWπs≥ u(t,Zt)+ZTtl(s,Zs,πs)ds+ZTtux(s,Zs)′σ(s,Zs)dBπs+(uy(s,Zs)′+ux(s,Zs)′σ(s,Zs))dWπs+ZTt|σ(s,Zs)′ux(s,Zs)|+|uy(s,Zs)+σ(s,Zs)′ux(s,Zs)|ds。(4.8)ξπ是Qπ-上鞅,终端条件u(T,z)=0,因此从(4.8)可以得出,等式π经验ZTtl(s,Zs,πs)ds英尺≤ 经验(-u(t,Zt))EQπξπTξπT英尺≤ 经验(-u(t,Zt)),(4.9)自π∈ A到目前为止是任意的,从(4.7)可以看出 π ∈ A、 J(t,x,z,π)≤xaaexp(-u(t,z))。(4.10)现在特别选择π=^π,在(4.8)中有等式。由于ξ^π是一个Qπ鞅,因此它允许(4.9)和(4.10)中的所有不等式都是等式,这证明了v(t,x,z)=supπ∈AJ(t,x,z,π)=J(t,x,z,^π)=xaae-u(t,z)。附录E=Rp,F=rqp,q∈ N*. W是完全概率空间上的q维标准布朗运动(Ohm, F、 Q)被赋予完整的过滤F=(Ft)t≥0由W生成。对于t∈ [0,T],其中T>0是固定的,我们用Ut表示所有逐步可测量的E值过程φ独立于ofFt的集合,例如EhRTt |φ(s)| dsi<∞.
|