数值微分本质上就是通过离散点来对未知的函数方程进行微分的数值求解。
我们给出导数的基础定义如下:
因此,只要给出的离散点足够密集,我们就可以通过直接求解的方法进行微分的数值求解。
而关于其误差分析,我们有:
不过,如果离散点不够密集,那么使用上述方式进行的微分估计事实上会带来比较大的误差,因此,我们需要对其进行一下调整,此时一种比较直接的方式就是我们先用一个插值函数来对曲线进行拟合,然后再求取插值函数的微分结果作为目标函数的微分结果。
同样的,根据之前Lagrange插值函数的误差分析内容,我们即可快速得到插值型微分的误差分析:
插值型数值积分和上述插值型数值微分的思路是完全一致的,就是用插值函数来拟合未知曲线,然后用这个插值函数在对应空间上的积分值来近似未知函数的积分值。
亦即:
显然,对于n 阶插值函数,数值积分的结果就有n 阶代数精度,即:
当目标函数的阶数不高于n 阶时,数值积分的结果没有误差。
Newton-Cotes积分算是插值型数值积分中的一个特例。
他是说在积分区间里面等分各个位置,然后用这些等分的位置上的函数值进行插值最后进行函数的求解。
梯形积分其实就是一阶的Newton-Cotes积分,其具体的结果可以表述为:
显然的,梯形积分具有一阶代数精度。
Simpson积分其实就是二阶的Newton-Cotes积分,具体而言,我们取区间范围的中值,然后进行二阶插接,然后用这个插值函数来计算积分的结果。
具体而言,我们有:
L_2(x) = \frac{(x-\frac{a+b}{2})(x-b)}{(a-\frac{a+b}{2})(a-b)}f(a)
积分即有:
不过,比较特殊的是,Simpson公式具有三阶代数精度。
仿上,我们可以求解得到n阶的Newton-Cotes积分结果如下:
其中,系数\alpha_i 可以进一步表示为:
其中,C_i^{(n)} 称之为Newton-Cotes系数,其表达式可以展开为:
而关于n 阶Newton-Cotes积分的的误差分析如下:
Newton-Cotes积分或者更一般的插值型数值积分本质上思路都是用一个拟合函数来对原始的未知函数或者复杂函数进行替换,然后用这个拟合函数的积分值来近似原本的函数的积分值。
而这里的复化数值积分思路则与上述有所不同,它更接近于积分原本的定义,就是直接先对积分区间进行分段,然后在每一个区间段内进行近似积分求解,最后将他们的总和作为最终的数值积分结果。
而具体到每一段区间的积分,则又可以回归到数值积分方法上面了。
复化梯形积分就是在每一个子区间上面使用梯形积分进行拟合。
我们可以快速地写出最终的积分结果如下:
其误差可以表示为:
同样的,我们如果对每一个子区间使用Simpson积分公式进行拟合的话,就可以得到复化Simpson积分,其具体公式可以表达为:
其误差可以表达为:
Romberg积分本质上和上述实现并无什么不同,无非就是在每一个子区间内使用更高阶的Newton-Cotes积分进行拟合。
我们给出一个Romberg积分R_{n, k} ,其定义就是说将积分区间进行2^{n-1} 等分,然后对于每一个子区间,我们采用高阶的Newton-Cotes积分进行求解,具体而言,我们将其进一步分为2^{k-1} 个节点,然后计算Newton-Cotes积分。
显然,这就是在k-1 阶的基础上对于每一个子区间再一次进行对半细分,因此,我们有迭代公式如下:
我们可以将其进一步翻译成python伪代码如下:
def romberg_integrate(fn, a, b, n, k, epsilon=1e-6):
R = [[0 for _ in range(k)] for _ in range(n)]
R[0][0] = (fn(a) + fn(b)) / 2
h = b-a
for i in range(1, n):
residual = sum([fn(a + (j + 1/2) * h) for j in range(2**(i-1))])
R[i][0] = (R[i-1][0] + h * residual) / 2
for j in range(1, min(k, i+1)):
R[i][j] = R[i][j-1] + (R[i][j-1] - R[i-1][j-1]) / (4**j - 1)
if abs(R[i][j] - R[i][j-1]) < epsilon:
return R[i][j]
h = h / 2
return R[-1][-1]