修理 > 通过假设1,我们得到(7.0.6)λ=Xi,j,cip(i,j,c)=Xi,j,cjp(i,j,c)<∞,然后存在一个整数M(7.0.7)Xi≥MXj,cip(i,j,c)+Xj≥MXi,cjp(i、j、c)<,soXi公司∨j≥M,cjp(i,j,c)=Xi≥MXj<米Xcjp(i、j、c)+Xi≥MXj公司≥MXcjp(i,j,c)+Xi<MXj公司≥MXcjp(i、j、c)≤xi≥MXj<米Xcip(i、j、c)+Xi≥MXj公司≥MXcjp(i,j,c)+Xi<MXj公司≥MXcjp(i、j、c)<.(7.0.8)我们可以类似地证明存在一个整数L这样的话PI∨j≥L,cip(i、j、c)<,但在不失去一般性的情况下,我们写了M而不是L在接下来的内容中。此外,根据假设1,作为n→ ∞,(7.0.9)Xi,j,ciPn(i,j,c)=Xi,j,cjPn(i,j,c)→ λ < ∞,对于足够大的n,我们可以显示xi∨j≥M,cjPn(i、j、c)<,部分信息下的违约传染干预17Xi∨j≥M,ciPn(i,j,c)<.(7.0.10)因此我们定义了整数M正式地定义7.2。对于任何 > 0,我们定义作为整数,例如xi∨j≥M,cip(i、j、c)<,xi∨j≥M,cjp(i、j、c)<.因此,定义:= {(i,j,c,l):i∨ j<米, 0≤ l<c≤ i或c=i+1,l=i},Φ:= {(i,j,c,c- 1) :i∨ j<米, 0≤ c≤ i} ,^λ:=λ- ,其中a∨ b=最大值{a,b}。接下来,我们展示了在给定函数u命题7.2的情况下,比例状态变量sk和itk在概率上与定义7.1中常微分方程的解一致。