资源描述
《数学分析》教案
第十九章 含参量积分
教学目的:1.掌握含参量正常积分的概念、性质及其计算方法;2.掌握两种含参量反常积分的概念、性质及其计算方法;3.掌握欧拉积分的形式及有关计算。
教学重点难点:本章的重点是含参量积分的性质及含参量反常积分的一致收敛性的判定;难点是一致收敛性的判定。
教学时数:12学时
§ 1含参量正常积分
一. 含参积分: 以实例 和 引入.
定义含参积分 和 .
含参积分提供了表达函数的又一手段 .我们称由含参积分表达的函数为含参积分.
1. 含参积分的连续性:
Th19.5 若函数 在矩形域 上连续 , 则函数
在 上连续 . ( 证 ) P172
Th19.8 若函数 在矩形域 上连续, 函数 和 在 上连续 , 则函数 在 上连续. ( 证 ) P173
2. 含参积分的可微性及其应用:
Th 19.10 若函数 及其偏导数 都在矩形域 上连续, 则函数 在 上可导 , 且
.
( 即积分和求导次序可换 ) . ( 证 ) P174
Th 19.11 设函数 及其偏导数 都在矩形域 上连续,函数 和 定义在 , 值域在 上 , 且可微 , 则含参积分在 上可微 , 且
. ( 证 )P174
例1 计算积分 . P176.
例2 设函数 在点 的某邻域内连续 . 验证当 充分小时 , 函数
的 阶导数存在 , 且 . P177.
§ 2 含参反常积分
一. 含参无穷积分:
1. 含参无穷积分: 函数 定义在 上 ( 可以是无穷区间 ) . 以 为例介绍含参无穷积分表示的函数 .
2. 含参无穷积分的一致收敛性:
逐点收敛( 或称点态收敛 ) 的定义: , , 使
.
引出一致收敛问题 .
定义 (一致收敛性 ) 设函数 定义在 上 . 若对 , 使 对 成立, 则称含参无穷积分在 ( 关于 )一致收敛.
Th 19.5 ( Cauchy收敛准则 ) 积分 在 上一致收敛,
对 成立 .
例1 证明含参量非正常积分 在 上一致收敛 , 其中. 但在区间 内非一致收敛 . P180
3. 含参无穷积分与函数项级数的关系:
Th 19.6 积分 在 上一致收敛, 对任一数列 , ↗ , 函数项级数 在 上一致收敛. ( 证略 )
二. 含参无穷积分一致收敛判别法:
1. Weierstrass M 判别法: 设有函数 , 使在 上有 . 若积分 , 则积分 在 一致收敛.
例2 证明含参无穷积分 在 内一致收敛. P182
2. Dirichlet判别法和Abel判别法: P182
三. 含参无穷积分的解析性质: 含参无穷积分的解析性质实指由其所表达的函数的解析性质.
1. 连续性: 积分号下取极限定理.
Th 19.7 设函数 在 上连续 . 若积分 在 上一致收敛, 则函数 在 上连续. ( 化为级数进行证明或直接证明 )
推论 在Th.7的条件下 , 对 , 有
2. 可微性: 积分号下求导定理.
Th 19.8 设函数 和 在 上连续. 若积分 在 上收敛, 积分 在 一致收敛. 则函数 在 上可微,且 .
3. 可积性: 积分换序定理.
Th 19.9 设函数 在 上连续. 若积分 在 上一致收敛, 则函数 在 上可积 , 且有
.
例3 计算积分
P186
四. 含参瑕积分简介:
§ 3 Euler积分
本节介绍用含参广义积分表达的两个特殊函数 , 即 和 . 它们统称为Euler积分. 在积分计算等方面, 它们是很有用的两个特殊函数.
一. Gamma函数 —— Euler第二型积分:
1. Gamma函数: 考虑无穷限含参积分
,
当 时, 点 还是该积分的瑕点 . 因此我们把该积分分为 来讨论其敛散性 .
: 时为正常积分 . 时, .利用非负函数积的Cauchy判别法, 注意到 时积分 收敛 . (易见时, 仍用Cauchy判别法判得积分发散 ). 因此, 时积分 收敛 .
: 对 R成立,.因此积分 对 R收敛.
综上 , 时积分 收敛 . 称该积分为Euler第二型积分. Euler第二型积分定义了 内的一个函数, 称该函数为Gamma函数, 记为 , 即
= , .
函数是一个很有用的特殊函数 .
2. 函数的连续性和可导性:
在区间 内非一致收敛 . 这是因为 时积分发散. 这里利用了下面的结果: 若含参广义积分在 内收敛, 但在点 发散, 则积分在 内非一致收敛 .
但 在区间 内闭一致收敛 .即在任何 上 , 一致收敛 . 因为 时, 对积分 , 有 , 而积分 收敛.
对积分 , , 而积分 收敛. 由M—判法, 它们都一致收敛, 积分 在区间 上一致收敛 .
作类似地讨论, 可得积分 也在区间 内闭一致收敛. 于是可得如下结论:
的连续性: 在区间 内连续 .
的可导性: 在区间 内可导, 且
.
同理可得: 在区间 内任意阶可导, 且
.
3. 凸性与极值:
, 在区间 内严格下凸.
( 参下段 ), 在区间 内唯一的极限小值点( 亦为最小值点 ) 介于1与2 之间 .
4. 的递推公式 函数表:
的递推公式 : .
证
.
.
于是, 利用递推公式得:
,
,
, …………, ,
一般地有 .
可见 , 在 上, 正是正整数阶乘的表达式 . 倘定义 , 易见对 ,该定义是有意义的. 因此, 可视 为 内实数的阶乘. 这样一来, 我们很自然地把正整数的阶乘延拓到了 内的所有实数上, 于是, 自然就有, 可见在初等数学中规定 是很合理的.
函数表: 很多繁杂的积分计算问题可化为 函数来处理. 人们仿三角函数表、对数表等函数表, 制订了 函数表供查. 由 函数的递推公式可见, 有了 函数在内的值, 即可对 , 求得 的值. 通常把 内 函数的某些近似值制成表, 称这样的表为 函数表 也有在 内编制的 函数表.)
5. 函数的延拓:
时, 该式右端在 时也有意义 . 用其作为 时 的定义, 即把 延拓到了 内.时, 依式 , 利用延拓后的 , 又可把 延拓到内 .
依此 , 可把 延拓到 内除去 的所有点. 经过如此延拓后的 的图象如 P192图表19—2.
例1 求 , , . ( 查表得 .)
解
.
), .
6. 函数的其他形式和一个特殊值:
某些积分可通过换元或分部积分若干次后化为 函数 . 倘能如此, 可查 函数表求得该积分的值.
常见变形有:
ⅰ> 令 , 有 = ,
因此, , .
ⅱ> 令 .
注意到 P7的结果 , 得 的一个特殊值
.
ⅲ> 令 , 得 . 取 , 得
.
例2 计算积分 , 其中 .
解 I .
二. Beta函数 ——Euler第一型积分:
1. Beta函数及其连续性:
称( 含有两个参数的 )含参积分 为Euler第一型积分. 当 和 中至少有一个小于1 时, 该积分为瑕积分. 下证对 , 该积分收敛. 由于 时点 和 均为瑕点. 故把积分 分成 和 考虑.
: 时为正常积分; 时, 点 为瑕点. 由被积函数非负,
和 ,
( 由Cauchy判法) 积分 收敛 . ( 易见 时积分 发散 ).
: 时为正常积分; 时, 点 为瑕点. 由被积函数非负,
和 ,
( 由Cauchy判法) 积分 收敛 . ( 易见 时积分 发散 ).
综上, 时积分 收敛. 设D ,
于是, 积分 定义了D内的一个二元函数. 称该函数为Beta函数, 记为 , 即
=
不难验证, 函数在D内闭一致收敛. 又被积函数在D内连续, 因此 , 函数是D内的二元连续函数.
2. 函数的对称性: .
证 =
.
由于 函数的两个变元是对称的, 因此, 其中一个变元具有的性质另一个变元自然也具有.
3. 递推公式: .
证
,
而
,
代入 式, 有 ,
解得 .
由对称性, 又有 .
4. 函数的其他形式:
ⅰ> 令 , 有
,
因此得 , .
ⅱ> 令 , 可得
, .
特别地 , , .
ⅲ> 令 , 有 = = ,
即 ,
ⅳ> 令 , 可得
.
ⅴ> , .
三. 函数和 函数的关系: 函数和 函数之间有关系式
,
以下只就 和 取正整数值的情况给予证明. 和 取正实数值时, 证明用到 函数的变形和二重无穷积分的换序.
证 反复应用 函数的递推公式, 有
,
而
.
特别地, 且 或 时, 由于 , 就有.
余元公式—— 函数与三角函数的关系: 对 ,有
.
该公式的证明可参阅: Фихтенгалъц , 微积分学教程 Vol 2 第3分册, 利用余元公式, 只要编制出 时 的函数表, 再利用三角函数表, 即可对, 查表求得 的近似值.
四. 利用Euler积分计算积分:
例3 利用余元公式计算 .
解 , .
例4 求积分 .
解 令 , 有
I
.
例5 计算积分 .
解 , 该积分收敛 . ( 亦可不进行判敛 ,把该积分化为 函数在其定义域内的值 , 即判得其收敛 . )
I
.
例6 , 求积分
,
其中 V : .
解
.
而
.
因此 , .
- 16 -
展开阅读全文