首页 理论教育 含参变量广义积分的一致收敛判定规则

含参变量广义积分的一致收敛判定规则

时间:2023-10-19 理论教育 版权反馈
【摘要】:含参变量无穷积分与函数项级数都是对函数的求“和”问题,前者是连续的求和,后者是离散的求和.因此,它们的一致收敛定义及判别法和各种性质都是平行的,希望同学们将其作以比较.(1)含参变量无穷积分在I上一致收敛是指:ε>0,A0>a,A>A0,x∈I,有在I上不一致收敛是指:ε0>0,A>a,A′>A,x′∈I,使得命题7.1含参变量广义积分在I上一致收敛的充要条件是,其中(2)判定含参变量广义积分一

含参变量广义积分的一致收敛判定规则

含参变量无穷积分978-7-111-46233-0-Chapter07-52.jpg与函数项级数978-7-111-46233-0-Chapter07-53.jpg都是对函数的求“和”问题,前者是连续的求和,后者是离散的求和.因此,它们的一致收敛定义及判别法和各种性质都是平行的,希望同学们将其作以比较.

(1)含参变量无穷积分978-7-111-46233-0-Chapter07-54.jpgI上一致收敛是指:ε>0,∃A0>a,∀A>A0,∀xI,有

978-7-111-46233-0-Chapter07-56.jpgI上不一致收敛是指:∃ε0>0,∀A>a,∃A′>A,∃x′I,使得

命题7.1 含参变量广义积分978-7-111-46233-0-Chapter07-58.jpgI上一致收敛的充要条件是978-7-111-46233-0-Chapter07-59.jpg,其中978-7-111-46233-0-Chapter07-60.jpg

(2)判定含参变量广义积分一致收敛的判别法

1)柯西收敛准则;2)M判别法(优函数判别法);3)阿贝尔判别法(简称A-法);4)狄利克莱判别法(简称D-法);

5)狄尼定理:fxy)在D=[αβ]×[a+∞)上连续且不变号,978-7-111-46233-0-Chapter07-61.jpg978-7-111-46233-0-Chapter07-62.jpg在[αβ]上连续,则978-7-111-46233-0-Chapter07-63.jpg在[αβ]上一致收敛.

(3)判断含参变量广义积分不一致收敛常用的方法:1)按定义;2)按柯西准则,即∃ε0>0,∀A>a,∃A′A″>Ax′I,使得

3)若fxy)在[a+∞)上连续,x0I的一个聚点,978-7-111-46233-0-Chapter07-65.jpgI\{x0}上收敛,但978-7-111-46233-0-Chapter07-66.jpg发散,则978-7-111-46233-0-Chapter07-67.jpgI上不一致收敛(用反证法,结合柯西准则易证);

4)狄尼定理,即fxy)在D=[αβ]×[a+∞)上连续,978-7-111-46233-0-Chapter07-68.jpg在[αβ]上存在但不连续,则978-7-111-46233-0-Chapter07-69.jpg在[αβ]上不一致收敛.

(4)含参变量积分的分析性质

1)连续性 设fxy)在D=[αβ]×[a+∞)上连续,且978-7-111-46233-0-Chapter07-70.jpg在[αβ]上一致收敛于φx),则φx)在[αβ]上连续,即∀x0∈[αβ],有

2)可微性 设fxy),fxxy)在D上连续,而978-7-111-46233-0-Chapter07-72.jpg在[αβ]上收敛于978-7-111-46233-0-Chapter07-73.jpg在[αβ]上一致收敛,则φx)在[αβ]上可微,且

3)积分可交换性 在连续性定理的条件下,φx)在[αβ]上可积,且

对于[α+∞)×[a+∞)的情形,有:若fxy)在[α+∞)×[a+∞)上连续,而

分别在任意有限区间[αβ]与[ab]上一致收敛.又积分

中至少有一个存在,则积分

都存在且两者相等.

