|
很明显(Xθ-, Yθ-) ∈ Bδ(x,y)和(xθ,yθ)∈ Oλ。νOλCat(x,y)和satifiesvλ≤ 在Oλ上。δ>Д∈ C(Bδ(x,y))。那么,我们有vλ(x,y)≤ supν∈Θλ(x,y)E“ZθE-βtU(ct)dt+e-βθДXθ,Yθ#. (3.1)相反,设ν是Oλ上的光滑函数,满足Vλ≥ 在Oλ上。我们可以采用有界测试函数,因为vλ从上到下是有界的。11固定成本和比例成本然后,我们有vλ(x,y)≥ supν∈Θλ(x,y)E“ZθE-βtU(ct)dt+e-βθДXθ,Yθ#. (3.2)在不丧失一般性的情况下Ohm =C([0,∞), Rd)是从零开始的连续函数空间,配备了维纳测度、标准布朗运动和完成{Ft}t≥byW生成的过滤的0。给定控制ν∈Θλ(x,y)和退出时间θ:=θν,从上面看,fixω∈Ohm定义νθ,ω(ω,t):=νωθ⊕ ω、 t+θ(ω), ω∈ Ohm, t型≥ 0,其中(ωθ⊕ ω) t型=ωtif t∈ [0,θ(ω))ωt-θ(ω)+ωθ(ω)如果t≥ θ(ω)。我们从(3.1)的证明开始。通过构造,νθ,ω∈ Θλ((Xθ(ω),Yθ(ω))ν,X,Y);特别是,νθ,ω是一个定义良好的脉冲控制。因此,EZ∞e-βtU(cνt)dtFθ(ω) =Zθ(ω)e-βtUcνt(ω)dt+e-βθ(ω)ZOhmZ∞e-βtUcνθ,ωt(ω)dtdP(ω)≤Zθ(ω)e-βtUcνt(ω)dt+e-βθ(ω)vλ((Xθ(ω),Yθ(ω))ν,X,Y)≤Zθ(ω)e-βtU(cνt(ω))dt+e-βθ(ω)Д((Xθ(ω),Yθ(ω))ν,X,Y)。因此,对于任何ν∈ λ(x,y):EZ∞e-βtU(cνt)dt≤ E“ZθE-βtU(cνt)dt+e-βθν((Xθ,Yθ)ν,X,Y)#。通过对所有政策取上确界,我们得出(3.1)。为了证明(3.2),将V设为(3.2)的右侧:V:=supν∈Θλ(x,y)E“ZθE-βtU(cνt)dt+e-βθν((Xθ,Yθ)ν,X,Y)#。对于任何η>0,我们可以选择νη∈ Θλ(x,y)满足V≤ η+E“ZθE-βtU(cνηt)dt+e-βθν((Xθ,Yθ)ν,X,Y)#。
|