首页 理论教育 数学分析的几个重要定理及其条件

数学分析的几个重要定理及其条件

时间:2023-10-19 理论教育 版权反馈
【摘要】:和函数的分析性质可用连续性定理、可积性定理及可微性定理加以讨论.这些定理的条件都是充分的,但不是必要的!

数学分析的几个重要定理及其条件

和函数(或极限函数)的分析性质可用连续性定理、可积性定理及可微性定理加以讨论.这些定理的条件都是充分的,但不是必要的!另外,函数的连续和可微都是局部概念,因此可将连续性定理和可微性定理中的“在D上一致收敛”减弱为“在D上内闭一致收敛”.

5.22 讨论下列函数列在指定区间上的一致收敛性.

(1)978-7-111-46233-0-Chapter05-267.jpg

1)0≤xb<1; 2)0≤x≤1; 3)1<ax<+.

(2)978-7-111-46233-0-Chapter05-268.jpg,0<x<1.

解 (1) 1)978-7-111-46233-0-Chapter05-269.jpgx∈[0,b](b<1).

因为

所以978-7-111-46233-0-Chapter05-271.jpg.

2)当0≤x<1时,978-7-111-46233-0-Chapter05-272.jpg;当x=1时,978-7-111-46233-0-Chapter05-273.jpgf978-7-111-46233-0-Chapter05-274.jpg

由于{fnx)}在[0,1]上连续,而极限函数fx)在[0,1]上不连续,所以{fnx)}在[0,1]上不一致收敛.

因为

所以978-7-111-46233-0-Chapter05-278.jpg

所以{fnx)}在(0,1)上不一致收敛.

5.23 讨论下面的函数列在指定区间上的一致收敛性.

解 极限函数978-7-111-46233-0-Chapter05-282.jpg

(i)由于

所以{Snx)}在(0,+∞)上非一致收敛.

(ii)记978-7-111-46233-0-Chapter05-284.jpg,则

978-7-111-46233-0-Chapter05-285.jpgg′nx=0可得驻点:978-7-111-46233-0-Chapter05-286.jpg

对固定的δ>0,当n充分大时,x0∉[δ+∞).注意到,当978-7-111-46233-0-Chapter05-287.jpg时,g′nx<0,因此gnx)在[δ+∞)上的最大值在x=δ处达到,所以

从而{Snx)}在[δ+∞)上一致收敛于Sx.

5.24 证明函数项级数978-7-111-46233-0-Chapter05-289.jpg.

(1)在[α,π](0<α<π)上一致收敛;

(2)在[0,π]上不一致收敛.(河南大学).

证明 (1)记anx=sinnx978-7-111-46233-0-Chapter05-290.jpg.显然{bnx)}单调递减(关于n)一致地趋向于0,而

978-7-111-46233-0-Chapter05-292.jpg的部分和一致有界,故由D-法知,978-7-111-46233-0-Chapter05-293.jpg在[α,π]上一致收敛.

(2)用柯西准则.

978-7-111-46233-0-Chapter05-294.jpg,∀N>0,取n′=NNp′=N+2,978-7-111-46233-0-Chapter05-295.jpg978-7-111-46233-0-Chapter05-296.jpg,使得

由柯西准则知,原级数在[0,π]上不一致收敛.

类题 证明函数项级数978-7-111-46233-0-Chapter05-299.jpg在(-∞,+∞)上非一致收敛.

提示 用柯西准则.

978-7-111-46233-0-Chapter05-300.jpg,∀N>0,取n′>Np′=n′x′=n′,则有

这里用到了不等式:978-7-111-46233-0-Chapter05-302.jpg

5.25 讨论级数978-7-111-46233-0-Chapter05-303.jpgx在(0,+∞)上的一致收敛性.

解 由978-7-111-46233-0-Chapter05-304.jpg,可得和函数

下面考察978-7-111-46233-0-Chapter05-306.jpg

由于978-7-111-46233-0-Chapter05-307.jpg,所以∀ε>0,∃δ>0,当x∈(0,δ)时,有

