注意,在倒数第二个等式中,我们使用了η=0,因为η与f(x,y)无关。最后,我们计算η。再次,为了清楚起见,省略参数(x,y),我们得到η(t)=ZTtdtP(t,t)H(t)(通过(3.11)和(3.28))=ZTtdtP(t,t)eAη(t)+eAη(t)+ZTtdtP(t,t)- (λ)+ (1 - ρ)(β)(yη(t))(by(3.17))=-zttdttzttdtg(t,t)P(t,t)P(t,t)(λ)(由(A.1)和(3.34))-ZTtdt(λ)(X(t,t),Y(t,t))1+(1- ρ) (β)ZTtdt(λ)0,1(T- t) (由(3.32)及(3.38)修订)-ZTTTZTTDTG(t,t)P(t,t)(λ)-ZTtdt(λ)(X(t,t),Y(t,t))1+(t- t) (1)- ρ) (β)(λ)0,1(半群性质)=-ZTtdtG(t,t)zttdtt(λ)(X(t,t),Y(t,t))1-ZTtdt(λ)(X(t,t),Y(t,t))1+(t- t) (1)- ρ) (β)(λ)0,1,(由(3.32))表示,这是(3.37)中给出的表达式。这证明了命题3.8。B命题3.11的证明在本附录中,我们推导出u、u和u的显式表达式。在本附录中,我们将一如既往地抑制(x,y)依赖性,除非需要澄清。我们从u开始,u是(3.10)的独特经典解决方案。使用(3.28),我们可以立即写出eu(t)=P(t,t)~n。(B.1)特别是,对于催缴股款-ek)+并将支付额(x)=(ek-ex)+,表达式(B.1)becomesu(t)=uBS(t,·;σ),其中uBS在(3.39)中给出。这正是(3.40)中给出的u的表达式。接下来,我们计算函数u。我们有u(t)=zttdttp(t,t)u(t)(by(3.12)和(3.28))=zttdttp(t,t)eAu(t)(by(3.16))(B.2)=zttdttg(t,t)P(t,t)和(B.1))=ZTtdtG(t,t)u(t)(by(3.26))和(B.1)。(B.3)这是为uin(3.41)给出的表达式。最后,对于u,从(3.12)、(3.18)和(3.28)我们有u(t)=ZTtdtP(t,t)u(t)=u2,1(t)+(1)- ρ)(β)2u2,2(t)- γνu2,3(t), (B.4)其中我们定义了2,1(t)=ZTtdtP(t,t)水(t)+水(t), (B.5)u2,2(t)=ZTtdtP(t,t)(余(t))(yη(t)),(B.6)u2,3(t)=zttdttp(t,t)(余(t))。(B.7)我们将分别分析u2,1、u2,2和u2,3与u2,1之间的关系。