|
很容易验证h(θ)在θ=θ时是最小的,在这里它达到值β=(1)- log(λ))+(1+log(δ)).14 Gottschalk,Nizami,SchubertWe N=-N-τ→ ∞ asτ→ ∞ Pθ-a.s.,因此^λN→ λ、 ^δN→ δ和^mN→ mPθ——几乎可以肯定是由强大的大数定律决定的。因此很容易检查hN(θ)→ 紧集上的h(θ)一致成立。接下来,我们根据引理a.2的假设定义辅助函数a(θ)。a可能的选择isa(θ)=1{λ≥1} 2 log(λ)+1{δ>1}2 log(δ)+1{m}>1}2 log(m)。(26)设λ=supτ≥τ*λN(τ)<∞ 有一个停止时间τ*足够大[-τ*, 0]至少会发生六次跳跃。τ*< ∞ 几乎可以肯定地保持Pθ。进一步设置δ=infτ≥τ*^δN>0且¨δ=supτ≥τ*^δN<∞, m=infτ≥τ*^mN∈ R和最终的¨m=supτ≥τ*^mN∈ R所有这些陈述都必须从Pθa.s.的意义上理解。Wesee在定理2.4的证明中给出了一个类似的论点,即以下估计在τ中是一致的≥ τ:~hN(θ)=hN(θ)-a(θ)N≥λλ-1 +{λ≥1}对数(λ)+δδ+1.-{λ≥1}对数(δ)+距离(m,[m,\'m])δ-{m |>1}log(|m |)!(27)我们选择γ=1。我们现在根据上述估计构造有界开放环境U(θ)。首先,在定理2.4的证明中选择lδ±as,然而β=h(θ)。如果δ大于β+1,则中间项大于β+1∈ R+\\[lδ-, lδ+]。其次,选择0<lλ-< min{1,λ},则(27)右侧的第一个therm对于0<λ<lλ为正-在这种情况下,对数(λ)<0。如果我们选择lλ+>最大{1,λ}足够大,使得λ>λlog(λ)对于λ>lλ+,右边的第一项对于该λ也大于零。因此,λ的边界为零∈ R+\\[lλ-, lλ+]。最后选择足够大的lm>| m |以便距离(m,[m,\'m])δ≥如果|m |>lm,则记录(|m |)。如果我∈ R\\[-那么(27)中的第三项也是正的。因此我们可以选择环境U(θ)=(lλ)-, lλ+×(lδ)-, lδ+×(-lm,lm)并得到≈h(θ)≥ θ的β+1∈ Θ\\U(θ)。
|