于是,∀n∈N+,当x∈(0,δ)时都有

而当δx<+∞时,注意到x<ex,对适当大的n,有

于是,对上述ε>0,∃N>0,当n>N时,∀x∈[δ+∞),都有

由式(1)、式(2)知,∀ε>0,∃N>0,当n>N时,∀x∈(0,+∞)有

故原级数在(0,+∞)上一致收敛.

5.26 证明:(1)978-7-111-46233-0-Chapter05-314.jpg在[0,1]上一致收敛;

(2)978-7-111-46233-0-Chapter05-315.jpg在[0,1]上收敛但不一致收敛.

证明 (1)对每一个固定x∈[0,1],{(1-xxn}单调递减趋于0.由莱布尼茨型级数的余项估计,有

Sx-Snx)∣=rnx)∣≤xn(1-x.

下面求unx=xn(1-x)在[0,1]上的最大值.

978-7-111-46233-0-Chapter05-316.jpg,可得驻点978-7-111-46233-0-Chapter05-317.jpg.un(0)=0,un(1)=0及978-7-111-46233-0-Chapter05-318.jpg知,unx)在[0,1]上的最大值为978-7-111-46233-0-Chapter05-319.jpg.

从而原级数在[0,1]上一致收敛.

若用D-法证明更为简单.

anx=xn(1-x),bnx=-1)n.对每一个固定的x∈[0,1],{anx)}单调递减一致地趋向于0.又978-7-111-46233-0-Chapter05-321.jpg.故由D-法知,原级数在[0,1]上一致收敛.

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

所以

由于和函数不连续,所以978-7-111-46233-0-Chapter05-324.jpg)在[0,1]上收敛但不一致收敛.

5.4 这个例子告诉我们,由978-7-111-46233-0-Chapter05-325.jpg在[ab]上绝对并一致收敛.推不出978-7-111-46233-0-Chapter05-326.jpg在[ab]上一致收敛.

5.27978-7-111-46233-0-Chapter05-327.jpg收敛,证明:978-7-111-46233-0-Chapter05-328.jpg上一致收敛.

证明 记anx=an978-7-111-46233-0-Chapter05-329.jpg,连续使用n次分部积分可得978-7-111-46233-0-Chapter05-330.jpg.显然{bnx)}单调递减(关于n),且∣bnx)∣≤2.由A-法知,原级数在[0,+∞)上一致收敛.

5.28fx)在[ab]上有连续的导函数f′x)及a<β<b.对于每一个自然数978-7-111-46233-0-Chapter05-331.jpg,定义函数列

试证:当n→∞时,函数列{fnx)}在[aβ]上一致收敛于f′x)(中科院).

证明 由f′x)在[aβ]上连续知,f′x)在[aβ]上一致连续.故∀ε>0,∃δ>0,∀x1x2∈[aβ],只要∣x1-x2,就有

f′x1-f′x2)∣<ε.

微分中值定理,∀x∈[aβ],∃ξn∈(aβ),使

于是,若令978-7-111-46233-0-Chapter05-334.jpg,则当978-7-111-46233-0-Chapter05-335.jpg时,∀x∈[aβ],有

fnx-f′x)∣=fξn-f′x)∣<ε.

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

类题 设fx)在(-∞,+∞)上有连续的导函数f′x),

fnx=en[fx+e-n-fx)](n=1,2,…).

证明:{fnx)}在任一有限开区间(ab)内一致收敛于f′x)(福建师大).

5.29 证明函数列的狄尼定理.

证明 用有限覆盖定理.

不妨设{Snx)}关于n单调递减.令

gnx=Snx-Sx),

则{gnx)}非负关于n也单调递减,且gnx)→0(n→∞).由此知,设x0∈[ab],∀ε>0,978-7-111-46233-0-Chapter05-337.jpg,当nNx0)时,有0≤gnx0<ε.

978-7-111-46233-0-Chapter05-338.jpg的连续性知,存在x0的邻域Ux0),当xUx0)∩[ab]时,有

