|
第二个估计成立,因为b∧≥e∧通过定义凹包络,对于最后一个恒等式,我们注意到,如果eκt>0,τeκt=t,否则eκt=eλt=0。最后,我们观察到*t> 0只能在y时发生b∧eκ增加了η,这确保了上述第一个估计值的相等性。第二个等式同样适用于这样的t,因为如果b∧eκ在时间t时增加,b∧必须在eκt处减小,此时soe∧与其凹包络eb∧重合。我们现在可以总结并给出推论3.8 LetbYt,b∧eκt,bY0-, 0和定义Yyt(ybYt)∨η、 t≥ 0,Yy0-, η.作为第一步,我们检查(17)dbYt是否仅在t时大于0≥ 当λt=λt时,实际上,我们将证明,对于这样的t,deλt<0。如果teκ<0,这是显而易见的。那么让我们假设eκt+=eκ,并假设t有t>tλt=eλt∈ [t,t]。在这种情况下,e∧在区间(eκt,eκt)上是常数。因为dbYt>0,密度b∧必须在k处减小,eκt+=eκtand,因此在这一点上,曲线b∧与e∧重合。然而,B∧的凹性和单调性意味着b∧=0,在k附近,与它的值相矛盾。接下来让我们来证明这一点|b∧k | L<∞ 当且仅当ifeλ是dbY-可积的。为了看到这一点,我们认为b∧eκ0-, 我们有,∞)λtdbYt=Z[0,∞)e∧eκtd(b∧eκt)=Z[0,∞)b∧eκtd(b∧eκt)=Zeκb∧lb∧eκτldl=Zeκ(b∧l)dl。事实上,第一个身份仅仅是(17)和ande∧的定义。第二个恒等式成立,因为在b∧变化;第三个实体来源于写下b∧eκt=Reκt后Fubini定理的应用b∧ldl和自b∧是左连续的,eκ跨越的间隔不变。所以如果|b∧L<∞, 那么Xyt,R[0,t]λdYy,t≥ 0是实值的,右连续的,并且在t中递增∞每年都在增加≥ 0加x∞= 0和Xy∞≥ Xy→ ∞ 就像我一样↑ ∞.
|