自适应求积与Richardson外推
约 55 分钟
自适应求积与Richardson外推
这节课要把什么真正学会
上一节我们处理了“梯形与Simpson求积”。现在不要急着背结论,先问一个能够落笔的问题:怎样只凭清楚的对象、条件和推理,完成“递归细分在尖峰附近的积分区间,直到局部误差预算之和满足容差。”?学会的标准不是见过名词,而是你能解释为什么这样做、亲手算出结果、主动检查边界,并能把方法迁移到一个数字或形式略有变化的新题。
从旧知识不够用的地方出发
先把变量、定义域、量词和待求量写出来。直觉可以帮我们猜答案,却不能替代证明;公式可以缩短计算,却不能替代适用条件。本节要建立的新关系是
读公式时要逐个说清符号:谁在变化,谁被固定,极限或积分在哪个集合上进行,等号是恒等、定义还是在某个趋近过程中的关系。只要其中一个对象没说清,后面的代数即使漂亮也可能答非所问。
第一步:把问题翻译成数学语言
针对“递归细分在尖峰附近的积分区间,直到局部误差预算之和满足容差。”,先列四行:已知、待求、约束、验收。已知给出可使用的数据和定理;待求必须是一个明确的数、函数或命题;约束包括定义域、连续可导阶数、区间开闭和参数范围;验收则要求代回、估计误差或构造反例。这样做会稍慢一分钟,却能避免把不存在的导数拿去求极值,或在不收敛的积分上套 Newton–Leibniz 公式。
第二步:核心关系从哪里来
不要把上面的公式当作凭空出现的口诀。它来自本章对象的定义,再配合此前已经证明的代数规则、极限交换条件或局部线性结构。推导时保留关键中间量,把“所以”拆成可核查的小步:先确认对象存在,再做变形;先处理局部条件,再下全局结论;先给主项,再控制余项。每一步都应能回答“依据哪一定义或定理”。
第三步:例题跟着我逐行做
现在完成这道贯穿例题:递归细分在尖峰附近的积分区间,直到局部误差预算之和满足容差。。第一行写出使用条件;第二行把题面对象代入而不急着化简;第三行执行运算并保留关键式;第四行检查定义域、符号和数量级;第五行用另一种方式回代或估计。若两种方法不一致,先检查量词顺序、端点、绝对值、Jacobian、常数项和截断误差,而不是直接改答案。
第四步:为什么答案可信
一个结果至少过三关。其一是定义检查:回到原定义看每个操作是否合法。其二是极端检查:让参数趋近零、无穷或边界,观察结果是否退化到熟悉情形。其三是数值检查:选一组简单数据手算或写小程序验证。证明题也需要这种反查;数值相符不能代替证明,却能快速暴露漏项和符号错误。
最容易踩的坑
本节最重要的失败边界是:局部误差估计可能被振荡抵消欺骗;必须设置最大深度和函数评估失败策略。。请把它理解成“定理的护栏”,而不是脚注。考试会故意拿掉一个条件,工程数据也不会替你保证条件。遇到相似题时先问条件是否仍在,再决定能否复用结论。能指出一个合法反例,往往比再做十道机械计算更能说明你理解了。
变式训练的顺序
第一轮只改变数字,确认计算稳定;第二轮改变区间、参数或函数形式,迫使你重新检查条件;第三轮反过来给结论,让你寻找满足条件的对象;第四轮删掉一个关键条件,要求判断结论是否仍成立。四轮都能完成,才算从“会模仿”走向“会使用”。课后四类题正是按这个顺序组织。
和后面知识怎样连起来
积分误差可控后,下一课数值求解初值ODE。。下一节“Euler与改进Euler法”不会另起炉灶,而会把今天建立的对象继续加工。请在笔记边缘画一条箭头,写出今天的输入、输出和下一节将复用的条件。微积分真正的结构感,就来自这些跨课连接,而不是孤立公式的数量。
本节闭卷自检
合上页面后,你应能完成五件事:用自己的话解释自适应求积与Richardson外推;重写核心关系及全部条件;复现贯穿例题的关键三步;给出“局部误差估计可能被振荡抵消欺骗;必须设置最大深度和函数评估失败策略。”对应的反例或风险;说明它怎样通向“Euler与改进Euler法”。任何一项说不出,就回到对应段落补齐,不要用“看懂了”替代“能重建”。
给自己的订正记录
完成第13章第4节后,把第一次出错的那一行原样留下,并在旁边写“错因—修正—以后怎样识别”。本节的订正必须提到“自适应求积与Richardson外推”以及公式中的具体对象,不能只写“粗心”。隔一天不看答案重做贯穿例题,再换一组数复算;若结论依赖定理,还要逐条复述前提。这样的延迟重建能区分短时模仿与真正掌握,也会为后续“Euler与改进Euler法”留下可追溯的学习证据。
Practice
本课练习
先独立作答再提交;编程题会在隔离沙箱中真实编译、运行并对拍。
完整验收“自适应求积与Richardson外推”应包含哪些证据?
多选题:必须选全正确项,漏选或多选均不得分。
自适应求积与Richardson外推对应计算:Richardson中二阶方法步长减半的倍率2^p。 结果保留至少6位有效数字。
围绕“递归细分在尖峰附近的积分区间,直到局部误差预算之和满足容差。”从定义推出 S_{2h},S_h\Rightarrow E\approx|S_h-S_{2h}|/(2^p-1),说明每一步条件;构造或分析边界“局部误差估计可能被振荡抵消欺骗;必须设置最大深度和函数评估失败策略。”,最后解释:积分误差可控后,下一课数值求解初值ODE。
完整验收“自适应求积与Richardson外推”应包含哪些证据?
多选题:必须选全正确项,漏选或多选均不得分。
解决“递归细分在尖峰附近的积分区间,直到局部误差预算之和满足容差。”时,哪一步是严格且可复用的?