|
此外,u是确定性的,因为h具有此性质(参见[4]中的引理2.5.13)。我们接下来显示u(t,x)=x代表x≤ 0和t∈ [0,T]:在这种情况下,可以显式提供(2)的解:Xt=x expZttσdWs-Zttσds,Yt=E[XT | Ft]=XT,t∈ [t,t]。由于h(t,Yt)=0,很容易验证这些非正鞅过程实际上解决了FBSDE。因此,u(t,x)=u(t,Xt)=Yt=Xt=x。它仍然显示0≤ Ys=u(s,Xs)≤ Xsfor x≥ 0:因为u(s,0)=0,并且因为u在x中递增,导数最多为1,所以我们有0≤ u(s,x)≤ x、 对于所有x≥ 一般问题(2)中的一个示例无法以闭合形式求解,需要使用耦合FBSDE的数值格式来计算或近似解耦场u:[0,T]×R→ R.一旦获得解耦场,正向方程(即(2)中的第一个方程)将被向前追踪以进行模拟,Y将从Ys=u(s,Xs)中获得。然而,在特殊情况下,可以方便地获得解决方案:假设h是时间齐次线性的(对于非负净股票),即h(s,y)=γy+,某些常数γ>0。让t∈ [0,T]和x=Xt∈ [0, ∞). 根据命题6.3(应用于区间[t,t]),过程Y是非负的,因此引理6.1 yieldsVt=1-ZTtbZsdWQs-ZTtVsγds,t∈ [t,t]。因为1和γ是确定性的,所以很自然地推测V只依赖于时间,这样的bz就会消失。这意味着V解出一个二次常微分方程,这个解很容易得到。实际上,很容易检查t 7→1+γ(T-t) 是引理6.1中V所满足的BSDE的丰富解,这意味着Bz=0,Vt=1+γ(t- t) ,t∈ [t,t]。尤其是ux(t,x)=Vt=1+γ(t-t) 对于所有x∈ [0, ∞) 和所有t∈ [0,T]。这意味着u(t,x)=x1+γ(t- t) ,(t,x)∈ [0,T]×[0,∞)使用命题6.3。
|