这样,开区间集{Ux0x0∈[ab]}就构成了[ab]的一个开覆盖.由有限覆盖定理,存在有限个开区间Ux1),Ux2),…,Uxk)将[ab]覆盖,即978-7-111-46233-0-Chapter05-340.jpg978-7-111-46233-0-Chapter05-341.jpg.而每一个开区间Uxi)都对应了一个Nxi),令

N=max{Nxii=1,2,…,k}.

于是,当n>N时,∀x∈[ab](必存在某一个开区间Uxi),使xUxi)),有

即{Snx)}在[ab]上一致收敛于Sx.

5.5 狄尼定理也可用反证法,结合致密性定理来证明它(参见参考文献[2](下册)).狄尼定理给出了一个判断一致收敛的充分条件,用它可方便、快捷地做一类题目.例如:

5.30 在区间[0,1]上,

(1)证明:函数列978-7-111-46233-0-Chapter05-344.jpg一致收敛;

(2)证明:函数列978-7-111-46233-0-Chapter05-345.jpg一致收敛;

(3)求极限978-7-111-46233-0-Chapter05-346.jpg(武汉大学).

证明 (1)由狄尼定理可知,978-7-111-46233-0-Chapter05-347.jpg

也可采用如下的证法:

978-7-111-46233-0-Chapter05-348.jpgx∈[0,1],∀n,可得

978-7-111-46233-0-Chapter05-350.jpg在[0,1]上一致收敛于ex.

(2)极限函数978-7-111-46233-0-Chapter05-351.jpg.因为

所以978-7-111-46233-0-Chapter05-353.jpg.

(3)由(2)知,可积性定理的条件成立.极限运算与积分运算可交换顺序,故

5.31 证明:(1)978-7-111-46233-0-Chapter05-355.jpg

(解放军信息工程大学).

证明

因为978-7-111-46233-0-Chapter05-358.jpg,所以xlnx在[0,1]上连续,并且有界,设界为M.若记978-7-111-46233-0-Chapter05-359.jpg,则

注意到978-7-111-46233-0-Chapter05-361.jpg收敛,利用优级数判别法可知,978-7-111-46233-0-Chapter05-362.jpg在[0,1]上一致收敛.

由逐项积分定理,有

(2).(2)的证明包含在(1)的证明之中.

5.32 设unx)在[ab]上连续,函数项级数978-7-111-46233-0-Chapter05-364.jpg在(ab)内一致收敛.证明:

(1)978-7-111-46233-0-Chapter05-365.jpg978-7-111-46233-0-Chapter05-366.jpg收敛;

(2)978-7-111-46233-0-Chapter05-367.jpg在[ab]上一致收敛.

证明 (1)用柯西准则.由978-7-111-46233-0-Chapter05-368.jpg在(ab)内一致收敛知,∀ε>0,∃N>0,当n>N时,∀pN+x∈(ab),有

xa+,可得

由数项级数的柯西准则知,978-7-111-46233-0-Chapter05-371.jpg收敛.同理可证978-7-111-46233-0-Chapter05-372.jpg收敛.

(2)由(1)的证明过程知,∀ε>0,∃N>0,当n>N时,∀p∈N+x∈[ab],有

由函数项级数的柯西准则,978-7-111-46233-0-Chapter05-374.jpg在[ab]上一致收敛.

相应地,我们有下面的结论,它为判断不一致收敛提供了另一种方法.

命题5.2 设函数项级数978-7-111-46233-0-Chapter05-375.jpg在(ab)内收敛,unx)在x=b左连续,且级数978-7-111-46233-0-Chapter05-376.jpg发散,则978-7-111-46233-0-Chapter05-377.jpg在(b-δb)(δ>0)内必不一致收敛.

这个命题不难用反证法予以证明.

类题 证明:级数978-7-111-46233-0-Chapter05-378.jpgx>1上不一致收敛.

事实上,假设978-7-111-46233-0-Chapter05-379.jpgx>1上一致收敛,由例5.32可推出978-7-111-46233-0-Chapter05-380.jpg收敛.矛盾.