对无界函数的含参变量积分也有类似的结果.

7.6 证明:978-7-111-46233-0-Chapter07-79.jpg在[α0+∞)(α0>0)上一致收敛;2)在(0,+∞)上不一致收敛(南开).

证明 当α>0时,令αx=u,则∀A>0,有

1)显然978-7-111-46233-0-Chapter07-81.jpg,且978-7-111-46233-0-Chapter07-82.jpg由命题7.1知,978-7-111-46233-0-Chapter07-83.jpg在[α0+∞)上一致收敛.

2)显然978-7-111-46233-0-Chapter07-84.jpg,故由命题7.1知,978-7-111-46233-0-Chapter07-85.jpg在(0,+∞)上不一致收敛

类题 试证广义积分978-7-111-46233-0-Chapter07-86.jpg在区间0<ayb内一致收敛,而在区间0≤yb内非一致收敛(中科院).

7.7 证明:积分978-7-111-46233-0-Chapter07-87.jpg在(0+∞)上不一致收敛.

证明 ∀A>1,978-7-111-46233-0-Chapter07-88.jpg有界,而当λ>0时,x单调趋向于0(关于x),所以由狄利克雷判别法知,积分收敛.

但对适当大的自然数n,有

故对任意大的自然数n,都存在λ>0,使上式不小于1.由柯西准则知,积分在(0,+∞)上不一致收敛.

类题 证明978-7-111-46233-0-Chapter07-90.jpg关于y在[a+∞)(a>0)上一致收敛,但在(0,+∞)上不一致收敛.

提示 1)用D-法;

2)用柯西准则.取A′=nπ,978-7-111-46233-0-Chapter07-91.jpg978-7-111-46233-0-Chapter07-92.jpgnN+,考察

7.8 证明:978-7-111-46233-0-Chapter07-94.jpg关于p在(-1,1)上内闭一致收敛.

证明 只要证明:∀[p0p1]⊂(-1,1),积分在[p0p1]上都一致收敛即可.

由于x=0是奇点,所以需要将积分分开:

I1而言,注意到

由于p1<1,所以978-7-111-46233-0-Chapter07-97.jpg收敛.这样,由M判别法知,I1在[p0p1]上一致收敛.

I2而言,作变换t=x2,则

由于∀A>1,978-7-111-46233-0-Chapter07-99.jpg一致有界.而

注意到p0+1>0,所以当t+∞时,978-7-111-46233-0-Chapter07-101.jpg,从而978-7-111-46233-0-Chapter07-102.jpg关于p一致地趋向于0.由D-法知,I2在[p0p1]上一致收敛.

综上可知,所论积分在(-1,1)上内闭一致收敛.

7.9 证明:978-7-111-46233-0-Chapter07-103.jpgα∈[0,b](0<b<1)一致收敛.

证明 这个积分有无穷多个奇点,所以需要将这个积分写成级数形式.

I1而言,t=0为奇点.由978-7-111-46233-0-Chapter07-105.jpg978-7-111-46233-0-Chapter07-106.jpg的收敛性知,I1在[0,b]上一致收敛.

I2而言,t=π为奇点.由978-7-111-46233-0-Chapter07-107.jpg978-7-111-46233-0-Chapter07-108.jpg的收敛性知,I2在[0,b]上一致收敛.

综上知,Iα)在[0,b]上一致收敛.

7.10 讨论函数

的连续区间.

解 先确定Iα)的定义域,即积分的收敛范围.

显然,x=0,x=+∞是可能的奇点.

x→0时,978-7-111-46233-0-Chapter07-110.jpg,由此可见,当α-1<1,即α<2时,积分978-7-111-46233-0-Chapter07-111.jpg收敛.

x+∞时,978-7-111-46233-0-Chapter07-112.jpg,由此可见,当α+3>1,即α>-2时,积分978-7-111-46233-0-Chapter07-113.jpg收敛.

