首页 理论教育 函数的幂级数展开规范要求

函数的幂级数展开规范要求

时间:2023-10-19 理论教育 版权反馈
【摘要】:对函数f(x),若在x0的某邻域U(x0)内,成立则称f(x)在点x0处能展开为幂级数.若函数f(x)在点x0无穷次可微,则称幂级数为f(x)在点x0的泰勒级数.当x0=0时,上面的泰勒级数变为,称它为f(x)的麦克劳林(Maclaurin)级数.下面的命题给出了f(x)在点x0的幂级数与f(x)在点x0的泰勒级数之间的关系.命题5.3(幂级数展开的唯一性定理)如果函数f(x)在x0的某邻域U(

函数的幂级数展开规范要求

对函数fx),若在x0的某邻域Ux0)内,成立

则称fx)在点x0处能展开为幂级数.

若函数fx)在点x0无穷次可微,则称幂级数

fx)在点x0的泰勒级数.当x0=0时,上面的泰勒级数变为978-7-111-46233-0-Chapter05-547.jpg,称它为fx)的麦克劳林(Maclaurin)级数.

下面的命题给出了fx)在点x0的幂级数与fx)在点x0的泰勒级数之间的关系.

命题5.3 (幂级数展开的唯一性定理)如果函数fx)在x0的某邻域Ux0)内能展开为幂级数978-7-111-46233-0-Chapter05-548.jpg,则这个幂级数展开式是唯一的,并且它就是fx)在点x0的泰勒级数,即978-7-111-46233-0-Chapter05-549.jpg.

值得注意的是:只要fx)在点x0无穷次可微,那么fx)在点x0就可以展开为泰勒级数,但是这个泰勒级数未必收敛(考察978-7-111-46233-0-Chapter05-550.jpg在点x0=0的展开式),即使收敛也未必收敛于fx)(考察f978-7-111-46233-0-Chapter05-551.jpg在点x0=0的展开式).

fx)在Ux0)内的泰勒级数收敛于fx)本身的充要条件是余项γnx)在Ux0)内一致地趋于0.

一个方便实用的充分条件是下面的命题.

命题5.4 若fx)在Ux0)内的各阶导数一致有界,即∃M>0,使∣fn)(x)∣≤M,∀n,∀xUx0)成立,则fx)在Ux0)内的泰勒级数收敛于fx).

函数的幂级数展开分为直接法和间接法两种.直接法需要求函数fx)在展开点的高阶导数值和证明其余项在展开点附近一致地趋于零——这往往是困难的!间接法需要利用如下基本的展开式:

该展开式成立的范围当α-1时,x∈(-1,1);当-1<α<0时,x∈(-1,1];当α>0时,x∈[-1,1].

需要特别说明的是:间接法的理论依据是幂级数展开式的唯一性定理.因此,在作展开时,我们可放心地使用逐项求导、逐项求积以及四则运算等方法,只要所得的幂级数具有正的收敛半径即可.

5.44 求下列幂级数的收敛域

解 (1)记978-7-111-46233-0-Chapter05-554.jpg因为

所以收敛半径R=1.

或利用不等式

ln(n+1)<an<1+lnn

978-7-111-46233-0-Chapter05-557.jpg,亦可知收敛半径R=1.

x=±1时,级数的通项均不趋于零,故级数的收敛域为(-1,1).

(2)记978-7-111-46233-0-Chapter05-558.jpg.因为

所以收敛半径R=1.

x=1时,级数变成978-7-111-46233-0-Chapter05-561.jpg,因为当n适当大时,成立

而ln3>1,所以由比较判别法知,原级数在x=1处收敛;

x=-1时,级数变成978-7-111-46233-0-Chapter05-563.jpg.因为

由上知,原级数在x=-1处也收敛,故原级数的收敛域为[-1,1].

说明:该级数在端点x=±1处的收敛性也可用对数判别法论证之.

(3)记978-7-111-46233-0-Chapter05-565.jpg.因为

或利用斯特林公式:978-7-111-46233-0-Chapter05-567.jpg,有

所以收敛半径978-7-111-46233-0-Chapter05-569.jpg.

978-7-111-46233-0-Chapter05-570.jpg时,级数978-7-111-46233-0-Chapter05-571.jpg为正项级数.由斯特林公式,

