|
特别地,如果考虑这个偏微分方程,对于某些有界的g,其边界条件为u(T,y)=g(y),则解由u(T,y)=ZRg(z)Γ(T,y;T,z)dz给出。另一方面,由于SDE(4.1)满足了[26]中关于时间间隔[0,T]的定理5.7.6的假设,u h是该定理的以下随机表示:u(T,y)=E[g(YT)|YT=y]=ZRg(z)p(T,y;T,z)dz。因此,ZRg(z)p(t,y;t,z)dz=ZRg(z)Γ(t,y;t,z)dz,并且由于g是任意的,并且Γ和p在其参数上都是连续的,我们推导出p(t,y;t,z)=Γ(t,y;t,z)对于所有0≤t<t<1,因此,对于t<1,它是C1,2on[0,t)×R。为了证明p(t,y;1,z)对于每个z是C1,2on[0,1)×R,考虑(4.13)的边界条件u(t,y)=p(t,y;1,z)。注意,u(t,y)是有界的,因为,由于(4.11),我们有R(t,y;u,z)≤ e2cCe-B(t,y)=e2cCe(c/σ)(yH(t,y)-RyH(t,x)dx)(4.14)≤ e2cCe(ckhk)∞/σ) |y |,其中第一个不等式是由Hy(t,y)的界引起的,最后一个不等式是由引理4中得到的H(t,y)的界引起的。2.因此,存在一个独特的经典解u(t,y)to(4.13),边界条件u(t,y)=p(t,y;1,z),由u(t,y)=ZRp(t,y;t,x)p(t,x;1,z)dx通过定义有趣的解给出。然而,通过查普曼-科尔莫戈罗夫方程,ZRp(t,y;t,x)p(t,x;1,z)dx=p(t,y;1,z),(4.15),这反过来又产生了p(t,y;1,z)处的th∈ C1,2([0,T)×R)。由于T是任意的,我们有p(T,y;1,z)∈ C1,2([0,1)×R)。收集了所有的先决条件之后,我们现在可以证明我们的主要定理了。理论证明4。1.在引理4.2的设置中,M定义了Y和σW定律之间的等效测量变化。因此,如果我们用[see(4.10)]r(y]定义r(y):=r(0,0;1,y)=EQMW=yσ,(4.16)22 U.C,ETIN和A。
|