含参量反常积分的一致收敛性的判别方法(可编辑修改word版)

含参量反常积分一致收敛的判别法王 明 星（德州学院数学科学学院,山东德州 253023）摘 要： 含参量反常积分是研究和表达函数特别是非初等函数的有力工具.本文通过对含参量反常积分一致收敛性的分析和研究,总结出了判别含参量反常积分一致收敛的几种简单而有效的方法和定理（柯西准则,M 判别法,确界法,狄利克雷判别法等）,从而方便了含参量反常积分一致收敛性的学习和掌握.关键词： 含参量反常积分; 一致收敛; 判别法含参量反常积分包括含参量无穷限反常积分和含参量无界函数反常积分,两种反常积分一致收敛性的判别法是相似的,所以我们下面仅仅讨论含参量无穷限反常积分一致收敛性的判别法.1 含参量无穷限反常积分一致收敛的概念1.1 含参量无穷限反常积分设函数(,)f x y 定义在无界区域(){},,R x y a x b c y =|≤≤≤<+∞上,若对每一个固定的[],x a b ∈,反常积分(,)cf x y dy +∞⎰都收敛,则它的值是x 在[],a b 上取值的函数,当记这个函数为()I x 时,则有()(,)cI x f x y dy +∞=⎰,[],x a b ∈称(,)cf x y dy +∞⎰为定义在[],a b 上的含参量无穷限反常积分.1.2 含参量无穷限反常积分收敛若含参量无穷限反常积分(,)cf x y dy +∞⎰与函数()I x 对每一个固定的[],x a b ∈,任给的正数ε,总存在某一实数N c >,使得M N >时,都有(,)()Mcf x y dy I x ε-<⎰,即(,)Mf x y dy ε+∞<⎰,则称含参量无穷限反常积分(,)cf x y dy +∞⎰在[],a b 上收敛于()I x .1.3 含参量无穷限反常积分一致收敛若含参量无穷限反常积分(,)cf x y dy +∞⎰与函数()I x 对任给的正数ε,存在某一实数N c >,使得M N >时,对一切[],x a b ∈,都有 (,)()Mcf x y dy I x ε-<⎰即(,)Mf x y dy ε+∞<⎰,则称含参量无穷限反常积分(,)cf x y dy +∞⎰在[],a b 上一致收敛于()I x .1.4 含参量无穷限反常积分非一致收敛若含参量无穷限反常积分(,)cf x y dy +∞⎰与函数()I x ,总存在正数0ε,对任意给定的实数N c >,总存在M N >及[]0,x a b ∈,使得 000(,)()Mcf x y dy I x ε-≥⎰,即00(,)Mf x y dy ε+∞≥⎰,则称含参量无穷限反常积分(,)cf x y dy +∞⎰在[],a b 上非一致收敛于()I x .2 含参量无穷限反常积分一致收敛的判别法2.1 用定义法证明含参量反常积分一致收敛性和非一致收敛性用定义证一致收敛的关键在于寻找只与ε有关的共同的0A ,方法常常是采取适当放大的方法.例1 证明 无穷积分dx ye xy ⎰+∞-0在区间[),a +∞()0a >一致收敛,而在()0,+∞上非一致收敛.证明 Ay Ayt Axy e dt e xy t dx ye y -+∞-+∞-==+∞∈∀⎰⎰令),,0(,对0ε∀>,取yA ε1ln0=,则0A A >∀,有0A y xy Ay Aye dx e e ε+∞---=<<⎰,因此,dx ye Axy ⎰+∞-在（0,+∞）是收敛的.根据定义4,要想证明dx yeAxy⎰+∞-在),0(+∞∈y 是非一致收敛的,只需取0ε=e 21,,0>∀A 取),0(21,2''+∞∈=>=Ay A A A ,则01''''ε>==--+∞-⎰e e dx e y y A Axy . 但dx ye Axy ⎰+∞-在),[+∞a 一致收敛（其中0a >）,,取aA ε1ln0=,当0A A >时,对一切[)+∞∈,a y ,有ε=<=--+∞-⎰a A AyAxy e e dx ye 0. 所以,dx ye Axy ⎰+∞-在),[+∞∈a y （其中0>a ）上一致收敛.2.2 用柯西准则证明含参量无穷限反常积分一致收敛性和非一致收敛性定理1（柯西准则）反常积分dx y x f a⎰+∞),(在区间[]()d c y I ,∈一致收敛0ε⇔∀>,00A ∃>,10A A ∀>与20A A >,y I ∀∈,ε<⎰21),(A A dx y x f .例2 证明 若(),f x y 在[][),,a b c ⨯+∞上连续,又(),cf x y dy +∞⎰在[),a b 上收敛,但在x b =处发散,则(),cf x y dy +∞⎰在[),a b 上不一致收敛.证 用反证法.假若积分在[),a b 上一致收敛,则对于任给0ε>,总存在M c >,当1A ,2A M >时对一切[),x a b ∈恒有()21,A A f x y dy ε<⎰.由假设(),f x y 在[][]12,,a b A A ⨯上连续,所以()21,A A f x y dy ⎰是x 的连续函数.在上面不等式中令x b →,得到当21A A M >>时,()21,A A f b y dy ε≤⎰.而ε是任给的,因此(),cf x y dy +∞⎰在x b =处收敛,这与假设矛盾.所以积分(),cf x y dy +∞⎰在[),a b 上不一致收敛.2.3 用魏尔斯特拉斯判别法证明含参量无穷限反常积分的一致收敛性定理2（魏尔斯特拉斯判别法）设有函数()g y ,使得()(),f x y g y ≤,a x b ≤≤,c y ≤<+∞若()cg y dy +∞⎰收敛,则反常积分(,)cf x y dy +∞⎰在区间[],a b 一致收敛.例3 证明含参量反常积分()320cos a u tetdt+∞-+⎰,0a >在[)0,u ∈+∞上一致收敛.证 对于任何()[)[),0,0,u t ∈+∞⨯+∞,有()322cos a u tat et e -+-≤而20at e dt +∞-⎰在0a >时收敛,故由维尔斯特拉斯判别法知()320cos a u tetdt+∞-+⎰在[)0,u ∈+∞上一致收敛.使用维尔斯特拉斯判别法,关键在于将被积函数的绝对值(,)f x u 适当地放大,以找出函数()F x （优函数）,使()(,)(),f x u F x x a u I ≤∀≥∀∈且()⎰+∞adx x F收敛,则()⎰+∞adx u x f ,关于u 在I 上一致收敛.2.4 利用变上限积分的有界性判定含参量无穷限反常积分的一致收敛性维尔斯特拉斯判别法是判别某些反常积分一致收敛性的很简便的判别法,但这种方法有一定的局限性：凡能用维尔斯特拉斯判别法判别无穷积分是一致收敛,此无穷积分必然是绝对收敛；如果反常积分是一致收敛,同时又是条件收敛,那么就不能用维尔斯特拉斯判别法来判别.对于这种情况,有如下定理定理3 若函数),(y x f 在区间)0(),,(>∈+∞<≤a I y x a D 连续,且dt y t f y x F xa⎰=),(),(在D 有界,即,),(,0D y x C ∈∀>∃都有C dt y t f y x F xa≤=⎰),(),(,则当0>λ时,反常积分dx xy x f a⎰+∞λ),(在区间I 一致收敛.分析 )i dt y t f y x F xa⎰=),(),(在D 有界)ii 1xλ在0>λ时是单调递减的,明显的满足狄利克雷判别法的条件.证 )i 由已知dt y t f y x F xa⎰=),(),(在D 有界,即(),,C O x y D ∃>∀∈,都有C dt y t f y x F xa≤=⎰),(),(.)ii 对每一个y I ∈,1x λ关于x 是单调递减且当x →+∞时,对参变量y ,1x λ一致收敛于0,则由狄利克雷判别法可知含参量反常积分dx xy x f a⎰+∞λ),( 在区间I 一致收敛.例4 证明反常积分dx xxe xy sin 0⎰+∞- 在区间),0[+∞一致收敛.证 由题可知tdt e y x F xyt sin ),(1⎰-=,)0,1(),(+∞<≤+∞<≤∈∀y x D y x 从而有)(01)1(2),(2+∞→→++≤-y e yy y x F y, 而1sin yt e tdt -⎰是定积分,必然有界.即存在C ,(),x y D ∀∈有sin xytetdt C -≤⎰又10λ=>,则由定理3可知反常积分dx xxe xy sin 0⎰+∞- 在区间),0[+∞一致收敛.2.5 用确界法证明含参量无穷限反常积分的一致收敛性和非一致收敛性在知道反常积分dx y x f a⎰+∞),(关于y 在区间I 上的收敛值()y ϕ时,可应用下述定理定理4 含参量反常积分dx y x f a⎰+∞),(关于y 在区间I 上一致收敛于()y ϕ的充要条件是0)(),(sup lim =⎪⎭⎪⎬⎫⎪⎩⎪⎨⎧-⎰∈+∞→ξξφa Iy y dx y x f . (1)证 [必要性] 若dx y x f a⎰+∞),(关于y 在区间I 上一致收敛于()y ϕ,则对任给的正数ε,存在不依赖于x 的正整数N ,当n N >时,有()(),af x y dx y ϕε+∞-<⎰,y I ∀∈.由上确界的定义,亦有()()sup,y Iaf x y dx y ϕε+∞∈-≤⎰.这就证明了(1)式成立.[充分性] 由假设,对任给的0ε>,存在正整数N ,使得当n N >时,有()()sup,y Iaf x y dx y ϕε+∞∈-<⎰ （2）因为对一切y I ∈,总有()()()(),sup ,y Iaaf x y dx y f x y dx y ϕϕ+∞+∞∈-≤-⎰⎰.故由（2）式得()(),af x y dx y ϕε+∞-<⎰.于是dx y x f a⎰+∞),(关于y 在区间I 上一致收敛于()y ϕ.例 5 证明反常积分dx yx y⎰+∞+0221关于y 在)0(),,[>+∞c c 上的一致收敛性和),0(+∞内的非一致收敛性.解 显然dx yx y⎰+∞+0221关于y 在),0(+∞内收敛于2π （事实上220lim 1AA y dx x y →∞+⎰=()lim arctan AA xy →∞∣=()lim arctan arctan 0A Ay →∞-=2π）. ⎪⎭⎪⎬⎫⎪⎩⎪⎨⎧-+⎰≥+∞→ξξπ02221sup lim dx y x y c y =⎭⎬⎫⎩⎨⎧-≥+∞→ξπξy c y arctan 2sup lim=0)arctan 2(lim =-+∞→ξπξc ,而⎪⎭⎪⎬⎫⎪⎩⎪⎨⎧-+⎰>+∞→ξξπ022021sup lim dx y x y y =⎭⎬⎫⎩⎨⎧->+∞→ξπξy y arctan 2sup lim 0=22limππξ=+∞→.由定理4,得dx yx y⎰+∞+0221 关于y 在),[+∞c ,()0c >上一致收敛于2π,在),0(+∞内非一致收敛. 定理 5 含参量反常积分dx y x f a⎰+∞),(关于y 在区间I 上一致收敛于)(y φ的充要条件是：对任意{}[):,+∞∈a n ξ{}),2,1(:,lim =∈⊂+∞=∞→n I y I y n n n n ξ,都有 0)(),(lim=-⎰+∞→nan nn y dx yx f ξφ.例6 试证dx y x y⎰+∞+12)(关于y 在),0(+∞内非一致收敛. 证明 显然dx y x y⎰+∞+12)( 关于y 在),0(+∞内收敛于yy+1.取),,2,1(, ===n n y n n n ξ那么就有),,2,1)(,0(,lim =+∞∈+∞=+∞→n y n n n ξ但是2121lim lim 1)(lim 12==+=+-+∞→∞→∞→⎰n n n n n n n n n n y y y y dx y x y nξξ由定理5,()dx y x y⎰+∞+12关于y 在()+∞,0内非一致收敛.2.6 用狄利克雷判别法证明含参量无穷限反常积分的一致收敛性定理6 （狄利克雷判别法）设 )i 对一切实数0>N ,含参变量反常积分()⎰Ncdx y x f ,对参变量y 在[]b a ,上一致有界,即存在正数M ,对一切c N >及一切[]b a y ,∈,都有()M dx y x f Nc≤⎰,；)ii 对每一个[]b a y ,∈,函数()y x g ,关于x 是单调递减且当+∞→x 时,对参变量y ,()y x g ,一致地收敛于0,则含参变量反常积分()()dx y x g y x f c,,⎰+∞在[]b a ,上一致收敛.例7 对于()0,1a ∀∈,讨论含参量反常积分sin 10a x xdx x +∞+⎰的一致收敛性.解 )i 对于0A ∀>,都有sin 2Axdx ≤⎰.)ii 因为()()'12101010a x a x x x x x -=+-⎡⎤⎣⎦++⎛⎫ ⎪⎝⎭,当101ax a>-时,'010x x <+⎛⎫ ⎪⎝⎭,即10ax x +在10,1a a ⎛⎫+∞ ⎪-⎝⎭上单调递减,并且lim 010ax x x →+∞=+.因此由狄利克雷判别法可知,含参量反常积分101sin 10a a ax xdx x +∞-+⎰对()0,1a ∀∈是一致收敛的.而在100,1a a ⎡⎤⎢⎥-⎣⎦上是定积分,必收敛,则对()0,1a ∀∈是一致收敛的. 所以含参量反常积分sin 10a x xdx x +∞+⎰对()0,1a ∀∈是一致收敛的.2.7 用阿贝尔判别法证明含参量无穷限反常积分的一致收敛性定理7 （阿贝尔判别法）设)i ()dx y x f c⎰+∞,在[]b a ,上一致收敛;)ii 对每一个[]b a y ,∈,函数()y x g ,为x 的单调函数,且对参变量y ,()y x g ,在[]b a ,上一致有界,则含参变量反常积分()()⎰+∞cdx y x g y x f ,,在[]b a ,上一致收敛.例8 证明含参变量反常积分dx xxe xy sin 0⎰+∞- 在[]d ,0上一致收敛.证明 由于反常积分dx x x⎰+∞sin 收敛,（当然,对于参变量y ,它在[]d ,0一致收敛）,函数()xy e y x g -=,对每一个[]d x ,0∈单调,且对任何d y ≤≤0,0≥x ,都有()1,≤=-xy e y x g ,故由阿贝尔判别法即得含参变量反常积分dx xxe xy⎰+∞-0sin在[]d ,0上一致收敛.推论 1 设函数(,)f x y 定义在无界区域[)[],,a c d +∞⨯上,且对y 的偏导数(,)y f x y 存在.若下列条件满足1）对每一个[],y c d ∈,反常积分(),af x y dx +∞⎰收敛；2）存在常数0M >,使得对任意0b >及所有的[],y c d ∈,恒有 (),by af x y dx M ≤⎰,即(),by af x y dx ⎰关于b 及[],y c d ∈一致有界.则含参量反常积分(),af x y dx +∞⎰在[],c d 上一致收敛.证明 由于[],c d 为有限闭区间.根据有限覆盖定理,对任给的0ε>,一定存在有限个点011n n c y y y y d -=<<⋅⋅⋅<<=,使得[][]11,,ni i i c d y y -== 且1i i y y ε--<.由于反常积分(),af x y dx +∞⎰收敛,于是对任给的()1,2,,i y i n =⋅⋅⋅,都存在()0,i A y ε,使得对任给的()10,,i A A A y ε>有()1,,1,2,,A i Af x y dx i n ε<=⋅⋅⋅⎰（3）另一方面,对任意的[],y c d ∈,一定存在一点i y ,使得i y y ε-<.令(){}00max ,,1,2,,i A A y i n ε==⋅⋅⋅,则0A 只与ε有关.同时对任意的10,A A A >,式（3）必然成立.于是根据微分学中值定理及式（3）有()1,A A f x y dx⎰()()()()1,,,A iiAf x y f x y f x y dx =-+⎰()()()()11,,,A A i i A Af x y f x y dx f x y dx ≤-+⎰⎰()()()11,,A A y i i AAf x y y dx f x y dx ξ=-+⎰⎰()()()1,,21AA y y i aaf x dx f x dx y y M ξξεε⎛⎫≤+-+≤+⎪⎝⎭⎰⎰即含参量反常积分(),af x y dx +∞⎰在[],c d 上一致收敛.如果将推论1中的条件1）变弱,则条件2）会变强.得如下推论推论 2 设函数(,)f x y 定义在无界区域[)[],,a c d +∞⨯上,且关于[],y c d ∈可微.若满足如下条件1）存在一点[]0,y c d ∈,使得反常积分()0,af x y dx +∞⎰收敛；2）反常积分(),y af x y dx +∞⎰于[],y c d ∈一致收敛. 则含参量反常积分(),af x y dx +∞⎰在[],c d 上一致收敛.例9 判断含参量反常积分22cos 2xe xydx α+∞-⎰在(),y ∈-∞+∞范围上的一致收敛性,其中0α>.解 由于对固定的y R ∈,当x →+∞时,222222cos 2cos 20x x x x exy xy eαα-=→,于是对固定的y R ∈,广义积分22cos 2xe xydx α+∞-⎰收敛.另一方面,考虑积分()22,2sin 2xy f x y dx xe xydx α+∞+∞-=-⎰⎰,这里()22,cos 2xf x y e xy α-=.由于当x →+∞时,()222232,sup sin 20x x y x x xexy eαα-∈-∞+∞⋅=→.从而有(),y af x y dx +∞⎰在(),y ∈-∞+∞上一致收敛,由推论2知,22cos 2xe xydx α+∞-⎰在(),y ∈-∞+∞范围上的一致收敛.总之,判断含参量无穷限反常积分一致收敛性的判别法多种多样,关键在于理解它们各自应用的范围及其相互联系,以达到灵活应用.参考文献:[1]贺自树.一致收敛教学的探讨[J].重庆师范学院学报（自然科学版）,1998(15)：66-78.[2]刘玉琏.数学分析讲义[M].北京:高等教育出版社,1992.[3]华东师范大学数学系编. 数学分析第三版下册[M].北京:高等教育出版社,2001. [4]吕通庆.一致连续与一致收敛[M].北京:人民教育出版社,1982.[5]刘玉琏.数学分析讲义练习题选解[M]. 北京:高等教育出社,1994(414). [6]钱吉林.数学分析题解精粹[M].北京;崇文书局,2003(643).[7]徐晶.一种反常积分与正项级数收敛的判别法[J].邯郸师范学院学报,2005,8(3)：25-34.[8]温朝晖,李天胜,朱存斌.无穷积分敛散性的一个新的判别法[I].大学数学,2005,21（2).[9]张永锋.含参量反常积分的局部一致收敛与连续性[J].咸阳师范学院学报,2006,21（6）：59-70.[10]吴良森,毛羽辉,韩士安.数学分析学习指导书下册[M].北京：高等教育出版社,2009,9（2）.[11]孙清华等.数学分析内容、方法与技巧下[M].武汉：华中科技大学出版社,2003,5（1）：74-97.Criterions about the Convergence of Parameter ImproperIntegrationWang Mingxing(College of Mathematical Sciences in Dezhou , Shandong Dezhou 253023) Abstract: The convergence of parameter improper integral is to study and expression in particular non-primary function of a powerful tool.Based on the uniform convergence of parameter improper integral analysis and research, summarized several simple and effective method and the theorem of the discriminant of uniform convergence of parameter improper integral(Cauchy criterion, M criterion, Bound method, Dirichlet criterion and so on), So as to convenient to learn and master for uniform convergence of parameter improper integral.key words: Improper Integration;Uniform Convergence;criterion。

含参量反常积分一致收敛的判别法王 明 星（德州学院数学科学学院,山东德州 253023）摘 要： 含参量反常积分是研究和表达函数特别是非初等函数的有力工具.本文通过对含参量反常积分一致收敛性的分析和研究,总结出了判别含参量反常积分一致收敛的几种简单而有效的方法和定理（柯西准则,M 判别法,确界法,狄利克雷判别法等）,从而方便了含参量反常积分一致收敛性的学习和掌握.关键词： 含参量反常积分; 一致收敛; 判别法含参量反常积分包括含参量无穷限反常积分和含参量无界函数反常积分,两种反常积分一致收敛性的判别法是相似的,所以我们下面仅仅讨论含参量无穷限反常积分一致收敛性的判别法.1 含参量无穷限反常积分一致收敛的概念1.1 含参量无穷限反常积分设函数(,)f x y 定义在无界区域(){},,R x y a x b c y =|≤≤≤<+∞上,若对每一个固定的[],x a b ∈,反常积分(,)cf x y dy +∞⎰都收敛,则它的值是x 在[],a b 上取值的函数,当记这个函数为()I x 时,则有()(,)cI x f x y dy +∞=⎰,[],x a b ∈称(,)cf x y dy +∞⎰为定义在[],a b 上的含参量无穷限反常积分.1.2 含参量无穷限反常积分收敛若含参量无穷限反常积分(,)cf x y dy +∞⎰与函数()I x 对每一个固定的[],x a b ∈,任给的正数ε,总存在某一实数N c >,使得M N >时,都有(,)()Mcf x y dy I x ε-<⎰,即(,)Mf x y dy ε+∞<⎰,则称含参量无穷限反常积分(,)cf x y dy +∞⎰在[],a b 上收敛于()I x .1.3 含参量无穷限反常积分一致收敛若含参量无穷限反常积分(,)cf x y dy +∞⎰与函数()I x 对任给的正数ε,存在某一实数N c >,使得M N >时,对一切[],x a b ∈,都有 (,)()Mcf x y dy I x ε-<⎰即(,)Mf x y dy ε+∞<⎰,则称含参量无穷限反常积分(,)cf x y dy +∞⎰在[],a b 上一致收敛于()I x .1.4 含参量无穷限反常积分非一致收敛若含参量无穷限反常积分(,)cf x y dy +∞⎰与函数()I x ,总存在正数0ε,对任意给定的实数N c >,总存在M N >及[]0,x a b ∈,使得 000(,)()Mcf x y dy I x ε-≥⎰,即00(,)Mf x y dy ε+∞≥⎰,则称含参量无穷限反常积分(,)cf x y dy +∞⎰在[],a b 上非一致收敛于()I x .2 含参量无穷限反常积分一致收敛的判别法2.1 用定义法证明含参量反常积分一致收敛性和非一致收敛性用定义证一致收敛的关键在于寻找只与ε有关的共同的0A ,方法常常是采取适当放大的方法.例1 证明 无穷积分dx ye xy ⎰+∞-0在区间[),a +∞()0a >一致收敛,而在()0,+∞上非一致收敛.证明 Ay Ayt Axy e dt e xy t dx ye y -+∞-+∞-==+∞∈∀⎰⎰令),,0(,对0ε∀>,取yA ε1ln0=,则0A A >∀,有0A y xy Ay Aye dx e e ε+∞---=<<⎰,因此,dx ye Axy ⎰+∞-在（0,+∞）是收敛的.根据定义4,要想证明dx yeAxy⎰+∞-在),0(+∞∈y 是非一致收敛的,只需取0ε=e 21,,0>∀A 取),0(21,2''+∞∈=>=Ay A A A ,则01''''ε>==--+∞-⎰e e dx e y y A Axy . 但dx ye Axy ⎰+∞-在),[+∞a 一致收敛（其中0a >）,,取aA ε1ln0=,当0A A >时,对一切[)+∞∈,a y ,有ε=<=--+∞-⎰a A AyAxy e e dx ye 0. 所以,dx ye Axy ⎰+∞-在),[+∞∈a y （其中0>a ）上一致收敛.2.2 用柯西准则证明含参量无穷限反常积分一致收敛性和非一致收敛性定理1（柯西准则）反常积分dx y x f a⎰+∞),(在区间[]()d c y I ,∈一致收敛0ε⇔∀>,00A ∃>,10A A ∀>与20A A >,y I ∀∈,ε<⎰21),(A A dx y x f .例2 证明 若(),f x y 在[][),,a b c ⨯+∞上连续,又(),cf x y dy +∞⎰在[),a b 上收敛,但在x b =处发散,则(),cf x y dy +∞⎰在[),a b 上不一致收敛.证 用反证法.假若积分在[),a b 上一致收敛,则对于任给0ε>,总存在M c >,当1A ,2A M >时对一切[),x a b ∈恒有()21,A A f x y dy ε<⎰.由假设(),f x y 在[][]12,,a b A A ⨯上连续,所以()21,A A f x y dy ⎰是x 的连续函数.在上面不等式中令x b →,得到当21A A M >>时,()21,A A f b y dy ε≤⎰.而ε是任给的,因此(),cf x y dy +∞⎰在x b =处收敛,这与假设矛盾.所以积分(),cf x y dy +∞⎰在[),a b 上不一致收敛.2.3 用魏尔斯特拉斯判别法证明含参量无穷限反常积分的一致收敛性定理2（魏尔斯特拉斯判别法）设有函数()g y ,使得()(),f x y g y ≤,a x b ≤≤,c y ≤<+∞若()cg y dy +∞⎰收敛,则反常积分(,)cf x y dy +∞⎰在区间[],a b 一致收敛.例3 证明含参量反常积分()320cos a u tetdt +∞-+⎰,0a >在[)0,u ∈+∞上一致收敛.证 对于任何()[)[),0,0,u t ∈+∞⨯+∞,有()322cos a u tat et e -+-≤而20at e dt +∞-⎰在0a >时收敛,故由维尔斯特拉斯判别法知()320cos a u tetdt +∞-+⎰在[)0,u ∈+∞上一致收敛.使用维尔斯特拉斯判别法,关键在于将被积函数的绝对值(,)f x u 适当地放大,以找出函数()F x （优函数）,使()(,)(),f x u F x x a u I ≤∀≥∀∈且()⎰+∞adx x F收敛,则()⎰+∞adx u x f ,关于u 在I 上一致收敛.2.4 利用变上限积分的有界性判定含参量无穷限反常积分的一致收敛性维尔斯特拉斯判别法是判别某些反常积分一致收敛性的很简便的判别法,但这种方法有一定的局限性：凡能用维尔斯特拉斯判别法判别无穷积分是一致收敛,此无穷积分必然是绝对收敛；如果反常积分是一致收敛,同时又是条件收敛,那么就不能用维尔斯特拉斯判别法来判别.对于这种情况,有如下定理定理3 若函数),(y x f 在区间)0(),,(>∈+∞<≤a I y x a D 连续,且dt y t f y x F xa⎰=),(),(在D 有界,即,),(,0D y x C ∈∀>∃都有C dt y t f y x F xa≤=⎰),(),(,则当0>λ时,反常积分dx xy x f a⎰+∞λ),(在区间I 一致收敛.分析 )i dt y t f y x F xa⎰=),(),(在D 有界)ii 1xλ在0>λ时是单调递减的,明显的满足狄利克雷判别法的条件.证 )i 由已知dt y t f y x F xa⎰=),(),(在D 有界,即(),,C O x y D ∃>∀∈,都有C dt y t f y x F xa≤=⎰),(),(.)ii 对每一个y I ∈,1x λ关于x 是单调递减且当x →+∞时,对参变量y,1x λ一致收敛于0,则由狄利克雷判别法可知含参量反常积分dx x y x f a⎰+∞λ),( 在区间I 一致收敛.例4 证明反常积分dx xxe xy sin 0⎰+∞- 在区间),0[+∞一致收敛.证 由题可知tdt e y x F xyt sin ),(1⎰-=,)0,1(),(+∞<≤+∞<≤∈∀y x D y x 从而有)(01)1(2),(2+∞→→++≤-y e yy y x F y, 而1sin yt e tdt -⎰是定积分,必然有界.即存在C ,(),x y D ∀∈有sin xyt e tdt C -≤⎰ 又10λ=>,则由定理3可知反常积分dx xxe xy sin 0⎰+∞- 在区间),0[+∞一致收敛.2.5 用确界法证明含参量无穷限反常积分的一致收敛性和非一致收敛性在知道反常积分dx y x f a⎰+∞),(关于y 在区间I 上的收敛值()y ϕ时,可应用下述定理定理4 含参量反常积分dx y x f a⎰+∞),(关于y 在区间I 上一致收敛于()y ϕ的充要条件是0)(),(sup lim =⎪⎭⎪⎬⎫⎪⎩⎪⎨⎧-⎰∈+∞→ξξφa Iy y dx y x f . (1)证 [必要性] 若dx y x f a⎰+∞),(关于y 在区间I 上一致收敛于()y ϕ,则对任给的正数ε,存在不依赖于x 的正整数N ,当n N >时,有()(),af x y dx y ϕε+∞-<⎰,y I ∀∈.由上确界的定义,亦有()()sup,y Iaf x y dx y ϕε+∞∈-≤⎰.这就证明了(1)式成立.[充分性] 由假设,对任给的0ε>,存在正整数N ,使得当n N >时,有()()sup,y Iaf x y dx y ϕε+∞∈-<⎰ （2）因为对一切y I ∈,总有()()()(),sup ,y Iaaf x y dx y f x y dx y ϕϕ+∞+∞∈-≤-⎰⎰.故由（2）式得()(),af x y dx y ϕε+∞-<⎰.于是dx y x f a⎰+∞),(关于y 在区间I 上一致收敛于()y ϕ.例 5 证明反常积分dx yx y⎰+∞+0221关于y 在)0(),,[>+∞c c 上的一致收敛性和),0(+∞内的非一致收敛性.解 显然dx yx y⎰+∞+0221关于y 在),0(+∞内收敛于2π （事实上22lim 1AA y dx x y →∞+⎰=()0lim arctan AA xy →∞∣=()lim arctan arctan 0A Ay →∞-=2π）. ⎪⎭⎪⎬⎫⎪⎩⎪⎨⎧-+⎰≥+∞→ξξπ02221sup lim dx y x y c y =⎭⎬⎫⎩⎨⎧-≥+∞→ξπξy c y arctan 2sup lim=0)arctan 2(lim =-+∞→ξπξc ,而⎪⎭⎪⎬⎫⎪⎩⎪⎨⎧-+⎰>+∞→ξξπ022021sup lim dx y x y y =⎭⎬⎫⎩⎨⎧->+∞→ξπξy y arctan 2sup lim 0=22limππξ=+∞→.由定理4,得dx yx y⎰+∞+0221 关于y 在),[+∞c ,()0c >上一致收敛于2π,在),0(+∞内非一致收敛. 定理 5 含参量反常积分dx y x f a⎰+∞),(关于y 在区间I 上一致收敛于)(y φ的充要条件是：对任意{}[):,+∞∈a n ξ{}),2,1(:,lim =∈⊂+∞=∞→n I y I y n n n n ξ,都有 0)(),(lim=-⎰+∞→nan nn y dx yx f ξφ.例6 试证dx y x y⎰+∞+12)(关于y 在),0(+∞内非一致收敛. 证明 显然dx y x y⎰+∞+12)( 关于y 在),0(+∞内收敛于yy+1.取),,2,1(, ===n n y n n n ξ那么就有),,2,1)(,0(,lim =+∞∈+∞=+∞→n y n n n ξ但是2121lim lim 1)(lim12==+=+-+∞→∞→∞→⎰n n n n n n n n n n y y y y dx y x y nξξ由定理5,()dx y x y⎰+∞+12关于y 在()+∞,0内非一致收敛.2.6 用狄利克雷判别法证明含参量无穷限反常积分的一致收敛性定理6 （狄利克雷判别法）设 )i 对一切实数0>N ,含参变量反常积分()⎰Ncdx y x f ,对参变量y 在[]b a ,上一致有界,即存在正数M ,对一切c N >及一切[]b a y ,∈,都有()M dx y x f Nc≤⎰,；)ii 对每一个[]b a y ,∈,函数()y x g ,关于x 是单调递减且当+∞→x 时,对参变量y ,()y x g ,一致地收敛于0,则含参变量反常积分()()dx y x g y x f c,,⎰+∞在[]b a ,上一致收敛.例7 对于()0,1a ∀∈,讨论含参量反常积分sin 10a x xdx x +∞+⎰的一致收敛性.解 )i 对于0A ∀>,都有sin 2Axdx ≤⎰.)ii 因为()()'12101010a x a x x x x x -=+-⎡⎤⎣⎦++⎛⎫ ⎪⎝⎭,当101ax a>-时,'010x x <+⎛⎫ ⎪⎝⎭,即10ax x +在10,1a a ⎛⎫+∞ ⎪-⎝⎭上单调递减,并且lim 010ax x x →+∞=+.因此由狄利克雷判别法可知,含参量反常积分101sin 10a a ax xdx x +∞-+⎰对()0,1a ∀∈是一致收敛的.而在100,1a a ⎡⎤⎢⎥-⎣⎦上是定积分,必收敛,则对()0,1a ∀∈是一致收敛的. 所以含参量反常积分sin 10a x xdx x +∞+⎰对()0,1a ∀∈是一致收敛的.2.7 用阿贝尔判别法证明含参量无穷限反常积分的一致收敛性定理7 （阿贝尔判别法）设)i ()dx y x f c⎰+∞,在[]b a ,上一致收敛;)ii 对每一个[]b a y ,∈,函数()y x g ,为x 的单调函数,且对参变量y ,()y x g ,在[]b a ,上一致有界,则含参变量反常积分()()⎰+∞cdx y x g y x f ,,在[]b a ,上一致收敛.例8 证明含参变量反常积分dx xxe xy sin 0⎰+∞- 在[]d ,0上一致收敛.证明 由于反常积分dx x x⎰+∞sin 收敛,（当然,对于参变量y ,它在[]d ,0一致收敛）,函数()xy e y x g -=,对每一个[]d x ,0∈单调,且对任何d y ≤≤0,0≥x ,都有()1,≤=-xy e y x g ,故由阿贝尔判别法即得含参变量反常积分dx xxe xy⎰+∞-0sin在[]d ,0上一致收敛.推论 1 设函数(,)f x y 定义在无界区域[)[],,a c d +∞⨯上,且对y 的偏导数(,)y f x y 存在.若下列条件满足1）对每一个[],y c d ∈,反常积分(),af x y dx +∞⎰收敛；2）存在常数0M >,使得对任意0b >及所有的[],y c d ∈,恒有 (),by af x y dx M ≤⎰,即(),by af x y dx ⎰关于b 及[],y c d ∈一致有界.则含参量反常积分(),af x y dx +∞⎰在[],c d 上一致收敛.证明 由于[],c d 为有限闭区间.根据有限覆盖定理,对任给的0ε>,一定存在有限个点011n n c y y y y d -=<<⋅⋅⋅<<=,使得[][]11,,n i i i c d y y -==且1i i y y ε--<.由于反常积分(),af x y dx +∞⎰收敛,于是对任给的()1,2,,i y i n =⋅⋅⋅,都存在()0,i A y ε,使得对任给的()10,,i A A A y ε>有()1,,1,2,,A i Af x y dx i n ε<=⋅⋅⋅⎰（3）另一方面,对任意的[],y c d ∈,一定存在一点i y ,使得i y y ε-<.令(){}00max ,,1,2,,i A A y i n ε==⋅⋅⋅,则0A 只与ε有关.同时对任意的10,A A A >,式（3）必然成立.于是根据微分学中值定理及式（3）有()1,A Af x y dx⎰()()()()1,,,A iiAf x y f x y f x y dx =-+⎰()()()()11,,,A A i i A Af x y f x y dx f x y dx ≤-+⎰⎰()()()11,,A A y i i AAf x y y dx f x y dx ξ=-+⎰⎰()()()1,,21AA y y i aaf x dx f x dx y y M ξξεε⎛⎫≤+-+≤+⎪⎝⎭⎰⎰即含参量反常积分(),af x y dx +∞⎰在[],c d 上一致收敛.如果将推论1中的条件1）变弱,则条件2）会变强.得如下推论推论 2 设函数(,)f x y 定义在无界区域[)[],,a c d +∞⨯上,且关于[],y c d ∈可微.若满足如下条件1）存在一点[]0,y c d ∈,使得反常积分()0,af x y dx +∞⎰收敛；2）反常积分(),y af x y dx +∞⎰于[],y c d ∈一致收敛. 则含参量反常积分(),af x y dx +∞⎰在[],c d 上一致收敛.例9 判断含参量反常积分22cos2xe xydx α+∞-⎰在(),y ∈-∞+∞范围上的一致收敛性,其中0α>.解 由于对固定的y R ∈,当x →+∞时,222222cos 2cos 20x x x x exy xy eαα-=→,于是对固定的y R ∈,广义积分22cos2xe xydx α+∞-⎰收敛.另一方面,考虑积分()22,2sin 2xy f x y dx xe xydx α+∞+∞-=-⎰⎰,这里()22,cos 2xf x y e xy α-=.由于当x →+∞时,()222232,sup sin 20x x y x x xexy eαα-∈-∞+∞⋅=→.从而有(),y af x y dx +∞⎰在(),y ∈-∞+∞上一致收敛,由推论2知,22cos2xe xydx α+∞-⎰在(),y ∈-∞+∞范围上的一致收敛.总之,判断含参量无穷限反常积分一致收敛性的判别法多种多样,关键在于理解它们各自应用的范围及其相互联系,以达到灵活应用.参考文献:[1]贺自树.一致收敛教学的探讨[J].重庆师范学院学报（自然科学版）,1998(15)：66-78.[2]刘玉琏.数学分析讲义[M].北京:高等教育出版社,1992.[3]华东师范大学数学系编. 数学分析第三版下册[M].北京:高等教育出版社,2001. [4]吕通庆.一致连续与一致收敛[M].北京:人民教育出版社,1982.[5]刘玉琏.数学分析讲义练习题选解[M]. 北京:高等教育出社,1994(414). [6]钱吉林.数学分析题解精粹[M].北京;崇文书局,2003(643).[7]徐晶.一种反常积分与正项级数收敛的判别法[J].邯郸师范学院学报,2005,8(3)：25-34.[8]温朝晖,李天胜,朱存斌.无穷积分敛散性的一个新的判别法[I].大学数学,2005,21（2).[9]张永锋.含参量反常积分的局部一致收敛与连续性[J].咸阳师范学院学报,2006,21（6）：59-70.[10]吴良森,毛羽辉,韩士安.数学分析学习指导书下册[M].北京：高等教育出版社,2009,9（2）.[11]孙清华等.数学分析内容、方法与技巧下[M].武汉：华中科技大学出版社,2003,5（1）：74-97.Criterions about the Convergence of Parameter ImproperIntegrationWang Mingxing(College of Mathematical Sciences in Dezhou , Shandong Dezhou 253023) Abstract: The convergence of parameter improper integral is to study and expression in particular non-primary function of a powerful tool.Based on the uniform convergence of parameter improper integral analysis and research, summarized several simple and effective method and the theorem of the discriminant of uniform convergence of parameter improper integral(Cauchy criterion, M criterion, Bound method, Dirichlet criterion and so on), So as to convenient to learn and master for uniform convergence of parameter improper integral.key words: Improper Integration;Uniform Convergence;criterion。

含参量反常积分的一致收敛性的判别方法摘 要: 本文从含参量反常积分的定义及含参量反常积分的一致收敛的定义出发,叙述了含参量反常积分的一致收敛性的四种判别法,并且给出了一些例子.关键词: 区域;收敛;一致收敛前言含参量反常积分是微积分学中一类重要的积分,研究含参量反常积分及其一致收敛性,可以为分析讨论函数的性质打下坚实的基础.本文归纳了判别含参量反常积分的一致收敛性的五种方法:一致收敛定义、魏尔斯特拉斯M 判别法、狄利克雷判别法和阿贝尔判别法,并且给出了典型例子以说明每种判别法的特点.1.定义定义1 设函数()y x f ,定义在无界区域{}(,),R x y a x b c y =≤≤≤<+∞上，若对每一个固定的[],x a b ∈,反常积分(),c f x y dy +∞⎰ (1)都收敛,则它的值是x 在[],a b 上取值的函数,当记这个函数为()I x 时,则有()(),c I x f x y dy +∞=⎰，[],x a b ∈, (2)称式(1)为定义在[],a b 上的含参量x 的无穷反常积分,或简称含参量反常积分.2.含参量反常积分一致收敛性的判别法定义2 若含参量反常积分(1)与函数()I x 对任给的正数ε,总存在某一实数N c >,使得当M N >时,对一切[],x a b ∈,都有()(),M c f x y dy I x ε-<⎰,即 (),M f x y dy ε+∞<⎰,则称含参量反常积分(1)在[],a b 上一致收敛于()I x .或简单的说含参量积分(1)在[],a b 上一致收敛.定义3 设函数()y x f ,在区域[][),,R a b c d =⨯上有定义，若对x 的某些值, y d =为函数()y x f ,的瑕点，则称(),dc f x y dy ⎰ (3) 为含参量x 的无界函数反常积分，或简称含参量反常积分。

若对每一个x ∈[],a b ，积分(3)都收敛，其积分值x 在[],a b 上一致收敛的定义是定义4 对任给正数ε,总存在某正数d c δ<-,使得当0ηδ<<时,对一切[],x a b ∈,都有(),dd f x y dy ηε-<⎰,则称含参量反常积分()1在[],a b 上一致收敛.定理1（一致收敛的柯西准则） 含参量反常积分(1)在[],a b 一致收敛的充要条件是：对任给正数ε,总存在某一实数M c >,使得当12,A A M >时,对一切[],x a b ∈,都有()21,A A f x y dy ε<⎰.例1 证明含参量反常积分 0sin xy dy y+∞⎰ (4) 在[,)δ+∞上一致收敛(其中0δ>),但在(0,)+∞内不一致收敛.证 做变量代换u xy =,得sin sin A Ax xy u dy du y u +∞+∞=⎰⎰, (5) 其中0A >.由于0sin u du u+∞⎰收敛,故对任给正数ε,总存在正数M ,使当A M >时,就有'sin A u du uε+∞<⎰. 取A M δ>,则当M A δ>时,对一切0x δ≥>,由(5)式有sin A xy dy yε+∞<⎰, 所以(4)在0x δ≥>上一致收敛. 现在证明(4)在(0,)+∞内不一致收敛.由一致收敛定义,只要证明存在某一正数0ε,使对任何实数()M c >,总相应地存在某个A M >及某个[],x a b ∈,使得0sin A xy dy y ε+∞≥⎰. 由于非正常积分0sin u du u+∞⎰收敛,故对任何正数0ε与M ,总存在某个(0)x >,使得 00sin sin Mx u u du du u u ε+∞+∞-<⎰⎰. 即0000sin sin sin Mx u u u du du du u u u εε+∞+∞+∞-<<+⎰⎰⎰. (6) 现令001sin 2u du uε+∞=⎰,由(5)及不等式(6)的左端就有 000sin sin 2M Mx xy u dy du y uεεε+∞+∞=>-=⎰⎰. 所以(4)在(0,)+∞内不一致收敛.定理2 含参量反常积分()1在[],a b 上一致收敛的充要条件是：对任一趋于+∞的递增数列{}n A （其中1A c =）,函数项级数在[],a b 上一致收敛.例2 证明：若(,)f x y 在[,][,)a b c ⨯+∞上连续,又在[,)a b 上收敛,但在x b =处发散,则在[,)a b 上不一致收敛.证 用反证法,假如积分在[,)a b 上一致收敛,则对于任给0ε>,总存在M c >,当',A A M >时对一切[,)x a b ∈恒有'(,)A A f x y dy ε<⎰. 由假设(,)f x y 在'[,][,]a b A A ⨯上连续,所以'(,)A Af x y dy ⎰是x 的连续含数.在上面不等式中令x b →,得到当'A A M >>时,'(,)A A f b y dy ε≤⎰. 而ε是任给的,因此(,)c f x y dy +∞⎰在x b =处收敛,这与假设矛盾,所以积分(,)c f x y dy +∞⎰在[,)a b 上不一致收敛.魏尔斯特拉斯M 判别法 设有函数()g y ,使得(),()f x y g y ≤,,a x b c y ≤≤≤<+∞.若()c g y dy +∞⎰收敛,则(,)c f x y dy +∞⎰在[],a b 上一致收敛.例3 证明含参量反常积分20cos 1xy dx x +∞+⎰ (7) 在(,)-∞+∞上一致收敛.证 由于对任何实数y 都有及反常积分收敛,故由魏尔斯特拉斯M 判别法,含参量反常积分(7)在(,)-∞+∞上一致收敛.狄利克雷判别法 设(i) 对一切实数N c >,含参量正常积分对参量x 在[],a b 上一致有界,即存在正数M ,对一切N c >及一切[],x a b ∈,都有(,)N c f x y dy M ≤⎰; (ii) 对每一个[],x a b ∈,函数(,)g x y 关于y 是单调递减且当y →+∞时,对参量,(,)x g x y 一致地收敛于0,则含参量反常积分在[],a b 上一致收敛.阿贝尔判别法 设(i)(,)c f x y dy +∞⎰在[],a b 上一致收敛;(ii) 对每一个[],x a b ∈,函数(,)g x y 关于y 是单调的单调函数,对参量,(,)x g x y 在[],a b 上一致有界.则含参量反常积分在[],a b 上一致收敛.例4 证明含参量反常积分0sin xy x e dx x+∞-⎰ (8) 在[]0,d 上一致收敛.证 由于反常积分收敛(当然对于参量y ,它在[]0,d 上一致收敛),函数(,)xy g x y e -=对每一个[]0,y d ∈关于x 单调,且对任何0y d ≤≤,0x ≥,都有 (,)1xy g x y e -=≤.故由阿贝尔判别法即得含参量反常积分(8)在[]0,d 上一致收敛.例5 证明0xy xe dy +∞-⎰(i)在[,]a b (0)a >上一致收敛;(ii)在[0,]b 上不一致收敛.证 (i) (,),[0)x a b y ∀∈∈+∞,有0xy ay xe be --≤≤,而0ay be dy +∞-⎰收敛(0)a >.故xy xe dy+∞-⎰在[,]a b(0)a>上一致收敛.(ii) 因在0x=处不连续,而xyxe-在0,0x b y≤≤≤<+∞内连续,由连续性定理知,xy xe dy+∞-⎰在0x b≤≤上不一致收敛.结束语本文介绍了含参量反常积分的定义、定理和一致收敛性的判别方法，对我们今后的学习将会有很大的帮助.参考文献:[1] 华东师范大学数学系编,数学分析(下册)．北京:高等教育出版社,2001．[2] 钱吉林,数学分析题解精粹[M],武汉：崇文书局,2003．[3] 武汉大学数学系编,数学分析[M], 武汉大学数学系,1999．[4] 吉林师范大学数分教研室编,数学分析讲义[M],吉林师大数学系，2003．。

含参量反常积分的一致收敛发判别法及推广汇总含参数的反常积分是指在积分中包含一个或多个参数的情况下的积分运算。

一致收敛是指在定义域上的每个点上，函数项级数都收敛于同一个函数。

一致收敛的发散判别法是用来判断含参数的反常积分是否一致收敛的方法。

它的基本思想是先对含参数的反常积分的被积函数进行求和，然后通过逐项求和的结果进行判断。

一般来说，当积分区间是有界区间时，可以直接采用一般的单调收敛判别法，若积分区间是无界区间，则需要使用其他方法来判断其一致收敛性。

以下是一些常见的含参数反常积分的一致收敛发判别法及推广：1.魏尔斯特拉斯判别法：该判别法适用于被积函数在区间上无上界的情况。

若函数项级数的每一项在区间上都存在可求得的上界，并且级数的系数与参数无关，即参数只出现在积分区间上，则该函数项级数在该区间上一致收敛。

2.绝对收敛发散判别法：若被积函数在积分区间上绝对收敛，则函数项级数在该区间上一致收敛。

3.阿贝尔判别法：若函数项级数在积分区间上逐项收敛，且在积分区间上一致有界，则函数项级数在该区间上一致收敛。

4.一致收敛的推广汇总：对于参数函数项级数的一致收敛判别，可以将其推广为参数函数项广义积分的一致收敛判别。

具体而言，可以参考以下几种情况的判别方法：a.线性组合的情况：若参数函数项级数与常数函数项级数的线性组合在积分区间上一致收敛，则参数函数项级数在该区间上一致收敛。

b.积分换元法的情况：若参数函数项级数的积分变量进行换元，得到的新的参数函数项级数在积分区间上一致收敛，则原参数函数项级数在该区间上一致收敛。

c.参数函数项级数的逐项积分的情况：若参数函数项级数的逐项积分在积分区间上一致收敛，则参数函数项级数在该区间上一致收敛。

d.参数函数项的相对收敛性：若参数函数项级数的每一项与参数的函数项级数的每一项的绝对值相比，在积分区间上一致有界，并且参数的函数项级数在该区间上一致收敛，则原参数函数项级数在该区间上一致收敛。

第十九章 含参量积分 2含参量反常积分一、一致收敛性及其判别法概念1：设函数f(x,y)定义在无界区域R={(x,y)|x ∈I, c ≤y<+∞}上，I 为一区间，若对每一个固定的x ∈I, 反常积分⎰+∞c dy y x f ),(都收敛，则它的值是x 在I 上取值的函数, 记φ(x)=⎰+∞c dy y x f ),(, x ∈I, 称⎰+∞c dy y x f ),(为定义在I 上的含参量x 的无穷限反常积分，简称含参量反常积分.定义1： 若含参量反常积分⎰+∞c dy y x f ),(与函数φ(x)对任给ε>0, 总存在某实数N>c, 使当M>N 时, 对一切x ∈I, 都有)(),(x dy y x f Mc Φ-⎰<ε, 即⎰+∞M dy y x f ),(<ε, 则称含参量反常积分在I 上一致收敛于φ(x), 简单地说含参量积分⎰+∞c dy y x f ),(在I 上一致收敛.定理19.7：(一致收敛的柯西准则)含参量反常积分⎰+∞c dy y x f ),(在I 上一致收敛的充要条件是：对任给正数ε, 总存在某一实数M>c, 使得当A 1, A 2>M 时，对一切x ∈I, 都有⎰21),(A A dy y x f <ε.定理19.8：含参量反常积分⎰+∞c dy y x f ),(在I 上一致收敛的充要条件是：+∞→A lim F(A)=0, 其中F(A)=⎰+∞∈AIx dy y x f ),(sup .例1：证明含参量反常积分⎰+∞0sin dy yxy在[δ,+∞)上一致收敛(δ>0)，但在(0,+∞)上不一致收敛.解：令u=xy, 则⎰+∞A dy y xysin =⎰+∞Ax du uu sin (A>0). ∵⎰+∞Axdu uusin 收敛，∴∀ε>0, ∃M>0, 使当A ’>M 时，就有⎰∞+'A du u u sin <ε. 取A δ>M, 则当A>δM时，对一切x ≥δ>0，有xA>M, ∴⎰∞+Axdu uusin <ε, 即⎰∞+Ady y xysin <ε, ∴+∞→A lim F(A)=⎰∞++∞∈+∞→A x A dy y xy sin sup lim ),(δ=0, 由定理19.8知 ⎰+∞sin dy yxy在[δ,+∞)上一致收敛. 又 F(A)=⎰∞++∞∈Ax dy yxysin sup ),0(=⎰∞++∞∈Ax x du u u sin sup ),0(≥⎰∞+0sin du u u =2π. ∴⎰+∞0sin dy yxy在(0,+∞)上不一致收敛.注：若对任意[a,b]⊂I, 含参量反常积分在[a,b]上一致收敛，则称在I 上内闭一致收敛.定理19.9：含参量反常积分⎰+∞c dy y x f ),(在I 上一致收敛的充要条件是：对任一趋于+∞的递增数列{A n }(其中A 1=c), 函数项级数∑⎰∞=+11),(n A A n ndy y x f =∑∞=1)(n n x u 在I 上一致收敛.证：[必要性]若⎰+∞c dy y x f ),(在I 上一致收敛, 则∀ε>0, ∃M>c, 使 当A ”>A ’>M 时，对一切x ∈I, 总有⎰'''A A dy y x f ),(<ε.又A n →+∞(n →∞), ∴对正数M, ∃正整数N, 只要当m>n>N 时，就有 A m >A n >M. ∴对一切x ∈I, 就有|u n (x)+…+u m (x)|=⎰⎰+++⋯+11),(),(n nm mA A A Ady y x f dy y x f =⎰+1),(m nA Ady y x f <ε.∴∑∞=1)(n n x u 在I 上一致收敛.[充分性]若∑∞=1)(n n x u 在I 上一致收敛, 而⎰+∞c dy y x f ),(在I 上不一致收敛,则存在某正数ε0, 使对任何实数M>c, 存在相应的A ”>A ’>M 和x ’∈I, 使得⎰''''A A dy y x f ),(≥ε0; 现取M 1=max{1,c}, 则存在A 2>A 1>M 1, 及x 1∈I, 使得⎰21),(1A A dy y x f ≥ε0; 一般地, 取M n =max{n,A 2(n-1)} (n ≥2), 则有A 2n >A 2n-1>M n , 及x n ∈I, 使得⎰-nn A An dy y x f 212),(≥ε0.由上述所得数列{A n }为递增数列, 且∞→n lim A n =+∞, 而对级数∑∞=1)(n nx u=∑⎰∞=+11),(n A A n ndy y x f , 存在正数ε0, 对任何正整数N,只要n>N, 就有某个x n ∈I, 使得|u 2n (x n )|=⎰-nn A An dy y x f 212),(≥ε0,与级数∑∞=1)(n n x u 在I 上一致收敛矛盾. ∴⎰+∞c dy y x f ),(在I 上一致收敛.魏尔斯特拉斯M 判别法：设函数g(y), 使得 |f(x,y)|≤g(y), (x,y)∈I ×[c,+∞). 若⎰+∞c dy y g )(收敛, 则⎰+∞cdy y x f ),(在I 上一致收敛.狄利克雷判别法：设(1)对一切实数N>c, 含参量正常积分⎰Nc dy y x f ),(对参量x 在I 上一致有界, 即存在正数M, 对一切N>c 及一切x ∈I, 都有⎰Nc dy y x f ),(≤M. (2)对每一个x ∈I, 函数g(x,y)关于y 是单调递减且当y →+∞时, 对参量x, g(x,y)一致收敛于0.则含参量反常积分⎰+∞c dy y x g y x f ),(),(在I 上一致收敛.阿贝尔判别法：设(1)⎰+∞c dy y x f ),(在I 上一致收敛.(2)对每一个x ∈I, 函数g(x,y)为y 的单调函数, 且对参量x, g(x,y)在I 上一致有界.则含参量反常积分⎰+∞c dy y x g y x f ),(),(在I 上一致收敛.例2：证明含参量反常积分⎰+∞+021cos dx xxy在(-∞,+∞)上一致收敛. 证：∵对任何实数y, 有21cos x xy +≤211x +, 又反常积分⎰+∞+021xdx收敛. 由魏尔斯特拉斯M 判别法知, 含参量反常积分⎰+∞+021cos dx x xy在(-∞,+∞)上一致收敛.例3：证明含参量反常积分⎰+∞-0sin dx xxe xy 在[0,+∞)上一致收敛. 证：∵反常积分⎰+∞sin dx xx收敛, ∴对于参量y, 在[0,+∞)上一致收敛. 又函数g(x,y)=e -xy 对每个y ∈[0,+∞)单调, 且对任何0≤y<+∞, x ≥0, 都有|g(x,y)|=|e -xy |≤1. 由阿贝尔判别法知, 含参量反常积分⎰+∞-0sin dx xxe xy 在[0,+∞)上一致收敛.例4：证明含参量积分⎰+∞+121sin dy y xyy 在(0,+∞)上内闭一致收敛.证：若[a,b]⊂(0,+∞), 则对任意x ∈[a,b],⎰Naxydy sin =Nax xycos -≤a 2. 又'⎪⎪⎭⎫ ⎝⎛+21y y =()22211yy +-≤0, 即21y y +关于y 单调减, 且当y →+∞时, 21yy+→0(对x 一致), 由狄利克雷判别法知, 含参量积分⎰+∞+121sin dy y xyy 在[a,b]上一致收敛. 由[a,b]的任意性知, ⎰+∞+121sin dy yxyy 在(0,+∞)上内闭一致收敛.二、含参量反常积分的性质定理19.10：(连续性)设f(x,y)在I ×[c,+∞)上连续，若含参量反常积分φ(x)=⎰+∞c dy y x f ),(在I 上一致收敛，则φ(x)在I 上连续. 证：由定理19.9，对任一递增且趋于+∞的数列{A n } (A 1=c)， 函数项级数φ(x)=∑⎰∞=+11),(n A An ndy y x f =∑∞=1)(n n x u 在I 上一致收敛.又由f(x,y)在I ×[c,+∞)上连续，∴每个u n (x)都在I 上连续. 由函数项级数的连续性定理知，函数φ(x)在I 上连续.推论：设f(x,y)在I ×[c,+∞)上连续，若φ(x)=⎰+∞c dy y x f ),(在I 上内闭一致收敛，则φ(x)在I 上连续.注：在一致收敛的条件下，极限运算与积分运算可以交换，即：⎰+∞→cx x dy y x f ),(lim0=⎰+∞c dy y x f ),(0=⎰+∞→cx x dy y x f ),(lim 0.定理19.11：(可微性)设f(x,y)与f x (x,y)在区域I ×[c,+∞)上连续，若φ(x)=⎰+∞c dy y x f ),(在I 上收敛，⎰+∞c x dy y x f ),(在I 上一致收敛，则φ(x)在I 上可微，且φ’(x) =⎰+∞c x dy y x f ),(.证：对任一递增且趋于+∞的数列{A n } (A 1=c)，令u n (x)=⎰+1),(n nA A dy y x f .由定理19.3推得u n ’(x)=⎰+1),(n nA A x dy y x f .由⎰+∞c x dy y x f ),(在I 上一致收敛及定理19.9，可得函数项级数∑∞='1)(n n x u =∑⎰∞=+11),(n A A x n ndy y x f 在I 上一致收敛.根据函数项级数的逐项求导定理，即得：φ’(x) =∑∞='1)(n nx u =∑⎰∞=+11),(n A Ax n ndy y x f =⎰+∞cx dy y x f ),(.或写作⎰+∞c dy y x f dxd ),(=⎰+∞c x dy y x f ),(.推论：设f(x,y)与f x (x,y)在区域I ×[c,+∞)上连续，若φ(x)=⎰+∞c dy y x f ),(在I 上收敛，⎰+∞c x dy y x f ),(在I 上内闭一致收敛，则φ(x)在I 上可微，且φ’(x) =⎰+∞c x dy y x f ),(.定理19.12：(可积性)设f(x,y)在[a,b]×[c,+∞)上连续，若φ(x)=⎰+∞c dy y x f ),(在[a,b]上一致收敛，则φ(x)在[a,b]上可积，且⎰⎰+∞cbady y x f dx ),( =⎰⎰+∞bacdx y x f dy ),(.证：由定理19.10知φ(x)在[a,b]上连续，从而在[a,b]上可积. 又函数项级数φ(x)=∑⎰∞=+11),(n A An ndy y x f =∑∞=1)(n n x u 在I 上一致收敛，且各项u n (x)在[a,b]上连续，根据函数项级数逐项求积定理，有⎰Φbadx x )(=∑⎰∞=1)(n ban dx x u =∑⎰⎰∞=+11),(n baA A n ndy y x f dx =∑⎰⎰∞=+1),(1n baA A dx y x f dy n n，即⎰⎰+∞cbady y x f dx ),( =⎰⎰+∞bacdx y x f dy ),(.定理19.13：设f(x,y)在[a,+∞)×[c,+∞)上连续，若(1)⎰+∞a dx y x f ),(关于y 在[c,+∞)上内闭一致收敛，⎰+∞c dy y x f ),(关于x 在[a,+∞)上内闭一致收敛；(2)积分⎰⎰+∞+∞c a dy y x f dx |),(|与⎰⎰+∞+∞a c dx y x f dy |),(|中有一个收敛. 则⎰⎰+∞+∞cady y x f dx ),(=⎰⎰+∞+∞acdx y x f dy ),(.证：不妨设⎰⎰+∞+∞c a dy y x f dx |),(|收敛，则⎰⎰+∞+∞c a dy y x f dx ),(收敛. 当d>c 时，记Jd =|⎰⎰+∞a dc dx y x f dy ),(-⎰⎰+∞+∞c a dy y x f dx ),(| =|⎰⎰+∞a dc dx y x f dy ),(-⎰⎰+∞dc a dy y x f dx ),(-⎰⎰+∞+∞d a dy y x f dx ),(|. 由条件(1)及定理19.12可推得：J d =|⎰⎰+∞+∞d a dy y x f dx ),(|≤|⎰⎰+∞d Aa dy y x f dx ),(|+⎰⎰+∞+∞d A dy y x f dx |),(|. 由条件(2)，∀ε>0, ∃G>a ，使当A>G 时，有⎰⎰+∞+∞d A dy y x f dx |),(|<2ε. 选定A 后，由⎰+∞c dy y x f ),(的一致收敛性知，∃M>a ，使得当d>M 时， 有|⎰+∞d dy y x f ),(|<)(2a A -ε. ∴J d <2ε+2ε=ε，即有+∞→d lim J d =0，∴⎰⎰+∞+∞c a dy y x f dx ),(=⎰⎰+∞+∞a c dx y x f dy ),(.例5：计算：J=⎰+∞--0sin sin dx xaxbx e px (p>0,b>a). 解：∵xax bx sin sin -=⎰ba xydy cos ，∴J=⎰⎰+∞-0cos b a pxxydy dx e =⎰⎰+∞-0cos ba px xydy e dx .由|e -px cosxy|≤e -px 及反常积分⎰+∞-0dx e px 收敛， 根据魏尔斯特拉斯M 判别法知，含参量反常积分⎰+∞-0cos xydx e px 在[a,b]上一致收敛.又e -px cosxy[0,+∞)×[a,b]上连续，根据定理19.12交换积分顺序得： J=⎰⎰+∞-0cos xydx e dy px ba =⎰+bady y p p22=arctan p b - arctan p a .例6：计算：⎰+∞sin dx xax. 解：利用例5的结果，令b=0，则有F(p)=⎰+∞-0sin dx xaxe px=arctan p a (p>0).由阿贝尔判别法可知含参量反常积分F(p)在p ≥0上一致收敛， 又由定理19.10知，F(p)在p ≥0上连续，且F(0)=⎰+∞sin dx xax . 又F(0)=)(lim 0p F p +→=+→0lim p arctan p a =2πagn a. ∴⎰+∞0sin dx xax =2πagn a.例7：计算：φ(r)=⎰+∞-0.cos 2rxdx e x .解：∵|2x e -cosrx|≤2x e -对任一实数r 成立且反常积分⎰+∞-02dx e x 收敛， ∴含参量反常积分φ(r)=⎰+∞-0cos 2rxdx e x 在(-∞,+∞)上收敛. 考察含参量反常积分⎰+∞-'0)cos (2dx rx er x =⎰+∞--0sin 2rxdx xe x ，∵|-x 2x e -sinrx|≤x 2x e -对一切x ≥0, r ∈(-∞,+∞)成立且⎰+∞-02dx e x 收敛， 根据魏尔斯特拉斯M 判别法知， 含参量反常积分⎰+∞-'0)cos (2dx rx er x 在(-∞,+∞)上一致收敛.由定理19.11得φ’(r)=⎰+∞--0sin 2rxdx xex =⎰-+∞→-Ax A rxdxxesin lim2=⎪⎭⎫⎝⎛-⎰--+∞→A x Ax A rxdx e r rx e 00cos 2sin 21lim 22=⎰--A x rxdx e r 0cos 22=2r -φ(r). ∴φ(r)=c 42r e -. 又φ(0)=⎰+∞-02dx e x =2π=c. ∴φ(r)=422πr e-.概念2：设f(x,y)在区域R=[a,b]×[c,d)上有定义，若对x 的某些值，y=d 为函数f(x,y)的瑕点，则称⎰dc dy y x f ),(为含参量x 的无界函数反常积分，或简称为含参量反常积分. 若对每一个x ∈[a,b]，⎰dc dy y x f ),(都收敛，则其积分值是x 在[a,b]上取值的函数.定义2：对任给正数ε, 总存在某正数δ<d-c, 使得当0<η<δ时, 对一切x ∈[a,b], 都有⎰-dd dy y x f η),(<ε, 则称含参量反常积分⎰dc dy y x f ),(在[a,b]上一致收敛.习题1、证明下列各题 (1)⎰∞++-122222)(dx y x x y 在(-∞,+∞)上一致收敛；(2)⎰+∞-02dy eyx 在[a,b] (a>0)上一致收敛；(3)⎰+∞-0sin dt tate t在0<a<+∞上一致收敛； (4)⎰+∞-0dy xe xy (i)在[a,b] (a>0)上一致收敛，(ii)在[0,b]上不一致收敛； (5)⎰10)ln(dy xy 在[b1,b](b>1)上一致收敛；(6)⎰1px dx(i)在(-∞,b] (b<1)上一致收敛，(ii)在(-∞,1]内不一致收敛； (7)⎰---1011)1(dx x x q p 在0<p 0≤p<+∞, 0<q 0≤q<+∞上一致收敛.证：(1)∵22222)(y x x y +-≤22222)(y x x y ++≤21x ，且⎰+∞12x dx 收敛，∴⎰∞++-122222)(dx y x x y 在(-∞,+∞)上一致收敛. (2)∵当0<a ≤x ≤b 时，yx e2-=yx e21≤ya e21，且⎰+∞12ya edy 收敛，∴⎰+∞-02dy e y x 在[a,b] (a>0)上一致收敛.(3)对任何N>0，∵⎰-Nt atdt e 0sin ≤⎰-Nt dt e 0≤1，即⎰-Nt atdt e 0sin 一致有界. 又t1关于在(0,+∞)单调，且t1→0 (t →∞)，由狄利克雷判别法知，⎰+∞-0sin dt tate t在0<a<+∞上一致收敛. (4)(i)∵当0<a ≤x ≤b 时，|xe -xy|≤be -ay，且⎰+∞0ay -be 收敛， ∴⎰+∞-0dy xe xy 在[a,b] (a>0)上一致收敛. (ii)方法一：取ε0=21e<0, 则对任何M>0, 令A 1=M, A 2=2M, x 0=M 1, 有 ⎰-2100A A y x dy e x =MM yx e 20-=21e e ->21e=ε0，∴⎰+∞-0dy xe xy 在 [0,b]上不一致收敛. 方法二：∵⎰+∞-0dy xe xy =⎩⎨⎧≤<=bx x 0,10,0，且xe -xy 在[0,b]×(0,+∞)内连续，由连续性定理知⎰+∞-0dy xe xy 在 [0,b]上不一致收敛.(5)∵在[b1,b]×(0,1] (b>1)内, |ln(xy)|=|lnx+lny|≤|lnx|+|lny|≤lnb-lny, 且⎰-10)ln (ln dy y b 收敛, ∴⎰10)ln(dy xy 在[b1,b](b>1)上一致收敛.(6)(i)∵当p ≤b<1, x ∈(0,1]时，p x 1≤b x 1，又⎰10b xdx 收敛，∴⎰1px dx在(-∞,b] (b<1)上一致收敛.(ii)当p=1时，⎰1xdx发散，∴对任何A<1，在[A,1]内不一致收敛，即 ⎰1p xdx在(-∞,1]内不一致收敛. (7)记⎰---1011)1(dx x xq p =⎰---21011)1(dx x xq p +⎰---12111)1(dx x x q p =I 1+I 2.对I 1在0≤x ≤21, 0<p 0≤p<+∞, 0<q 0≤q<+∞上， ∵|x p-1(1-x)q-1|≤1100)1(---q p x x且⎰---210110)1(dx x x q p 收敛，∴I 1在0<p 0≤p<+∞, 0<q 0≤q<+∞上一致收敛； 同理可证I 2在0<p 0≤p<+∞, 0<q 0≤q<+∞上一致收敛. ∴⎰---1011)1(dx x x q p 在0<p 0≤p<+∞, 0<q 0≤q<+∞上一致收敛.2、从等式⎰-ba xydy e =x e e by ay ---出发，计算积分⎰∞+---0dx xe e byay (b>a>0). 解：∵⎰-ba xy dy e=x e e by ay ---，∴⎰∞+---0dx xe e byay=⎰⎰-+∞b a xy dy e dx 0. 又 e -xy 在[0,+∞)×[a,b]内连续，由M 判别法知, ⎰+∞-0dx e xy 在[a,b]内一致收敛.∴⎰∞+---0dx x e e by ay =⎰⎰+∞-0dx e dy xyb a =⎰b a dy y 1=ln ab .3、证明函数F(y)=⎰+∞--0)(2dx e y x 在(-∞,+∞)上连续. (提示：利用⎰+∞-02dx e x =2π) 证：令x-y=u, 则F(y)=⎰+∞-yu du e2=⎰-02yu du e+⎰+∞-02du eu =⎰-02yu du e +2π. ∵关于y 的积分下限函数⎰-02y u du e 在(-∞,+∞)上连续， ∴F(y)=⎰+∞--0)(2dx e y x 在(-∞,+∞)上连续.4、求下列积分： (1)⎰∞+---022222dx x e e xb xa(提示：利用⎰+∞-02dx ex =2π)； (2)⎰+∞-0sin dt t xt e t；(3)⎰+∞--02cos 1dx x xye x . 解：(1)∵22222x e e xbxa---=⎰-ba x y dy ye 222，∴⎰∞+---022222dx x e e xb xa=⎰⎰+∞-0222bax y dy ye dx ，由M 判别法知⎰+∞-0222dx ye x y 在[a,b]内一致收敛，∴⎰∞+---022222dx x e e xb xa=⎰⎰+∞-0222dx yedy x y ba=⎰⎰+∞-0)(222xy d edy x y ba =⎰bady π=(b-a)π.(2)利用例5结果：⎰+∞--0sin sin dt tatbt e pt=arctan p b - arctan p a . (p>0,b>a).当p=1, a=0, b=x 时，有⎰+∞-0sin dt txte t=arctanx. (3)∵2cos 1x xy e x --=⎰-y x dt x xt e 0sin ，∴⎰⎰-+∞yx dt x xt e dx 00sin . 由x xt e x x sin lim 0-→=t 知, x=0不是xxte x sin -的瑕点，又 含参量非正常积分⎰+∞-0sin dx xxte x 在t ∈[0,M]上一致收敛, ∴由(2)有2cos 1x xy e x--=⎰⎰+∞-00sin dx xxt e dt x y =⎰y tdt 0arctan =yarctany-21ln(1+y 2).5、回答下列问题： (1)对极限⎰+∞-→+0022limdy xyexy x 能否运用极限与积分运算顺序的交换求解？(2)对⎰⎰+∞--132)22(dx e xy y dy xy 能否运用积分顺序交换来求解？(3)对F(x)=⎰+∞-032dy e x y x 能否运用积分与求导运算顺序交换来求解？ 解：(1)∵F(x)=⎰+∞-022dy xye xy =⎩⎨⎧=>0,00,1x x , ∴F(x)lim 0+→x =1，但⎰+∞-→+022lim dy xye xy x =0，即交换运算后不相等，∴对极限⎰+∞-→+0022limdy xyexy x 不能运用极限与积分运算顺序的交换求解.注：⎰+∞-022dy xye xy =⎰+∞-0du xe xu 在[0,b]上不一致收敛，并不符合连续性定理的条件.(2)∵⎰⎰+∞--10032)22(dx exy y dy xy =⎰∞+-122dy xyexy =⎰10dy =0；⎰⎰-+∞-1032)22(dy exy y dx xy =⎰+∞-0122dx ey xy =⎰-1dx e x =1；∴对⎰⎰+∞--10032)22(dx e xy y dy xy 不能运用积分顺序交换来求解.注：⎰+∞--032)22(dx e xy y xy =0且⎰+∞--M xy dx e xy y 2)22(3=-2My 2My e -. 对ε0=1，不论M 多大，总有y 0=M1∈[0,1]，使得⎰+∞--M xy dx e xy y 2)22(3=2M e 1->1,∴⎰+∞--032)22(dx e xy y xy 在[0,1]不一致收敛，不符合可积性定理的条件. (3)∵F(x)=⎰+∞-032dy e x y x =x, x ∈(-∞,+∞)，∴F ’(x)≡1. 但y x e x x23-∂∂=(3x 2-2x 4y)y x e 2-, 而当x=0时，⎰+∞--0422)23(dy e y x x y x =0. ∴对F(x)=⎰+∞-032dy e x y x 不能运用积分与求导运算顺序交换来求解. 注：∵⎰+∞--0422)23(dy ey x x yx =⎩⎨⎧=≠0,00,1x x ，∴⎰+∞--0422)23(dy ey x x yx 在[0,1]上不一致收敛,不符合可微性定理的条件.6、应用：⎰+∞-02dx e ax =212π-a (a>0)，证明： (1)⎰+∞-022dt e t at=234π-a ；(2)⎰+∞-022dt e t at n =⎪⎭⎫⎝⎛+--212!)!12(2πn n a n .证：(1)方法一：∵⎰+∞-022dt e t at 在任何[c,d]上(c>0)一致收敛， ∴⎰+∞-02dt e da d at =⎰+∞-02dt e dad at =-⎰+∞-022dte t at . 又⎰+∞-02dt e da d at =⎪⎪⎭⎫ ⎝⎛-212πa da d =-234π-a . ∴⎰+∞-02dx e ax =234π-a . 方法二：⎰+∞-022dt et at =-⎰+∞-0221at tdea =-⎪⎭⎫ ⎝⎛-⎰+∞-∞+-02221dt ete a at at=⎰+∞-0221dt e aat =234π-a .(2)方法一：∵⎰+∞-022dt e t at n 在任何[c,d]上(c>0)一致收敛，∴⎰∞+-02dt eda d at nn=⎰∞+-02dt e da d at nn =(-1)n ⎰+∞-022dt e t at n . 又⎰∞+-02dt e dad atnn =⎪⎪⎭⎫ ⎝⎛-212πa dad nn=(-1)n ⎪⎭⎫⎝⎛+--212!)!12(2πn n a n . ∴⎰+∞-022dt e t atn =⎪⎭⎫⎝⎛+--212!)!12(2πn nan . 方法二：记I n =⎰+∞-022dt e t at n , n=0,1,2,…，(1)中已证I 1=⎪⎭⎫⎝⎛+--⨯2112)112(2πa=a 2)112(-⨯I 0. 可设I k =a k 2)12(-⨯I k-1，则 I k+1=⎰+∞-+0)1(22dt e t at k =-⎰+∞-+012221at k de t a =-⎪⎭⎫ ⎝⎛-⎰+∞+-∞+-+0120122221k at at k dt e e t a=⎰+∞-+022212dt e t a k at k =ak 21)1(2-+I k=2)2()12](1)1(2[a k k --+I k-1=…= 1)2(!]!1)1(2[+-+k a k I 0=211)2(!]!1)1(2[2π-+-+a a k k .当n=k+1时，有I n =⎰+∞-022dt e t at n =21)2(!)!12(2π--a a k n =⎪⎭⎫⎝⎛+--212!)!12(2πn na n . 7、应用⎰+∞+022a x dx =a2π，求()⎰+∞++0122n a x dx.解：记A=a 2, ∵()⎰+∞++012n Axdx在任何[c,d]上(c>0)一致收敛，∴⎰∞++02A x dx dA d nn =⎰∞+⎪⎭⎫ ⎝⎛+021dx A x dA d n n=(-1)nn!()⎰+∞++012n A x dx . 又⎰∞++02A x dx dAd nn =⎪⎭⎫ ⎝⎛A dA d n n 2π=(-1)n 212!)!12(2π---n n A n . ∴()⎰+∞++012n Axdx=212!!)!12(2π---n n A n n =12!)!2(!)!12(2π---n a n n .8、设f(x,y)为[a,b]×[c,+∞)上连续非负函数，I(x)=dy y x f ⎰+∞0),(在[a,b]上连续，证明：I(x)在[a,b]上一致收敛.证：任取一个趋于的∞递增数列{A n } (其中A 1=c)，考察级数∑⎰∞=+11),(n A A n ndy y x f =∑∞=1)(n n x u .∵f(x,y)在[a,b]×[c,+∞)上非负连续, ∴u n (x)在[a,b]上非负连续. 由狄尼定理知，∑∞=1)(n n x u 在[a,b]上一致收敛，从而∑⎰∞=+11),(n A A n ndy y x f 在[a,b]上一致收敛. 又I(x)=dy y x f ⎰+∞),(在[a,b]上连续.∴I(x)=dy y x f ⎰+∞0),(=∑⎰∞=∞→+11),(lim n A An n ndy y x f [a,b]上一致收敛.9、设在[a,+∞)×[c,d]内成立不等式|f(x,y)|≤F(x,y). 若dx y x F ⎰+∞0),(在y ∈[c,d] 上一致收敛，证明：dx y x f ⎰+∞),(在y ∈[c,d] 上一致收敛且绝对收敛.证：∵dx y x F ⎰+∞0),(在y ∈[c,d] 上一致收敛，∴∀ε>0, ∃M>0，对任何A2>A1>M和一切y∈[c,d]，都有⎰21) , (A AdxyxF<ε.∵|f(x,y)|≤F(x,y)，∴⎰21) , (A Adxyxf≤⎰21),(AAdxyxf≤⎰21),(AAdxyxF<ε，∴dxyxf⎰+∞0),(在y∈[c,d] 上一致收敛且绝对收敛.。