本章目标
- 理解导数与积分是互逆运算(牛顿–莱布尼茨公式)。
- 认识多元微积分中梯度、偏导与一元导数的对应关系。
- 理解级数是"用多项式逼近函数"的工具,与泰勒展开相连。
- 明白微分方程是导数的自然延伸,掌握欧拉法这一通用数值解法。
一、导数与积分:互逆运算
导数描述函数在一点附近的变化率,积分描述函数在一段区间上的累积。二者由牛顿–莱布尼茨公式完美对接:
一侧是"无限细分再求和"(黎曼和取极限),另一侧是"先求原函数再代值"。求面积、求位移、求功,本质都是定积分;而解初值问题 $y'=f(x)$ 则是它的逆——直接积分。
二、多元微积分与梯度
一元导数推广到多元,便是一个函数对每个自变量的偏导;把它们并成梯度向量,指向函数值增长最快的方向:
重积分(二重、三重)是把"累积"从线段推广到面与体;高斯公式、斯托克斯公式则把"区域积分"与"边界积分"联系起来——它们是牛顿–莱布尼茨公式在高维的化身。
三、级数与函数逼近
很多函数(如 $e^x,\sin x$)不好直接算,但可用幂级数展开成多项式来近似:
取有限项即得多项式逼近(截断误差由下一项控制)。傅里叶级数则是另一类展开:用正弦/余弦叠加表示周期函数。级数让"复杂函数 = 简单基的线性组合"成为可计算的现实。
四、微分方程:导数的自然延伸
前面都是"已知 $f$,求 $f'$ 或 $\int f$"。微分方程反过来:已知变化率规律,求未知函数。一阶方程形如
许多物理定律本就是微分方程(牛顿第二定律 $m\ddot x=F$、电路 $L\dot I+RI=U$)。多数方程没有初等解析解,于是需要数值方法——欧拉法是最朴素也最基础的一种。
五、动态示意:欧拉法数值解 ODE
下方用欧拉法求解 $y'=-2x$(精确解 $y=1-x^2$),从 $(0,1)$ 出发,每步沿当前切线走一小段 $h$:
青色折线为欧拉近似,粉色曲线为精确解。拖动「步长 h」可见:h 越小误差越小但需更多步;h 越大折线越快"掉队"。点击「重置」从头开始对比。
例题1(积分求面积 / 解初值)
求曲线 $y=1-x^2$ 与 $x$ 轴在 $[0,1]$ 上围成的面积。
例题2(欧拉法手算两步)
用欧拉法解 $y'=-2x,\ y(0)=1$,步长 $h=0.2$,手算两步到 $x=0.4$,并与精确解比较。
第 1 步:$y_1 = y_0 + h\cdot(-2x_0) = 1 + 0.2\times 0 = 1.000,\ x_1=0.2$。
第 2 步:$y_2 = y_1 + h\cdot(-2x_1) = 1.000 + 0.2\times(-0.4) = 0.920,\ x_2=0.4$。
精确解 $y(0.4)=1-0.4^2=0.840$。欧拉近似 $0.920$,误差 $0.080$。
误差来自"用起点斜率代替整段斜率"——此处函数下凸、斜率变负更快,故前向欧拉高估了函数值(图中折线在曲线上方)。
例题3(泰勒级数近似)
用 $x=0$ 处的泰勒展开把 $e^x$ 近似到三次项,并估计 $e^{0.1}$ 的值与误差。
本章小结
- 牛顿–莱布尼茨公式把微分与积分连成互逆的两端的运算。
- 多元微积分:偏导→梯度 $\nabla f$,重积分与高斯/斯托克斯是高维版 N-L 公式。
- 级数(泰勒/傅里叶)用简单基的线性组合逼近复杂函数。
- 微分方程令"变化率"成为未知量;欧拉法 $y_{n+1}=y_n+hf(x_n,y_n)$ 是最基础数值解,误差 $O(h)$。