|
(31)在[20,引理4.2]中,证明了函数∧(z)在R上是非递增的,满足∧(-∞) = Λ(0-) = Φ(r+q)≥ Φ(r+q)- qW(r)(0)=∧(0)>∧(∞) = Φ(r)>0。显然,假设2.2和假设2.3(i)成立。为了验证假设2.3(ii)也成立,定义(x)=x-∧(x),x>0,因为备注2.4,我们只考虑正x。很容易看出,对于足够小的x>0和h(x),h(x)<0→ ∞ 作为x→ ∞. 此外,简单的计算得到h′(x)=∧(x)∧′(x)+(λ(x))=(λ(x))-2R级∞xe公司-Φ(r+q)yW(r)(y)dyN(x),其中我们定义了任何x>0 that tN(x)=(Φ(r+q))Z∞xe公司-Φ(r+q)yW(r)(y)dy- Φ(r+q)e-Φ(r+q)xW(r)(x)- e-Φ(r+q)xW(r)′(x)。到(58)、(59)和(61)时,我们注意到limx→∞N(x)=0- 林克斯→∞(e)-Φ(r+q)xW(r)(x))Φ(r+q)+limx→∞W(r)′(x)W(r)(x)= 0。(32)另一方面,对于任何x>0N′(x)=- e-Φ(r+q)xW(r)′(x),x>0。通过【11,定理3.4】,我们知道当尾跳测度∏时(-∞, -x) 在(0,∞), 有一个常数*这样的that W(r)′(x)=-eΦ(r+q)xN′(x)<0表示x∈ (0,a*) andW(r)′′=-eΦ(r+q)xN′(x)>0表示x∈ (a)*, ∞). 因此,N(·)严格地增加超过(0,a*), 并且在(a)上急剧下降*, ∞). 假设N(x)→ 0作为x→ ∞, 我们知道N(x)>0,至少所有x∈ [答*, ∞). 利用N(·)的单调性,我们知道,如果N(0+),N(x)>0≥ 0,在这种情况下,h(·)严格地递增超过(0,∞);(ii)或存在x∈ (0,a*) 使得所有x的N(x)<0∈ (0,x)和N(x)>0表示所有x∈ (十),∞). 在这种情况下,因为h(0)=-∧(0)<0,x的h′(x)<0∈ (0,x),x的h′(x)>0∈ (十),∞), 我们知道方程h(x)=0除以(0)有一个唯一的根,∞), 用x表示, 它认为x> x、 因此,我们也有h(·)严格地增加超过(x, ∞).因此,在这两种情况下,假设2.3(ii)适用于有限x.
|