数学分析（4版）-华东师范大学19-3.pptVIP

数学分析 第十九章 含参量积分 高等教育出版社 数学分析 第十九章 含参量积分 高等教育出版社 数学分析 第十九章 含参量积分 高等教育出版社 §3 欧拉积分 数学分析 第十九章 含参量积分 *点击以上标题可直接前往对应内容 在本节中我们将讨论由含参量反常积分定义的两个很重要的非初等函数 —— 函数 函数. 和 一、 函数 二、 函数 三、 函数与 函数之间的 关系 含参量积分： 称为伽马(Camma)函数. 函数可以写成如下两个积分之和： 其中 时是正常积分,当 时是收敛 的无界函数反常积分(可用柯西判别法推得); §3 欧拉积分 后退 前进 目录 退出 函数 函数 函数 函数与 函数之间的关系 时是收敛的无穷限反常积分(也可用柯西 判别法推得). 即 函数的定义域为 1. 在定义域 内连续且有任意阶导数 在任何闭区间 上, 对于函数 当 时有 由于 收 敛, 从而 在 上也一致收敛; §3 欧拉积分 函数 函数 函数与 函数之间的关系 时收敛, 所以含参量积分(1)在 收敛,从而 在 上也一致收敛, 由于 时, 有 对于 当 上连续. 在 于是 用上述相同的方法考察积分 它在任何区间 上一致收敛. §3 欧拉积分 函数 函数 函数与 函数之间的关系 同理可证 在 上可导, 于是由定理19.11得到 在 上可导, 且 任意性, 由a, b的 2. 递推公式 对下述积分应用分部积分法, 有 §3 欧拉积分 函数 函数 函数与 函数之间的关系 让 就得到 的递推公式: 设 应用递推公式(2) n次 可以得到 公式(2)还指出, 如果已知 在 上的值, 那 §3 欧拉积分 函数 函数 函数与 函数之间的关系 么在其他范围内的函数值可由它计算出来. 若s为正整数n+1, 则(3)式可写成 由(4)式及 在 上严格增可推得 综上所述, 函数的图象如图19-2中 部分所示. 3. 函数图象的讨论 对一切 , 恒大于0, 位于 轴上方, 且是向下凸的. 所以 在 上存在唯一的极小点 §3 欧拉积分 函数 函数 函数与 函数之间的关系 故有 在 内严格减;在 内严格增. 又 由于 因为 的图形 因此 4. 延拓 改写递推公式 (2) 为 当 时, (5)式右端有意义, 于是可应用(5)式 来定义左端函数 在 内的值, 这时 §3 欧拉积分 函数 函数 函数与 函数之间的关系 并且可推知 用同样的方法, 利用 式又可定义 在 内的值, 而且 这时 下去可把 延拓到整个数轴(除了 以外), 其图象如图19-2所示. 已在 内有 定义这一事实, §3 欧拉积分 函数 函数 函数与 函数之间的关系 依此 由(5) 5. 的其他形式 在应用上, 也常以如下形式出现, 如令 则有 令 就有 §3 欧拉积分 函数 函数 函数与 函数之间的关系 含参量积分： 称为贝塔 (Beta) 函数 (或写作 B 函数). 注 与前讨论的单参变量的含参数积分不同, B 函数 是含两元的含参量积分， 全类似的. §3 欧拉积分 B函数 函数 函数 函数与 函数之间的关系 但讨论的步骤与方法是完 反常积分; 反常积分. 这两个无界函数反常积分都收敛. 的定义域为 1. 在定义域 内连续 由于对任何 成立不等式 §3 欧拉积分 函数 函数 函数与 函数之间的关系 B 函数(8)当 时, 是以 为瑕点的无界函数 时, 是以 为瑕点的无界函数 当 时 应用柯西判别法可证得当 所以函数 在 上一致收敛. 因而推得 在 内连续. 2. 对称 性 作变 换 得 §3 欧拉积分 函数 函数 函数与 函数之间的关系 而积分 收敛, 故由 M 判别法知 证 下面只证公式(9), 公式(10)可由对称性及公式(9) 推得, §3 欧拉积分 函数 函数 函数与 函数之间的关系 3. 递推公式 而最后一个公式则可由公式(9), (10)推得. 当 时, 有 §3 欧拉积分 函数 函数 函数与 函数之间的关系 移项并整理就得(9) . 4. 的其他形式 在应用中 B 函数也常常以如下形式出现: §3 欧拉积分 函数 函数 函数与