|
然而,下面开发的直接参数允许建立全局存在性,并且还导致以矩阵幂级数的形式显式表示解。证据设(Д,˙Д,M)为FBSDE(a.1–a.2)的解决方案,其中∈ Lδ和M是鞅[0,∞) 具有有限的秒瞬间。修复t∈ (0, ∞). 然后通过零件进行集成-δt˙Дt=˙Д+中兴通讯-δsdMs+中兴通讯-δsB(Дs- ξs)ds。(A.4)设k·kbe为R中的欧几里德范式lk·kmax R上的最大范数l×l. 重新推导(A.4)并依次使用初等不等式(A+b+c)≤ 3(a+b+c)表示a、b、c∈ R、 基本估计kAxk≤√lkAkmaxkxk和Jensen不等式给出中兴通讯-δsdMs≤ 3k˙Иk+e-2δtk˙Иtk+中兴通讯-δs√lkBkmaxkДs- ξskds!≤ 3.k˙Иk+e-δtk˙Иtk+lδkBkmaxZte-δskИs- ξskds. (A.5)最大和欧几里德范数的定义,估计值|[N,N]|≤([N]+[N])对于实值局部鞅和N,以及t∈ (0, ∞),E中兴通讯-2δsd【M】s最大值= Emaxi,j∈{1,...,l}中兴通讯-2δsd【Mi,Mj】s≤Emaxi公司∈{1,...,l}中兴通讯-2δsd[米]s+最大值∈{1,...,l}中兴通讯-2δsd【Mj】s= Emaxi公司∈{1,...,l}中兴通讯-2δsd【Mi】s≤ E“lXi=中兴通讯-2δsd[米]s#=E“lXi=1中兴通讯-δsdMis#= E“中兴通讯-δsdMs#. (A.6)自∈ Lδ,存在一个递增序列(tk)k∈N带limk→∞tk=∞ 这样,Limn→∞Ehe公司-δtkk˙Иtkki=0。(A.7)单调收敛,(A.5-A.7)和Д,ξ∈ Lδ依次为Z∞e-2δsd【M】s最大值= 利姆→∞EZtke公司-2δsd【M】s最大值≤ 利姆→∞E“Ztke公司-δsdMs#≤ 3.lk˙Иk+lδkBkmaxEZ∞e-δskИs- ξskds< ∞.因此,M∈ Mδ如所述。定理A.2。假设T=∞, δ>0,且(A.2)中的矩阵B只有正值。设置 = B+δIl. 然后,FBSDE(A.1–A.2)的唯一解决方案由Дt=Zt给出e-(√-δIl)(t-s) \'ξsds,(A.8),其中\'ξt=√ -δIlEZ∞t型√ +δIle-(√+δIl)(s)-t) ξsds英尺. (A.9)证明。
|