5.33 设对每一个nfnx)在[ab]上有界,且当n→∞时,{fnx)}在[ab]上一致收敛于fx).证明:

(1)fx)在[ab]上有界;

(2)978-7-111-46233-0-Chapter05-381.jpg.

证明 (1)设|fnx|Mn,∀x∈[ab],由{fnx)}在[ab]上一致收敛于fx)可知,∃N>0,当nN时,对∀x∈[ab],有|fnx-fx|<1.

对固定的N,有|fNx-fx|<1,即|fx|<|fNx|+1≤MN+1,∀x∈[ab].这表明fx)在[ab]上有界.

(2)因为{fnx)}在[ab]上一致收敛于fx),所以∀ε>0,∃N>0,当nN时,∀x∈[ab],有|fnx-fx|<ε,即

fx-ε<fnx<fx.

由于fnx)和fx)在[ab]上有界,所以978-7-111-46233-0-Chapter05-382.jpg978-7-111-46233-0-Chapter05-383.jpg均有限,对上式两边取上确界有

或(www.xing528.com)

综上可知,∀ε>0,∃N>0,当nN时,有式(1)成立,即有

5.34 证明:函数项级数978-7-111-46233-0-Chapter05-387.jpg在(0,1)内不一致收敛,但在[0,1]上可逐项积分.

证明 由于978-7-111-46233-0-Chapter05-388.jpg,所以级数978-7-111-46233-0-Chapter05-389.jpg在[0,1]上收敛.设其和函数为Sx),则

由洛必达法则,易知978-7-111-46233-0-Chapter05-391.jpg,即Sx)在[0,1]上不连续.由连续性定理,978-7-111-46233-0-Chapter05-392.jpg在[0,1]上不一致收敛.

为了证明978-7-111-46233-0-Chapter05-393.jpg在[0,1]上可逐项可积,只需证明其余项

的积分

即可.

因为

所以,令

fx)在[0,1]上连续,所以存在M>0,使得|fx)|≤Mx∈[0,1].于是,有

5.35 设函数项级数978-7-111-46233-0-Chapter05-399.jpg.

(1)证明此级数在(0,+∞)上收敛但不一致收敛;

(2)求其和函数.

证明 (1)对每一个固定的x>0,有

利用正项级数的比较判别法知,978-7-111-46233-0-Chapter05-401.jpg在(0,+∞)上收敛.

但由于978-7-111-46233-0-Chapter05-402.jpg,所以级数978-7-111-46233-0-Chapter05-403.jpg在(0,+∞)上不一致收敛.

注:亦可用命题5.2说明978-7-111-46233-0-Chapter05-404.jpg在(0,+∞)上不一致收敛.

(2)设978-7-111-46233-0-Chapter05-405.jpg.

由于级数的通项ne-nx=-e-nx,而978-7-111-46233-0-Chapter05-406.jpg是以e-x公比的几何级数,其和可以求出.因此,如果级数978-7-111-46233-0-Chapter05-407.jpg在(0,+∞)上满足逐项求导定理的条件,那么Sx)便可求出.但由(1)知,978-7-111-46233-0-Chapter05-408.jpg在(0,+∞)上不一致收敛,也就是说978-7-111-46233-0-Chapter05-409.jpg在(0,+∞)上不满足逐项求导定理的条件.为了克服这一困难,我们在缩小的区间[δ,∞)上考虑上述问题.

x0∈(0,+∞),∃δ>0,使x0∈[δ+∞),记vnx=-e-nx,显然vnx)在[δ+∞)上有连续的导数.

知,978-7-111-46233-0-Chapter05-411.jpg在[δ+∞)上一致收敛.因此,978-7-111-46233-0-Chapter05-412.jpg在[δ+∞)上可逐项求导,于是可得

特别地,978-7-111-46233-0-Chapter05-414.jpg.x0的任意性,∀x∈(0,+∞),都有

类题 设978-7-111-46233-0-Chapter05-416.jpg, x∈(0,+∞).