综合起来可知,Iα)的定义域为(-2,2).

下面将证明Iα)在(-2,2)上连续.为此只需证明Iα)在(-2,2)上内闭一致收敛,即∀[ab]⊂(-2,2),Iα)在[ab]上一致收敛即可.

x∈(0,1)时,对αb<2,存在正常数C>0,使得

注意到978-7-111-46233-0-Chapter07-115.jpg收敛,故由M判别法知,积分978-7-111-46233-0-Chapter07-116.jpg在(-∞,b]上一致收敛.

x∈[1,+∞)时,对-2<aα,有

978-7-111-46233-0-Chapter07-118.jpg收敛,利用M判别法知,积分978-7-111-46233-0-Chapter07-119.jpg在[a+∞)上一致收敛.综合起来,即知Iα)在[ab]上一致收敛,从而Iα)在(-2,2)上连续.

7.11

证明:1)Fa)在[0,+∞)上连续;2)Fa)在(0,+∞)上可导;3)求Fa.

证明 由于978-7-111-46233-0-Chapter07-121.jpg,所以t=0不是奇点.

1) 令

fta)在[0,+∞)×[0,+∞)上连续.若记

则由注7.1知,F1在[0,+∞)上连续.而对F2,由b≠0知,978-7-111-46233-0-Chapter07-124.jpg关于a∈[0,+∞)一致收敛(至于它的收敛性可用D-法证明,因为它与a无关,所以这种收敛关于a是一致的),又1-e-at关于t单调且|1-e-at|≤2一致有界,故由A-法知,F2在[0,+∞)上一致收敛,从而在[0,+∞)上连续.综上知,Fa)在[0,+∞)上连续.

2)由fata)=e-atcosbtt≥0,a≥0知,fta)与fata)都在[0,+∞)×[0,+∞)上连续,且∀ε>0,当aε时,有

fata)∣≤e-at≤e-εtt∈[0,+∞).

978-7-111-46233-0-Chapter07-125.jpg的收敛性,利用M判别法可知,978-7-111-46233-0-Chapter07-126.jpg关于a∈[ε+∞)一致收敛.于是Fa)在[ε+∞)上可导,由ε的任意性知Fa)在(0,+∞)上可导,且

3)分部积分可得:

注意到F(0)=0,对上式两边关于a积分可得:

7.12

1)求g′α)(北师大);

2)计算gα)(河南师大).

解 1)x=1和x=+∞为奇点.记

显然fxα)与fαxα)均在(1,+∞)×-∞,+∞)上连续.

对积分978-7-111-46233-0-Chapter07-133.jpg,当x→1+时,f978-7-111-46233-0-Chapter07-134.jpg;当x+∞时,978-7-111-46233-0-Chapter07-135.jpg由此可知,gα)在(-∞,+∞)上收敛.

对积分978-7-111-46233-0-Chapter07-136.jpg

978-7-111-46233-0-Chapter07-138.jpg的收敛性,利用M判别法可知,978-7-111-46233-0-Chapter07-139.jpg在(-∞,+∞)上关于α一致收敛.于是,由可微性定理,有

2)因为gα=-g),所以gα)是关于α奇函数,因此只需考虑α≥0的情形即可.此时,978-7-111-46233-0-Chapter07-141.jpg

注意到g(0)=0,于是当α≥0时,有

故(www.xing528.com)

7.13 1)计算狄利克雷积分978-7-111-46233-0-Chapter07-144.jpg

2)计算978-7-111-46233-0-Chapter07-145.jpg.

解 引入收敛因子e-αxα≥0),即令

因为978-7-111-46233-0-Chapter07-147.jpg,所以x=0,x=+∞不是奇点.记

fαxα=-e-αxsinx.

显然fxα),fαxα)都在[0,+∞)×[0,+∞)上连续,由A-法易知,积分978-7-111-46233-0-Chapter07-149.jpg收敛(实际上关于α∈[0,+∞)是一致收敛的).再由

