数学分析 第十九章 课件 含参变量的积分资料.ppt

设 f ( x, y ) 定义在 [ a , b] × [c, ?? ] ，且对任意 x ? I ( x ) = ( , ) c f x y dy ?? ? 收敛。若对任意的 ( , ) ( ) A c f x y dy I x ? ? ? ? ( , ) A f x y dy ? ?? ? ? 都成立，则称含参变量的广义积分 ( , ) c f x y dy ?? ? 在 [ a , b] 一致收敛 . [ a, b ], 无穷积分 或 0 ? ? 0 A c ? 0 A A ? ，存在 ，当 时，有 定义 19.1 对 x ? [ a, b ] 例 1. 证明：含参变量的广义积分 0 xy xe dy ?? ? ? 一致收敛 . 其中 a 0 ； xy xy xA aA A A xe dy e e e ?? ?? ? ? ? ? ? ? ? ?? ? , x a ? 而 xy aA A xe dy e ? ?? ? ? ? ? ? lim 0 aA A e ? ?? ? , 所以对任给的 0 ? ? , 存在 0 0 A ? , 当 A 0 A 时有 aA e ? ? ? , 从而当 0 A A ? 时，对任意的 , x a ? 有 这就证明了 （ 1 ）在 [ , ) a ?? 不一致收敛 . 证明 : (1) 因为 （ 2 ）在 (0, ) ?? 在 一致收敛。 [ , ) a ?? 0 xy xe dy ?? ? ? 含参变量的广义积分 在 [ a, b ] 一致收敛的 ( , ) c f x y dy ?? ? 充要条件是对任给的 0 ? ? ，存在正数 0 A c ? ，当 时，对任意的 x ? [ a, b ] ，有 ( , )d A A f x y y ? ? ? ? 0 , A A A ? ? ? ? 定理 19.7( 一致收敛的柯西准则 ) 一致收敛判别法： 定理 19.8 （魏尔斯特拉斯判别法，或 M 判别法，或控制收敛判别法） ( ) M y 与常数 Bc ，使得当 y B ? 与 x ? [ a, b ] 时，有 ( , ) ( ) f x y M y ? 而广义积分 ( )d c M y y ?? ? 是收敛的，则 ( , )d c f x y y ?? ? 在 [ a, b ] 一致收敛。 设存在函数 设（ 1 ）含参变量的正常积分 ( , )d A c f x y y ? 在 A c ? 与 x ? [ a, b ] 有界，即存在 M0 ， x ? ( , )d A c f x y y M ? ? (2) 对每个固定的 x ? [ a, b ] ，函数 g ( x, y ) 关于 y 是单调的， y ? ?? 时， g ( x, y ) 在 x ? [ a, b ] 一致地趋向于 0 。则 ( , ) ( , )d c f x y g x y y ?? ? 在 [ a, b ] 一致收敛。 对任意的 Ac 及任意 [ a, b ] 有 且当 含参变量广义积分 定理 19.9 （狄利克雷判别法） 设（ 1 ） ( , )d c f x y y ?? ? 在 [ a, b ] 一致收敛； x ? [ a, b ] ，函数 g ( x , y ) 关于 y 单调， x ? [ a, b ], y c ? 则含参变量广义积分 ( , ) ( , )d c f x y g x y y ?? ? 在 [ a, b ] 一致收敛。 （ 2 ）对每一个固定的 且 g( x, y ) 在 有界。 定理 19.10 （阿贝尔判别法） 例 2. 证明 2 0 cos( ) d 1 xy x x ?? ? ? 在 ( , ) ?? ?? 一致收敛 2 2 cos( ) 1 1 1 xy x x ? ? ? 对 ( , ) y ? ?? ?? 与 [0, ) x ? ?? 成立，而广义积分 2 0 d 1 x x ?? ? ? 收敛，因此 2 0 cos( ) d 1 xy x x ?? ? ? 在 ( , ) ?? ?? 一致收敛。 证明 : 用魏尔斯特