含参变量反常积分35页PPT
含参变量反常积分
|∫
d
d −η
f ( x, y )dy |< ε ，
则称含参量反常积分
∫
d
c
f ( x, y )dy 在 [a, b] 上一致收敛．
例6 证明 ∫
+∞
0
cos x 2 dx关于在上内闭一致收敛 p ( −1,1) p x
即证 ∀[ p0 , p1 ] ⊂ ( −1,1),
∫
+∞
0
∫
+∞
0
2 2 +∞ cos x 1 cos x cos x 2 dx = dx + ∫ dx = I1 + I 2 p p p ∫ 0 1 x x x
sin xy dy y
在，）上一致收敛（其中但在 [δ + ∞ δ > 0),
（，）内不一致收敛。 0 +∞
分析
A > A0 要证：∀ε > 0, ∃A0 > 0, 使得当时，
对一切，都有 x ∈ [δ , +∞ )
|∫
+∞ A
sin xy dy |< ε y
证
+∞
令 u=xy, 得
+∞ sin u sin xy ∫ A y dy = ∫ Ax u du 其中 A > 0. +∞ sin u 由于 ∫ du 收敛，故 0 u 就有 ∀ε > 0, ∃A0 > c，使得当时， A > A0 +∞ sin u |∫ du |< ε A u A0 取N = 时 则当A > N 时有 Aδ > A0， δ 对一切 x ∈ [δ，+ ∞ )， 有 Ax ≥ Aδ > A0， +∞ sin xy +∞ sin u 从而 | = ∫ A y dy | | ∫ Ax u du |< ε +∞ sin xy 所以 ∫ [δ + ∞ 一致收敛. dy 在，） 0 y
《反常积分课件》课件
瑕点在积分区间内的反常 积分定义为
对函数f(x)在[a, b]上，当存在c∈(a,b)使得 f(c)=∞时，求极限∫f(x)dx。
反常积分的分类
无穷区间上的反常积分分为两种：发 散和收敛。
瑕点在积分区间内的反常积分也分为 两种：瑕积分发散、瑕积分收敛。
03
CATALOGUE
反常积分的收敛性判断
收敛性的定义
收敛性的定义
一个反常积分 $int_{a}^{infty} f(x) dx$ 或 $int_{-infty}^{b} f(x) dx$ 在实数轴上的极 限存在时，称该反常积分是收敛的。
收敛与发散
如果反常积分存在极限，则称该反常积分是收敛的；否则，称该反常积分是发散的。
CATALOGUE
反常积分在数学分析中的地位和作用
在数学分析中的地位
反常积分是数学分析中一个重要的概念，它是对经典积分的扩展，使得积 分理论更加完整和广泛。
反常积分在解决一些经典积分无法处理的问题时发挥了关键作用，为数学 分析提供了更强大的工具。
反常积分是实数完备性的重要组成部分，对于实数理论的完善和发展具有 重要意义。
收敛与无穷小
当 $f(x)$ 在 $x to infty$ 或 $x to -infty$ 时，如果 $f(x)$ 是无穷小量，则反常积分 可能收敛。
收敛性的判断方法
判断方法一
判断方法二
判断方法三
通过比较判别法来判断反常积分的收 敛性。如果 $f(x) leq g(x)$ 且 $int_{a}^{infty} g(x) dx$ 是收敛的， 那么 $int_{a}^{infty} f(x) dx$ 也一定 是收敛的。
数学分析3课件：19-2 含参量反常积分
sin
bx
x
sin
ax
abcosxydy，故
I 0 e px(abcosxydy)dx 0 dxabe pxcosxydy.
由于e pxcosxy e px及0 e pxdx收敛,根据魏尔斯特拉斯M判别法,
0 e pxcosxydx在区间[a,b]上一致收敛.
又e pxcosxy在[0,) [a,b]上连续,故由定理19.11,积分换序值不变,
(x,
y)dx
c
dyab
f
(x,
y)dx.
证毕
定理 19.12 设f (x, y)在区域[a,) [c,)上连续, 若
(i) a f (x, y)dx对于y在任何闭区间[c, d ]上一致收敛, c f (x, y)dy 对于x在任何闭区间[a, b]上一致收敛.
(ii) 下列积分有一个收敛 :
0
e
px
sin ax x
dx
arctan
a p
（p 0）.
e px
sin ax 在0 x
p
连续, 0 e px
sin ax x
dx一致收敛(0
sin ax x
dx
在0 p 上一致收敛, e px关于x单减且 | e px | 1,阿贝尔判别法)
0 e px
sin ax dx在0 x
p
上连续, 从而
0
sin ax dx x
lim
p0
0
e
px
sin ax x
dx
lim
p0
arctan
a p
2
sgn
a.
练习4
计算
I
0
ex
§19.2.含参量反常积分
在 (, ) 上一致收敛.
证 因为，有
cos xy 1 | | 2 1 x 1 x2
并且反常积分
所以
y
0
1 dx 2 1 x
收敛
0
cos xy dx 在 (, ) 上一致收敛. 2 1 x
2015年11月23日星期一 13
yx 练习2、试证 e sinxdx(0 c y )一致收敛 . 0
f ( x , y )dy
都收敛， 由反常积分收敛的定义，
即 0, N ( , x) c, 使得 M N ,
M c
M
lim
|
M
f ( x , y )dy I ( x )
c
f ( x , y )dy I ( x ) |
如果存在一个与 x I无关的
其中 N 与 x 有关.
A
0
sin xy dy在 （ 0， ） 内 不 一 致 收 敛 . y
2015年11月23日星期一
首页
9×
练习1 试 证
0
xe xy dy
(1)在[ , )上 一 致 收 敛 (其 中 0)； （2） 在(0, )内 不 一 致 收 敛 .
证： (1)
设含参量反常积分 两个条件之一，则
c
f ( x,y ) g( x,y )dy ( x I )满足如下 f ( x,y ) g( x,y ) dy 在I上一致收敛：
c
⑴（Abel判别法） ; f ( x, y)dy在I上一致收敛
c
g( x, y)对x I关于y单调，且在 I上一致有界 .
§19.2含参变量的反常积分
一般地, 取M n max n, A2 n1 , (n 2), 则有
A2 n A2 n1 M n及xn [a, b], 使得 :
A2 n
A2 n 1
f ( xn , y)dy 0
()
由上述所得到的数列 An 是递增的,且 lim An n
n
f ( x, y)dy A
n 1
An 1
An 1 逐项求导 I ( x) f ( x, y )dy n1 An n 1
An 1 An
An
注: 其中 un ( x)
f ( x, y )dy
Ak 1 Ak
n 1
An 1 An
f ( x, y )dy lim
n
n
f ( x, y )dy
c
lim
k 1 An 1
n c
f ( x, y )dy
f ( x, y)dy
cos xy dx 在 (, ) 上一致收敛. 例 2 证明 0 1 x 2
证 : y (, ), 有 :
1 而 dx收敛, 2 0 1 x
由M 判别法,
cos xy 1 , 2 2 1 x 1 x
cos xy dx在(, )内一致收敛. 0 1 x 2
sin u du u
取A0 N 1 N , 取x0
2( N 1)
(0, ), 使 :
sin u p A0 x0 u du 2 0 . A0 (此时,0 A0 x0 ) 2 所论积分在(0, )非一致收敛.
§19.2 含参量反常积分 数学分析课件(华师大 四版) 高教社ppt 华东师大教材配套课件
一、含参量反常积分二、含参量反常积分三、含参量反常积分的性质*点击以上标题可直接前往对应内容含参量反常积分一致收敛性(,)f x y [,)R I c =⨯+∞设函数定义在无界区域上,其中I 是任意区间. ()(,)d (1)cx f x y y Φ+∞=⎰都收敛，称(1)为定义在I 上的含参量x 的无穷限反常积分,或称含参量反常积分.后退前进目录退出,x I ∀∈反常积分若()x I Φ是区间上的函数.则定义1若含参量反常积分(1)与函数Φ(x )对0,ε∀>,N c ∃>M N >,x I ∈使得当时, 对一切都有(,)d (),Mcf x y y x εΦ-<⎰即(,)d ,Mf x y y ε+∞<⎰或简单地说含参量积分(1)在I 上一致收敛.则称含参量反常积分(1)在I 上一致收敛于(),x Φ()(,)d cx f x y y Φ+∞=⎰注1由定义, 在I 上一致收敛于充要条件是{}()sup(,)d 0().Ax JA f x y y A η+∞∈=→→+∞⎰的充要条件是000,,,M c A M x J ε'∃>∀>∃>∈及00(,)d .A f x y y ε+∞'≥⎰()(,)d cx f x y y Φ+∞=⎰注2由定义, 在I 上不一致收敛使得例1讨论含参量反常积分ed ,(0,)xyx y x +∞-∈+∞⎰的一致收敛性.解若0,,x u xy 令>=则e d e d e ,xy u xA AxAx y u +∞+∞---==⎰⎰于是(){}0()suped 1,xyAx A x y η+∞-∈+∞==⎰，因此, 含参量积分在(0,)+∞上非一致收敛.{}[,)()suped xyAx A x yδη+∞-∈+∞=⎰因此, 该含参量积分在[,)δ+∞上一致收敛.而对于任何正数, 有δe0(),AA δ-=→→+∞定理19.7（一致收敛的柯西准则）含参量反常积分一致收敛性的判别含参量反常积分(1)在[,]a b 上一致收敛的充要[,],x a b ∈对一切的都有21(,)d .(3)A A f x y y ε<⎰条件是:0,,N c ε∀>∃>12,A A N >使得当时,定理19.8+()=sup (,)d Ax IF A f x y y其中∞∈⎰充要条件是含参量反常积分在I 上一致收敛的(,)d cf x y y +∞⎰→∞lim ()=0,A F A证作变量代换,u xy =得sin sin d d , (5)A Ax xy uy u y u +∞+∞=⎰⎰0,A >其中0sin d uu u+∞⎰由于收敛, ,εA M '>总存在某一实数M , 当时就有sin d .A uu uε+∞'<⎰但在内[,)(0),δδ上一致收敛其中+∞>在+∞(0,)不一致收敛.例2证明含参量反常积分0sin d (4)xyy y+∞⎰故对任给的正数,MA M A δδ则当时,>>0,x δ对∀≥>取由(5) 式sin d ,A xyy yε+∞'<⎰所以(4)在0x δ≥>上一致收敛.又因为+0)sin sin lim d d A A u uu u u u+∞+∞→=⎰⎰++(0,+)(0,+)sin sin ()=sup d =sup d A Axx x xy uF A y uy u ∞∞∈∞∈∞⎰⎰+∞≥⎰0sin d =.2u u u π(在本节例6 中证明.)所以根据定理19.8，(4)在(0,)+∞上不一致收敛.若对任意[,],a b I ∈含参量积分(1) 在[a, b ]上一致收敛,则称(1)在I 上内闭一致收敛.所以，积分4在(0,+)∞上内闭一致收敛.定理19.9111(,)d ()(7)n nA n A n n f x y y u x +∞∞===∑∑⎰函数项级数+∞1{}(n A A 其中=对任一趋于的递增数列),c 在I 上一致收敛, 其中1()(,)d .n n A n A u x f x y y +=⎰收敛之间的联系有下述定理.关于含参量反常积分一致收敛性与函数项级数一致含参量反常积分(1)在I 上一致收敛的充要条件是:0,ε∀>,M c ∃>上一致收敛, 故由(1)在I 又由(),n A n →+∞→∞所以对正数M , 存在正整数N ,m n N >>.m n A A M >>只要当时, 就有由(8)对一切,x I ∈就有11()()(,)d (,)d m n m nA A n m A A u x u x f x y y f x y y++++=++⎰⎰ 1(,)d .m nA A f x y y ε+=<⎰这就证明了级数(7)在I 上一致收敛.证必要性A A M '''>>时，,x J ∈使得当对一切总有(,)d .(8)A A f x y y ε'''<⎰0(,)d .A A f x y y ε''''≥⎰1211max{1,},M c A A M 则存在=>>1,x I 及∈现取使得2110(,)d .A A f x y y ε≥⎰一般地, 取-=≥2(1)max{,}(2),n n M n A n 则有221,n n n n A A M x I 及->>∈使得2210(,)d .(9)n n A n A f x y y ε-≥⎰*充分性00,ε∃>,M c ∀>A A M x I 和，''''∃>>∈对使得用反证法. 假若(1)在I 上不一致收敛,则{}n A lim n n A →∞=由上述所得到的数列是递增数列, 且+∞∞===∑∑⎰111()(,)d .n nA n A n n u x f x y y 0,ε,n N >由(9)式知存在正数对任何正整数N , 只要就有某个0,x I ∈使得+=≥⎰21220()(,)d .n nA n n n A u x f x y y ε这与级数(7)在I 上一致收敛的假设矛盾.现在考察级数.+∞反常积分在I 上一致收敛.故含参量注由定理19.9, 含参量反常积分可看作连续型的函函数项级数.魏尔斯特拉斯M 判别法设有函数g (y ), 使得(,)(),(,)[c,).f x y g y x y I ≤∈⨯+∞若()d (,)d ccg y y f x y y I 收敛,则在+∞+∞⎰⎰上一致收敛.()d c g y y 收敛,+∞⎰12,,,N c A A N ∃>∀>证由于21()d .A A g y y ε<⎰因此12,[,],A A N x c d 及∀>∈2211(,)d ()d .A A A A f x y x g y y ε≤<⎰⎰从而(,)d c f x y y I 在+∞⎰上一致收敛.狄利克雷判别法设(i) 对一切实数,N c >含参量正常积分(,)d N cf x y y ⎰对参量x 在I 上一致有界, ,N c >,x I ∈及一切都有(,)d ;N cf x y y M ≤⎰,x I ∈(,)g x y (ii)对每一个函数关于y 单调且当则含参量反常积分(,)(,)d cf x yg x y y+∞⎰在I 上一致收敛.时, 对参量x , (,)g x y 一致收敛于0,y →+∞即存在正数M , 对一切阿贝尔判别法设(i)(,)d cf x y y I 在上一致收敛；+∞⎰,x I ∈(,)g x y (ii) 对每一个函数为y 的单调函数, 且(,)g x y I 对参量x ,在上一致有界,则含参量反常积分(,)(,)d cf x yg x y y +∞⎰在I 上一致收敛.例3 证明含参量反常积分20cos d (10)1xyx x +∞+⎰在(,)-∞+∞上一致收敛.证由于对任何实数y 有2cos 1xy x +及反常积分20d 1xx+∞+⎰收敛, 别法, 故由魏尔斯特拉斯M 判21,1x≤+(,)-∞+∞上一致收敛.含参量反常积分(10)在证由于反常积分0sin d xx x+∞⎰收敛(当然, 对于参量y ,[0,]d 它在上一致收敛), 0sin e d (11)xy x x x+∞-⎰在[0,]d 上一致收敛.例4 证明含参量反常积分[0,]x d ∈个单调, (,)e1.xyg x y -=≤故由阿贝尔判别法即得含参量反常积分(11)在[0,]d 上一致收敛.(,)e xyg x y -=对每一函数0,0y d x ≤≤≥都有且对任何例5 证明: 若(,)[,][,)f x y a b c ⨯+∞在上连续, 又(,)d c f x y y +∞⎰(,)d cf x y y+∞⎰在[,)a b 上收敛, 但在处发散, 则x b =在[,)a b 上不一致收敛.0,ε>,M c >任给总存在,A A M '>当时对一切[,)x a b ∈恒有(,)d .A Af x y y ε'<⎰证用反证法. [,)a b 上一致收敛, 假若积分在则对于(,)[,][,]f x y a b A A '⨯在(,)d A Af x y y'⎰因上连续, 所以x 是的连续函数. A A M '>>时,,x b -→得到当在上面不等式中令(,)d .A Af b y y ε'≤⎰ε(,)d cf x y y +∞⎰x b =而是任给的, 因此在处收敛,这与假设矛盾. 不一致收敛.(,)d c f x y y +∞⎰[,)a b 在上所以积分证若[,](0,+),a b ⊂∞21sin d (12)1y xy yy +∞+⎰在[0,+)∞上内闭一致收敛.例6 证明含参量积分则对任意[,]x a b ∈，cos sin d =NNaa xy y xy y x -⎰2a≤而21y y+关于y 单调递减,且2lim 0(,1y y x y 对一致）→∞=+因此, 根据狄利克雷判别法，含参量积分(12)在[,]a b 上一致收敛.[0,+)∞也即在上内闭一致收敛.定理19.10（含参量反常积分的连续性）含参量反常积分的性质设(,)[,)f x y I c ⨯+∞在上连续, ()(,)d (13)cx f x y y Φ+∞=⎰在I 上一致收敛, 在I 上一致收敛.+∞{}n A 证由定理19.9, 对任一递增且趋于的数列1(),A c =函数项级数111()(,)d ()(14)n nA n A n n x f x y y u x Φ+∞∞====∑∑⎰若含参量反常积分则在I 上连续.()x Φ()n u x I 都在上连续. 定理, (,)[,)f x y I c ⨯+∞在上连续, 又由于根据函数项级数的连续性故每个知在I 上连续.()x Φ设(,)[,)f x y I c ⨯+∞在上连续, ()(,)d (13)cx f x y y Φ+∞=⎰在I 上一致收敛, 若含参量反常积分则在I 上连续. ()x Φ推论这个定理也证明了在一致收敛的条件下, 极限运算与积分运算可以交换:0lim (,)d (,)d cc x x f x y y f x y y+∞+∞→=⎰⎰lim (,)d .(15)cx x f x y y +∞→=⎰设(,)[,)f x y I c ⨯+∞在上连续, ()(,)d cx f x y yΦ+∞=⎰在I 上内闭一致收敛, 若则在I 上连续. ()x Φ定理19.10（含参量反常积分的可微性）(,)(,)x f x y f x y 与[,)I c ⨯+∞设在区域上连续.()(,)d cx f x y y Φ+∞=⎰在I 上收敛,(,)d x c f x y y +∞⎰在I上一致收敛, ()(,)d (16)x cI x f x y y+∞'=⎰若+∞1{}(),n A A c =证对任一递增且趋于的数列令1()(,)d .n nA n A u x f x y y +=⎰则在I 上可微，且()x Φ由定理19.3推得1()(,)d .n nA nx Au x f x y y +'=⎰+∞⎰(,)d cf x y y 由在I 上一致收敛及定理19.9, 项级数111()(,)d n nA n x A n n u x f x y y +∞∞=='=∑∑⎰在J 上一致收敛,可得函数()x Φ'于是d (,)d (,)d ,d cc f x y y f x y y x x +∞+∞∂=∂⎰⎰111()(,)d n nA nx A n n u x f x y y +∞∞=='==∑∑⎰(,)d ,x cf x y y +∞=⎰或写成推论(,)(,)x f x y f x y 与[,)I c ⨯+∞设在区域上连续.()(,)d cx f x y y Φ+∞=⎰在I 上收敛,(,)d x c f x y y +∞⎰在I上内闭一致收敛, +∞'=⎰()(,)d .x cI x f x y y 若则在I 上可微，且()x Φ最后结果表明在定理条件下, 求导运算和积分运算可以交换.定理19.12（含参量反常积分的可积性）()(,)d cx f x y y +∞=⎰Φ[,]a b 在上一致收敛,+∞+∞=⎰⎰⎰⎰d (,)d d (,)d .(17)bbaccax f x y y y f x y x [,]a b 在上可积.又由定理19.10 的证明中可以看到, 函数项级数(14)在[,]a b ()[,]n u x a b 在上一致收敛, 且各项上连续,证由定理19.10知道在[,]a b 上连续, ()x Φ[,][,)a b c ⨯+∞上连续, 若设在(,)f x y [,]a b 上可积, 且则在()x Φ()x Φ从而1()d ()d bbn a an x x u x x Φ∞==∑⎰⎰+∞==∑⎰⎰11d (,)d .(18)n nA bA an y f x y x 这里最后一步是根据定理19.6关于积分顺序的可交换性. ()d d (,)d .b bacax x y f x y x Φ+∞=⎰⎰⎰这就是(17)式.因此根据函数项级数逐项求积定理, 有(18)式又可写作11d (,)d n nbA aA n x f x y y+∞==∑⎰⎰定理19.13(,)d a f x y x y +∞⎰关于[,)c +∞(i) 在内闭上一致收敛,(,)d cf x y y +∞⎰[,)a +∞关于x 在内闭上一致收敛;(ii)积分d (,)d d (,)d (19)acc ax f x y y y f x y x 与+∞+∞+∞+∞⎰⎰⎰⎰中有一个收敛.d (,)d d (,)d (20)accax f x y y y f x y x .+∞+∞+∞+∞=⎰⎰⎰⎰(,)f x y [,)[,)a c +∞⨯+∞设在上连续, 且则必有d (,)d acx f x y y +∞+∞⎰⎰也收敛. d c >当时,d (,)d d (,)d dd c a a cI y f x y x x f x y y+∞+∞+∞=-⎰⎰⎰⎰d (,)d d (,)d ddcaacy f x y x x f x y y+∞+∞=-⎰⎰⎰⎰d (,)d adx f x y y+∞+∞-⎰⎰证不妨设(19) 中第一个积分收敛,由此推得根据条件(i)及定理19.12,有d (,)d d a dI x f x y y+∞+∞=⎰⎰d (,)d d (,)d .(21)AadAdx f x y y x f x y y +∞+∞+∞≤+⎰⎰⎰⎰由条件(ii), 对于任给的0,,G a A G ε>>>有使当时,+∞+∞<⎰⎰d (,)d .2A d x f x y y ε有(,)d .2()df x y y A a ε+∞<-⎰把这两个结果应用到(21)式, 得到,22d I εεε<+=使得当时有d M >选定A 后, 由(,)d cf x y y +∞⎰的一致收敛性, 存在M >c ,即lim 0,d d I →∞=这就证明了(20)式.例6计算0sin sin e d (0,).pxbx axI x p b a x+∞--=>>⎰解因为sin sin cos d ,b a bx axxy y x-=⎰所以sin sin ed pxbx axI xx+∞--=⎰()0ecos d d b pxaxy y x+∞-=⎰⎰0d ecos d .(22)bpxax xy y +∞-=⎰⎰ecos epxpxxy --≤0ed pxx +∞-⎰由于及反常积分收敛, 据M 判定法, 含参量反常积分ecos d pxxy x+∞-⎰[,]a b 在区间上一致收敛.[0,)[,]a b +∞⨯上连续, 的顺序, 积分I 的值不变. ecos pxxy -在由于于是d e cos d b pxaI y xy x +∞-=⎰⎰arctan arctan .b ap p=-根根据定理19.12交换积分(22)22d b apy p y=+⎰例7 计算0sin d .axx x+∞⎰解在上例中, 令b = 0, 0sin ()e d arctan (0).(23)px ax a F p x p x p+∞-==>⎰由阿贝尔判别法可得上述含参量反常积分在0p ≥上一致收敛. 0sin (0)d .axF x x+∞=⎰又由(23)式00(0)lim ()lim arctan sgn .2p p a F F p a p ++→→π===则有()0F p p ≥在上连续, 且于是由定理19.10,例8 计算20()e cos d .(24)x r rx x ϕ+∞-=⎰()22e cos d e sin d .(25)x x rrx x x rx x +∞+∞--'=-⎰⎰由于---≤≥-∞<<+∞22esin e0,x x x rx x x r 对一切参量反常积分(25)在-∞+∞(,)上一致收敛.解考察含参量反常积分成立2ed x x x +∞-⎰收敛, 及反常积分根据M 判定法, 含综合上述结果由定理19.11即得2()esin d xr x rx x ϕ+∞-'=-⎰--→+∞⎛⎫=- ⎪⎝⎭⎰220011lim e sin e cos d 22A Ax x A rx r rx x +∞-=-=-⎰20e cos d ().22x r rrx x r ϕ于是有2ln ()ln ,4r r c ϕ=-+-=24()e .r r c ϕ20π(0)e d ,2x x ϕ+∞-==⎰(0),c ϕ=从而又由(25)式,24π()e .2r r ϕ-=π,2c =因此得到所以20limesin d Ax A x rx x-→+∞=-⎰含参量无界函数的反常积分设(,)[,][,)f x y R a b c d 在区域=⨯上有定义. 某些值, y = d 为函数(,)f x y 的瑕点, (,)d (26)dcf x y y ⎰为含参量x 的无界函数反常积分, 常积分. [,]x a b 在上取值的函数. 积分值是若对x 的则称[,],x a b ∈积分(25)都收敛, 则其若对每一个含参量反常积分或简称为含参量反(25)在上一致收敛的定义是:[,]a b定义2,ε,d c δ<-对任给正数总存在某正数使得(,)d ,dd f x y y ηε-<⎰则称含参量反常积分(25)在[,]a b 上一致收敛．参量无界函数反常积分的一致收敛性判别法, 并讨读者可以参照无穷限反常积分的办法建立相应的含论它们的性质.都有0ηδ<<[,],x a b ∈时, 对一切当*例9讨论含参量无界函数反常积分1011sin d xx x α⎰的一致收敛区间.解作变换1,t x =得1201111sin d =sin d .x t t x x t αα+∞-⎰⎰2110,sin dt t t αδ+∞-∀>⎰(,2]δ-∞-(1)在上一致收敛.(i)1(,2]1,sin dt 2;N N t αδ∀∈-∞->≤⎰及有(ii) 211(,2],0,.t t tαδαδ-∀∈-∞-≤→→+∞21t α-0,单调一致趋于由狄利克雷判别法,1201111sin d =sin d x t t x x tαα+∞-⎰⎰(,2]δ-∞-在上一致收敛.因此(2)F 因为不存在,所211()sin dt ,F t t αα+∞-=⎰为此设+∞-<⎰2112,sin dt b t tα[,2)b (2)任取在上不一致收敛.211sin dt t t α+∞-⎰[,2)b 在上不一致收敛.以复习思考题(,)()g x y g y =x +c (,)d g x y y ∞⎰1. 若与无关, 在区间I 上收敛, 则+c (,)d g x y y ∞⎰在任何区间上一致收敛,对吗?()(,)d c x f x y y ϕ+∞=⎰(,)a b 2. 若在上一致收敛, 且(,)f x y [,][,)a b c ⨯+∞在上连续, 是否一定有()(,)d c x f x y y ϕ+∞=⎰[,]a b 在上一致收敛.。
数学分析ch15-2含参变量的反常积分
A
g(A, y) A f (x, y)dx g(A, y) f (x, y)dx 2L,
存在。如果对于任意 0，存在与 y 无关的 0 ，使得当 0 时， 对所有 y [c, d] 成立
b f (x, y)dx I ( ， b
则称
b
a
f
(x,
y)dx
关于
y
在[c, d ] 上一致收敛（于
I ( y)
）。在参变量明确时，
也常简称
dx
在[0,)
上一
致收敛。
定理 15.2.3 设函数 f (x, y) 和 g(x, y) 满足以下两组条件之一，则含
参变量的反常积分
a f (x, y)g(x, y)dx
关于 y 在[c, d ] 上一致收敛。
1．（Abel 判别法）
（1）
a
f
(x,
y)dx
关于
y
在[c,
d
]
上一致收敛；
（2） g(x, y) 关于 x 单调，即对每个固定的 y [c, d] ， g 关于 x 是单
y)dx
在[c,
d ] 上一致收敛。
证
因为
a
F ( x)dx
收敛，由反常积分的
Cauchy
收敛原理，对于任
意给定的 0，存在正数 A0 ，使得对于任意的 A, A A0 ，成立
A F(x)dx 。 A
因此当 A, A A0 时，对于任意 y [c, d] ，不等式
A
A
A f (x, y)dx A F(x)dx
y 无关的正数 A0 ，使得对于任意的 A, A A0 ，成立
A f (x, y)dx ， y [c, d] 。 A
第十二章反常积分与含参变量的积分
Ak
f ( x)dx
证明提示:
f ( x)dx lim
n
f ( x)dx
Ak 1 Ak
lim
k 1
f ( x)dx
k 1
Ak 1
Ak
f ( x)dx
前页 后页 返回
四、无穷积分的判别法
定理1
a
| f ( x) | dx 收敛
u
u
a
| f ( x) | dx 有上界。
a
| f ( x) | 注意 lim l ， ( l ) g( x ) | f ( x ) | ( l ) g( x ) 则 x g ( x )
前页 后页 返回
由
a
dx 当 p 1 时，收敛； (a 0) p x 当 p 1 时，发散．
u
由函数极限的柯西准则 ，得 定理 11.1（Cauchy准则）
a
f ( x )dx 收敛 0, G a , u1 , u2 G , 有
a
u2
f ( x )dx f ( x )dx
a
u1
u
u2
1
f ( x )dx .
前页 后页 返回
性质1
若
a f ( x )h( x )dx h(a )a
b b a a
b
f ( x )dx [ g(a ) g(b)] f ( x )dx.
a b a
f ( x )h( x )dx f ( x ) g( x )dx g(b) f ( x )dx, [ g(a ) g(b)] f ( x )dx f ( x ) g( x )dx g(b) f ( x )dx,
含参变量的反常积分
条件是: 对任一趋于 的递增数列{ An } (其中A1
c), 函数项级数
n1
An1 An
f ( x , y)dy
un ( x)
n1
(7)
在 J 上一致收敛,
其中 un( x)
An1 An
f ( x, y)dy.
前页 后页 返回
证 必要性 由(1)在 J 上一致收敛, 故 0, M c,
或称含参量反常积分.
前页 后页 返回
定义1 若含参量反常积分(1)与函数 I(x)对 0 ,
N c, 使得当 M N 时, 对一切 x J, 都有
M
c f ( x, y)dy I( x) ,
即
M f ( x, y)dy ,
则称含参量反常积分(1)在 J上一致收敛于I(x), 或简 单地说含参量积分(1)在 J 上一致收敛.
因此, 含参量积分在 (0, ) 上非一致收敛.
而对于任何正数 , 有
( A) sup xexydy e A 0 ( A ), x[ ,) A
因此, 该含参量积分在 [ , ) 上一致收敛.
前页 后页 返回
二．含参量反常积分一致收敛性的判别
定理19.7 (一致收敛的柯西准则) 含参量反常积分(1)
在[a, b]上一致收敛的充要条件是: 0,N c,
使得当 A1, A2 N 时, 对一切的 x [a, b], 都有
A2 f ( x, y)dy . A1
(3)
前页 后页 返回
证 必要性
若I( x) f ( x, y)dy 在 J 上一致收敛, 则 c 0, N c, A N 及 x J , 有
使得当 A A M时，对一切 x J, 总有
含参变量反常积分
(ii) x [a,b],函数g( x, y)为y的单调函数， 且对参量x,
g( x, y)在[a,b]上一致有界， 则含参量反常积分
c f ( x, y)g( x, y)dy
在[a, b]上一致收敛.
二、一致收敛积分的性质
1. 连续性定理
设 f (x, y) 在 {(x, y) | a x , c y d} 上连续，
解 因为 | e x sin x | e0x
而积分 e0 x dx 收敛， 0
所以 e x sin x dx 在 [0,) (0 0) 内一致收敛 0
狄利克雷判别法;
若 (i) N c,含参量反常积分 N f (x, y)dy c
d
f (x, y) dx
f (x, y) dx
dy a
a y
证明 因为 f y (x, y) 在 [a, ; c, d] 连续，由连续性定理
( y) a
f y (x, y) dx 在
[c, d ]连续，
沿区间 [c, y] (c y d) 积分 ( y) ，由积分顺序交
证 （1）用分段处理的方法.
A 1， y 0 ， 令 yx t 得
| eyx2 sin ydx |
| sin y
et2 dt |
A
y yA
|
sin
y
|
et2 dt
| sin y |
y0
2
y
因为 lim sin y 0 y y0
则 0， 0 ，当 0 y 时，有
y)dy
在[a, b]上一
含参变量反常积分
2、 含参量反常积分一致敛收的定义
对于含参量反常积分c f (x, y)dy 和函数 I (x)
若 0 , N 0 , M N , x [a ,b ]都 , 有 f(x,y)dy, M
则称含参量反常积分 c
f (x, y)dy在 [a,b] 上一致收敛于 I ( x) .
可以交换.即
df(x,y)d y f(x,y)d.y
dc x
c x
• 可积性
设 f(x,y)在[区 a ,b ] [c 域 ,)上 ， 连 若 I(x续 ) f(x,y)dy
在 [a,b]上一,则 致 I(x)在 收 [a,b]上 敛可 ，且 积c
b
b
adcxf(x ,y )d y c dayf(x ,
在
[c, d ]
内一致收敛，所以
a
0 , A 0 a , A A 0 , y [ c ,d ]|,A f ( x ,y ) d | x
因此，当 y[c,d] 时， f(x,yy)dx A
又 f (x, y) 在 [a,A;c,d] 上连续，所以
A
f (x, y)dx
含参量反常积分 e ux2dx 0
在 [a,) 上一致收敛 (a 0).
例4 证明
（1） eyx2 sin ydx 关于 y [0,) 一致收敛； 1
（2） e yx2 sin ydy 关于 x [0,) 不一致收敛. 1
证 （1）用分段处理的方法.
A 1， y 0 ， 令 yx t 得
ac
c
a
则另一个也收敛 ,且
a dcxf(x ,y )d y c dayf(x ,y )d .x
例 1 :
含参变量反常积分
知 难
设 f (x, y)定义在无界区域 R(x, y) a x b,c y
而
若对每一个固定的
x [a,b], 反常积分
c f (x, y)dy
进
,
都收敛,则它的值是 x 在区间 [a,b] 上取值的函数,
记作: I(x)
f (x, y)dy,
x [a,b]
第十八章 含参变量的反常积分
知
本节研究形如
难
a f (x, y) dx
而 进
,
b
f (x, y) dx,
( b为瑕点 )
a
无
的含参变量广义积分(无穷限积分，无界
坚
函数的积分)的连续性、可微性与可积性。
不
摧
2020年2月12日星期三
1
第1页/共36页
第十八章 含参变量的反常积分
一.含参量反常积分及一致收敛定义
的柯西c 准则，有
进
,
A
0,
A0 c,
A, A A0,
| F( y) dy | A
从而 x [a, b]
无 坚
A
A
A f (x, y)dy A F( y)dy
不 摧
所以 f (x, y) dy 关于 x [a, b] 一致收敛。 c
A f (x, y)dy 或
f (x, y)dy ,
A
A
无 坚
则称含参量反常积分 f (x, y)dy在 [a,b] c
不 摧
上一致收敛于I (x).
2020年2月12日星期三
3
第3页/共36页
第十八章 含参变量的反常积分
6_5含参积分与反常积分
含参变量的积分与反常积分
一、被积函数含参变量的积分 二、积分限含参变量的积分 三、含参变量的反常积分* 四、反常重积分 *
一、被积函数含参变量的积分
设 f ( x, y ) 是矩形域 D [a, b] [ , ]
上的连续函数,
则积分
f ( x, y ) d y 确定了一个定义在[a, b]上的关于
设 f ( x, y ) 为定义在区域
y
y (x)
( x) y ( x)
D:
a xb
D
y (x)
上的连续函数, 则
( x)
( x) ( x)
o
f ( x, y ) d y
a
b x
也是参变量 x 的函数 , 其定义域为 [ a , b ] .
利用前面的定理可推出这种含参积分的性质.
( x) g ( x)
f x ( x, y ) d y
此定理说明, 被积函数及其偏导数在闭矩形域上连续 时, 求导与求积运算是可以交换顺序的 .
例５ １求含参变量积分 arctan .
0 1
积分限含参变量的积分
在实际问题中, 常遇到积分限含参变量的情形, 例如,
b
x y 1
y 1
1
dy
0
a
b
1 y 1
d y ln
b 1 a 1
定理3. (可微性) 若 f ( x, y ) 及其偏导数 f x ( x, y ) 都在
矩形域 D [a, b] [ , ]上连续 , 则 ( x )
f ( x, y ) d y
反常积分与含参量积分-PPT精品文档
设函数 f ( x ) 在区间( , ) 上连续 , 如 果 广义 积 分 f ( x )dx 和 0
0
f ( x )dx 都收 敛 ， 则
称上述两广义积分之和为函数 f ( x ) 在无穷区间
( , ) 上的广义积分，记作
0
f ( x )dx .
0
b
a
b
. lim arctan alim arctan b a b 2 2
例2 计算广义积分 2 解
1 1 sin dx . 2 x x
2
1 1 1 1 sin dx sin d 2 2 x x x x
a
b
( ,b] 上 限 为 函 数f (x)在 无 穷 区 间 的 广 义 积
分 ， 记 作 . f (x)dx
b
lim f(x ) dx f (x)dx a a
b
b
当 极 限 存 在 时 ， 称 广 义 积 分 收 敛 ； 当 极 限 不 存 在 时 ， 称 广 义 积 分 发 散 .
dx . 2 1 x
0 dx dx dx 1 x 2 1 x2 0 1 x2
b 1 1 lim dx lim dx 2 2 a a1 b 0 1 x x
0
lim arctan x lim arctan x 0 a
b
在区间 ( a , b ] 上的广义积分，记作 a f ( x ) dx .
lim f ( x ) dx a f (x)dx 0a
b
b
当 极 限 存 在 时 ， 称 广 义 积 分 收 敛 ； 当 极 限 不 存 在 时 ， 称 广 义 积 分 发 散 .