|
因此,可信集的上边界,即两个公用事业公司之间的差异最大,应该可以通过最短期限的合同来达到,该合同在第一次违约后立即终止合同关系。在该模型中,这意味着θ等于零,由此产生的上边界HJB方程与还剩一笔贷款的情况下的HJB方程具有相同的形式。我们预计扩散方程的解与(4.14)的形式相同。下一个建议的目的是严格证明我们的猜测。我们将证明推迟到附录D提案4.3。对于任何j≥ 1、功能BU?jde由BU确定?j(ub):=ρgρbr+bλSHjr+bλj乌兰巴托-Bjr+bλSHj+Bjr+bλSHj,ub∈Bjr+bλSHj,x?j,ρgρbbbbλSHj-bλjr+bλSHjjr+bλSHjr+bλjr+bλjr+bλSHj乌兰巴托-Bjr+bλSHjr+bλjr+bλSHj,ub∈x?j、 bbj公司,ρgρbub,ub∈bbj、+∞,(4.17)其中x?j:=ρbρgr+bλSHjr+bλjbbjr+bλjr+bλSHj+Bjr+bλSHj是HJB方程(4.9)的解。4.4.2验证理论根据方程式(4.15)中的最大值,我们定义了以下控制δj(ub):=1{ub≥bbj}ub(r+bλj)ρb,θj(ub):=0,h1,b,j(ub):=ub-B(j- 1) r+bλSHj-1,h2,b,j(ub):=b(j- 1) r+bλSHj-1,kb,j(ub):=j1{ub<bbj},kg,j(ub):=j1{bU?j(ub)<bbj}。(4.18)在说明上边界的验证结果之前,我们先对函数的域SBU?j、 严格地说,银行的公用事业可能为零,但这只发生在时间τ,即所有池都被清算时。BU的领域?jis在验证定理的证明中的setbVjbut,它将隐含理解thatbU?j(0)=0。在任何情况下,我们都不需要功能SBU?jt定义为零,因为其公式将用于不包含τ的区间。定理4.1。考虑任何开始时间t≥ 0
|