此外,估计值(9 2)意味着(31)给出的概率表示对所有(t,x)都有界∈ [0,T]×RN+1+。这就完成了命题的证明。引理3.3的证明。由式(16)得出,d(T)=ξ(H(T))(1- K(T))+ZT(1- K(u))a(u)du+ZTZ(u)dK(u)。利用部分积分(19),我们得到了d(T)=ξ(H(T))(1- K(H(T))+ZT(1)- K(H(u)))a(u)du+Z(H(T))K(H(T))- Z(H(0))K(H(0))-ZTK(H(u-))dZ(H(u))。由于K(0)=0,它遵循命题3。2 thatY(t)=F(1,1,1)(t,X(t),H(t))+Zt(1- K(u))a(u)du-ZtK(H(u-))dZ(H(u))。(93)F(1,1,1)(t,x,z)是由,on(t,x,z)给出的后向Cauchy问题递归系统的唯一有界经典解∈ [0,T)×RN+1+×S,t+AF(1,1,1)(t,x,z)+(1- K(z))a(z)-N+1Xj=1K(z)[z(zj)- Z(Z)](1- zj)xj=0(94),终端条件f(1,1,1)(T,x,z)=ξ(z)(1- K(z))+z(z)K(z),(x,z)∈ RN+1+×S.(95)应用It^o公式,我们得到F(1,1,1)(t,X(t),H(t))=F(1,1,1)(0,X(0),H(0))+ZtN+1Xj=1K(H(u))[Z(Hj(u))- Z(H(u))](1)- Hj(u))Xj(u)- (1 - K(H(u)))a(H(u))du+ZtDxF(1,1,1)(u,X(u),H(u))σ(X(u))dW(u)+N+1Xj=1Zt[F(1,1,1)(u,X(u-) + wj、Hj(u-)) - F(1,1,1)(u,X(u-), H(u-))]dMj(u)。使用公式(93),我们推导出dy(t)=DxF(1,1,1)(t,X(t),H(t))σ(X(t))dW(t)+N+1Xj=1[F(1,1,1)(t,X(t-) + wj、Hj(t-)) - F(1,1,1)(t,X(t-), H(t-))]dMj(t)-N+1Xj=1K(H(t-))[Z(Hj(t-)) - Z(H(t-))]dMj(t)。这将产生增益过程的动力学(33)。命题4.1的证明。该证明是Schweizer(2001)定理2.4的一个简单扩展,适用于支付链具有随机交付状态的情况。Let^1*= (θ*, η*) 成为inEq定义的战略。(58). 然后是V^1*(t) :=θ*(t) YN+1(t)+η*(t) =V(t)- Θ(t),因此从等式s(54)和(57)中,它保持sthatcД*(t) =V(t)-ZtθGKW(u)dYN+1(u)=E[Θ(T∧ τN+1)]+A(t),这意味着CД*结果是一个与YN+1强正交的G-鞅。