|
(i) 双变量过程ss(X,D)是一个Feller过程,其Feller半群(Pt)t≥0Actions onf∈C([0,∞] 根据toPtf(x,d)=Ptf(x)+(1-d) Pt(f)-f) (x),(2.5)式中f(x)=f(x,0)∈ C([0,∞]), f(x)=f(x,1)∈ C([0,∞]), (Pt)t≥0是C([0,∞]) 和(Pt)t≥0是C([0,∞]).(ii)Feller半群(Pt)t的极小生成元≥0is givenbyAf(x,d)=Af(x)+(1-d) A(f)-f) (x)=Af(x,d)+(1)-d) k(x)(f(x,1)-f(x,0)),其中a和a是(Pt)t的生成元≥0和(Pt)t≥分别为0。8 R.MENDOZA-ARRIAGA和V.LINETSKY(iii)如果f(x,d)∈ D(A)[即,f的形式为(2.4)和f,f∈ D(A)]和(X,D)从X=X>0和D=D开始∈{0,1},那么进程mft:=f(Xt,Dt)-f(x,d)-ZtAf(Xs,Ds)是一个G-鞅。证据(i) 对于所有0≤s<t,我们有E[f(Xt,Dt)|Gs]=E[(1-Dt)(f)-f) (Xt)|Gs]+E[f(Xt)|Gs]=(1)- Ds)E[E]-Rtsk(徐)杜(f)-f) (Xt)| FBs]+E[f(Xt)|FBs]=(1)- Ds)Pt-s(f)-f) (Xs)+Pt-sf(Xs)=Pt-sf(Xs,Ds)。第二个等式是信用风险强度建模的标准结果[e.g.,Jeanblanc,Yorand Chesney(2009),推论7.3.4.2,或Bielecki an d Rutkowski(2004),推论5.1.1],第三个等式来自于X的马尔可夫性质和时间同质性。自算子(Pt)t≥0和(Pt)t≥0在C([0,∞]), 然后,操作员(Pt)立即≥0在C([0,∞] × {0, 1}). 因此,双变量过程(X,D)是一个Feller过程,其半群作用于C([0,∞] 方程(2.5)给出了×{0,1})。(ii)根据方程式(2.5)的表达式A,给出了A和A。第(iii)部分根据Ethier和Kurtz(1986)的命题1.7,第162页。
|