由此可知,原级数在978-7-111-46233-0-Chapter05-573.jpg处发散;

978-7-111-46233-0-Chapter05-574.jpg时,级数978-7-111-46233-0-Chapter05-575.jpg为交错级数.由

可知,原级数在978-7-111-46233-0-Chapter05-578.jpg处收敛,故原级数的收敛域为978-7-111-46233-0-Chapter05-579.jpg

(4)记978-7-111-46233-0-Chapter05-580.jpg.因为

所以收敛半径978-7-111-46233-0-Chapter05-582.jpg

978-7-111-46233-0-Chapter05-583.jpg时,级数变为978-7-111-46233-0-Chapter05-584.jpg.对该级数的通项,考虑其子列{a8k}={1},不趋向于零,故原级数在978-7-111-46233-0-Chapter05-585.jpg处发散;

978-7-111-46233-0-Chapter05-586.jpg时,由类似地讨论可知,原级数在978-7-111-46233-0-Chapter05-587.jpg处也发散.从而原级数的收敛域为978-7-111-46233-0-Chapter05-588.jpg

5.45 求下列级数的收敛域.

(1)978-7-111-46233-0-Chapter05-589.jpgk>1为整数;

解 (1)记978-7-111-46233-0-Chapter05-591.jpg.因为

所以

978-7-111-46233-0-Chapter05-595.jpg,解这个不等式可得978-7-111-46233-0-Chapter05-596.jpg

978-7-111-46233-0-Chapter05-597.jpg时,级数变为978-7-111-46233-0-Chapter05-598.jpg.易见其通项

所以原级数在978-7-111-46233-0-Chapter05-600.jpg处收敛;类似地讨论可知,原级数在978-7-111-46233-0-Chapter05-601.jpg处也收敛.故原级数的收敛域为978-7-111-46233-0-Chapter05-602.jpg

(2)令978-7-111-46233-0-Chapter05-603.jpg,则原级数化为978-7-111-46233-0-Chapter05-604.jpg易知它的收敛域为(-1,1).

978-7-111-46233-0-Chapter05-605.jpg,解之可得:x>1或x<-1,即原级数的收敛域为

-∞,-1)∪(1,+∞).

(3)用根式判别法.978-7-111-46233-0-Chapter05-606.jpg,欲使ρ<1,必须x<1.x=±1时,级数变为978-7-111-46233-0-Chapter05-607.jpg,显然发散.故原级数的收敛域为(-1,1).

5.46 设an>0,978-7-111-46233-0-Chapter05-608.jpg978-7-111-46233-0-Chapter05-609.jpg证明:级数978-7-111-46233-0-Chapter05-610.jpg的收敛半径R=1.

证明 由于978-7-111-46233-0-Chapter05-611.jpg,所以级数978-7-111-46233-0-Chapter05-612.jpg的收敛半径为1.而当∣x<∣1时,由

可知,978-7-111-46233-0-Chapter05-614.jpg收敛.但由An+∞(n→∞)知,级数978-7-111-46233-0-Chapter05-615.jpg发散,故级数978-7-111-46233-0-Chapter05-616.jpg的收敛半径R=1.

5.47 将下列函数按要求展开.

(1)将fx=exsinx展开成x的幂级数;

(2)将978-7-111-46233-0-Chapter05-617.jpg展开成978-7-111-46233-0-Chapter05-618.jpg的幂级数;

(3)将fx=lnx展开成978-7-111-46233-0-Chapter05-619.jpg的幂级数.

解 (1)将fx)采用间接法展开,要涉及两个幂级数相乘,计算较为复杂.下面采用直接法展开.

数学归纳法可以证明:978-7-111-46233-0-Chapter05-620.jpg由此可得

于是可得fx)关于x的展开式:

但它是否收敛于fx)呢?通常我们要研究其余项,看它是否一致地趋于0?这是非常困难的!为了避开这一点我们采用下面的做法:

因为ex和sinx的麦克劳林展开式都在(-∞,+∞)上成立,所以它们都在(-∞,+∞)上绝对收敛.由级数的乘积定理知,exsinx也能展开成幂级数,且收敛半径R=+.再利用幂级数展开式的唯一性定理知,式(1)在(-∞,+∞)上必收敛于exsinx.