(1)证明:978-7-111-46233-0-Chapter05-417.jpg在(0,+∞)上收敛,但不一致收敛;

(2)求978-7-111-46233-0-Chapter05-418.jpg的和函数.

提示 和函数978-7-111-46233-0-Chapter05-419.jpg(注意应用例5.35的结果).

5.36 在[0,1]上定义的函数列

证明:函数978-7-111-46233-0-Chapter05-421.jpg在[0,1]上一致收敛,但它不存在优级数(河南大学).

证明 因为

所以当x∈[0,1]时,∀np∈N+,恒有

于是,∀ε>0,取978-7-111-46233-0-Chapter05-424.jpg,当n>N时,∀p∈N+x∈[0,1],总有

由柯西准则知,978-7-111-46233-0-Chapter05-426.jpg在[0,1]上一致收敛.

假设978-7-111-46233-0-Chapter05-427.jpg在[0,1]上存在优级数978-7-111-46233-0-Chapter05-428.jpg978-7-111-46233-0-Chapter05-429.jpg,则

978-7-111-46233-0-Chapter05-431.jpg收敛,可知978-7-111-46233-0-Chapter05-432.jpg收敛,这与978-7-111-46233-0-Chapter05-433.jpg发散相矛盾.978-7-111-46233-0-Chapter05-434.jpg不存在优级数.

5.6 这个例子告诉我们,绝对并一致收敛的函数项级数的一致收敛性并不一定总能用优级数判别法来判定.这是因为优级数判别法是判定一致收敛的充分条件,而非必要条件!

5.37 设可微函数列{fnx)}在[ab]上收敛,且{f′nx)}在[ab]上一致有界,则{fnx)}在[ab]上一致收敛.

证明 由于{fnx)}在[ab]上收敛,所以对每一个x0∈[ab],∀ε>0,∃Nx0=Nx0ε>0,当mn>N时,有

又由{f′nx)}在[ab]上一致有界知,∃M>0,与nx无关,使得

f′nx)≤M.978-7-111-46233-0-Chapter05-436.jpg,当xUx0δ)时,有

x跑遍[ab],得到一个开区间集H={Uxx∈[ab]},它将闭区间[ab]覆盖.由有限覆盖定理,存在H中的有限个开区间Ux1),Ux2),…,Uxk)将[ab]覆盖.978-7-111-46233-0-Chapter05-438.jpg,当mn>N时,∀x∈[ab],有

fnx-fmx)∣<ε.由柯西准则知,{fnx)}在[ab]上一致收敛.

相应于函数项级数情形,有下面的结论.

5.37 设978-7-111-46233-0-Chapter05-439.jpg在[ab]上收敛,unx)有连续导数,且978-7-111-46233-0-Chapter05-440.jpg978-7-111-46233-0-Chapter05-441.jpg及∀n∈N+成立,则978-7-111-46233-0-Chapter05-442.jpg在[ab]上一致收敛.

5.38 设unx)是[ab]上非负连续函数,978-7-111-46233-0-Chapter05-443.jpg在[ab]上点态收敛于ux.证明:ux)在[ab]上一定达到最小值(复旦大学.

证明 记978-7-111-46233-0-Chapter05-444.jpg,则Snx)递增趋向于ux),且ux)≥0.

978-7-111-46233-0-Chapter05-445.jpg,则存在点列{xk}⊂[ab],使978-7-111-46233-0-Chapter05-446.jpg由致密性定

理知,{xk}存在收敛子列,仍记为{xk},不妨设xkx0k→∞)且x0∈[ab].

下证:ux0=A.

若不然,则∃ε0>0,使ux0>A+ε0.Snx0)→ux0)(n→∞)知,∃N>0,使978-7-111-46233-0-Chapter05-447.jpg

SNx)在点x0处的连续性知,∃δ>0,当xUx0δ)时,有

由于Snx)递增,故更有978-7-111-46233-0-Chapter05-449.jpg.于是存在适当大的k,使xk-x0,这样便有

这与uxk)→Ak→∞)相矛盾.