fαxα=e-αxsinx≤e-αxα>0知,积分978-7-111-46233-0-Chapter07-150.jpg在(0,+∞)上内闭一致收敛.故由可微性定理,有

两边关于α积分可得

Iα=-arctanα+Cα>0.(1)

注意到

在式(1)中令α+∞可得:978-7-111-46233-0-Chapter07-153.jpg.

1)由于978-7-111-46233-0-Chapter07-155.jpg上连续,所以Iα)在[0,1]上连续,从而

2)在式(2)中,令α=1可得:

7.14978-7-111-46233-0-Chapter07-158.jpg,其中αβ满足不等式978-7-111-46233-0-Chapter07-159.jpg

(1)讨论含参变量积分Iαβ)在区域978-7-111-46233-0-Chapter07-160.jpg上的一致收敛性;

(2)求Iαβ)在区域D上的最小值(南大).

解 (1)记dαβ22.通过计算可知,dαβ)在D上的最大值为978-7-111-46233-0-Chapter07-161.jpg于是,当(αβ)∈D时,有

978-7-111-46233-0-Chapter07-163.jpg的收敛性,利用M判别法知Iαβ)在D上一致收敛.

(2)令978-7-111-46233-0-Chapter07-164.jpg,则978-7-111-46233-0-Chapter07-165.jpg978-7-111-46233-0-Chapter07-166.jpg

由此可见,欲求Iαβ)在D上的最小值,只需求dαβ)在D上的最小值即可.显然dαβ)在D内无驻点,因此在D内无最值.下面只需求圆周978-7-111-46233-0-Chapter07-168.jpg上的最小值即可.为此,令

解出驻点978-7-111-46233-0-Chapter07-171.jpgλ=1和驻点978-7-111-46233-0-Chapter07-172.jpgλ=-3.由此可知,dαβ)的最小值为978-7-111-46233-0-Chapter07-173.jpg.这样就可得到Iαβ)在D上的最小值为978-7-111-46233-0-Chapter07-174.jpg

7.15978-7-111-46233-0-Chapter07-175.jpg.

解 由978-7-111-46233-0-Chapter07-176.jpg978-7-111-46233-0-Chapter07-177.jpg的收敛性知,gα)在(-∞,+∞)上收敛.又由

978-7-111-46233-0-Chapter07-179.jpg的收敛性知,积分978-7-111-46233-0-Chapter07-180.jpg在(-∞,+∞)上一致收敛.由可微性定理,有

解此常微分方程可得

7.16a>0,b>0.试用含参变量积分的性质证明:

天津大学).

证法1978-7-111-46233-0-Chapter07-186.jpg,即视b为参变量.

978-7-111-46233-0-Chapter07-187.jpg的收敛性知,Ib)在(0,+∞)上关于b一致收敛.

显然978-7-111-46233-0-Chapter07-188.jpg都在(0,+∞)×(0,+∞)上连续,且∀b0>0,当bb0时,有

收敛,由M判别法知978-7-111-46233-0-Chapter07-191.jpg关于b在[b0+∞)上一致收敛.故Ib)在(0,+∞)上可在积分号下求导,且

解此微分方程可得:978-7-111-46233-0-Chapter07-193.jpgb>0.利用Ib)在[0,+∞)上连续可得

7.3 以上两个例题均是通过解方程而求得的,这是处理含参变量广义积分常用的手段,请同学们注意领会.

对例7.17若不用含参变量积分的性质,而直接利用适当的变量替换来作更简单.

证法2978-7-111-46233-0-Chapter07-196.jpg,则978-7-111-46233-0-Chapter07-197.jpg

另一方面,

所以

7.17 设函数ft)在(0,+∞)上连续,如果积分978-7-111-46233-0-Chapter07-202.jpgλ=aλ=b时收敛(a<b),则978-7-111-46233-0-Chapter07-203.jpg在[ab]上一致收敛(复旦).

