|
那么函数Φ(t,x):=ZtZba~n(t,x,s,y)γ(ds,dy),t∈ [0,T*], 十、≥ 0是连续的。引理6.4的证明:假设Φ(t,x):=ZT*Zba~n(t,x,s,y)γ(ds,dy),t∈ [0,T*], 十、≥ 0.如果(tn,xn)→ (t,x)然后φ(tn,xn,s,y)→ ~n(t,x,s,y)。因为ψ在[0,T]上有界*] × [0, +∞) ×[0,T*]×[a,b]和γfine,其结果来自勒贝格支配的收敛定理。现在定义一个有界连续函数j(t,x,s,y):=yln(1+λ(t)- s+x)y)- λ(t)- s+x)y,对于(t,x)∈ [0,T*] × [0, +∞), (s,y)∈ [0,T*] ×[a,b]。然后j(t,x)=ZtZbaj(t,x,s,y)yπ(ds,dy)。要使用引理6.4,让我们定义а(t,x,s,y):=(j(t,x,s,y)- j(t,x,t,y),s<t,x≥ 0,y∈ [a,b],0,s≥ t、 x≥ 0,y∈ [a,b]和γ(ds,dy):=yπ(ds,dy)。Th enJ(t,x)=ZtZbaа(t,x,s,y)yπ(ds,dy)+ZtZbaj(t,x,t,y)yπ(ds,dy)=Φ(t,x)+Zbaj(t,x,t,y)yπ([0,t],dy)。函数Φ由引理6.4连续,因此J(·,x)是任意x的c`ad l`ag≥ 0我们还需要一个关于随机场规律性的结果。命题6.5设h=h(x)∈ L2,γ和H=H(t,x),t∈ [0,T*], 十、≥ 0是一个函数,比如t,x∈[0,T*]×[0,+∞)| H(t,x)|<+∞ ,H(·,x)是每个x的c`adl`ag≥ 然后f函数h:[0,T*] -→ 由h定义的L2,γ:=h(t+x)h(t,x)是L2,γ中的c`adl`ag。证明:我们有以下估计kh(t)-~h(s)kL2,γ=Z+∞| h(t+x)h(t,x)- h(s+x)h(s,x)| eγxdx=Z+∞| h(s+x)[h(t,x)- H(s,x)]+[H(t+x)- h(s+x)]h(t,x)| eγxdx≤ 2e-γsZ+∞eγ(x+s)|h(s+x)|h(t,x)- H(s,x)| dx+2CkSt(H)- Ss(h)kL2,γ,其中C=sup(t,x)∈[0,T*]×[0,+∞)| H(t,x)|。利用支配收敛定理,我们发现当s→ t存在并且当s时等于零↓ t、 当s时,二次积分消失→ 因为半群在L2,γ上是str连续的。因此,h是L2,γ中的c`adl`ag函数。6.3.2第2步。
|