|
在H中,It^o公式的扩展(见[2],推论2.6)应用于对偶对H·、·iEgives、(20)HИ(t,ξt),ξtiE=HИ(0,ξ),ξiE+ZthИ(s,ξs),bsiEds+ZthИ(s,ξs),σsiEdWs+Zthas,ξsiEds+Zthχs,ξsiEdWs+ZtXn≥1hχshn,σshniEds,a.s.作为直接结果,条件(14)与恒等式(20)共同表示χt=0 a.s.,尤其是(21)ν(t,ξt)=0,a.s.另一方面,适用于Malliavin导数的链式规则(见[11],命题3.8),它给出了Д(t,ξt)∈ H1,2(E*), 带(22)DД(t,ξt)=ν(t,ξt)Dξt,a.s.因此,与恒等式(21)一起,我们得到(23)DД(t,ξt)=0,a.s.应用于配对h·,·iE(见[11],Lemma3.6)的Malliavin导数的乘积规则,并与(23)一起给出dhД(t,ξt),ξtiE=hDИ(t,ξt),ξtiE+hИ(t,ξt),DξtiE,a.s.=hИ(t,ξt),DξtiEa是的。s、 (24)然后,从不等式(1)中,通过自然识别γ(H,R)=H,我们得到kdhД(t,ξt),ξtiEkL(Ohm;H)=E{khИ(t,ξt),DξtiEkH}≤ E{kИ(t,ξt)kE*kDξtkγ(H,E)}≤ kφk∞kDξtkL(Ohm,γ(H,E))因此,由于ξt∈ H1,2(E)由于引理6,我们有hφt,ξtiE∈ H1,2,因此Ft(φ)∈ H1,2。最后,恒等式(17)后面是方程式(19)和(24)中的Malliavin导数的线性。定义4。设Φ是相对于ξ的P-集。给定函数f:I×E→ 类别C1,2b的R,我们指的是函数F:Φ→ 通过设置(25)F(φ),ZIE{| Ft(φ)定义- EFt(φ)|}dt,对于任意φ∈ Φ,作为相对于Φ上f引起的ξ的风险函数。如果没有其他规定,其中函数f:I×E→ R和相对于ξ的P集Φ是固定的,我们总是写F来表示由Φ上的F引起的相对于ξ的风险函数。下面的定理告诉我们,风险泛函(25)允许两种不同的等价表示。无限维投资组合表示在寿险9定理1模型点选择中的应用。
|