证明 由于978-7-111-46233-0-Chapter07-204.jpg,所以只要证明978-7-111-46233-0-Chapter07-205.jpg978-7-111-46233-0-Chapter07-206.jpg都在[ab]上一致收敛即可.

978-7-111-46233-0-Chapter07-207.jpg收敛可知,∀ε>0,∃A0≥1,当A2>A1>A0时,有

于是,由第二积分中值定理,有

这表明978-7-111-46233-0-Chapter07-210.jpg在[ab]上一致收敛.

同理,由978-7-111-46233-0-Chapter07-211.jpg的收敛性可证978-7-111-46233-0-Chapter07-212.jpg在[ab]上一致收敛.

7.18fx)在[0,+∞)上可积,则

(东北工学院).

证明 先证明978-7-111-46233-0-Chapter07-214.jpg在[0,η]上一致收敛.

事实上,由978-7-111-46233-0-Chapter07-215.jpg收敛(即978-7-111-46233-0-Chapter07-216.jpg关于y一致收敛)及e-xy关于x单调(∀y∈[0,η]固定)且e-xy≤1.根据A-法,978-7-111-46233-0-Chapter07-217.jpg在[0,η]上一致收敛.于是,∀ε>0,∃A0>0,当AA0时,∀y∈[0,η]有

特别地,有

fx)在[0,A0]上可积可知,它在[0,A0]上有界,即∃M>0,∀x∈[0,A0],有fx)≤M.又因为978-7-111-46233-0-Chapter07-220.jpg,所以对上述ε>0,∃δ>0,当y∈(0,δ)时,∀x∈[0,A0],有

于是,∀ε>0,∃δ>0,当y∈(0,δ)时,有

下面看一个难度较大的题目.

7.19y=fx)在(-∞,+∞)上有定义,在任意有限区间[ab]上有界并可积,且978-7-111-46233-0-Chapter07-224.jpg.又设α为一实常数978-7-111-46233-0-Chapter07-225.jpg证明:积分978-7-111-46233-0-Chapter07-226.jpg收敛且函数978-7-111-46233-0-Chapter07-227.jpg

连续 (北大).

证明 (1)证明积分978-7-111-46233-0-Chapter07-228.jpg收敛.

t∈(-∞,+∞)(固定),将积分分开,

注意到978-7-111-46233-0-Chapter07-230.jpg,由施瓦茨不等式,有

由式(1)知,

I1收敛.

又因为

所以978-7-111-46233-0-Chapter07-235.jpg(绝对)收敛.

由已知条件,fx)在有限区间[t-1,t+1]上可积,所以978-7-111-46233-0-Chapter07-236.jpg在[t-1,t+1]上可积,即I2收敛.综上知积分978-7-111-46233-0-Chapter07-237.jpg收敛.

(2)证明φt)在(-∞,+∞)上连续.

欲证φt)在(-∞,+∞)上连续,只须证φ1t),φ2t)在(-∞,+∞)上连续.

显然,∀t0∈(-∞,+∞),只须证φ1t),φ2t)在点t0连续即可.

下证:φ1t)在点t0连续,为此先证978-7-111-46233-0-Chapter07-239.jpg.

t∈[t0t0+1]及fx)≤M0x∈[t0-1,t0+1],考察

注意到不等式:a>b>0,有(a-b2a2-b2.利用施瓦茨不等式,有

综上可知,978-7-111-46233-0-Chapter07-243.jpg.用完全类似的方法可证978-7-111-46233-0-Chapter07-244.jpg,故φ1t)在t0点连续.

同理可证φ2t)也在点t0连续.从而φt)在点t0连续.

7.4 本例的条件不满足含参变量广义积分连续性定理的条件,因此我们只好改用连续函数定义加以证明.

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

我要反馈