(3)先求978-7-111-46233-0-Chapter05-624.jpg关于y的展开式.

978-7-111-46233-0-Chapter05-626.jpg

类题 设978-7-111-46233-0-Chapter05-627.jpg,求f(2012)(0)(苏州大学).

提示 因为

且它们的麦克劳林展开式在(-∞,+∞)上都绝对收敛,所以978-7-111-46233-0-Chapter05-629.jpg也能展开成幂级数,并且收敛半径R=+∞.由幂级数展开式的唯一性,只需计算它们的柯西积即可.而它们的柯西积是

由此可见,在fx)的展开式中偶次幂并没出现,所以f(2012)(0)=0.

事实上,如果注意到fx)是奇函数,而奇函数的展开式中不会出现偶次幂,因此f(2012)(0)=0.

5.48 将函数978-7-111-46233-0-Chapter05-631.jpg

978-7-111-46233-0-Chapter05-632.jpg

本例亦可用待定系数法展开.设

两边同乘以1-2xcosα+x2,并比较x同次幂的系数,可得

a0=0,an=cosn=1,2,….

因此978-7-111-46233-0-Chapter05-634.jpg

类题1 求函数978-7-111-46233-0-Chapter05-635.jpg的麦克劳林展开式(用两种方法).

类题2 证明:当x<1时,

提示 设fx=ln(1-2xcosα+x2),对fx)关于x求导

当|x|<1时,应用978-7-111-46233-0-Chapter05-639.jpg的展开式,并利用逐项积分定理可得结论.(www.xing528.com)

5.49 设函数978-7-111-46233-0-Chapter05-640.jpg,证明级数978-7-111-46233-0-Chapter05-641.jpg收敛(浙大).

证明 通过fx)的麦克劳林展开,求出数项级数的通项978-7-111-46233-0-Chapter05-642.jpg

为此,记978-7-111-46233-0-Chapter05-643.jpg,则

由此可得

注意到ab=1,我们有

这表明978-7-111-46233-0-Chapter05-647.jpg是正项级数.

和级数978-7-111-46233-0-Chapter05-649.jpg的收敛性,利用正项级数的比较判别法知,978-7-111-46233-0-Chapter05-650.jpg收敛.

5.50 若978-7-111-46233-0-Chapter05-651.jpg的收敛区间是(-RR),存在数列{xn}⊂(-RR),使得978-7-111-46233-0-Chapter05-652.jpg,且fxn=0,n=1,2,….证明:an=0,n=0,1,2,….

证明 由fx)在x=0处连续知,978-7-111-46233-0-Chapter05-653.jpg此时,fx)可写成:

因为∀xn≠0,gxn=fxn=0.用上述方法便可推知,a1=0.如此下去,可得a2=a3==an=0.

5.51 证明陶贝尔定理.

证明 记978-7-111-46233-0-Chapter05-655.jpg,由978-7-111-46233-0-Chapter05-656.jpg可知,978-7-111-46233-0-Chapter05-657.jpg

978-7-111-46233-0-Chapter05-658.jpg,由978-7-111-46233-0-Chapter05-659.jpg可知,978-7-111-46233-0-Chapter05-660.jpg于是,∀ε>0,∃NN+,当n>N时,有

978-7-111-46233-0-Chapter05-662.jpg,当0<x<1时,有

1-xk=(1-x)(1+x++xk-1)≤k(1-x),

故有

978-7-111-46233-0-Chapter05-665.jpg,则有

5.7 一个简单的充分条件是下面的命题.

命题5.5 设978-7-111-46233-0-Chapter05-667.jpgx∈(-1,1),an≥0且978-7-111-46233-0-Chapter05-668.jpg,则978-7-111-46233-0-Chapter05-669.jpg

证明 记978-7-111-46233-0-Chapter05-670.jpg,则Snx)≤Sx),∀x∈[0,1].x→1-,可得:978-7-111-46233-0-Chapter05-671.jpg,即{Sn}单调递增有上界,因此数项级数978-7-111-46233-0-Chapter05-672.jpg收敛.由阿贝尔第二定理可知,幂级数978-7-111-46233-0-Chapter05-673.jpg在[0,1]上一致收敛.再由连续性定理,有

