含参量无界函数的四反常积分.ppt

由定理19.3推得 由 在J上一致收敛及定理19.8, 可得函数 项级数 在 J上一致收敛, 因此根据函数项级数的逐项求导 定理, 即得 或写作 最后结果表明在定理条件下, 求导运算和积分运算 可以交换. 上连续,若 在 上一致收敛, 则I (x)在 上可积, 且 上可积. 又由定理19.9的证明中可以看到, 函数项级数(13)在 上一致收敛, 且各项 上连续, 因此 证 由定理19.9知道 在 上连续, 从而I (x)在 定理19.11 (含参量反常积分的可积性) 设 在 返回 后页 前页 四、含参量无界函数的反常积分 三、含参量反常积分的性质 二、含参量反常积分一致收敛性的判别 一、含参量反常积分的一致收敛性 §2 含参量反常积分 一．含参量反常积分一致收敛性 设函数 定义在无界区域 上, 其中 是任意区间. 若 反常积分 都收敛，则 上的函数. 称(1)为定义在 上的含参量 x 的无穷限反常积分, 或称含参量反常积分. 定义1 若含参量反常积分(1)与函数 I(x)对 使得当 时, 对一切 都有 即 则称含参量反常积分(1)在 上一致收敛于I(x), 或简 单地说含参量积分(1)在 上一致收敛. 注1 由定义, 在 上一致收敛的 充要条件是 注2 由定义, 在 上不一致收敛 的充要条件是 例1 讨论含参量反常积分 的一致收敛性. 解 若 则 于是 因此, 含参量积分在 上非一致收敛. 因此, 该含参量积分在 上一致收敛. 而对于任何正数 , 有 二．含参量反常积分一致收敛性的判别 定理19.7 (一致收敛的柯西准则) 含参量反常积分(1) 在 上一致收敛的充要条件是: 使得当 时, 对一切的 都有 证 必要性 若 在 上一致收敛, 则 因此, 则令 这就证明了 在 上一致收敛. 例2 证明含参量反常积分 充分性 若 在 但在 内 不一致收敛. 证 作变量代换 得 其中 由于 收敛, 故对任给的正数 总存在某一实数M , 当 时就有 取 由 (5) 式 所以(4)在 上一致收敛. 现证明(4) 在 内不一致收敛. 由一致收敛定 义的注2, 只要证明: 存在某一正数 使得对任何 使得 , 总相应地存在某个 及某个 实数 由于非正常积分 收敛 (在本节例6 中我们 将求出这个积分的值), 故对 总 使得 即 现令 由(5)及不等式(6)的左端就有 所以(4)在 内不一致收敛. 收敛之间的联系有下述定理. 关于含参量反常积分一致收敛性与函数项级数一致 定理19.8 含参量反常积分(1)在 上一致收敛的充要 条件是: 对任一趋于 的递增数列 证 必要性 由(1)在 上一致收敛, 故 使得当 对一切 总有 函数项级数 在 上一致收敛, 其中 又由 所以对正数M, 存在正整数N, 只要当 时, 就有 由(8)对一切 就有 这就证明了级数(7)在 上一致收敛. 充分性 用反证法. 假若(1)在 上不一致收敛, 则 对 使得 现取 使得 一般地, 取 则有 使得 由上述所得到的数列 是递增数列, 且 由(9)式知存在正数 对任何正整数N, 只要 就有某个 使得 这与级数(7)在 上一致收敛的假设矛盾. 故含参量 现在考虑级数 反常积分在 上一致收敛. 注 由定理19.8, 含参量反常积分可看作连续型的函 函数项级数. 它们的证明与函数项级数相应的判别法相仿, 我们 下面列出含参量反常积分的一致收敛性判别法. 它 用柯西准则证明魏尔斯特拉斯M判别法和狄利克雷 判别法. 阿贝耳判别法的证明留给读者. 魏尔斯特拉斯 M 判别法 设有函数 g(y), 使得 若 上一致收敛. 证 由于 因此 从而 上一致收敛. 狄利克雷判别法 设 (i) 对一切实数 含参量正常积分 对参量 x 在 上一致有界, 即存在正数M, 对一切 及一切 都有 (ii)对每一个 函数 关于 y 单调且当 则含参量反常积分 在 上一致收敛. 证 时, 对参量 x , 一致收敛于0, 于是, 由积分第二中值定理， 由一致收敛的柯西准则, 在 上一致收敛. 阿贝耳判别法 设 (i) (ii) 对每一个 函数 为 y 的单调函数, 且 对参量 x, 在 上一致有界, 则含参量反常积分 在 上一致收敛. 例3 证明含参量反常积分 在 上一致收敛. 证 由于对任何实数 y 有 及反常积分 收敛, 故由魏尔斯特拉斯M判 别法, 含参量反常积分(10)在 上一致收敛. 在 上一致收敛. 证