§2含参变量的反常积分 含参变量反常积分的一致收敛 含参变量的反常积分也有两种:无穷区间上的含参变量反常积分 和无界函数的含参变量反常积分。 设二元函数f(x,y)定义在[a,+∞)×c,4上,若对某个yo∈[c,d,反 常积分f(xy)dx收敛,则称含参变量反常积分∫f(x,y)x在y处 收敛,并称y为它的收敛点。记E为所有收敛点组成的点集,则E 就是函数 (y)= f(x, y)dx 的定义域,也称为∫xyd的收敛域
含参变量反常积分的一致收敛 含参变量的反常积分也有两种：无穷区间上的含参变量反常积分 和无界函数的含参变量反常积分。 设二元函数 f (x, y)定义在[a,+)[c,d]上，若对某个 [ , ] y0 c d ，反 常积分 0 ( , )d a f x y x + 收敛，则称含参变量反常积分 0 ( , )d a f x y x + 在 0 y 处 收敛，并称 0 y 为它的收敛点。记 E 为所有收敛点组成的点集，则 E 就是函数 ( ) ( , )d a I y f x y x + = 的定义域，也称为 ( , )d a f x y x + 的收敛域。 §2 含参变量的反常积分
为讨论1(y)的连续性、可微性和可积性,引进一致收敛的概念。 定义15.2.1设二元函数f(x,y)定义在[a,+∞)×c,d上,且对任意 的y∈c,d],反常积分 ()= f(x, y)dx 存在。如果对于任意给定的的E>0,存在与y无关的正数A,使得当 A>A时,对于所有的y∈c,d,成立 f(,ydx-1()<8 f(x, y)dx<a 则称∫f(xy)dx关于y在ed上一致收敛(于1(y)。在参变量明确时, 也常简称∫f(xyx在4上一致收敛。 对fxy)dx与厂f(x,y)dx可同样定义关于y的一致收敛概念
为讨论I( y)的连续性、可微性和可积性，引进一致收敛的概念。 定义 15.2.1 设二元函数 f (x, y)定义在[a,+)[c,d]上，且对任意 的 y [c, d]，反常积分 ( ) ( , )d a I y f x y x + = 存在。如果对于任意给定的的 0，存在与 y 无关的正数 A0，使得当 A A0时，对于所有的 y [c, d]，成立 ( , )d ( ) A a f x y x I y − ， 即 ( , )d A f x y x + ， 则称 ( , )d a f x y x + 关于 y 在[c,d]上一致收敛（于I( y)）。在参变量明确时， 也常简称 ( , )d a f x y x + 在[c,d]上一致收敛。 对 ( , )d a f x y x − 与 f x y x ( , )d + − 可同样定义关于 y 的一致收敛概念
例15.2.1含参变量a的反常积分cdx关于a在[a,+)上 致收敛(a0>0),但在(O,+∞)上不一致收敛 解先说明∫cdx在[an,+∞)上一致收敛。由于当a≥ao时, 0 e"d、-1fedt= ea2-eaxA, aA 而 A→>+∞C 所以对于任意给定的>0,存在正数A,使得当A>4时,e4<。 这时成立 eadk<e-“41<E, 这说明∫。c"dx在[an,+)上一致收敛
例 15.2.1 含参变量 的反常积分 0 e dx x + − 关于 在[ , ) 0 + 上一 致收敛（ 0 0），但在(0, + )上不一致收敛。 解 先说明 0 e dx x + − 在[ , ) 0 + 上一致收敛。由于当 0时， 0 0 1 1 1 0 e d e d e e x t x t A A A A x t = + + − − − − = = 令 ， 而 e 0 1 lim 0 0 = − →+ A A ， 所以对于任意给定的 0，存在正数 A0，使得当 A A0时， 0 0 1 e A − 。 这时成立 e dx A x + − 0 0 1 e A − ， 这说明 0 e dx x + − 在[ , ) 0 + 上一致收敛
再说明∫。e"dx在(0+∞)上不一致收敛。对于任意取定的正数 ,由于 而mea=+,所以必存在某个a()∈(0+x),使得∫edx>1 因此∫。e“dx在(O+∞)上不一致收敛
再说明 0 e dx x + − 在 (0, + ) 上不一致收敛。对于任意取定的正数 A，由于 1 e d e x A A x + − − = ， 而 = + − → + A e 1 lim 0 ，所以必存在某个(A) (0,+) ，使得 ( ) e d 1 A x A x + − 。 因此 0 e dx x + − 在(0, + )上不一致收敛
对于无界函数的含参变量反常积分,同样也有一致收敛的概念 定义15.2.1设二元函数f(x,y)定义在a,b)xc4]上,且对任意的 y∈e,d],以b为奇点的反常积分 x. v)ax 存在。如果对于任意E>0,存在与y无关的δ>0,使得当0<n<δ时, 对所有y∈c,小成立 f(x,y)dx-1(<e 即 f(x, y)dx<a 则称f(xy关于y在上一致收敛(于1(y)。在参变量明确时, 也常简称(x,y在cd上一致收敛
对于无界函数的含参变量反常积分，同样也有一致收敛的概念： 定义 15.2.1'设二元函数 f (x, y)定义在[a,b)[c, d]上，且对任意的 y [c, d]，以b为奇点的反常积分 ( ) ( , )d b a I y f x y x = 存在。如果对于任意 0，存在与 y 无关的 0，使得当0 时， 对所有 y [c, d]成立 ( , )d ( ) b a f x y x I y − − , 即 ( , )d b b f x y x − ， 则称 ( , )d b a f x y x 关于 y 在[c,d]上一致收敛（于I( y)）。在参变量明确时， 也常简称 ( , )d b a f x y x 在[c,d]上一致收敛