首页 理论教育 《考研数学分析总复习:可积性条件及证明方法》

《考研数学分析总复习:可积性条件及证明方法》

时间:2023-10-19 理论教育 版权反馈
【摘要】:

《考研数学分析总复习:可积性条件及证明方法》

必要条件:fx)在[ab]上有界.

充分条件:①[ab]上的连续函数可积;②[ab]上的单调有界函数可积;③[ab]上具有有限个第一类间断点的有界函数可积;④[ab]上具有无限个第一类间断点,而这些间断点的聚点个数是有限个的有界函数可积.

显然④包含着③.

充要条件:

第一充要条件:有界函数fx)在[ab]上可积⇔∀T,有978-7-111-46233-0-Chapter04-159.jpg

第二充要条件:有界函数fx)在[ab]上可积⇔∀ε>0,∃T,使得

第三充要条件:有界函数fx)在[ab]上可积⇔∀εη>0,∃δ>0,∀T,使‖T,而振幅ωkη的那些小区间的长度之和978-7-111-46233-0-Chapter04-161.jpg(通俗地讲,即是振幅不能任意小的那些小区间的长度可以任意小).

4.21 证明:黎曼函数

在[0,1]上可积.

证明 由黎曼函数的性质,∀ε>0,在[0,1]上使得978-7-111-46233-0-Chapter04-163.jpg的点至多有有限个,不妨设是k个,记为0=p′1<p′2<<p′k=1.

作[0,1]的分割T:0=x0<x1<x2<…<x2k-1=1,使其满足

由于978-7-111-46233-0-Chapter04-165.jpg而在上式右边第一个和式中,有978-7-111-46233-0-Chapter04-166.jpgω2j+1≤1;在第二个和式中,有978-7-111-46233-0-Chapter04-167.jpg978-7-111-46233-0-Chapter04-168.jpg978-7-111-46233-0-Chapter04-169.jpg,所以有

由第二充要条件,黎曼函数在[0,1]上可积.

4.22 证明第三充要条件.

证明 (⇒)由f在[ab]上可积知,∀εη>0,∃δ>0,∀T,满足‖T,有

ωkη,则有

(⇐)设fx)在[ab]上的振幅为ω.将对应于分割T的小区间分成两类:当ωkη时,记ωkk,相应地小区间的长度记为Δxk;而当ωk时,记ωk=ωk,相应地小区间的长度记为978-7-111-46233-0-Chapter04-174.jpg

已知,∀ε>0,η>0(取ηε),∃δ>0,∀T,满足‖T,而ωkη的小区间长度978-7-111-46233-0-Chapter04-175.jpg之和978-7-111-46233-0-Chapter04-176.jpg于是有

由第二充要条件,f在[ab]上可积.

4.23 设f在[ab]上可积,则efx)也在[ab]上可积.

证明 由f在[ab]上可积知,∀ε>0,∃Ta=x0<x1<<xn=b,使得

因为f可积,所以f在[ab]上有界,设fx)≤M.x′x″∈Δi=[xi-1xi],由拉格朗日中值定理,有

其中ξ介于fx′)与fx″)之间.

978-7-111-46233-0-Chapter04-180.jpg表示efx)在Δi上的振幅,则对上式两边取上确界有

由此推出

这表明efx)在[ab]上可积.

4.6 从本例的证明过程可以看出,在用第二充要条件证明函数的可积性时,只要能证明类似于式(*)的不等式成立,即欲证可积函数的振幅能被已知可积函数的振幅所控制,余下的只是例行公事而已!

4.24 设y=fu)在[AB]上连续,u=φx)在[ab]上可积.当x∈[ab]时,Aφx)≤B.证明:Fx=fφx))在[ab]上可积.

证明 由于fu)在[AB]上连续,所以它在[AB]上一致连续,即∀ε>0,∃δ>0,当u′u″∈[AB],∣u′-u″时,有

因此作[ab]的分割之后,在[xi-1xi]上,若φx)的振幅ωφi,则Fx=fφx))的振幅ωFi.

事实上,∀x′x″∈[xi-1xi],只要

u′-u″=φx′x″)∣≤ωφi

必有

从而

由此知,在[xi-1xi]上,若ωFiε,必有ωφiδ.故(www.xing528.com)

这样,∀ε>0,σ>0,先找δ>0使式(1)成立.再由φx)在[ab]上的可积性,利用第三充要条件的必要性对上述的δ>0和σ>0,∃分割T,使得

于是由式(2)知

最后由第三充要条件的充分性即知,Fx)在[ab]上可积.

4.7 若外层函数y=fu)和内层函数u=φx)都可积,它们的复合函数Fx=fφx))却不一定可积.例如,函数

在[0,1]上可积,而黎曼函数

在[0,1]上也可积(见例4.21),但它们的复合函数

在[0,1]上却不可积.

4.25 设fx)在[ab]上可积,求证:

(1)∀ε>0,则存在区间[cd]⊂[ab],使得fx)在[cd]上的振幅ωf