类题 设{fnx)}(n=1,2,…)在[0,1]上连续,并且fnx)≥fn+1x),∀x∈[0,1]及n=1,2,….试证明:若{fnx)}在[0,1]上收敛于fx),则fx)在[0,1]上达到最大值(北大.

5.39 设一元函数fx=0的邻域内有二阶连续导数,f(0)=0,0<f′(0)<1.函数fnfn次复合.试证明:级数978-7-111-46233-0-Chapter05-451.jpgx=0的邻域内一致收敛(中科大).

证明 由于fx)在x=0的邻域内有二阶连续导数,所以当δ1>0适当小时,∃M>0,使f″x)≤M, ∀x∈[1δ1].

由泰勒公式,有

于是

δ1充分小,使978-7-111-46233-0-Chapter05-454.jpg,则上式变为

其中0<α<1.

重复使用上面的不等式,可得

978-7-111-46233-0-Chapter05-457.jpg收敛,由优级数判别法知,978-7-111-46233-0-Chapter05-458.jpg在[δ]上一致收敛.

类题 若函数fx)在[-aa](a>0)上连续,且∀x∈[-aa],x≠0,有∣fx)∣<x.f1x=fx),f2x=ff1x)),…,fn+1x=ffnx)),…,则{fnx)}在[-aa]上一致收敛于零(南京大学吉林大学.

提示 利用fx)的连续性及∣fx)∣<x∣可推出∣fx)∣≤∣x∣,x∈[-aa].ε>0,由于978-7-111-46233-0-Chapter05-459.jpg在[-a]∪[εa]上的最大值M<1),所以有

fx)∣≤Mx∣≤Ma

递推可知,∣fnx)∣≤Mna.

而在[ε]上,∣fnx)∣≤∣x∣≤ε.综上知,{fnx)}在[-aa]上一致收敛于0.

5.40 设978-7-111-46233-0-Chapter05-460.jpg

(1)证明:fx)在[0,+∞)上可导,且一致连续;

(2)证明:反常积分978-7-111-46233-0-Chapter05-461.jpg发散.

证明 (1)记978-7-111-46233-0-Chapter05-462.jpg,则unx)显然在[0,+∞)上有连续的导数.

978-7-111-46233-0-Chapter05-463.jpg,∀x∈[0,+∞)及978-7-111-46233-0-Chapter05-464.jpg的收敛性,利用正项级数的比较判别法可知,978-7-111-46233-0-Chapter05-465.jpg在[0,+∞)上点态收敛.

又由978-7-111-46233-0-Chapter05-466.jpg978-7-111-46233-0-Chapter05-467.jpg的收敛性,利用M判别法可知,978-7-111-46233-0-Chapter05-468.jpg在[0,+∞)上一致收敛.因此,由逐项可微定理知,978-7-111-46233-0-Chapter05-469.jpg在[0,+∞)上可导.

下证:fx)在[0,+∞)上一致连续.

事实上,∀x1x2∈[0,+∞).

可知,fx)在[0,+∞)上一致连续.

(2)∀A>0,考察

所以978-7-111-46233-0-Chapter05-472.jpg,从而反常积分978-7-111-46233-0-Chapter05-473.jpg发散.

5.41 若函数列{φnx)}满足下列条件:

(1)φnx)在[-1,1]上非负连续,且978-7-111-46233-0-Chapter05-474.jpg

(2)∀c∈(0,1),{φnx)}在[-1,-c]∪[c,1]上一致收敛于0,则对任一在[-1,1]上连续的函数gx),都有

证明 由条件(2)知,∀ε>0,∃NN+,当n>N时,∀x∈[-1,-c]∪[c,1],有φnx<ε.故有

于是

由于gx)在[-cc]⊂[-1,1]上连续,所以它存在最大值Mc)和最小值mc),即mc)≤gx)≤Mc),x∈[-cc].

由此知,

c→0+,由上式及g的连续性,有

