第十九篇 含参量积分.doc

第十九章 含参量积分 §1 含参量正常积分 从本章开始我们讨论多元函数的各种积分问题，首先研究含参量积分.设是定义在矩形区域上的二元函数.当取上某定值时，函数则是定义在上以为自变量的一元函数.倘若这时在上可积分，则其积分值是在上取值的函数，记它为，就有 （1） 一般地，设为定义在区域上的二元函数，其中，为定义在上的连续函数（图19-1），若对于上每一固定的值， 作为的函数在闭区间上可积分，则其积分值是在上取值的函数，记作时，就有 （2） 高等教育出版社图19-1 用积分形式所定义的这两个函数（1）与（2），通常为定义在上的含参量的（正常）积分，或简称含参量积分. 下面讨论含参量积分的连续性、可微性与可积性. 定理19.1(连续性) 若二元函数在矩形区域上连续，则函数 在上连续. 证 设，对充分小的，有（若为区间的端点，则仅考虑（或），于是 （3） 由于在有界闭域R上连续，从而一致连续，即对任给的正数，总存在某个整数，对内任意两点与，只要 就有 （4） 所以由(3),(4)可推得；当 这就证得在上连续. 同理可证：若在矩形区域上连续，则含参量的积分 （5） 在上连续. 对于定理19.1的结论也可以写成如下的形式：若在矩形区域上连续，则对任何，都有 这个结论表明，定义在矩形区域上的连续函数，其极限运算与积分运算的顺序是可以交换的. 定理19.2（连续性） 设二元函数在区域 上连续，其中，为上连续函数，则函数 （6） 在上连续 证 对积分（6）用换元积分法，令 当在与取值时，在上取值，且 所以从（6）式可得 =. 由于被积函数 在矩形区域上连续，由定理19.1得积分（6）所确定的函数在上连续. 下面讨论含参量积分的求导与积分运算的可交换性. 定理19.3（可微性） 若函数与其偏导数都在矩形区域上连续，则 在上可微，且 . 证 对于内任意一点，设（若为区间端点，则讨论单侧导数），则 由微分学的拉格朗日中值定理及在有界闭域R上连续（从而一致连续），对任给正数，存在正数，只要当时，就有 其中.因此 这就证得对一切，有 定理19.4（可微性）设在上连续，为定义在上其值含于内的可微函数，则函数 在上可微，且 （7） 证 把看作复合函数： 由复合函数求导法则及活动上限积分的求导法则，有 关于函数和的可积性，可由定理19.1与定理19.2推得： 定理19.5（可积性） 若在矩形区域上连续，则和分别在和可积. 这就是说：在连续性假设下，同时存在两个求积顺序不同的积分： 与. 为书写简便起见，今后将上述两个积分写作 和 前者表示先对求积然后对求积，后者则求积顺序相反，它们统称为累次积分，或更确切地称为二次积分. 下面的定理指出，在连续性假设下，累次积分与求积顺序无关. 定理19.6 若在矩形区域上连续，则 =. 证 记 其中，现在分别求与的导数。 对于，令，则有 . 因为与都在R上连续，由定理19.3， 故得，因此对一切，有 （为常数） 当时，，于是，即得 . 取，就得到所要证明的（8）式。 § 2 含参量反常积分 一 一致收敛性及其判别法 设函数定义在无界区域上，若对每个固定的，反常积分 （1） 都收敛，则它的值是在上取值的函数，当记这个函数为时，则有 ， （2） 称（1）式为定义在上的含参量的无穷限反常积分，或简称含参量反常积分. 如同反常积分与数项级数的关系那样，含参量反常积分与函数项级数在所研究的问题与论证方法上也极为相似. 首先引如含参量反常积分的一致收敛概念及柯西准则. 定义1 若含参量反常积分（1）与函数对任给的正数，总从在某一实数，使得当时，对一切，都有 即 则称含参量反常积分（1）在上一致收敛于，或简单地说含参量积分（1）在上一致