|
通过使用(3)、推论2.1和假设2.3(ii),我们知道→ Ex[e-AT+zf(XT+z)1{T+z<∞}] = f(z)Px(Xζ>z)=f(z)exp(-Zzx∧(y)dy),z>x,几乎在任何地方都是可微的,并且这个函数在[x,x]上是不递减的∨ x] ,并且在[x上是s三次递减∨ x,∞), i、 e.函数在x处最大化∨ x表示每个x。如果贴现率为常数r>0,则对于任何固定的β∈ (0,Φ(r))和K>0,函数(eβx+eΦ(r)x- K) +和(eΦ(r)x- K) +满足假设2.3(i)、(ii),x=βlog(K/(1-βΦ(r)))和x= ∞, 分别地这意味着存在一个非减量函数▄h(·),因此,h(x)=▄h(x),几乎在(x)上的所有位置, ∞).下面的引理解释了为什么假设2.3对于条件(M)成立是必要的。第2.1条提案。假设假设2.2成立,f(·)满足条件(M),并设h(·)为定义2.1中的非减量函数。那么假设2.3中的所有条件都成立。证据通过(5)和Coro llary 2.1,我们知道f(x)=Ex[h(xζ)]=Z∞xh(z)∧(z)e-Rzx∧(y)dydz,x个∈ R、 显然,对于所有x>x,f(x)>0, 因此,假设2.3(i)成立。另一方面,从f′(x)=- ∧(x)h(x)+∧(x)f(x),我们知道f(·)是绝对连续的,h(x)=f(x)-f′(x)∧(x),a.e。。因此,假设2.3(ii)成立。在我们推翻提议2之前。1,我们证明了上交叉策略T+z的值的极限为thr eshold z→ ∞ 定义明确。引理2.2。在假设2.2和假设2.3下,极限C:=limz→∞f(z)e-Rz∧(y)dy=limz→∞E【E】-AT+zf(XT+z)1{T+z<∞}], (15) 存在。如果x< ∞, 我们有c∈ [0, ∞); 如果x= ∞, 那么我们有c∈ (0, ∞].备注2.8。
|