|
候选值函数和HJB方程在本节中,我们验证了命题1中给出的候选值函数解决了HJBvariational不等式- supc>0,πLc,πVC,-MVC,-NVC公司= 0(34)一个交易成本为31的多资产投资和消费问题,其中L、M和N是算子Lc,πf:=c1-R1级- R- cfx+σfxxπ+((u- r) fx+σηρfxyy)π+rfxx+αfyy+ηfyy- δf,Mf:=fθ- (1+λ)yfx,Nf:=(1)- γ) yfx公司- fθ。注意,对于f=f(x,y,θ),它是严格递增的,并且在x中有*f:=supc>0,πLc,πf=R1- Rf1-1/Rx+rxfx+αyfy+ηyfyy-(βfx+ηρyfxy)2fxx- δfand,因此它等效于表明-L*VC,-MVC,-NVC公司= 从VC的构造来看,L*无交易区域、购买区域和销售区域的VC=0、MVC=0和NVC=0。因此,仍需证明L*VC6 0、NVC6 0、,-1/λ6 p<p*;MVC6 0,NVC6 0,p*6页6页*;L*VC6 0,MVC6 0,p*< p 6 1/γ。采购区域p上∈ [-1/λ,p*), 直接替换显示NVC=-bRb公司-Rn(q*)-R(λ+γ)y(x+yθ)-R(1+λp)-R6 0,andL*VC=R(x+yθ)1-R1级- RbRb公司1.-R(1+λp)1-Rn(q*)-Rm(q*) - m级(1+λ)p1+λp6我们使用了n(q)的事实*) = m(q*),(1+λ)p1+λp<(1+λ)p*1+λp*= q*平方m(q)随着q<q而减小(分别增大)*< Q当R<1时(分别为R>1)。可以对销售区域p执行类似的计算∈ (p*, 1/γ]表示MVC6 0和L*VC6 0。现在,我们展示了无事务注册表上的MVC6 0∈ [p*, p*]. 不等式NVC6 0可以用同样的方式证明。
|