张瑞
中国科学技术大学数学科学学院
rui@ustc.edu.cn |
设二元函数在有界闭区域上连续,称积分
为含参变量常义积分,其中称为参变量。
如果积分为广义积分(如,区间为无穷区间,或被积分函数在上无界),则称含参变量积分为含参变量广义积分。
设在上连续,则含参变量常义积分是 定义在上的函数。
定理 1.
设在上连续,则
(1) 函数在上连续,即有
(2) 函数在上可积,且
(3) 如果函数对在区域上有连续的偏微商,则函数在上具有连续的导数,并且
注. 定理表明,在有界区间上,对于含参变量常义积分,可以交换极限运算与积分运算的顺序,可以交换两个积分运算的顺序,可以交换求导运算与积分运算的顺序
注. 在定理中,将参数变化区间换成无穷区间,(1)与(3)仍然成立,但(2)不一定成立。
例 1. ,求
例 2.
[#ex8-1-0].
例 3. (被积函数不连续)
例 4. (可去连续点)
例 5. 设在区间上连续,考察函数
的连续性
[#ex9-2-0].
例 6. 求,
例 7. 求
例 8. 求, ,
例 9. 求,
[#ex9-2-0].
不仅被积函数依赖于参变量,积分限也依赖于参变量
定理 2.
设二元函数在上连续,函数, 在上连续,且
则
(1) 在上连续,即
(2) 若对有连续的偏导数,函数和在上都可微,则函数在上可微,且
证明.
例 10. 设,其中
连续,证明满足
例 11.
11.