|
由于π遵循一个直到时间γ的确定性函数,(命题3.2给定集的正规应用)Z·πudMHuZ·φ(1+y)dv= MHTξ,其中ξ(t)=expRtpσ(u- φy)φ(1+y)du, t型∈ [0,T)。接下来,通过(3.6)和一些代数,weobtainXπT=xETZ·πuσdWQu×K(γ),(4.6),其中函数K:[0,T]→ (0, ∞) 定义为K(v)=经验值Rvpσ(u- φy)φ(1+y)dua(v,y(v),p),如果v<T,expRTpσ(u- φy)φ(1+y)du如果v=T,请注意,对于最优策略的推导,我们不需要考虑命题4.1中的第二个最优性条件(OC2)。(OC2)仅用于验证。函数a:[0,T)×[-1.∞) × (0, ∞) → R由a(t,y,p)=1给出-pσφ(t)κG(t)(u- φ(t)y)=1- δ(t)pσ(u- φ(t)y)。(4.7)步骤3。将(4.4)和(4.6)右侧的第二个因子相等,给定sk(v)J(v)=J,v∈ [0,T]。(4.8)使用(4.8)表示v<T和v=T,并重新排列术语yieldsK(v)/K(T)J(v)/J(T)=1,v∈ [0,T)。(4.9)现在,定义函数b,m,n:[0,T)×[-1.∞) × (0, ∞) → R byb(t,y,p)=1+pya(t,y,p),(4.10)m(t,y,p)=(1+y)pa(t,y,p),(4.11)n(t,y,p)=-1.- p2pσ(φ(t)y)+κG(t)(b(t,y,p)-1) . (4.12)然后在一些代数之后,K(v)/K(T)J(v)/J(T)=m(v,y(v),p)expZTvn(u,y(u),p)du, v∈ [0,T)。最后,将其插入(4.9)并重新排列术语表明,y满足积分方程m(v,y(v),p)=exp-ZTvn(u,y(u),p)du, v∈ [0,T).4.3最优策略的存在性和唯一性我们现在可以陈述我们的第二个主要结果。它表明,第4.2节中启发式导出的候选最优策略是存在的,并且对于效用最大化问题(4.2)确实是最优的。定理4.2.固定p∈ (0, ∞). 存在唯一的函数^y∈ C[0,T)带^y>-1满足积分方程m(t,y(t),p)=exp-ZTtn(u,y(u),p)du, t型∈ [0,T)。
|