f∈C2([0,1]),令Rn:=∫01f(t)dt−n1∑k=0n−1f(k/n)求limn→∞nRn
- 事实上我们只需要f∈C1就可以得到关于函数黎曼和的估计的结论n1∑k=0n−1f(k/n)=∫01f(t)dt−2nf(1)−f(0)+O(1/n2)如果条件再弱一些,只要求f′∈L1,那么估计会减弱到n1∑k=0n−1f(k/n)=∫01f(t)dt−2nf(1)−f(0)+O(1/n)
1. 分段估计
Rn的形式提醒我们,这符合逐项估计的形式,我们可以通过对积分区间进行均匀切割的方式,把Rn变成一个标准的和的估计问题。然后中间我们再对每一段使用逐项估计于是便得到:
∫01f(t)dt−n1k=0∑n−1f(k/n)=k=0∑n−1∫k/n(k+1)/n(f(t)−f(k/n))dt=k=0∑n−1∫k/n(k+1)/n(f′(k/n)(t−k/n)+O((t−k/n)2)dt=k=0∑n−1(f′(k/n)2n21+O(1/n3))=2n21k=0∑n−1f′(k/n)+O(1/n2)
于是
n→∞limnRn=n→∞lim2n1k=0∑n−1f′(k/n)=21∫01f′(t)dt=2f(1)−f(0)
反过来我们还可以得到结论
n1∑k=0n−1f(k/n)=∫01f(t)dt−2nf(1)−f(0)+O(1/n2)
- 此处利用了结论
n1∑k=0n−1φ(k/n)−∫01φ(t)dt≤nVar(φ)其中Var(φ)是函数φ的全变差(Total Variation)。这里φ=f′,并且发现f′是闭区间上的连续函数,因此全变差有限。所以
2n1∑k=0n−1f′(k/n)−∫01f′(t)dt=O(1/n)