定义N中k的π2k+1:=(1)πkandπ2k:=(2)πkF。a假设保证(πnH.X)T,N≥ 1是C中每个yh([0,T],R)的柯西序列。因此,tr调节| limn((1)πnH。十) T型-limn((2)πnH。十) T型|≤limn((1)πnH。十) T型- ((1)πNH。十) T型+(∧π2N+1H.X)T- (∧π2NH.X)T+((2)πNH。十) T型- limn((2)πnH。十) T型产生第一个索赔。因此,对于C([0,T],R)中的每个H,我们有sup{(πH.X)T |:[0,T]}的π划分<∞.但是地图H 7→ (πH.X)是C([0,T],R)上带|(πH.X)T |的有界线性算子≤ kHk公司∞徐∈π| Xu,u′|。此外,给定π,被积函数st=1.-t型- t型t型′- t型签名十、t型,t型′+t型- t型t型′- t型签名十、t型′,t型′′,0≤ t型≤ T、 即(πS.X)T=Xu∈π| Xu,u′|。因此,一个一致有界性原则的应用结束了证明。命题3.7的证明。给定[s,t]的一个划分π [0,T],让我们设置^πΞ:=Xu∈πΞu,u′。我们首先证明,对于任意一对π,~π的分区o f[s,t],它都成立^πΞ-^~πΞ≤2γζ(γ)ω(s,t)kδΞkω,γosc(ω,|π|)γ- 1.- osc(ω,|π|)γ- 1.,(B.1)式中ζ(γ):=Pn≥1n-γ是z e ta函数,osc(ω,|π|):=sup{ω(s,t):| t- s |≤ |π|}是ω在小于或等于网格大小|π|的尺度上的连续模量。设π是[s,t]的一个分划 至少有两个子区间的[0,T]和letm:=#{[u,u′]∈ π} ≥ 2denoteπ的子区间数。矛盾很容易看出,π必然存在一些内点u,[u-, u] ,[u,u′]∈ πa和ω(u-, u′)≤m级- 1ω(s,t)。我们估计π{u}-^πΞ= |Ξu-,u′型- Ξu-,u- Ξu,u′|≤kδΞkγωγ(u-, u′)≤kδΞkγγ(m- 1) γωγ(s,t)。通过迭代,我们可以看到Ξs,t-^πΞ≤ kδΞkγ2ω(s,t)γXn≥1nγ。