数学大二学年论文

目 录

摘 要 ............................................................................................................................... 1

关键词 ............................................................................................................................... 1

Abstract ............................................................................................................................ 1

Keywords ......................................................................................................................... 1

前 言 ............................................................................................................................... 1

1.定义 ............................................................................................................................... 1

2.含参量反常积分一致收敛性的判别法 .............................................................. 3

结束语 ............................................................................................................................... 7

参考文献........................................................................................................................... 7

1

含参量反常积分的一致收敛性的判别方法

学生姓名：某某某 学号：20093333333

数学与信息科学学院 数学与应用数学专业

指导老师：某某某 职称： 讲师

摘 要: 本文从含参量反常积分的定义及含参量反常积分的一致收敛的定义出发,叙述了含参量反常积分的一致收敛性的四种判别法,并且给出了一些例子.

关键词: 区域;收敛;一致收敛

The judgement methods of uniform convergence on improper

integrals with paramer

Abstract:This article summarizs four kinds of judgement methods of uniform convergence on

improper integrals with paramer according to the definitions of improper integrals with aramer

and uniform convergence on improper integrals,and give some examples.

Key Words: region; convergence; uniform convergence

前言

含参量反常积分是微积分学中一类重要的积分,研究含参量反常积分及其一致收敛性,可以为分析讨论函数的性质打下坚实的基础.本文归纳了判别含参量反常积分的一致收敛性的五种方法:一致收敛定义、魏尔斯特拉斯M判别法、狄利克雷判别法和阿贝尔判别法,并且给出了典型例子以说明每种判别法的特点.

1.定义

定义1 设函数yxf,定义在无界区域(,),Rxyaxbcy上，若对每一个固定的,xab,反常积分

,cfxydy (1)

都收敛,则它的值是x在,ab上取值的函数,当记这个函数为Ix时,则有 2 ,cIxfxydy，,xab, (2)

称式(1)为定义在,ab上的含参量x的无穷反常积分,或简称含参量反常积分.

2.含参量反常积分一致收敛性的判别法

定义2 若含参量反常积分(1)与函数Ix对任给的正数,总存在某一实数Nc,使得当MN时,对一切,xab,都有

,McfxydyIx,

即

,Mfxydy,

则称含参量反常积分(1)在,ab上一致收敛于Ix.或简单的说含参量积分(1)在,ab上一致收敛.

定义3 设函数yxf,在区域,,Rabcd上有定义，若对x的某些值, yd为函数yxf,的瑕点，则称

,dcfxydy (3)

为含参量x的无界函数反常积分，或简称含参量反常积分。若对每一个x,ab，积分(3)都收敛，其积分值x在,ab上一致收敛的定义是

定义4 对任给正数,总存在某正数dc,使得当0时,对一切,xab,都有

,ddfxydy,

则称含参量反常积分1在,ab上一致收敛.

定理1（一致收敛的柯西准则） 含参量反常积分(1)在,ab一致收敛的充要条件是：对任给正数,总存在某一实数Mc,使得当12,AAM时,对一切,xab,都有

21,AAfxydy. 3 例1 证明含参量反常积分

0sinxydyy (4)

在,)上一致收敛(其中0),但在(0,)内不一致收敛.

证 做变量代换uxy,得

sinsinAAxxyudyduyu, (5)

其中0A.由于0sinuduu收敛,故对任给正数,总存在正数M,使当AM时,就有

'sinAuduu.

取AM,则当MA时,对一切0x,由(5)式有

sinAxydyy,

所以(4)在0x上一致收敛.

现在证明(4)在(0,)内不一致收敛.由一致收敛定义,只要证明存在某一正数0,使对任何实数()Mc,总相应地存在某个AM及某个,xab,使得

0sinAxydyy.

由于非正常积分0sinuduu收敛,故对任何正数0与M,总存在某个(0)x,使得

00sinsinMxuududuuu.

即

0000sinsinsinMxuuudududuuuu. (6)

现令001sin2uduu,由(5)及不等式(6)的左端就有 4 000sinsin2MMxxyudyduyu.

所以(4)在(0,)内不一致收敛.

定理2 含参量反常积分1在,ab上一致收敛的充要条件是：对任一趋于的递增数列nA（其中1Ac）,函数项级数

111,nnAnAnnfxydyux

在,ab上一致收敛.

例2 证明：若(,)fxy在[,][,)abc上连续,又

(,)cfxydy

在[,)ab上收敛,但在xb处发散,则

(,)cfxydy

在[,)ab上不一致收敛.

证 用反证法,假如积分在[,)ab上一致收敛,则对于任给0,总存在Mc,

当',AAM时对一切[,)xab恒有

'(,)AAfxydy.

由假设(,)fxy在'[,][,]abAA上连续,所以'(,)AAfxydy是x的连续含数.在上面不等式中令xb,得到当'AAM时,

'(,)AAfbydy.

而是任给的,因此(,)cfxydy在xb处收敛,这与假设矛盾,所以积分(,)cfxydy在[,)ab上不一致收敛.

魏尔斯特拉斯M判别法 设有函数()gy,使得

,()fxygy,,axbcy. 5 若()cgydy收敛,则(,)cfxydy在,ab上一致收敛.

例3 证明含参量反常积分

20cos1xydxx (7)

在(,)上一致收敛.

证 由于对任何实数y都有

22cos111xyxx

及反常积分

2011dxx

收敛,故由魏尔斯特拉斯M判别法,含参量反常积分(7)在(,)上一致收敛.

狄利克雷判别法 设

(i) 对一切实数Nc,含参量正常积分

(,)Ncfxydy

对参量x在,ab上一致有界,即存在正数M,对一切Nc及一切,xab,都有(,)NcfxydyM;

(ii) 对每一个,xab,函数(,)gxy关于y是单调递减且当y时,对参量,(,)xgxy一致地收敛于0,

则含参量反常积分

(,)(,)cfxygxydy

在,ab上一致收敛.

阿贝尔判别法 设

(i)(,)cfxydy在,ab上一致收敛; 6 (ii) 对每一个,xab,函数(,)gxy关于y是单调的单调函数,对参量,(,)xgxy在,ab上一致有界.

则含参量反常积分

(,)(,)cfxygxydy

在,ab上一致收敛.

例4 证明含参量反常积分

0sinxyxedxx (8)

在0,d上一致收敛.

证 由于反常积分

0sinxyxedxx

收敛(当然对于参量y,它在0,d上一致收敛),函数(,)xygxye对每一个0,yd关于x单调,且对任何0yd,0x,都有