梯形法则是采用梯形来估计曲线下方面积，这等同将被积函数近似为直线函数，被积的部分近似为梯形，本文记录相关内容。
简介
梯形法则是采用梯形来估计曲线下方面积，这等同将被积函数近似为直线函数，被积的部分近似为梯形，要求得较准确的数值，可以将要求积的区间分成多个小区间。
一阶牛顿-柯特斯闭型积分公式称为梯形法则(trapezoidal rule)，下面先介绍牛顿-柯特斯公式。
牛顿-柯特斯公式
牛顿-柯特斯公式(Newton-Cotes formulas)是一种常用的数值积分公式。它的基本策略是用另一个易于积分的近似函数替换被积函数或表格型数据，即
I=int_{a}^{b} f(x) d x cong int_{a}^{b} f_{n}(x) d x 其中， 是具有如下形式的多项式
f_{n}(x)=a_{0} a_{1} x ldots a_{n-1} x^{n-1} a_{n} x^{n}
也可以将整个积分区间分成若干个等距的子区间，每个子区间上使用分段多项式来逼近函数或等距间隔的数据。
牛顿-柯特斯公式分为闭型(closed forms)和开型(open forms)两类。在积分过程中，如果积分区间两端的数据点是已知的，则称为闭型积分，反之，若积分区间超出了数据范围，则称为开型积分 。这里主要介绍闭型积分公式。
梯形法则
一阶牛顿-柯特斯闭型积分公式称为梯形法则(trapezoidal rule)，即使用一次多项式
I=int_{a}^{b} f(x) d x cong int_{a}^{b} f_{1}(x) d x 直线可以表示为
f_{1}(x)=f(a) frac{f(b)-f(a)}{b-a}(x-a) 用这条直线下的面积作为积分 的估计值
I=int_{a}^{b}left[f(a) frac{f(b)-f(a)}{b-a}(x-a)right] d x 积分的结果为
I=(b-a) frac{f(a)-f(b)}{2} 此公式称为梯形法则。
从几何上看，梯形法则相当于用连接f(a) 和f(b) 的直线与坐标轴所围梯形的面积来逼近积分。
梯形法则的误差
很明显，在使用直线段下的积分逼近曲线积分的过程中，不可避免地会引入误差 。 对于单应用型梯形法则，对于单应用型梯形法则，近似局部截断误差为
E_{t}=-frac{1}{12} f^{prime prime}(xi)(b-a)^{3} 其中 ，即
int_{a}^{b} f(x) mathrm{d} x-frac{b-a}{2}(f(a) f(b))=-frac{(b-a)^{3}}{12} f^{prime prime}(xi)(a leq xi leq b)引理证明
首先我们先证明一个引理 ：
- 对 forall x in[a, b] ， exists xi=xi(x) in(a, b) 使得
f(x)-frac{x-b}{a-b} f(a)-frac{x-a}{b-a} f(b)=frac{f^{prime prime}(xi)}{2}(x-a)(x-b)，需要证明的式子变为：
f(x)-p(x)=frac{f^{prime prime}(xi)}{2}(x-a)(x-b) 可以用数学分析中处理中值问题常用的技巧k值法来解决这个问题。
满足
f(x)-p(x)=frac{k}{2}(x-a)(x-b) 令
F(t)=f(t)-p(t)-frac{k}{2}(t-a)(t-b) 那么
应用罗尔定理
exists xi in(a, b) rightarrow F^{prime prime}(xi)=f^{prime prime}(xi)-k=0 引理得证。
证明
上积分：
int_{a}^{b} f(x) mathrm{d} x-frac{b-a}{2}(f(a) f(b))=int_{a}^{b} frac{f^{prime prime}(xi)}{2}(x-a)(x-b) mathrm{d} x 使得，
int_{a}^{b} frac{f^{prime prime}(xi)}{2}(x-a)(x-b) mathrm{d} x=frac{f^{prime prime}(eta)}{2} int_{a}^{b}(x-a)(x-b) mathrm{d} x=-frac{(b-a)^{3}}{12} f^{prime prime}(eta) 梯形公式的误差公式得证。
多段梯形误差
考虑积分中常用的多段梯形近似
int_{a}^{b} f(x) d x approx sum_{i=1}^{n} frac{1}{2}left[fleft(x_{k-1}right) fleft(x_{k}right)right] Delta x_{k} 那么在某一段上它的误差为
begin{aligned} gleft(Delta x_{k}right) & =frac{Delta x_{k}}{2}left[fleft(x_{k-1}right) fleft(x_{k-1} Delta x_{k}right)right] -int_{x_{k-1}}^{x_{k-1} Delta x_{k}} f(x) d xend{aligned}gleft(Delta x_{k}right) =-frac{Delta x_{k}^{3}}{12} f^{prime prime}(eta) 若多段梯形为
$$ gleft(Delta x_{k}right) =-frac{ (b-a)^{3}}{12{n}^3} f^{prime prime}(eta) $$ 设 $|f^{prime prime}(eta)|$ 的上界为 $M$，则有总体误差 $$ G(n)=ngleft(Delta x_{k}right) le Mfrac{ (b-a)^{3}}{12{n}^2} $$
参考资料
- https://baike.sogou.com/v646269.htm?fromTitle=梯形法则
- https://www.zhihu.com/question/426947665
文章链接：
https://cloud.tencent.com/developer/article/2360338
