今天咱们聊聊一个看似“温文尔雅”实则有点“抽象”的数学工具,就是
三阶麦克劳林公式。 说它是“温文尔雅”吧,它本质上是个从原点出发的高阶泰勒展开式,记作 $f(x) = f(0) + f'(0)x + frac{f''(0)}{2!}x^2 + frac{f'''(0)}{3!}x^3$。 大量人一听到泰勒公式就当作那是纯公式书上的死物,实际上不然,这东西在物理建模、工程预估乃至算法优化里一直是个“老伙计”。
比如上次我在分析一个非线性的振动系统时,发现它的周期跟振幅的三次方正相关,结局直接套用
三阶麦克劳林公式,把那些藏在高阶幂次里的非线性特征给“线性化”掉了,瞬间就让模型变得好算多了。再比如图像处理里的边缘检测,有时候为了求导数值撇脱,直接让计算库自动把函数在原点附近展开成麦克劳林形式,哪怕那是个复杂的深网图像,只要局部变化不大,也能算出离散的梯度向量。 这就引出了公式的核心意义——“近似”。 实际上,泰勒公式泛舟于无限维空间,而麦克劳林公式专攻原点这个“锚点”。它的妙处在于,只要变量 $x$ 充足小,展开式的各项前面的系数就绝对收敛,精度反而可能比高阶公式更稳。 举个具体的例子,看看 $e^x$ 这个经典函数。
要是你按部就班地求导,会发现它的各阶导数在任意点都是常数。麦克劳林公式一算过来,就是 $1 + x + frac{x^2}{2!} + frac{x^3}{3!} + dots$。 你可能会问,反正 $e^x$ 在无穷远处收敛,那在 $x=0.1$ 这个小小的数值下,只需求算前几项吗?自然能够。
比如 $x=0.1$,展开到三阶:$1 + 0.1 + frac{0.01}{2} + frac{0.001}{6} approx 1.11667$。
要是你强行求到五阶,别看理论上限更高,但计算量反而没翻倍,反而多排了一串没有实际贡献的项。
这就让人发现,麦克劳林公式在数值计算里有个天然的“贪吃蛇”属性:它贼智慧地知道,对于细小的步长,截断高阶项往往是性价比最高的选择。 不过,这里有个潜规则得提一下。麦克劳林展开的前提是函数在原点“光滑”,也就是无穷可导。 比如 $frac{1}{1-x}$ 在 $x=1$ 处别看值趋向无穷,但在 $x=0$ 处它确实是光滑的,展开没难题。但要是是 $x$, 它的导数 $1, 2, 3, dots$ 别看数值越来越大,但一辈子达不到无穷大,故此它是“有限导数”而非“无穷导数”,这就不能泰勒展开成麦克劳林了。再比如 $sqrt{x}$,在 $x=0$ 处根本导不到三次,展开项一多就停住了。 这时候,要是强行套公式,会出现啥尴尬场面呢?比如 $f(x) = sqrt{x}$,$f(0)=0, f'(0)=text{undefined}$。
要是你非要写前几项,可能会写成 $0 + text{undefined} cdot x + dots$,这在编程时就得用 NaN 要么特殊标记来占位。但在实际工程里,我们更倾向于用双曲正弦 $sinh(x) = x + frac{x^3}{6} + dots$ 这种在 $x=0$ 处从导数一启动就发散的函数来替代,要么干脆用分段函数,哪怕看起来挺简陋。 这种“不够完美”的粗糙感,恰恰是多项式逼近的魅力所在。麦克劳林公式就是利用这种粗糙的线性组合,去拟合那些复杂的真世界函数。 想象一下,你要在一条弯曲的河流上游建一座桥。
要是你只看前两点(原点附近),可能认定桥忒直了,好办坍塌;但你务必有三阶就连四阶的精度,才能估算出河道的细小摆动对桥身应力的影响。
这时候,麦克劳林公式就是那个拿着“粗糙但诚实”尺子的人,它坦白地说:“我只给了你前三个数据点,你只能勉强造个原型,但别指望它是完美的。” 有时候,我们就连不需求彻底展开到三阶。
要是只需求知道 $x$ 挺小时 $f(x) approx f(0) + f'(0)x + frac{f''(0)}{2}x^2$,那这就是二阶麦克劳林公式。
要是加上下一项,就是三阶。加得再多,实际上只是在用更多的高阶导数去填充那些在 $x=0$ 附近已经不存有的“空位”。 再说说应用场景吧。在金融建模里,资产收益率的分布往往是非对称的,正态分布忽略了偏态,这时候用麦克劳林展开偏态系数,就能拿到一条扁平的直方图,用它来估算平均数、方差就连标准差,结局往往比查官方统计手册要准,出于官方手册可能有固有的偏差。在电路分析里,用麦克劳林公式把微分方程展开成一般/平平微分方程,就能把复杂的动态系统简化成线性的、好解的方程,哪怕系统本身是非线性的。 自然,也不是所有时候都能如此干。
要是 $x$ 的值挺大,比如跳到 $x=10$,展开式里的 $x^3$、$x^4$ 项直接爆炸,精度瞬间归零,这时候泰勒公式就得换人,比如变成拉格朗日形式,要么干脆退回到多项式插值。但在那之前,麦克劳林依然是首选,出于它在 $x to 0$ 时是最“谦卑”的,不炫耀,只负责准。 故此,下次当你看到一堆复杂的数学推导时,别被那些繁琐的求导步骤吓到。试着问自己,$x=0$ 附近的函数值到底长啥样?用麦克劳林公式,就能用前几项的“记忆”,去预测未来的走势,哪怕它只是基于有限步长的线性逼近,也比无稽之谈靠谱得多。
毕竟,数学的本质,往往就藏在这份“不懂装懂,却总能算对”的幽默感里。