5.52 设978-7-111-46233-0-Chapter05-675.jpg.求证:

(1)fx)在[-1,1]上连续; (2)fx)在x=-1处可导;

(3)978-7-111-46233-0-Chapter05-676.jpg;(4)fx)在x=1处不可导.

证明 (1)因为当x≤1时,有

所以表示fx)的幂级数在[-1,1]上一致收敛.由连续性定理可知,fx)在[-1,1]上连续.

(2)对幂级数在收敛区间(-1,1)内逐项求导可得

x=-1时,交错级数978-7-111-46233-0-Chapter05-679.jpg收敛.由阿贝尔第二定理知,幂级数978-7-111-46233-0-Chapter05-680.jpg在[-1,0]上一致收敛.由逐项微分定理知,

fx)在x=-1处可导.

(3)当x>0时,由978-7-111-46233-0-Chapter05-682.jpg可看出f′x)为正的递增函数,因此,广义极限

存在.

A<+∞,则f′x)在[0,1]上有界.注意到

由命题5.5知,数项级数978-7-111-46233-0-Chapter05-685.jpg收敛.但由柯西积分判别法易知,978-7-111-46233-0-Chapter05-686.jpg发散,矛盾.因此A=+∞,即

(4)由洛必达法则及(3)的结论知,

f′(1)不存在.

5.53 已知978-7-111-46233-0-Chapter05-689.jpg.

(1)求ln2(1+x)在x=0点的幂级数展开式;

(2)求978-7-111-46233-0-Chapter05-690.jpg的和;

(3)求978-7-111-46233-0-Chapter05-691.jpg的和.

解 (1)978-7-111-46233-0-Chapter05-692.jpg是绝对收敛的级数.由于两个绝对收敛级数可以任意相乘,记

则有

其中

于是有

(2)用莱布尼茨判别法不难判断级数

收敛(注意应用978-7-111-46233-0-Chapter05-698.jpg),所以对ln2(1+x)展开的幂级数,应用阿贝尔第二定理可得

(3)由978-7-111-46233-0-Chapter05-700.jpg可得

从而

因此

类题 (1)(arctanx)2在x=0点展开成幂级数;

(2)求978-7-111-46233-0-Chapter05-705.jpg的和.

5.54 已知978-7-111-46233-0-Chapter05-707.jpg.

解 分部积分得

978-7-111-46233-0-Chapter05-709.jpg,式(1)可化为

由阿贝尔判别法知,级数978-7-111-46233-0-Chapter05-711.jpg在(0,+∞)上一致收敛.

由逐项积分定理,式(2)可化为

这里利用了上例的结果.

5.55 设shx·shy=1,其中978-7-111-46233-0-Chapter05-713.jpg,计算978-7-111-46233-0-Chapter05-714.jpg

解 令t=e-x,则

从而978-7-111-46233-0-Chapter05-716.jpg

注意到x=-lnt978-7-111-46233-0-Chapter05-717.jpg,有

上式在t=0处理解为取极限的过程.由幂级数逐项积分定理,有

同理可得

978-7-111-46233-0-Chapter05-722.jpg

5.56 求978-7-111-46233-0-Chapter05-723.jpg之和.

解 由于978-7-111-46233-0-Chapter05-724.jpg,所以考虑幂级数

x<1时,逐项积分有

求导得

于是,有

5.57 求极限978-7-111-46233-0-Chapter05-729.jpg.

解 这是一个二重级数求和问题.记

注意到

我们有

5.58 设fx)是R上的连续函数,若fx)在R上能用多项式一致逼近,则fx)是一个多项式.

证明 若fx)在R上能用多项式一致逼近,则存在多项式序列{Pnx)}及N>0,当nN时,对∀xR,有|Pnx-fx|<1.于是,当nN时,对∀xR,有

|Pnx-PNx||Pnx-fx|+|PNx-fx|<2.

这表明,多项式Pnx-PNx)在R上有界,所以它必是常数.即

fx=PNx+C是一个多项式.

免责声明:以上内容源自网络,版权归原作者所有,如有侵犯您的原创版权请告知,我们将尽快删除相关内容。

我要反馈