|
我们得出结论,对于所有n∈ NQn(τn≤ T)经验值-ZTζ(s)ds(V(ln)∧ V(rn))≤ EQnUnτn{τn≤T}≤ EQnUnT公司≤ 五(S)。18 D.CRIENSBy(5.3)存在序列(nk)k∈N N带nk→ ∞ 作为k→ ∞ 使得V(lnk)∧对于所有k,V(rnk)>0∈ N和limk→∞V(lnk)∧ V(rnk)=∞. 我们从0推断≤ Qnk(τnk≤ T)≤ V(S)expZTζ(s)dsV(lnk)∧ V(rnk)thatlimk→∞Qnk(τnk≤ T)=0。因为{τn≤ T}c={τn=∞}, 我们得到1=limk→∞Qnk(τnk=∞) ≤ lim支持→∞Qn(τn=∞) ≤ 1,这意味着(5.2)。证明是完整的。5.1.2. 整体测试。乐塔:我→ (0, ∞) 安·杜,你:我→ R是Borel函数,因此A+| u |+| u |∈ Lloc(一)。回想第2节,如果(f,g)是(u,a),(u,a)对之一,我们设置v(f,g)(x)=Zxxexp-Zyx2f(z)dzZyx2 exp(Rux2f(z)dz)g(u)dudy,x∈ 一、 (5.5)对于固定x∈ 一、 本节的主要结果如下:定理5.2。假设limxrv(u,a)(x)=limxlv(u,a)(x)=∞.(5.6)此外,对于所有n∈ N假设λ\\ Qn-a.a.(t,ω)∈ [0,T]×Ohmσt(ω)≤ ζ(t)a(St(ω)),bt(ω)≤ σt(ω)u(St(ω)),bt(ω)≥ σt(ω)u(St(ω))。(5.7)然后,(5.2)保持不变。证明:由于[36,引理5.5.26],有不同的函数U:[x,r)→ [1, ∞) 安度:(l,x)→ [1, ∞) 具有局部绝对连续导数和λ\\-空集N′ 例如,对于所有x,ui增大,ui减小,U(x)=U(x)=1,U′(x)=U′(x)=0∈ [x,r)\\N′和所有y∈ (l,x]\\N′a(x)U′(x)+uU′(x)= U(x)和a(y)U′(y)+uU′(y)= U(y),1+v(U,a)≤ u和1+v(u,a)≤ U、 我们定义了(U,on[x,r),U,on(l,x)],这是一个具有局部绝对连续导数的可微函数。特别是,V′≥ [x,r]上的0,V′≤ 0开(l,x),V′+uV′≥ (l,x)\\N′和v′+uV′上的0≥ [x,r]N′上的0。此外,limxrV(x)=limxlV(x)=∞,根据假设(5.6)。LeteN是所有(t,ω)的集合∈ [0,T]×Ohm 使(5.7)成立。
|