|
Karatzas和Shreve[18]中的引理6.2),即ifXθ,Д(ξ):=∧θ,Д(I(ξHθ,ДT),I(·,ξHθ,Д·))<+∞, 对于所有y≥ 0然后其逆Yθ,Д:=(Xθ,Д)-1存在andL(Gx,θ,Д,Dx,θ,Д;θ,Д,Yθ,Д(x))=(R)J(Gx,θ,Д,Dx,θ,Д),Dx,θ,Дt:=I(t,Yθ,Д(x)Hθ,Дt),t∈ [0,T]Gx,θ,Д:=I(Yθ,Д(x)Hθ,ДT)。总之,我们有SUP(π,κ,D)∈A(x)J(x;π,κ,D)≤ supG公司≥0inf(θ,Д)∈Θξ≥0L(G,D;θ,Д,ξ)(原始)≤ inf(θ,Д)∈Θξ≥0supG≥0L(G,D;θ,Д,ξ)≤ inf(θ,Д)∈Θξ≥0L(I(ξHθ,ДT),I(·,yHθ,Д·);θ, φ, ξ)≤ inf(θ,Д)∈eΘ′J(Gx,θ,Д,Dx,θ,Д)(双)带eΘ:=(θ, φ) ∈ Θ:Xθ,Д(ξ)<∞, ξ > 0. 我们的目标是找到条件,在这些条件下,我们可以保证在上述公式中不存在二元缺口。特别是,如果存在容许对(^π,κ)和(^θ,Д)∈从而使J(x;π,κ,Dx,θ,Д)=J(Gx,θ,Д,Dx,θ,Д),然后策略(π,κ,Dx,θ,Д)是最优的。为此,我们考虑了向后SDEZt=Hθ,ДTGθ,Д+ZTtHθ,ДsDθ,Дsds的线性跳跃差异-ZTtαs·dWs-ZTt’αs·d’Ws-ZTtZRM \\{0}β(s,y)~N(dy,ds),t∈ [0,T]。(3.3)对于本节的其余部分,我们假设每个部分(θ,Д)∈ Θ方程(3.3)有唯一的解(Zθ,Д,αθ,Д,(R)αθ,Д,βθ,Д)。这源于关于W、\'W和▄N的可预测(鞅)表示性质,例如参见第3章。然而,对于CRRA偏好,可以直接确保上述linearbackward SDE解决方案的存在,而无需使用可预测的representationproperty。因此,下一节中的示例不需要这样的假设。我们有以下验证类型理论定理3.3。让我假设一下。
|