|
该0≤ Ynt公司≤ E[ξ| Ft]t型≥ 0和n∈ N、 还有那个Ynt→ 年初至今t型≥ 0,我们有0≤ 年初至今≤ E[ξ| Ft]t型≥ 0 P-a.s.因此,Y属于D类。步骤4:(Y,Z)是B中(2.4)的唯一解。这源于[54,命题2.2]中步骤3的直接应用。A、 2定理2.1的证明通过命题2.1,直接计算表明(Vc,Zc)是B中(2.3)的唯一解,并且是D类Vcis。为了证明最后一个断言,即Vcsaties(2.1)A.s.,我们首先注意到T 7→ Vct+Rt∧τf(cs,Vcs)ds是鞅。确实,对于任何0≤ u≤ t、 欧盟Vct+Zt∧τf(cs,Vcs)ds= 欧盟c1类-γτ1 - γ+Zτf(cs,Vcs)ds-Zτt∧τZcsdBs=祖∧τf(cs,Vcs)ds+Euc1类-γτ1 - γ+Zτu∧τf(cs,Vcs)ds-Zτu∧τZcsdBs+Zt∧τu∧τZcsdBs=祖∧τf(cs,Vcs)ds+Vcu,其中最后一个等式从Zc开始∈ M、 修复t≥ 根据上述鞅性质,Vct=EtVcm+Zm∧τt∧τf(cs,Vcs)ds, m级≥ t、 作为m→ ∞, 与[54,(A.5)]类似,我们可以将单调收敛定理应用于getVct+ΔθEtZτt∧τVcsds= Et公司Vτ+Zτt∧τδc1-1/ψs1-ψ(1 - γ) 风投公司1.-θds, (A.19)由于(2.2)中对f的定义以及Vc≤ 0,属于D类。表示条件期望EtRτt∧τVcsds以上定义明确,请注意0≥ Vcs=eΔθs1-γYs≥1.-γE[ξ| Fs]适用于所有s≥ 0,因此0≥ Et公司Rτt∧τVcsds≥1.-γEtRτt∧τE[ξ| Fs]ds> -∞, 其中,最后一个不等式的完整性来自于类似于(A.12)的论点及其下面的讨论。最后,观察(A.19)容易给出(2.1)。B第3B节的证明。1命题3.1的推导正如上述命题3.1所讨论的,构建(3.6)的解决方案具有挑战性,因为(3.10)中的生成器H在Z和^Z上具有二次增长,在D上具有指数增长。我们将分两步解决这一问题。
|