2、义4广义积分定义(续)另一种分类:第一类:积分区域无界,被积函数在其任何有界可测子集上可积第二类:积分区域有界例子:第一类:E=[1,);第二类:E=(0,1]为了记号上的简洁,以一维问题为例.5广义带参数积分设:ER,对于x,(x,y)关于y在E上(广义)可积,称F:R为带参数积分:在下面研究带参数积分的微积分性质的过程中,为叙述方便,取E=[0,),广义积分为第一类广义积分。6一致收敛一致收敛定义一致收敛的充要条件(等价叙述)7一致收敛定义如果就说积分在上一致收敛8一致收敛的
3、充要条件(A)古典说法:,A>0,当aA时(B),A>0,当aA时(C)9极限定理设R^d非空,a是的一个极限点.如果在上一致收敛,且存在(0,)上的函数h,满足(*)那么,收敛,且(**)10极限定理证明(1)由条件(*),h在(0,)上可测,并且b>0,h在(0,b)上可积;(2)h在(0,)上可积.只要证明a>0,当ba时,c>0,由在上一致收敛,就能够找到满足上述条件的a;(3)(**)成立.11极限定理的情形设关于x在(0,)上一致
4、收敛,且存在(0,)上的函数h,满足(*)那么,收敛,且(**)12广义带参数积分的微积分性质广义带参数积分的连续性广义带参数积分的积分换序广义带参数积分的可微性仍以为区间的情形来叙述相关的结果13广义带参数积分的连续性设C([0,)).如果在上一致收敛则参变量积分在上连续.证明这是极限定理的直接推论14广义带参数积分的积分换序设=[a,b],C([0,)).如果在上一致收敛.则证明:记,由在上一致收敛,A>0,使得当cA时15积分换序证明(续)因此由普通
5、参变量积分的结果所以令c,就得到所要的结果16广义带参数积分的可微性积分号下求导:设,xC([0,)),在上处处收敛,在上一致收敛,则因此17积分号下求导的证明任取a,x,由积分换序定理注意在上是t的连续函数,由微积分基本定理,结果得证18广义参变量积分例1计算解:定义由控制收敛定理可知(y)C([0,))C1(0,)并且19广义参变量积分例1(续)通过变量替换得到所以,注意因此,也就是,20广义参变量积分例2计算当x>0时,由广义积分换序定理21一致收敛准则Weie
6、rstrass判别法(优函数判别法,控制收敛判别法)Dirichlet判别法Abel判别法Dini判别法22Weierstrass判别法如果存在hL(0,)满足则在上一致收敛.证明:这由hL(0,)和一致收敛的定义直接就可以得到.23广义参变量积分例3证明积分>0,在[,)上一致收敛,但在(0,)上不一致收敛.证明:任取>0,则对于t[,),由控制收敛定理,在[,)上一致收敛.注意:由极限定理,如果在(0,)上一致收敛,则h(x)=1,在(0,)上可积(这是不对的).
7、24Dirichlet判别法设,gR,满足(1)对于x,(x,y)是上的递减函数;(2)(3)则在上一致收敛25Dirichlet判别法证明使用一致收敛的充要条件(A)来证明.任取,由条件(2),A>0,当y>A时,则当a>A,b>0时,x,由第二积分中值定理因此26广义参变量积分例4计算解:定义1.先证明(y)在[0,)上一致收敛.使用Dirichlet判别法,取u(x,y)=exp(-xy)/x,v(x,y)=sinx.因此,(y)在[0,
8、)上连续.这就要证的一致收敛性27广义参变量积分例4(续)2.当y>0时,(y)在(0,)上可导,并且因此所以注意(y)0(y),得到由此得到28广义参变量积分例5设a>0.证明:积分在(0,a)上不一致收敛,而在(a,)上一致收敛.证明:在(a,)上,利用Dirichlet判别法,取(x,y)=1/y,g(x,y)=sin(xy),在(0,a)上,对于任何A>0,取x(0,a):b=/(6x)>A,c=/(2x),