含参量反常积分答案

§2 含参量反常积分

一 一致收敛性及其判别法

设函数f(x,y)定义在无界区域R?{(x,y)|x?I,c?y???}上，其中I为一区间，若对固定的x?I，反常积分

???cf(x,y)dy （1）

都收敛，则它的值是x在I上取值的函数，当记这个函数为?(x)时，则有

?(x)????cf(x,y)dy,x?I， （2）

称（1）式为定义在I上的含参量x的无穷限反常积分，或简称含参量反常积分。

如同反常积分与数项级数的关系那样，含参量反常积分与函数项级数在所研究的问题与论证方法上也极为相似。

首先引入含参量反常积分的一致收敛概念及柯西准则。

定义1 若含参量反常积分（1）与函数?(x)对任何的正数?。总存在某一实数N?c，使得当M?N时，对一切x?I。都有

即

????cf(x,y)dy??(x)??，

??cf(x,y)dy??

则称含参量反常积分（1）在I上一致收敛于?(x)，或简单地说含参量积分（1）在I上一致收敛。

定理19.7（一致收敛的柯西准则） 含参量反常积分（1）在I撒谎能够一致收敛的充要条件是：对任给正数?，总存在某一实数M?c，使得当都有

A,A12?M时，对一切x?I，

?AA12f(x,y)dy??. （3）

由定义1，我们还有以下含参量积分一致收敛的判别准则. 定理19.8 含参量积分

???cf(x,y)dy在I上一致收敛的充分且必要条件是

limF(A)?0,

A???其中F(A)?SUPx?I???Af(x,y)dy.

例1 证明含参量反常积分

???csinxydy y在??,???上一致收敛（其中??0），但在?0,???内不一致收敛。

证 作变量代换u?xy，得

?????A??sinusinxydy??du, yAxu其中A?0.由于有

?0sinu'du收敛，故对任给正数?，总存在正数M，使当A?M时，就u

sinu?Audu??.

??'取A??M,则当A?M?时，对一切x???0，由（5）式有

???Asinxydy??， y因此limF(x)?0,从而由定理19.8，（4）式在??,???上一致收敛，又因为

A???lim??A?0A????sinusinudu??du,

0uuF(A)?supx?(0,??)???A??sinusinxydy?sup?du?yx?(0,??)Axu???0sinu?du? u2（其中

???0sinu?dy?将在本节例6中证明），所以由定理19.8，（4）式在?0,???上不一u2致收敛。

若对任意?a,b??I，含参量反常积分（1）在?a,b?上一致收敛，则称（1）在I上内闭一致收敛，以上论述证明了含参量反常积分（4）在?0,???上内闭一致收敛。

关于含参量反常积分一致收敛性与函数项级数一致收敛之间的联系有下述定理。

定理19.9 含参量反常积分（1）在I上一致收敛的充要条件是：对任一趋于??的递增数列

，函数项级数 ?A?（其中A?c）

n1?An?1 ??f(x,y)dy??un(x) （6）

n?1Ann?1?在I撒谎能够一致收敛。

证 [必要性] 由（1）在I上一致收敛，故对任给??0，必存在M?c，使当

AA?M.由（7）对一切x?I,总有

?

'''un(x)???um(x)?Am?1An?1f(x,y)dy????Am?Anf(x,y)dy

=

Am?1?Anf(x,y)dy??

这就证明了级数（6）在I上一致收敛。

【充分性】 用反证法。假若（1）在I上不一致收敛，则存在某个正数于任何实数M?c，存在相应的

?0，使得对

AA?'''''?M和x?I，使得

''A ?'f(x,y)dy??0.

A一般地，取

M1?maxn,A2(n?1)(n?2)，则有A2n?A2n?1?Mn及xn?I，使得

A2n?A2n?1f(xn,y)dy??0. （8）

x??n??

由上述所得到的数列

?A?是递增数列，且limAn???.现在考察级数

?un(x)???n?1n?1??An?1f(x,y)dy An由（8）式知存在正数

?0，对任何正整数N，只要n?N，就有某个

xn?I，使得

u(x)??A2nnA2n?12nf(xn,y)dy??0.

这与级数（6）在I上一致收敛的假设矛盾。故含参量反常积分（1）在I上一致收敛。 下面列出含参量反常积分的一致收敛性判别法。由于它们的证明与函数项级数相应的判别法相仿，故从略。

魏尔斯特拉斯M判别法 设有函数g(y)，使得 f(x,y)?g(y),(x,y)?I??c,???. 若

???cg(y)dy收敛，则???cf(x,y)dy在I上一致收敛。

狄利克雷判别法 设

（i） 对一切实数N?c，含参量正常积分

?Ncf(x,y)dy

对参量x在I上一致有界，即存在正数M，对一切N?c及一切x?I，都有

?Ncf(x,y)d?yM.

(ii)对每一个x?I,函数g(x,y)为y的单调函数，且当y???时，对参量

x,g(x,y)一致地收敛于0。

则含参量反常积分 在I上一致收敛。 阿贝尔判别法 设 （i）

???cf(x,y)g(x,y)dy

???cf(x,y)dy在I上一致收敛。

（ii）对每一个x?I，函数g(x,y)为y的单调函数，且对参量x,g(x,y)在I上一致有界。

则含参量反常积分

在I上一致收敛。

例2 证明含参量反常积分

?????cf(x,y)g(x,y)dy

?cosxy1?x20dx （9）

在(??,??)上一致收敛。 证 由于对任何实数y有

cosxy1?x2?11?x2

及反常积分

??

?dy1?x20

手来呢