|
为了确定V^c是否可以成为值函数的一个很好的候选者,我们必须研究函数f(r,s)的性质。根据第2.1小节,对于固定的r和b>0,函数fs(r,s)在s=w(r)=-aln(u(r))与u(r)=r- b+σa+qR- b+σa+ 4bσa2σ/a>0。请注意,fss(r,s)=-afs(右、南)- A.b+σae-2as. 这意味着,对于固定的r,它保持着其他fs(r,s)≤ [0]上的0,∞), 如果u(r)≥ 1,或[0,w(r)]上的fs(r,s)>0,以及(w(r)上的fs(r,s)<0,∞), 如果u(r)<1。因此,我们只考虑第2小节中的情况1和4。1,如图1中的图1和图4所示。很容易看出,函数u(r)在r中增加,u(0)=1。它意味着f(r,s)<0表示所有(r,s)∈ R+。因此,对于(16)中定义的策略^C,它保持sv^Cx(r,x)=efr、 xξ-u≤ 1(r,x)∈ R+。如果r<0且s>0,则对于每个固定的r∈ R-函数f(r,s)达到其最大值w(r)。此外,因为f(r,0)=0表示所有r∈ R和lims→∞f(r,s)=-∞ 曲线α(s):=a1- E-asn- 学士+学士(1)- E-as)-σ2a(1)- E-as)ois与f是唯一的α(s),s≡ 0.使用对数函数的幂级数表示,例如[2,p.381],它适用于s>0:α(s)=a1- E-asn-文学士∞Xn=1(1- E-as)nn+ba(1)-E-as)-σ2a(1)- E-as)o=-B∞Xn=1(1- E-as)nn+1-σ2a(1)- E-as)<0,α′=-ba·e-像∞Xn=1(1- E-as)n-1nn+1-σe-as<0。因此,α为负且严格递减。设β(r)表示r的α(s)的反函数∈ (-∞, 0)(定义明确,因为α严格递减),即β(α(s))=s,然后是β(r),r∈ R-, 是正的,严格地说是递减的。特别是,f(r,s)>0表示s<β(r),f(r,s)<0表示s>β(r),V^Cxx(r,x)<0表示x≥ β(r)。
|