接下来,对于任何t∈ [0,T],任意α∈ A、 对于任何容许的p,我们引入yα,pt=ess supτ∈Tt'Jα,(p,τ)t,(65)RBSDE的标准结果表明,Yα,pis是AFFINE RBSDE的唯一溶液,-dYα,pt=(R)Gα,pt(Yα,pt)dt- ZtdWt+dKt0≤ T≤ T(66)Yα,pt≥ pbt公司∧^τ0≤ T≤ T、 ZT(Yα,pt- pbt公司∧^τ)dKt=0(67)Yα,pT=pb^τ,(68),其中'Gα,pT(Y)=-\'cαt拍打∧ Q-(pt),pbty+(R)hα,at(pt,pat,pbt)=-cαt拍打∧ Q-(pt),pbty+hα,at(pt,pat,pbt){t<τ},其中cα和hα定义在(13)和(16)中。回想一下Vasatis(43),发电机(y,pbt)=2λαtpbtFα,-t(pbt)- λαtF-,αt(pbt)y+λαtPat(y)Fα,+t(Pat(y))- λαtF+,αt(Pat(y))y。很容易推断出'Gα,Pat(Vat)=Gat(Vat,pbt)1{t<τ}。因此,(增值税∧^τ)满足与(Yα,pat)相同的RBSDE。根据比较原理,我们得出结论:Yα,pat=增值税∧^τ。另一方面,对于任何α∈ A、 让我们选择pt=δpat,以获得:(R)Gα,patYα,帕特=(R)Gα,pat(Vat)=“λαtpbtF-,αt(pbt)+λαtZpbt-∞fαt(u)lc,bt(u)du- λαtF-,αt(pbt)Vat+λαtpatF+,αt(pat)- λαtF+,αt(pat)Vat{t<τ}≥hλαtF-,αt(pbt)(pbt- Vat)+λαtF+,αt(pat)(pat- Vat)+λαtpbtF-,αt(pbt)i{t<τ},其中lc,bis在(15)中定义,最后一个不等式基于假设7和9,以及lc,bt(·)的单调性,这意味着λαtZpbt-∞fαt(u)lc,bt(u)du≥ λαtZpbt-∞fαt(u)lc,bt(u)du=λαtpbtF-,αt(pbt)。注意,通过构造,pbt≤ Vbt公司≤ 增值税≤ 拍打那么,假设7意味着λαtF-,αt(pbt)(2pbt- 增值税)≥ λαtF-,αt(pbt)(2pbt- Vat),λαtF+,αt(pat)(pat- 增值税)≥ λαtF+,αt(pat)(pat- 增值税)。因此,我们得到:’Gα,patYα,帕特≤\'Gα,帕特Yα,帕特.利用RBSDE的比较原理,我们得出结论:Yα,pat≥ Yα,pat=增值税∧^τ。考虑一个任意策略(p,τ)。通过在pap和p之间切换,我们可以构造一个新的策略p,例如Yα,pt≥ 增值税∧^τ∨Yα,pt,对于所有t。更准确地说,我们定义了“Gα,pt(Y)=”Gα,pat(Y)∨\'Gα,pt(y),并求解RBSDE(66)–(68)。