《含参变量的反常积分》-课件设计（公开）.ppt

定理3 (含参量反常积分的连续性定理) 设 上连续, 若含参量反常积分 证 因为 在Δ上一致收敛, 则 I (y) 在 Δ 上连续. 三、含参量反常积分的性质 注：定理3 证明了在一致收敛的条件下, 极限运 算与积分运算可以交换，即 上可积. 又由定理2得： 函数项级数 上一致收敛, 且各项 上连续, 因此 证 由定理3 知道I (y)在 上连续, 从而I (y)在 定理4 (含参量反常积分的可积性) 根据函数项级数逐项求积分定理, 有 定理4′ (无穷区间含参量反常积分的可积性) (i) 在任何 上一致收敛, 设 在 上连续, 且 关于 x 在任何 上一致收敛; (ii)积分 中有一个收敛. 则必有 也收敛. *证 不妨设其中中第一个积分收敛,由此推得 根据条件(i)及定理4, 有 由条件(ii), 对于任给的 有 使得当 时有 选定A 后, 由 的一致收敛性, 存在Mc, 定理5 (含参量反常积分的可微性定理) 设 在区域 上连续. 若 在 上收敛, 在 上一致收敛, 则 I (y) 在 上可微, 且 证 表明在定理条件下, 求导运算和积分运算可以交换. 注：定理5 也可表达成 例6 计算 解 设 例7 计算 解 因为 所以 由于 及 收敛, 根 据M判定法, 含参量反常积分 在区间 上一致收敛.由于 在 上连续, 根据定理4交换积分有顺序， 积分I 的值不变. 于是 四、欧 拉 积 分简介 B 函 数 两种重要的含参变量广义积分： 【下册 P71:2(7)】 在数理方程、概率统计中有广泛的应用. 1. 定义域和连续性 2. Γ函数的递推公式 3. Β函数的另一表达式 4. Β 函数和 Γ 函数的关系(证明略) 例1 求证 证 令 则 再令 则 作 业 布 置: 264~265: 2(1),(3); 4(2),(4); 7. * * * 四、Euler 积分简介 三、含参量反常积分的性质 二、含参量反常积分一致收敛性的判别 一、含参量反常积分的一致收敛性 温馨提示：本章知识抽象程度较高，理解难度较大，提请大家认真听讲！ 设函数 定义在无界区域 上, (教材中Δ=[c, d]). 若对于 一、含参量反常积分的一致收敛性 反常积分 称(1)为定义在 上的含参量 y 的无穷限反常积分, 或称含参变量的反常积分. 定义1 若含参量反常积分(1)与函数 I( y )对 即 则称含参变量的反常积分(1)在 上一致收敛于I (y), 或简单地说含参量积分(1)在 上一致收敛. 注1 由定义, 在 上一致收敛的 充要条件是 注2 由定义, 在 上不一致收敛 的充要条件是 例1 讨论含参量反常积分 的一致收敛性. 解 若 则 于是 因此, 含参量积分在 上非一致收敛. 因此, 该含参量积分在 上一致收敛. 而对于任何正数 , 有 定理1 (一致收敛的柯西准则) 含参量反常积分(1) 在 上一致收敛的充要条件是: 使得当 时, 对一切的 都有 *证 必要性 若 在 上一致收敛, 则 二、含参量反常积分一致收敛性的判别 因此, 则令 这就证明了 在 上一致收敛. *例2 证明含参量的反常积分 充分性 若 在 但在 内 不一致收敛. 证 作变量代换 得 其中 由于 收敛, 故对任给的正数 总存在某一实数M , 当 时就有 取 由 (5) 式 所以J(x)在 上一致收敛. 现证明 J(x)在 内不一致收敛. 由一致收敛 定义的注2, 只要证明: 存在某一正数 使得对任 使得 , 总相应地存在某个 及某个 何实数 由于非正常积分 收敛 (后继内容中我们 将求出这个积分的值), 故对 总 使得 即 现令 由此就有 所以 J(x)在 内不一致收敛. 收敛之间的联系有下述定理. 关于含参量反常积分一致收敛性与函数项级数一致 定理2 证 在 上一致收敛, 其中 注：本定理位于教材P254，只是一般性结论. 注 由定理2, 含参量反常积分可看作函数项级数. 下面列出含参量反常积分的一致收敛性判别法. 它们的证明与函数项级数相应的判别法相仿. 魏尔斯特拉斯(Weierstrass) M 判别法 若 上一致收敛. 证 由于 因