§1

许多定积分 $\displaystyle I=\int_a^b f(x)\,dx$ 的原函数无法初等表示(如 $\int e^{-x^2}dx$、$\int\frac{\sin x}{x}dx$),或 $f$ 仅以离散数据给出。数值积分用被积函数在若干节点的值作加权平均来近似 $I$:

$$I\approx\sum_{i=0}^{n}w_i\,f(x_i),$$

目标是在尽量少的函数求值下获得高精度。

一、牛顿–柯特斯公式

在等距节点上用插值多项式代换 $f$ 再积分,得到牛顿–柯特斯族。

梯形公式(线性插值,两点):

$$\int_a^b f(x)\,dx\approx \frac{b-a}{2}\big[f(a)+f(b)\big].$$

代数精度为 $1$(对一次多项式精确)。

辛普森公式(二次插值,需偶数子区间,三点 $[a,(a+b)/2,b]$):

$$\int_a^b f(x)\,dx\approx \frac{b-a}{6}\left[f(a)+4f\!\left(\frac{a+b}{2}\right)+f(b)\right].$$

代数精度为 $3$(对三次多项式精确,因为对称抵消奇次误差项)。

二、复合公式

把 $[a,b]$ 等分为 $n$ 个子区间(步长 $h=(b-a)/n$),逐段套用低阶公式。

复合梯形:

$$\int_a^b f\,dx\approx \frac{h}{2}\left[f(x_0)+2\sum_{i=1}^{n-1}f(x_i)+f(x_n)\right],\qquad h=\frac{b-a}{n}.$$

误差 $O(h^2)$:$E_T=-\dfrac{(b-a)h^2}{12}f''(\xi)$。

复合辛普森(要求 $n$ 偶数):

$$\int_a^b f\,dx\approx \frac{h}{3}\left[f(x_0)+4\sum_{\text{奇}}f(x_i)+2\sum_{\text{偶}}f(x_i)+f(x_n)\right].$$

误差 $O(h^4)$:$E_S=-\dfrac{(b-a)h^4}{180}f^{(4)}(\xi)$。

可见辛普森因拟合阶高,误差阶显著更优。

三、高斯求积

牛顿–柯特斯节点固定为等距;高斯求积同时优化节点 $\{x_i\}$ 与权 $\{w_i\}$,使 $n$ 个节点达到 $2n-1$ 阶代数精度(普通 $n$ 点公式仅 $n$ 阶)。以 Gauss–Legendre 为例,区间 $[-1,1]$ 上取 $n=2$ 时:

节点 $x_{1,2}=\pm\dfrac{1}{\sqrt3}$,权 $w_1=w_2=1$,

$$\int_{-1}^{1}f(x)\,dx\approx f\!\left(-\frac{1}{\sqrt3}\right)+f\!\left(\frac{1}{\sqrt3}\right).$$

它对任意三次多项式精确。高斯法在函数求值昂贵时特别划算,但节点非等距、不便复合。

四、方法对比

方法代数精度误差阶备注
梯形$1$$O(h^2)$最简单
辛普森$3$$O(h^4)$常用、高效
复合梯形$1$$O(h^2)$易实施
复合辛普森$3$$O(h^4)$精度高
Gauss-Legendre($n=2$)$3$—节点最优、非等距

五、例题与解答

例题1(复合梯形与辛普森). 计算 $\displaystyle\int_0^\pi \sin x\,dx=2$(精确值),取 $n=4$,$h=\pi/4$。节点值:

$x_i$0$\pi/4$$\pi/2$$3\pi/4$$\pi$
$\sin x_i$0$0.7071$$1$$0.7071$0

复合梯形:

$$T_4=\frac{h}{2}\big[0+2(0.7071+1+0.7071)+0\big]=\frac{\pi/4}{2}\cdot4.8282\approx1.8961.$$

误差 $|2-1.8961|\approx0.1039$。

复合辛普森($n=4$ 偶数):

$$S_4=\frac{h}{3}\big[0+4(0.7071+0.7071)+2(1)+0\big]=\frac{\pi/4}{3}\cdot(5.6568+2)=\frac{\pi/4}{3}\cdot7.6568\approx2.0046.$$

误差 $|2-2.0046|\approx0.0046$,远小于梯形,符合 $O(h^4)$ 优于 $O(h^2)$。✓

例题2(为何辛普森误差阶更高). 梯形用线性(一次)插值逼近 $f$,其局部截断误差由 $f''$ 控制,故整体 $O(h^2)$。辛普森在每个双子区间用二次(抛物线)插值,由于抛物对称,三次项误差也被抵消,截断误差由四阶导数控制,整体达 $O(h^4)$。拟合阶每高一阶、并借助对称性消除奇次误差项,是高阶公式更精确的本质原因。✓

练习

1. 用复合梯形 $n=4$ 计算 $\int_0^1 x^2\,dx$(精确值 $1/3$),给出误差。

2. 用复合辛普森 $n=2$ 计算 $\int_0^2 x^3\,dx$,结果是否精确?为什么?

3. 写出梯形公式的代数精度并说明理由。

4. 为何高斯求积 $n$ 个节点能达到 $2n-1$ 阶代数精度?

参考答案与提示

1. $h=0.25$,节点值 $0,0.0625,0.25,0.5625,1$;$T_4=0.25/2\cdot[0+2(0.0625+0.25+0.5625)+1]=0.328125$,误差约 $0.0052$。

2. $\int_0^2x^3dx=4$;$n=2,h=1$,$S_2=1/3[0+4\cdot1+8]=4$,精确,因辛普森代数精度 3,对三次多项式精确。

3. 代数精度 1:对 $f(x)=1,x$ 精确;对 $x^2$ 有误差,故最高 1 次。

4. 同时优化节点与权,使误差在 $2n$ 个条件(至 $2n-1$ 次单项式)上为零,故达 $2n-1$ 阶。

本章小结

  • 数值积分用节点加权和近似定积分,用于无初等原函数情形。
  • 梯形(精度 1)、辛普森(精度 3)是最基础的牛顿–柯特斯公式。
  • 复合梯形误差 $O(h^2)$,复合辛普森 $O(h^4)$。
  • 高斯求积优化节点与权,达 $2n-1$ 阶代数精度。
  • 实际计算优先复合辛普森;函数求值昂贵时考虑高斯法。

互动演示

拖动下方控件观察动态过程。

复合辛普森求积:用分段抛物线近似积分面积,对比精确积分,误差随区间数增大而减小。