19_2 含参量反常积分.ppt

定理19.10 含参量反常积分的可微性 设 在区域 上连续. 若 在 上收敛, 在 上一致收敛, 则I x 在 上可微, 且 证 对任一递增且趋于 的数列 令 由定理19.3推得 由 在J上一致收敛及定理19.8, 可得函数 项级数 在 J上一致收敛, 因此根据函数项级数的逐项求导 定理, 即得 或写作 最后结果表明在定理条件下, 求导运算和积分运算 可以交换. 上连续,若 在 上一致收敛, 则I x 在 上可积, 且 上可积. 又由定理19.9的证明中可以看到, 函数项级数 13 在 上一致收敛, 且各项 上连续, 因此 证 由定理19.9知道 在 上连续, 从而I x 在 定理19.11 含参量反常积分的可积性 设 在 这里最后一步是根据定理19.6关于积分顺序的可交 换性. 17 式又可写作 这就是 16 式. 根据函数项级数逐项求积定理, 有 i 在任何 上一致收敛, 关于x在任何 上一致收敛; ii 积分 中有一个收敛, 则 定理19.12 设 在 上连续, 若 也收敛. 证 不妨设 收敛, 由此推得 返回 后页 前页 §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