原书例题重述 · B.2、B.4.1 · 原书 p. 713(PDF 第 738 页)↗
用 的梯形公式估计 ,并用 给出误差界。
写下我的思路
提示一 · 从哪里开始
步长为 ,列出六个节点。
提示二 · 关键转折
。
参考解答 · 完成尝试后再展开
。误差不超过 ,这是保证界而非实际误差。
掌握矩形、梯形与辛普森公式,并通过导数界选择分割数。
每小段用哪个高度,为什么会产生不同近似?
左端、右端与中点描述不同的矩形。
令 、,左端和右端各取相应边界值,中点取两端平均位置处的函数值。单调递增时左端低估、右端高估;中点的偏向需看凹凸。有限近似不能写成精确等式。
继续追问:只给取样点的平均值,怎样变回整个积分近似?
平均高度乘区间长度 ;若用等距和,也就是每个高度乘步长后相加。
相邻梯形共用边,为什么内部点权重为 2?
逐段写面积后把公共端点项合并。
以端点间直线近似函数,每片为宽度乘两端高度平均。内部采样被左右两片各用一次,端点仅一次。梯形公式对一次函数精确,凹向上函数的弦在曲线上方,所以给高估;凹向下则相反。
继续追问:梯形结果与左、右矩形结果之间有什么关系?
,每片梯形正是左右矩形的平均。
改用抛物线覆盖相邻两段,为什么项数要为偶数?
每块需要左、中、右三个点,跨两个等宽小区间。
对两段用二次插值,积分后得到 。相邻块合并形成 1、4、2、4、…、1 的权重。要求小区间等宽、 偶数。对三次以内多项式也精确,这是对称性带来的额外优势,不代表对任意曲线精确。
继续追问:奇数索引为什么只出现权重 4 而不是与邻块再相加?
奇数节点是某一对小区间的中点,仅属于该抛物线块内部,不是两块共用边界。
把区间数加倍,理论误差界会改善多少?
把 代入相应幂次。
设区间上 。左右端矩形界随 ,梯形随 ,辛普森随 。前提分别需足够阶的导数存在并有界。给定误差目标,解对 的不等式后向上取整数;辛普森还必须取偶数。
继续追问:高阶方法为什么不能不检查光滑性就自动认为更好?
误差公式依赖相应阶导数存在并有界,奇点或不光滑会破坏这些前提。
导数最大值不好精确求,能否用更容易证明的较大常数?
误差保证需要上界,不必一定是最紧上界。
可用求导找候选、因子分别估计或三角不等式得到 。矩形误差可由每小段函数变化至多 推出三角形误差 ,累加即得到全区间界。保守上界会需要更多分段,但仍可靠;低于真实最大值的“估计”则无保证。
继续追问:近似误差界是否还包含浮点舍入误差?
通常不包含。理论公式控制积分离散化误差,实际计算还应另计舍入和函数求值误差。
本书没有独立章末习题集。以下明确区分原书例题、正文结论改编及补充自测;页码是印刷页码,链接另标 PDF 页序。延伸问法已在题目或解答中说明。
原书例题重述 · B.2、B.4.1 · 原书 p. 713(PDF 第 738 页)↗
步长为 ,列出六个节点。
。
。误差不超过 ,这是保证界而非实际误差。
原书例题重述 · B.3、B.4.1 · 原书 p. 713(PDF 第 738 页)↗
步长为 ;四阶导数为 。
在 上令 ,。
按 1、4、2、…、4、1 权重求和得约 。可取 ,故误差至多 。界较保守但严格有效。
补充自测 · 对应 B.3–B.4 · 本笔记编写
第一问只有三个节点。
第二问解 。
第一问 ,结果 ,精确。第二问需 ,取 可保证要求;14 不足,16 是最小符合该界的偶数。