定义1
设函数f在x0处有直到n阶的导数,这里n是任意给定的正整数,令
Tn(f,x0;x)=f(x0)+1!1f′(x0)(x−x0)+2!1f′′(x0)(x−x0)2+⋯+n!1f(n)(x0)(x−x0)n
称它为f在x0处的n次Taylor多项式。
定理1:带Peano余项的Taylor定理
设函数f在x0处有直到n阶的导数,则有
f(x)=Tn(f,x0;x)+o((x−x0)n)(x→x0)
证:用数学归纳法。当n=1时,由微分性质可知成立。现设n=k时,上式成立。由于
Tk+1′(f,x0;x)=Tk(f′,x0;x)
由L'Hospital法则可知
x→x0lim(x−x0)k+1f(x)−Tk+1(f,x0;x)=k+11x→x0lim(x−x0)kf′(x)−Tk(f′,x0;x)
而f′在n=k时定理成立,从而
x→x0lim(x−x0)kf′(x)−Tk(f′,x0;x)=0
所以
x→x0lim(x−x0)k+1f(x)−Tk+1(f,x0,x)=0
令
Rn(x)=f(x)−Tn(f,x0;x)(n=1,2,⋯)
称它为余项,满足
x→x0lim(x−x0)nRn(x)=0
这种余项称为Peano余项,该定理也称为带有Peano余项的Tyalor定理,也叫做函数f的Taylor展开式。
Q.E.D.
定理2:带Peano余项的Maclaurin定理
设函数f在x=0处有直到n阶的导数,则多项式
Tn(f,0;x)=f(0)+1!f′(0)x+2!f′′(0)x2+⋯+n!f(n)(0)xn
为f的n次Maclaurin多项式,相应地,
f(x)=Tn(f,0,x)+o(xn)(x→x0)
称为带Peano余项的Maclaurin定理,也叫做函数f的Maclaurin展开式。
定理3
设函数f在x0处有直到k阶的导数,并且
f′(x0)=f′′(x0)=⋯=f(k−1)(x0)=0,f(k)(x0)=0
那么:
(1)当k为奇数时,x0不是f的极值点。
(2)当k为偶数时,若f(k)(x0)>0,则x0是f的严格极小值;若f(k)(x0)<0,则x0是f的严格极大值。
证:由Peano余项的Taylor定理可知:
f(x)=f(x0)+k!f(k)(x0)(x−x0)k+o((x−x0)k)(x→x0)
即
(x−x0)kf(x)−f(x0)=k!f(k)(x0)+o(1)
(1)当k为奇数时。若f(k)(x0)>0,则当x>x0时,f(x)>f(x0),x<x0时,f(x)<f(x0),表明x0不是极值点;对于f(k)(x0)<0时,讨论是一样的;
(2)当k为偶数时,由于(x−x0)k在x=x0处总是正值,所以当f(k)(x0)>0时,总有f(x)>f(x0),可知此时x0是极小值;同理当f(k)(x0)<0时,总有f(x)<f(x0),此时x0是极大值点。
Q.E.D.
定理4:带Lagrange余项和Cauchy余项的Taylor定理
设f在开区间(a,b)上有n+1阶导数,x0,x是(a,b)中任意两点,那么
f(x)=Tn(f,x0;x)+Rn(x)
其中
Rn(x)=(n+1)!f(n+1)(ξ)(x−x0)(n+1)
称为Lagrange余项;
或者
Rn(x)=n!f(n+1)(ξ)(x−ξ)n(x−x0)
称为Cauchy余项。
证:记
F(t)=Tn(f,t;x)=f(t)+k=1∑nk!f(k)(t)(x−t)k
有
F′(t)=f′(t)+k=1∑n(k!f(k+1)(t)(x−t)k−(k−1)!f(k)(t)(x−t)(k−1))=f′(t)+k=1∑nk!f(k+1)(t)(x−t)k+k=1∑n(k−1)!f(k)(t)(x−t)(k−1)=f′(t)+n!f(n+1)(t)(x−t)(n)−f′(t)=n!f(n+1)(t)(x−t)(n)
对函数g(t)=F(t),λ(t)=(x−x0x−t)n+1,在区间[x0,x](先设x0<x)上使用函数导数三的定理3可知,必存在ξ∈(x0,x),使得
F′(ξ)=λ′(ξ)(F(x0)−F(x))
而
λ′(t)=−(n+1)(x−x0)n+1(x−t)n
从而
n!f(n+1)(ξ)(x−ξ)n=−(n+1)(x−x0)n+1(x−ξ)n(Tn(f,x0;x)−f(x))
即
f(x)=Tn(f,x0;x)+(n+1)!f(n+1)(ξ)(x−x0)n+1
这就是带Lagrange余项的Taylor定理;若令λ(t)=x−x0x−t,则同上可得
n!f(n+1)(ξ)(x−ξ)n=−x−x01(Tn(f,x0;x)−f(x))
即
f(x)=Tn(f,x0;x)+n!f(n+1)(ξ)(x−ξ)n(x−x0)
这就是带Cauchy余项的Taylor定理。
如果x<x0,分别取
λ(t)=1−(x−x0x−t)(n+1),λ(t)=1−x−x0x−t
即可证。
Q.E.D.