因此,|hζnt,fi |=nnXi=1Xni(nt)·f(in)≤nnXi=1 | Xni(0)| | f(in)|+nnXi=1Ani(nt)·f(in)≤nnXi=1|%(英寸)| | f(英寸)|+nnXi=1|Ani(新界)·f(英寸),这意味着e | hζnkt,fi |≤nknkXi=1 |%(墨水)| | f(墨水)|+|∧t·nkxi=1 | f(墨水)|。结合(C.5)和ζ是确定性度量这一事实,我们推导出| hζt,fi |≤Z |%(x)| | f(x)| dx+|∧t·Z | f(x)| dx,(C.6)在让nk→ ∞. 因此我们都有f∈ C([0,1])和t∈ [0,T],|hζT,fi |≤ CTZ | f(x)| dx,(C.7),其中CT=maxx∈[0,1]|%(x)|+|∧T。由于连续函数在Lebsgue可积函数L([0,1])的空间中是稠密的,我们从有界线性变换定理推导出方程(C.7)适用于所有f∈ L([0,1])。然后,我们从[11,定理15.6]得出结论,ζ是一个有限测度,相对于Lebesguemeasure是绝对连续的,其密度函数η(x,t)相对于tox是有界的∈ [0,1]和t∈ [0,T]。证据是完整的。引理C.2的证明。在整个证明过程中,我们∈ C([0,1]),我们使用{n:n≥ 1} 而不是它的子序列{nk:k≥ 1} 为了符号的简单性。我们还使用了一个通用常数C,它可能因行而异,但C与n无关。我们首先展示了f∈ C[0,1],sup0≤s≤Tn·Xk>pnB(ns)nf(kn)·λnA(k)- pnB(ns))-Zpf(x)∧A(x)- p) dx=> 0作为n→ ∞.(C.8)为此,我们定义了z∈ [0,1]和n≥ 1hn(z)=Xkn>znf千牛λA千牛- Z, (C.9)h(z)=Zzf(x)∧A(x)- z) dx。(C.10)应用假设2.2,我们发现(C.8)相当于UP0≤s≤T嗯pnB(ns)n- h(p)=> 0,作为n→ ∞. (C.11)定理3.1的(a)部分暗示当n→ ∞, 我们有pnb(n·)n=> p在D中([0,T],R)。此外,由于f和∧是一致连续的,且有界于[0,1],因此可以直接验证函数h是连续的,序列{hn:n≥ 1} 会聚到h。