含参量反常积分答案
§2 含参量反常积分
一 一致收敛性及其判别法
设函数f (x , y ) 定义在无界区域R ={(x , y ) |x ∈I , c ≤y
⎰
+∞
c
f (x , y ) dy (1)
都收敛,则它的值是x 在I 上取值的函数,当记这个函数为φ(x ) 时,则有
φ(x ) =⎰
+∞
c
f (x , y ) dy , x ∈I , (2)
称(1)式为定义在I 上的含参量x 的无穷限反常积分,或简称含参量反常积分。
如同反常积分与数项级数的关系那样,含参量反常积分与函数项级数在所研究的问题与论证方法上也极为相似。
首先引入含参量反常积分的一致收敛概念及柯西准则。
定义1 若含参量反常积分(1)与函数φ(x ) 对任何的正数ε。总存在某一实数N >c ,使得当M >N 时,对一切x ∈I 。都有
即
⎰⎰
+∞
c
f (x , y ) dy -φ(x )
+∞
c
f (x , y ) dy
则称含参量反常积分(1)在I 上一致收敛于φ(x ) ,或简单地说含参量积分(1)在I 上一致收敛。
定理19.7(一致收敛的柯西准则) 含参量反常积分(1)在I 撒谎能够一致收敛的充要条件是:对任给正数ε,总存在某一实数M >c ,使得当都有
A , A
1
2
>M 时,对一切x ∈I ,
⎰A
A 1
2
f (x , y ) dy
由定义1,我们还有以下含参量积分一致收敛的判别准则. 定理19.8 含参量积分
⎰
+∞
c
f (x , y ) dy 在I 上一致收敛的充分且必要条件是
lim F (A ) =0,
A →+∞
其中F (A ) =SUP
x ∈I ⎰
+∞A
f (x , y ) dy .
例1 证明含参量反常积分
⎰
+∞
c
sin xy
y
在[δ, +∞]上一致收敛(其中δ>0),但在(0, +∞)内不一致收敛。
证 作变量代换u =xy ,得
+∞
⎰
+∞
A
+∞sin u sin xy
=⎰du , y A x u
其中A >0. 由于有
⎰
sin u '
收敛,故对任给正数ε,总存在正数M ,使当A >M 时,就u
sin u
⎰A u du
+∞
'
取A δ>M , 则当A >
M
δ
时,对一切x ≥δ>0,由(5)式有
⎰
+∞
A
sin xy
dy
因此lim F (x ) =0, 从而由定理19.8,(4)式在[δ, +∞)上一致收敛,又因为
A →+∞
lim +⎰
A →0A
+∞
+∞sin u sin u
=⎰,
0u u
F (A ) =sup
x ∈(0,+∞)
⎰
+∞
A
+∞sin u sin xy
dy =sup ⎰du ≥y x ∈(0,+∞) A x u
⎰
+∞
sin u π
du = u 2
(其中
⎰
+∞
sin u π
dy =将在本节例6中证明),所以由定理19.8,(4)式在(0, +∞)上不一u 2
致收敛。
若对任意[a , b ]⊂I ,含参量反常积分(1)在[a , b ]上一致收敛,则称(1)在I 上内闭一致收敛,以上论述证明了含参量反常积分(4)在(0, +∞)上内闭一致收敛。
关于含参量反常积分一致收敛性与函数项级数一致收敛之间的联系有下述定理。
定理19.9 含参量反常积分(1)在I 上一致收敛的充要条件是:对任一趋于+∞的递增数列
,函数项级数 {A }(其中A =c )
n
1
∞A n +1
∑⎰f (x , y ) dy =∑u n (x ) (6)
n =1A n n =1
∞
在I 撒谎能够一致收敛。
证 [必要性] 由(1)在I 上一致收敛,故对任给ε>0,必存在M >c ,使当
A A >M . 由(7)对一切x ∈I , 总有
>
'' '
u n (x ) + +u m (x ) =
A m +1A n +1
f (x , y ) dy + +⎰A m ⎰A n f (x , y ) dy
=
A m +1
⎰A n f (x , y ) dy
这就证明了级数(6)在I 上一致收敛。
【充分性】 用反证法。假若(1)在I 上不一致收敛,则存在某个正数于任何实数M >c ,存在相应的
ε
,使得对
A A
>
''
'' '
>M 和x ∈I ,使得
'
' A
⎰' f (x , y ) dy ≥ε0.
A
一般地,取
M
1
=max n , A 2(n -1) (n ≥2) ,则有A 2n >A 2n -1>M n 及x n ∈I ,使得
A 2n
⎰A 2n -1f (x n , y ) dy ≥ε0. (8)
x →∞
n
{}
由上述所得到的数列
{A }是递增数列,且lim A
n
=+∞. 现在考察级数
∑u n (x ) =∑⎰
n =1
n =1
∞∞
A n +1
f (x , y ) dy A n
由(8)式知存在正数
ε
,对任何正整数N ,只要n >N ,就有某个
x
n
∈I ,使得
u (x ) =⎰A
2n
n
A 2n +1
2n
f (x n , y ) dy ≥ε0.
这与级数(6)在I 上一致收敛的假设矛盾。故含参量反常积分(1)在I 上一致收敛。 下面列出含参量反常积分的一致收敛性判别法。由于它们的证明与函数项级数相应的判别法相仿,故从略。
魏尔斯特拉斯M 判别法 设有函数g (y ) ,使得 f (x , y ) ≤g (y ),(x , y ) ∈I ⨯[c , +∞). 若
⎰
+∞
c
g (y ) dy 收敛,则⎰
+∞
c
f (x , y ) dy 在I 上一致收敛。
狄利克雷判别法 设
(i ) 对一切实数N >c ,含参量正常积分
⎰
N
c
f (x , y ) dy
对参量x 在I 上一致有界,即存在正数M ,对一切N >c 及一切x ∈I ,都有
⎰
N
c
f (x , y ) ≤y M .
(ii)对每一个x ∈I , 函数g (x , y ) 为y 的单调函数,且当y →+∞时,对参量
x , g (x , y ) 一致地收敛于0。
则含参量反常积分 在I 上一致收敛。 阿贝尔判别法 设 (i )
⎰
+∞
c
f (x , y ) g (x , y ) dy
⎰
+∞
c
f (x , y ) dy 在I 上一致收敛。
(ii )对每一个x ∈I ,函数g (x , y ) 为y 的单调函数,且对参量x , g (x , y ) 在I 上一致有界。
则含参量反常积分
在I 上一致收敛。
例2 证明含参量反常积分
+∞
⎰
+∞
c
f (x , y ) g (x , y ) dy
⎰
cos xy 1+x
2
(9)
在(-∞, +∞) 上一致收敛。 证 由于对任何实数y 有
cos xy 1+x
2
≤
11+x
2
及反常积分
+∞
⎰
dy 1+x
2
手来呢