|
收回(3.1)并让m→ ∞, 我们可以应用支配收敛定理和单调收敛定理(对于积分项)来获得v(t,x)=Et,x五(1- ε、 X1-ε) +Z1-t型-εeXt+sXt+s1- t型- s-{Xt+s>b(t+s)}ds.通过相同的参数,让ε→ 0我们得到(5.10),即v(t,x)=Et,x五(1-, X1-) +Z1级-文本+sXt+s1- t型-s-{Xt+s>b(t+s)}ds= 1+Et,xZ1级-文本+sXt+s1- t型- s-{Xt+s>b(t+s)}ds,16 DE ANGELIS和MILAZZOwhere在第二行中,我们使用了它,对于tn<1,1≤ lim inf(tn、xn)→(1,0)v(tn,xn)≤ lim sup(tn、xn)→(1,0)v(tn,xn)≤ lim sup(tn、xn)→(1,0)e | xn | e[e | Wτ*n |]=1,根据问题公式(2.11)得出,τ*n: =τ*tn,xn。现在,通过在(5.10)中设置(t,x)=(t,b(t)),得到积分方程(5.11)。该方程解的唯一性遵循了最初在【22】中提出的四个步骤的标准证明。同样的证明已经在numerousexamples中重复,其中一些可以在[23]中找到。因此,这里我们只简要介绍一下证明的主要论点。假设存在另一个连续函数c:[0,1]→ c(1)=0的R+和所有t的th∈ [0,1]它保持c(t)≥ (1 - t) /2安第斯(t)=1+Et,c(t)Z1级-文本+sXt+s1- t型-s-{Xt+s>c(t+s)}ds.(5.15)然后,定义函数vc(t,x):=1+Et,xZ1级-文本+sXt+s1- t型- s-{Xt+s>c(t+s)}ds,i、 e.,与(5.10)类似,但将b(·)替换为c(·)。由于c(·)是连续的,并且布朗桥允许连续的跃迁密度,因此不难证明vc在[0,1)×R上是连续的。此外,很明显,对于x,vc(1,x)=1∈ R和,by(5.15),vc(t,c(t))=ec(t)表示t∈ [0, 1].pro of中的主要观察结果是→ vc(t+s,Xt+s)+ZseXt+uXt+u1- t型- u-{Xt+u>c(t+u)}du(5.16)是任意(t,x)的Pt,x-鞅∈ [0,1)×R,而且它是s的连续鞅∈ [0, 1 - t) 。
|