(2)fx)的连续点在[ab]上处处稠密(即∀[αβ]⊂[ab],fx)在[αβ]内有连续点);

(3)若fx)≥0,则978-7-111-46233-0-Chapter04-192.jpg的充要条件是fx)在连续点恒取零值.(北师大).

证明 (1)用反证法.若∃ε0>0,使得∀[cd]⊂[ab],都有ωfε0,那么对[ab]的任一分割T,必有978-7-111-46233-0-Chapter04-193.jpg,这与fx)在[ab]上可积矛盾.

(2)只要证明fx)在[ab]内至少有一个连续点即可.事实上,若能如此,则∀[αβ],因为fx)在[αβ]上可积,故fx)在[αβ]内有连续点,这就证明fx)的连续点在[ab]中处处稠密.

为此,下面用区间套定理来证明.

ε>0,由(1)知,存在[ab]的闭子区间I1=[a1b1],使得fI1上的振幅978-7-111-46233-0-Chapter04-194.jpg.将I1适当缩小,使其满足978-7-111-46233-0-Chapter04-195.jpg.将缩小后的区间仍记为I1=[a1b1],在I1上显然仍有978-7-111-46233-0-Chapter04-196.jpg;对I1,重复上述做法,可得到它的闭子区间I2=[a2b2],满足:978-7-111-46233-0-Chapter04-197.jpg978-7-111-46233-0-Chapter04-198.jpg;如此下去,可得到一个闭区间列{In},满足:①在Inf的振幅978-7-111-46233-0-Chapter04-199.jpg;②In+1In;③978-7-111-46233-0-Chapter04-200.jpg.由闭区间套定理,∃ξIn⊂[ab](n=1,2,…).

下证:ξf的连续点.

若不然,则∃ε0>0在点ξ的任何邻域Uξ)内都有点x′,使∣fx′-fξ)∣≥ε0.由此可知,fUξ)上的振幅ωfU≥∣fx′-fξ)∣≥ε0.而另一方面,对给定的邻域Uξ),存在InUξ),这与In的造法矛盾.

(3)(⇐).由(2)知,f的连续点在[ab]中稠密,因此,当f在连续点处恒取零值时,有978-7-111-46233-0-Chapter04-201.jpg

(⇒).若存在f的连续点x0∈[ab](不妨设x0为内点),使fx0>0.由于f在点x0的连续性,∃δ>0,当x∈(x0x0)时,有978-7-111-46233-0-Chapter04-202.jpg,从而有978-7-111-46233-0-Chapter04-203.jpg,这与978-7-111-46233-0-Chapter04-204.jpg的假设矛盾(若x0为区间的端点,只需将上面的不等式的积分区间改成x0的单侧邻域即可).

4.26 (推广的牛顿-莱布尼茨公式)设fx)在[ab]上可积,Fx)在[ab]上连续,在(ab)内除有限个点外,都有F′x=fx),则

证明 作[ab]的分割Ta=x0<x1<<xn=b,让不满足F′x=fx)的点都是T的分点,则有

其中ξi∈[xi-1xi].上式右端是属于分割T的一个积分和,由f的可积性,令‖T‖→0,则右端的极限为978-7-111-46233-0-Chapter04-207.jpg,而左边与T无关,故知结论成立.

本例还可进一步推广为下面的

4.27 设fx)在[ab]上可积,Fx)在[ab]上只有有限个跳跃间断点,除有限个内点C1<C2<<Cm及端点ab外,在[ab]上的其他点都有F′x=fx)(称Ff的广义原函数).证明

Fx)在[ab]上连续时,显然上式的最后一项变为0,而Fb-0)=Fb),Fa+0)=Fa),这便是例4.26的结论.

证明 记a=C0b=Cm+1.Fx)作连续性延拓,令

由推广的牛顿-莱布尼茨公式知

4.8 1.若fx)在[ab]上可积,问:fx)在[ab]上存在原函数吗?

2.若fx)在[ab]上存在原函数,问:fx)在[ab]上可积吗?

可积与原函数存在,是两个不同的概念,一般来说,两者没有必然的联系!这一点必须予以澄清.下面我们来举例说明这两个问题的答案都是否定的.

对1,取978-7-111-46233-0-Chapter04-212.jpgx∈[-1,1].因为fx)在[-1,1]上是只有一个第一类间断点的有界函数,所以fx)在[-1,1]上可积,若在[-1,1]上存在Fx),使得F′x=fx),则F′x)在[-1,1]上有第一类间断点x=0.这与导数极限定理相矛盾,因此fx)在[-1,1]上不存在原函数.

对2,取978-7-111-46233-0-Chapter04-213.jpg x∈[-1,1].显然,978-7-111-46233-0-Chapter04-214.jpgx∈[-1,1]满足F′x=fx),即Fx)是fx)在[-1,1]上的一个原函数.

若令978-7-111-46233-0-Chapter04-215.jpgkN+,则978-7-111-46233-0-Chapter04-216.jpg,这表明fx)在[-1,1]上无界.由可积的必要条件,fx)在[-1,1]上不可积.

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

我要反馈