我们需要证明νj,*∈ 它使G^ateaux导数消失。首先,让我们注意到,我们可以将FBSDE的解隐式表示为(A.23)2 akνj,*t=E-2ψkqj,νj,*T+ZTtnbAu+λνu- 2φkqj,νj,*uodu公司Fjt公司,这表明νj,*是否适应Fj。因此,由于νj,*∈ HTandνj,*Fj是否适应,我们有νj,*∈ Aj。最后我们证明了νj,*使G^ateaux导数消失。通过在引理3.4的G^ateaux导数表达式中插入(A.23)并使用tower性质,我们发现它几乎肯定会消失。必然性:假设hDHj(νj,*), 对于所有ω,ωi=0∈ Aj。这意味着(A.24)E-2akνj,*t型- 2ψkqj,νj,*T+ZTtnbAu+λνu- 2φkqj,νj,*uodu公司Fjt公司= 0P×u几乎无处不在。要看到这一点,假设hDHj(νj,*), 对于所有ω,ωi=0∈ Aj,但(A.24)不成立。然后,选择(A.25)ωt=E-2akνj,*t型- 2ψkqj,νj,*T+ZTtnbAu+λνu- 2φkqj,νj,*uodu公司Fjt公司.首先,很明显,ω的这种选择是由其定义调整的。其次,利用νk∈ 利用Jensen不等式和(A.25)上的三角形不等式,我们可以得到边界(ωt)dt≤ 4.ak+Tψk+TφkEZT(νj,*t) dt+EZTbAt+λνtdt<∞ ,26 CASGRAIN,P.和JAIMUNGAL,S.这意味着ω∈ HTand因此ω∈ Aj。当我们将ω的选择插入到g^ateaux导数的表达式中时,我们看到hDHj(νj,*), ωi>0,这与hDHj(νj,*), 对于所有ω,ωi=0∈ Aj。使用(A.24)并注意到νj,*t型∈ Fjt,我们可以写(A.26)2 akνj,*t=E-2ψkqj,νj,*T+ZTtnbAu+λνu- 2φkqj,νj,*uodu公司Fjt公司,和(A.27)2 akMjt=E-2ψkqj,νj,*T+ZTnbAu+λνu- 2φkqj,νj,*uodu公司Fjt公司,这解决了命题陈述中的FBSDE。附录B.第3节-解决BSDE的证明。B、 1。命题3.6的证明。证据