|
所以,`(r)是一个具有状态空间r+的有效进程,它充当实现的状态进程。线性函数的常用选择`∈ H*是短端的求值,即`(h)=h(0)。注意,条件`(λ)=1已满,因为∧(0)=0,我们有λ的表示(7.3)。我们得到以下结果。7.4. 推论HJMM方程(6.1)有一个由c=hλi+生成的有效实现,初始曲线i={h∈ D(D/dx):h(0)≥ 0和h(0)+γh(0)>0}(7.6),且具有一个有效且容许的状态过程,且初始曲线集的分解I=我⊕ C、 其中边界由I={h∈ D(D/dx):h(0)=0,h(0)>0}。证据注意到`(λ∧)=0,这是命题7.2的直接结果。7.5. 评论让h∈ 我很武断。根据备注7.3,我们可以选择短速率r(0)作为FDR的状态过程,即r=h的HJMM方程(6.1)的强解r由t=ψ(t)+rt(0)·λ,t给出∈ T对于某个时间间隔T∈ J、 特别地,我们有P(rt(0)≥ 0)=1表示所有t∈ T、 期望假设(参见,例如,[16,引理7.2])意味着初始曲线满足度(T)=EPt[rt(0)]≥ 0表示所有t∈ T、 式中,Pt表示T向前测量。这与初始曲线集I的表示(7.6)一致,它表明要么h(0)>0,要么h(0)=0,h(0)>0。对于下一个示例,我们假设(7.1)中的函数λ由λ(x)=e给出-γx,x∈ 某些常数γ的R+∈ (0, ∞), (7.1)中的函数满足`(λ)=1和`(λ)=0。然后,根据命题4.9,HJMM方程(6.1)不可能有一个由某个子空间生成的、具有一个可容许状态过程的a ffene实现。
|