结合(4.40),我们从(4.36)中发现supε∈(0,1-y)EhΛεi<∞, 从而简化随机变量族{∧ε,ε∈ (0, 1 - y) }在L中有界(Ohm, F、 P),Hence一致可积。第2步。我们考虑(4.32)右侧的第二个期望值,并设置Ξε:=Zτεe-ρtbXx,ytπytdt,我们的目的是证明随机变量族{ε,ε∈ (0, 1 -y) }在L中有界(Ohm, F、 P),因此一致可积。首先通过Jensen不等式和H¨older不等式,我们发现(4.41)Ehεi≤黑色Z∞e-ρtbXx,ytdt公司EZ∞e-ρtπytdt公司,对于somebK>0,与ε无关。由于假设4.2和采用(4.3)的标准估计(以及(g-g) Rtπysds<0)。此外,它与ε无关。对于第二种情况,通过Fubini-Tonelli定理将期望值和时间积分相互转换,并使用(4.39),我们得到了Z∞e-ρtπytdt公司≤(ρ + λ+ λ- 24θ),部分信息下的公共债务控制23由于假设4.2。因此,我们得出结论(参见(4.41))supε∈(0,1-y)EhΞ| i<∞, 从而完成了证明。前面的定理特别暗示了所谓的平滑特性,这是最优停止理论中众所周知的最优性原则。此外,根据基于(bX,π)的强马尔可夫性质的标准参数(见[40]第三章),从迄今为止收集的结果可以看出,耦合(v,d)解决了自由边界问题(4.42)L- ρv(x,y)=-C上的xh′(x),S上的v(x,y)=x,x=d(y),y时的vx(x,y)=1∈ (0,1),在x=d(y),y时,vy(x,y)=0∈ (0,1),带v∈ C(C)。理论4.8的一个重要结果如下。提案4.9。一个有y 7→ d(y)在[0,1]上连续。证据确定概率测量值(Ohm, F) 这样DBPDPFt=e-σt+σIt,t≥ 0