|
QT的唯一性遵循一阶微分方程的标准存在唯一性理论(见Davis[5]中的命题4.4.2)。如果≈u=exp,则很容易看到(-θu)用于选择提案4.1中的u满足条件(5)。命题5.2 Eh,γ[RT-te~Zs(D~u′(t+s,Xs)∧)dWh,γs]=0。根据(3.11)中u的定义证明,对于属于Γ(T)的任何最优控制,策略^h≡ 0是次优的,因此将提供u的上界。进一步,对于零基准情况,即710;γ≡ 0,我们现在就可以得到<<u>>u(t,x)=infh的上界∈H(T)Eh,^γ[exp{θZT-tg(Xs,hs,^γs,rs+t;θ)ds}f-θ/2]≤ E0,^γ[exp{θZT-tg(Xs,0,^γs,rs+t;θ)ds}f-θ/2]∴ ~u(t,x)≤ E0,0[exp{θZT-tg(Xs,0,0,rs+t;θ)ds}f-θ/2]=exp(-θZT-trs+tds)f-θ/2 now Q和Q是o.d.e系统的解,因此是有界函数的积分。HenceQ和q是时间t的连续函数∈ [0,T],因此在[0,T]上有界。矩阵∧是阿肯恩常数。根据随机微分方程的标准存在唯一性结果(参考Oksendal([14]),我们有X∈ L(Ohm, F、 Ph,γ)。因此,从上界o nu,注释3.1和tDu(t,Xt)=QtXt+qtis在L中的事实来看(Ohm, F、 Ph,γ),我们有Eh,γ([Du∧eZ,Du∧eZ]t)<∞ T∈ [0,T]。我们有呃,γ[RT]-tD~u′(t+s,Xs)∧e~ZsdWh,γs]=0。。很明显,我们的g=exp(-θu)满足提案N4.1的条件(1)-(5)。因此,我们的选择u实际上是博弈(P2)的值,而控制ls^h,^γ是该博弈的鞍点均衡。引理5.2对于控制空间H(T)和Γ(T)的选择,我们有[E]-θZ[(QtXt+qt)∧+(h′t∑- γ′t)]dWtT] =1(5.10)证明:根据Kazamaki条件,参考(Oksendal[14]),(5.10)保持ifE[exp(Rtθ((QsXs+qs)λ+(h′s∑)-γ′s)dWs)]∞ T∈ [0,T]。
|