|
它不仅适用于有效模型,而且适用于具有随机因子和时间相关分段常数参数的一般模型。定理4.2(依赖时间的函数模型中的验证结果)考虑实值函数Φm(t,v,x):[0,t]×R≥0×DX→ R并假设:i)Φm∈ C1,2,2[ti,ti+1)×R≥0×DX对于所有i=0,k、 ii)Φm∈ C[0,T]×R≥0×DX,iii)Φm表示以下PDE,针对所有i=1……分段定义,K:maxπ∈R{L(mi,π)Φm(t,v,x)}=0,对于所有(t,v,x)∈ [ti,ti+1)×R≥0×DXΦm(T,v,x)=vΔδ,其中左侧的最大值在‘πm=-λΦmv+ρσXσPΦmvxVm,π(t)σPΦmvvt、 Xm(t),m(t).如果Φmis阳性,则为EUVm,π(T)Vm,π(t)=v,Xm(t)=x≤ Φm(t,v,x),适用于所有(t,v,x)∈ [0,T]×R≥0×dx和所有可容许的投资组合策略π。现在再考虑一个不一定是正的函数(满足条件i)、ii)和iii)。另外假设:iv)Φmt、 Vm,πm(t),Xm(t)T∈[0,T]是鞅。然后:EUVm,πm(T)Vm,πm(t)=v,Xm(t)=x= Φm(t,v,x),和UVm,π(T)Vm,π(t)=v,Xm(t)=x≤ Φm(t,v,x),适用于所有(t,v,x)∈ [0,T]×R≥0×dx和所有可容许的投资组合策略π。证明见附录B。因此,需要检查定理4.2中的条件,以确定感兴趣的特殊模型的参数。这可能相当费劲。这就是为什么我们在下一节中介绍了一般时间相关模型的一个特例,可以很容易地显示验证结果。4.1.2具有∑(1)X=Γ(1)=ζ(1)=0的特殊时变有效模型对于本节,我们另外假设模型(4.1)∑(1)X=Γ(1)=ζ(1)=0。然后,验证结果很容易从[13]的推论3.4中给出的关于有效过程指数的一般陈述中得出。为了方便起见,这个结果在附录B的引理B.2中进行了总结。
|