無穷积分.pptVIP

§12.1无穷积分 §12.2 瑕积分 小结 §12.3 无穷限的广义积分的审敛法 §12.4 瑕积分的审敛法 小结 数在闭区间 上可积, 则其积分值 是定义在 上的函数. 用积分形式 (1) 和 (2) 所定义的这函数 与 通称为定义在 上的含参量 x 的(正常)积分, 或简称为含参量积分. 二、含参量正常积分的连续性 定理12.1 ( ) 若二元函数 在矩 形区域 上连续, 则函数 在[ a , b]上连续. 证 设 对充分小的 (若 x 为区间的端点, 则仅考虑 ), 于是 由于 在有界闭区域 R上连续, 从而一致连续, 即对任意 总存在 对R内任意两点 只要 就有 所以由(3), (4)可得, 即 I (x) 在 上连续. 同理可证: 若 在矩形区域 R上连续,则含参 量 的积分 在[c ,d ]上连续. 注1 对于定理19.1的结论也可以写成如下的形式: 若 在矩形区域 R 上连续,则对任何 都有 这个结论表明,定义在矩形区域上的连续函数,其极 限运算与积分运算的顺序是可以交换的. 为任意区间. 注2 由于连续性是局部性质, 定理19.1中条件 定理12.2 ( ) 若二元函数 在区 域 上连续, 其 中c(x), d(x)为 上的连续函数, 则函数 在 上连续. 证 对积分(6)用换元积分法, 令 当 y 在c(x)与d(x)之间取值时, t 在 [0, 1] 上取值, 且 所以从(6)式可得 由于被积函数 在矩形区域 上连续, 由定理19.1得积分 (6)所确定的函数 F(x) 在[a, b]连续. 三、含参量正常积分的可微性 定理12.3 ( ) 若函数 与其偏导 数 都在矩形区域 上连续, 则函数 在 上可微, 且 证 对于 内任意一点x, 设 (若 x为 区间的端点, 则讨论单侧函数), 则 由微分学的拉格朗日中值定理及 在有界闭 域 R上连续(从而一致连续),对 只要 就有 这就证明了对一切 有 上连续, c(x), d(x)为定义在 上 定理12.4 ( 的可微性) 设 在 其值含于[ p, q]内的可微函数, 则函数 在 上可微, 且 证 把 F(x) 看作复合函数: 由复合函数求导法则及变动上限积分的性质, 有 注 由于可微性也是局部性质, 定理12.3 中条件 f 与 其中 为任意区间. 四、含参量正常积分的可积性 由定理12.1与定理12.2推得: 定理12.5 ( ) 若 在矩形区域 上连续,则 I (x)与 J (x)分别在 和 上可积. 这就是说: 在 连续性假设下, 同时存在两个 求积顺序不同的积分: 与 为书写简便起见, 今后将上述两个积分写作 与 前者表示 先对 y 求积然后对 x 求积, 后者则 表示求积顺序相反. 它们统称为累次积分. 在 连续性假设下,累次积分与求积顺序无关. 定理12.6 若 在矩形区域 上 连续, 则 证 记 其中 对于 则有 因为 与 都在R上连续, 由 定理12.3, 故得 因此对一切 有 当 时, 即得 取 就得到所要证明的(8)式. 解 记 由于 五、例 题 例1 求 都是 a 和 x 的连续函数, 由定理19.2 已知 I (a) 在 处连续, 所以 例2 讨论函数 的连续性. 解 易见 的定义域为 令 上连续, 因此 上连续, 从 而在 上连续. 由 的任意性可得 在 上连续. 例6 解 由洛必达法则知 根据极限审敛法2,所给广义积分发散. 例7 解 根据比较审敛原理, 特点: 1.积分区间为无穷; §12.5 欧拉积分 在本节中我们将讨论由含参量反常积分 定义的两个很重要的非初等函数 —— 一、 函数 函数 二、 函数和 函数. 三、 函数与 函数之间的关系 一． 函 数 含参量积分： 称为格马函数. 函数可以写成如下两个积分之和： 其中 时是正常积分,当 时是收敛 的无界函数反常积分(可用柯西判别法推得); 时是收敛的无穷限反常积分(也可用柯西 判别法推得). 所以含参量积分(1)在 时收敛, 即 函数的定义域为 . 1. 在定义域 内连续且有任意阶导数 在任何闭区间 上, 对于函数 当 时有 由于 收 敛, 从而 在 上也一致收敛, 对于 当 上连续. 用上述相同的方法考察积分 它在任何区间 上一致收敛. 于是由定理 19.10得到 在 上可导,