|
这可以用源项(37)和引理4的形式来表示。假设源项由一个单项式组成,其形式为S(t,z,x,y)=(t-t) n(x- (R)x)k(y)-(R)y)lv(t、z、x、y)。在这种情况下,根据我们的声明,应给出解asq(t,z,x,y)=ZTt(t- s) nMkX(s)MlY(s)v(t,z,x,y)ds。我们通过计算HQ=-(T- t) nMkX(t)MlY(t)v(t,z,x,y)+ZTt(t- s) 新罕布什尔州MkX(s)MlY(s)v(t,z,x,y)ds=-(T- t) n(x- (R)x)k(y)- (R)y)lv(t,z,x,y)=-S、 也很容易看出,对于(40)中提出的解决方案形式,满足了终端条件。结果来自PDE问题的线性。最后,我们给出命题4的证明。证据我们首先观察到,由于q(0)解Hq(0)=0,那么q(0)zalso解齐次方程,因为算子H具有常数系数。我们设置v=q(0)z。从(25),源项isS(t,z,x,y)=λ1,0(x- (R)x)+λ0,1(y- 是)v、 所以从引理5,我们得到了解q(1)(t,z,x,y)=hλ1,0(T- t) (十)- \'\'x)+(T- t) LX公司+λ0,1(T- t) (y)- y)+(T- t) LY公司智商(0)z(t,z)。(41)根据λ(y)的展开式,我们得到λ1,0=λλ1,0,λ0,1=λλ0,1。将lx和LYfrom(38)和(39)的表达放回(41),我们得到了表达素(27)。t=t时的终端条件明显满足。仍需检查q(1)的边界条件。我们证明了与原始变量(t,ξ)相对应的Q(1)的边界条件是满足的。使用(23)和(35),我们得到(28)。现在,由于风险容限函数ξ=α处的零边界条件,我们从(28)得到Q(1)(t,α,x,y)=0,这意味着(21)中的左边界条件满足。因此,(26)中的左边界条件满足Q(1)。接下来,我们计算公式(1)ξ(t,ξ,x,y)=(t- t) λA(t,x,y)RξQ(0)ξ+RQ(0)ξξ+(T- t) λB-2.RξQ(0)ξ+RQ(0)ξξ+ 3RξQ(0)+RξQ(0).
|