开场白
问题描述
在物理课上,我们有一个公式描述小球距一条线的高度。引入了cosθ,但是这个cosθ让我们很难看到单摆和其他震荡的关系。
用近似法近似就更容易看出高度的变化。但为啥能近似呢?转成这我也看不出和震荡啥关系啊
图像并排放,在0附近确实很近似。但是这个近似怎么来的呢?
学习泰勒级数的目的,就是用多项式函数近似表达,求导和积分更容易。
所以现在我们盯着cosθ,找到一个多项式来在x=0处最近似地表达?然后直接给了这个式子,估计是方便算才给这个形式的式子,然后验证可行。但怎么想到就是给这个式子呢,灵感吗?
找近似
因为x=0时cos (x)=1,所以必须使你的近似函数也等于1,所以求出c0=1
第二步使近似函数在x处的切线斜率=0,求出c1=0,c1掌管着在x=0处的导数
第三步观察曲线在x=0附近斜率在变小,所以二阶导<0。 算出原函数在x=0处的二阶导=-1,所以让近似函数的二阶导也=-1来让弯曲变化一样。求出c2=-1/2
验算一下,在x=0.1处求近似值和真实值,相差很少。
所以c0负责一块,c1负责一块,c2负责一块。再多加一项后,三阶导后如下所示。
发现c3=0。所以二次项近似同时也是最优的三次项近似。
再加个c4,算出c4=1/24,绿色线代表的近似效果更好了。
回顾要点
第一是 第n项系数不是cn,得除以一个n!,
第二是 添加高阶项不影响低阶项。
每一个系数控制一个某阶导数。
如果非0点呢?比如π,近似函数是x-π的多项式。至于为啥就是此形式呢?恐怕这样写才能让各阶导数相等吧,还有这样写才能消掉其他项对本项的影响,就是各管各的,才能更像前面0点的近似函数。
玄学角度看这一过程
本质上把某一点的导数信息(就是各阶导数)转换成该点附近的函数值信息(就是近似函数该满足啥要求)。
0点的高阶导数在如此循环。
教科书式写法。每一项的作用是为了满足某个高阶导
x=a处的写法。。
举个例子
算e^x的近似函数
几何上看泰勒多项式
怎么从几何上看泰勒多项式呢?
拐到积分
为啥函数是面积函数的导数呢?因为多出来的面积近似为 ds=函数值*dx,dx越小,近似值越准确。
dx很大时,要想近似准确就得考虑粉红色的面积。
三角形高度近似为k*(x-a)。
,因为函数是面积函数的导数,所以函数斜率是面积函数的二阶导。算出三角形的面积。
所以知道了面积函数在a点的导数信息后,可以近似知道在x点的面积。这就是泰勒多项式的另一种直观作用。
泰勒级数和泰勒多项式
前面有限多项叫多项式,无限多项就叫级数了
但是无限是没意义的,就是再敲计算机也是有限项。但是加的越来越多,最终会越来越接近于一个值,就叫级数收敛。
你求了一个0附近的e^x近似表达式,巧的是你无论代入什么x,都会收敛到e^x。说明你这个级数的式子和原函数高度重合,即使泰勒多项式只考虑0点周围。
下列函数无限多项只能变成这样了,粉红色。。但是只有在一小段范围才是近似正确的。
lnx的近似函数 项数越多只会乱跳,级数全范围不会收敛,小氛围内会收敛。收敛的范围就是收敛半径。
感悟
本章先直接给了一个0点的泰勒多项式,没说表达式怎么来的。然后算出原函数和此函数的在某个定点高阶导数,导数要一一对应,所以得到近似函数的各项系数。
又给了一个a点的泰勒表达式,也没说表达式怎么来的,就是直接给的。算了系数。
最后解释了泰勒表达式和积分图上的的对应关系。
泰勒级数是有无限多个项,注意泰勒级数是刻画了某点附近的近似,但是有时赶巧了,你任一点都能用此近似式子描述,比如e^x。