然后,对Fs进行条件反射-, 上述积分可以写成:PhXθt(ε,{s},x)>x+yi=EPhXθt-s(ε,, v) >x+yiv=^Xs-(ε,,x) +γ(^Xs)-(ε,,x) ,J)θ(^Xs)-(ε,,x) ,J,U)= EU> ν(^Xs)-(ε,,x) ,J)PhXθt-s(ε,, v) >x+yiv=^Xs-(ε,,十)+ EU<ν(^Xs)-(ε,,x) ,J)PhXθt-s(ε,, v) >x+yiv=^Xs-(ε,,x) +γ(^Xs)-(ε,,x) ,J),= E1.- ν^Xs-(ε, , x) ,JPhXθt-s(ε,, v) >x+yiv=^Xs-(ε,,十)+ Eν^Xs-(ε, , x) ,JPhXθt-s(ε,, v) >x+yiv=^Xs-(ε,,x) +γ(^Xs)-(ε,,x) ,J).式中{^Xs(ε),, x) }06s6t是{xθs(ε,, x) }06s6t。我们分别用T(x,y)和T(x,y)表示上面的最后两项。根据ν6h的事实,根据马尔可夫性质,T(T)6ePXθt-s(ε,, z) >x+yz=^Xs-(ε,,十)= P[Xθt(ε,, x) >x+y],根据(3.4),对于任何y>0和任意大的N>0,可以将其设为O(tN)。另一方面,T(x,y)=EhHT- s、 ^Xs-(ε, , x) ,x+yi、 其中h(t,z,q)=Eν(z,J)PhXθt(ε,, v) >qiv=z+γ(z,J).利用定理5.1,T(x,y)可以写成(A.16)T(x,y)=EhH^Xs-(ε, , x) );x+y+ (t)- s) H^Xs-(ε, , x) );x+yi+O(t),其中H(z;q)和H(z;q)在(5.2)中给出。将H(z;q)写成λ-1εR∞γ-1(z,q)-z) 由引理3.1可知γ-根据(S1)的规律性,H(z;q)是。