对于n足够大,我们在集{uto<ζ<η}上有0≤n≤θ和soè≤ζn≤η+π。从效用函数(H4)的标准假设出发,我们在集合{uto<ζ<η}上有μu(θ)≤μu(ζn)≤μu(η+^)。所以对于n足够大,E[exp(γ′u(ζn))]是,这意味着(c*,我们从J(见(4.10))的认识和策略的最优性(C*,ζ),我们有0≥n(J(x,c*,ζn,~P*,λ*)-J(x,c*,ζ,~P*,λ*))(6.5)=n(Yx,c*,ζn-yx,c*,ζ,ζ)-λ*e~P*[1a,η]≥neqnhαsδt(u(ζn)-u(ζn)-u(ζ))i-λ*e~P*[1a,η]=nephzqntαsδt(u(ζn)-u(ζn)-u(ζ))1a,η],ηi-λ*e~P*[1a,η],其中概率测度qn具有由P-鞅zq给定的密度n=(ZQnt)0≤t≤t=(Et(-βMx,c*,ζn))0≤t≤tand Mx,c*,ζnt=rtzx,c*,ζnsdws。由于ζnandζ之间存在θn,使得u(ζn)-u(ζ*)=u\'(θn)(ζn-ζ*),我们推导出n(μu(ζn)-u(ζn))1a,η-→u\'(ζ*)1a,ηdp a.s。(6.6)和n(μu(ζn)-μu(ζ*))1{<ζ<η}≤μu\'(th)dP a.s。(6.7)从对ZQnt的认识出发,我们得到ZQnt=exp(-βMx,c*,ζnt-2β<Mx,c*,ζn>t)。(6.8)由BSDE(2.11)得到Yx,c*,ζnt-yx,c*,ζn=zt(δsyx,c*,ζns-αu(c*s))ds+2βhmx,c*,ζnit+Mx,c*,ζnt。(6.9)a。Matoussi,H.Mezghani,M.Mnif/27pugging(6.9)到(6.8),我们得到Zqnt=exp Ztβ(δsyx,c*,ζns-αu(C*s))ds-β(Yx,c*,ζnt-yx,c*,ζnt-yx,c*,c*,ζnt-yx,c*,ζnt-yx,c*,ζn),从命题2.1(i)中我们得到了elimn-→∞zqnt=exp Ztβ(δsyx,c*,ζs-αu(C*s))ds-β(Yx,c*,ζt-yx,c*,ζnt-yx,c*(6.10)在折现因子(H1)aNd有界性下,由于(Yx,c*,ζnt)0≤t≤t∈Dexp,wehaveZQnt≤exp tβδ∞sup0≤t≤tyx,c*,ζnt+αβztu(cuts)ds+βessup0≤t≤tyx,c*,ζnt。(6.11)从命题2.1(i)中,我们得到了Yx,c*,ζt≥Yx,c*,ζnt≥Yx,c*,ζt,以及soess sup0≤t≤tyx,c*,ζnt≤ess sup0≤t≤tyx,c*,ζt+ess sup0≤t≤tyx,c*,ζt≤tyx,c*,soess sup0≤t≤tyx,c*,soess sup0≤t≤tyx,sup0≤t≤tyx,sup0≤t≤tyx,sup0≤t≤tyx,sup0≤t≤tyx。(6.12)利用不等式(6.7)、(6.11)和(6.12),我们得到了(u(ζn)-u(ζ*))1{<ζ<η}zqnt≤u\'(ρ)exp tβδ∞(ess sup0≤t≤tyx,c*,ζt+ess sup0≤t≤tyx,c*,ζt)+αβztu(cés)ds+β(ess sup0≤t≤tyx,c*,ζt):=gT。从柯西-施瓦茨不等式出发,我们得到了ep[gT]≤u\'(c)ephexp2αβztu(cés)=gT。)ds i(6.13)ephexp2(2+kδk∞t)βessup0≤t≤tyx,c*,ζ+essup0≤t≤tyx,c*,ζt。从折现因子(H1)上的有界性出发,由于(c*,ζ)∈A,(c*,ζ)∈A,Yx,c*,ζ∈Dexp展开Yx,c*,ζ,Dexp,我们得到gT∈L(P)。通过支配收敛定理and代入不等式(6.6)和(6.10),我们得到了:0≥limn-→∞eqnhαsδtn(μu(ζ*)-u(ζn))1{<ζ<η}i-λδe~P'[1a',η]=eq'hαsδt′u'(ζ*)1a',ηi-λ'e~P'[1a',η],这意味着对于所有的0<θ<η<∞来说,P(a',η)=0。发送∑-→0和η-→∞时,我们有a~,ηnz*tstδα~u\'(ζ*)-λ~~zt>0,因此证明了不等式(6.4)。第二步:我们证明了αz~tsδtu\'(ζ*)≥λ~~z~tdp a.s。(6.14)我们考虑以下setb′,η:=nz*t′αsδt′u′(ζ)-λ~z*t<0,ut<ζ<ηo.a。马图西、H.Mezghani,M.MnIF/28我们的定义如下:我们证明了(c*,ζ\'n)∈A:如第1步,对于n足够大,我们在集合{utu<ζ<η}上有0≤n≤ε和soutu≤ζ\'n≤η。从效用函数(H4)的标准假设出发,我们在集合{utu<ζ<η}上有μu(th)≤μu(ζ\'n)≤μu(η)。这表明对于n足够大,E[exp(γ′u(ζ\'n))]是有限的,所以(C*,我们从J(见(4.10))的认识和策略的最优性(C*,ζ),我们有0≥n(J(x,c*,ζ\'n,~P*,λ*)-J(x,c*,ζ,~P*,λ*))(6.15)=n(Yx,c*,ζ\'n-yx,c*,ζ\'n-yx,c*,ζ)+λ*e~P*[1b*,η]≥neq′nhαsδt(μu(ζ\'n)-u(ζ\'n)-u(ζ\'n))i+λ*e~P*[1b*,η]=nephzq′nt\'αsδt(μu(ζ\'n)-u(ζ\'n))1b*,η])1b*,η],其中概率测度q′n具有给定的密度通过P-鞅zq′n=(zq′nt)0≤t≤t=(Et(-βMx,c*,ζ\'n))0≤t≤tand Mx,c*,ζ\'nt=rtzx,c*,ζ\'nt=nsdws。由于ζ\'n与ζ之间存在θn,使得u(ζ\'n)-u(ζ\'n)=u\'(θn)(ζ\'n)-u(ζ\'n))1bp,η-→-u\'(ζ\')1bp,ηdp a.s。(6.16)和n(μu(ζ\'n)-μu(ζ*))1{<ζ*<η}≤μu\'(th)dP a.s。(6.17)从对Zq′nt的认识出发,我们得到Zq′nt=exp(-βMx,c*,ζ′nt-2β<Mx,c*,ζ′n>t)。