5.42 若{fnx)}是[ab]上的连续函数列,且∀x∈[ab],数列{fnx)}都有界.试证明:存在闭区间[cd]⊂[ab],使{fnx)}在[cd]上一致有界(北大;云大.

证明 用反证法.假设{fnx)}在任意闭区间[pq]⊂[ab]上都非一致有界,即

k>0,∃n0∈N+,∃x0∈[pq],使978-7-111-46233-0-Chapter05-482.jpg

因为{fnx)}在[ab]上非一致有界,所以对k=1,∃n1∈N+,∃x1∈[ab]使978-7-111-46233-0-Chapter05-483.jpg由连续函数的保号性,∃[a1b1]⊂[ab],使得∀x∈[a1b1],有

又因为{fnx)}在[a1b1]上非一致有界,所以对k=2,∃n2∈N+n2>n1,∃x2∈[a1b1],使978-7-111-46233-0-Chapter05-485.jpg由连续函数的保号性,∃[a2b2]⊂[a1b1],使得∀x∈[a2b2],有

如此下去,可得一个闭区间列{[akbk]},满足

且∀k∈N+,∀x∈[akbk],有978-7-111-46233-0-Chapter05-488.jpg,其中nk+1>nk.

由闭区间套定理,∃ξ∈[akbk](k=1,2,…),使

即数列{fnξ)}的某一个子列978-7-111-46233-0-Chapter05-490.jpg无界,则数列{fnξ)}无界.这与已知条件矛盾.

下面的例子有一定难度,有兴趣的同学可钻研一下,学习它的证明方法.

5.43 设{an}是递减的正数列.证明级数

在(-∞,+∞)上一致收敛的充要条件是978-7-111-46233-0-Chapter05-492.jpg(复旦).

证明 (⇒)设级数(1)在(-∞,+∞)上一致收敛,由柯西准则知,∀ε>0,∃N>0,当m>n>N时,∀x∈(-∞,+∞),有

m>2N978-7-111-46233-0-Chapter05-494.jpg,则978-7-111-46233-0-Chapter05-495.jpg,即978-7-111-46233-0-Chapter05-496.jpg再取978-7-111-46233-0-Chapter05-497.jpg于是有

nkm时,978-7-111-46233-0-Chapter05-499.jpg,所以

由式(2)得

这就证明了978-7-111-46233-0-Chapter05-502.jpg

(⇐)设978-7-111-46233-0-Chapter05-503.jpg

则{μn}递减趋于0.对于mn,记

下面将证明:对∀x∈(-∞,+∞),成立

Snmx)∣≤(π+3)μn. (3)

由于Snmx)是以2π为周期的奇函数,所以只需证明式(3)在[0,π]上成立即可.把区间[0,π]分成978-7-111-46233-0-Chapter05-506.jpg978-7-111-46233-0-Chapter05-507.jpg978-7-111-46233-0-Chapter05-508.jpg三段,将证明式(3)在这三段上都成立.

1)978-7-111-46233-0-Chapter05-509.jpg由不等式978-7-111-46233-0-Chapter05-510.jpg,有

由阿贝尔变换可得

Snmx)∣≤nan+2am)≤3nan≤3μn.

2)978-7-111-46233-0-Chapter05-512.jpg由sinθθ可得

3)978-7-111-46233-0-Chapter05-514.jpg这时,978-7-111-46233-0-Chapter05-515.jpg,记978-7-111-46233-0-Chapter05-516.jpg于是

978-7-111-46233-0-Chapter05-518.jpg,可得978-7-111-46233-0-Chapter05-519.jpg,故由2)知,

Snlx)∣≤πμn.

因为978-7-111-46233-0-Chapter05-520.jpg,且978-7-111-46233-0-Chapter05-521.jpg,由1)和{μn}的递减性,即得

Sl+1,mx)∣≤3μl+1≤3μn.

于是

Snmx)∣≤∣Snlx)∣+Sl+1,mx)∣≤(π+3)μn.

978-7-111-46233-0-Chapter05-522.jpg,即知(1)在(-∞,+∞)上一致收敛.

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

我要反馈