§2含参变量的反常积分 含参变量反常积分的一致收敛 含参变量的反常积分也有两种:无穷区间上的含参变量反常积分 和无界函数的含参变量反常积分。 设二元函数f(x,y)定义在a+∞)x,d上,若对某个y∈[cd,反 常积分∫(xy)dx收敛,则称含参变量反常积分厂f(xyh)x在y处 收敛,并称y为它的收敛点。记E为所有收敛点组成的点集,则E 就是函数 1(y)= f(x,y)da 的定义域,也称为厂f(x,ydx的收敛域
含参变量反常积分的一致收敛 含参变量的反常积分也有两种：无穷区间上的含参变量反常积 分 和无界函数的含参变量反常积分 。 设二元函数 yxf ),( 定义在 + ∞ × dca ],[),[ 上，若对某个 ],[ 0 ∈ dcy ，反 常积分 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 含参变量的反常积分
为讨论I(y)的连续性、可微性和可积性,引进一致收敛的概念 定义15.2.1设二元函数f(x,y)定义在[a,+∞)×[c,上,且对任意 的y∈[c,d],反常积分 ∞ x y)dx 存在。如果对于任意给定的的E>0,存在与y无关的正数A,使得当 A>A4时,对于所有的y∈[c,4],成立 (y)<E, f(x, y)dx]<a, A 则称厂(xy)dx关于y在上一致收敛(于10y)在参变量明确时, 也常简称「。f(x,yd在cd上一致收敛 对∫f(xy与/(x,y可同样定义关于y的一致收敛概念
为讨论 yI )( 的连续性、可微性和可积性，引进一致收敛的概念。 定义 15.2.1 设二元函数 yxf ),( 定义在 +∞ × dca ],[),[ 上，且对任意 的 ∈ dcy ],[ ，反常积分 ( ) ( , )d a I y f x y x +∞ = ∫ 存在。如果对于任意给定的的ε > 0，存在与 y 无关的正数 A0，使得当 > AA 0时，对于所有的 ∈ dcy ],[ ，成立 ( , )d ( ) A a f xy x Iy − < ε ∫ ， 即 ( , )d A f xy x ε +∞ < ∫ ， 则称 ( , )d a f x y x +∞ ∫ 关于 y 在 dc ],[ 上一致收敛（于 yI )( ）。在参变量明确时， 也常简称 ( , )d a f x y x +∞ ∫ 在 dc ],[ 上一致收敛。 对 ( , )d a f x y x ∫−∞ 与 f ( , )d x y x +∞ ∫−∞ 可同样定义关于 y 的一致收敛概念
例152.1含参变量a的反常积分。e“d关于a在[ao,+∞)上 致收敛(a0>0),但在(0,+∞)上不一致收敛。 解先说明∫ce"dr在[an,+)上一致收敛。由于当a≥a时, 令ax=t 0≤ead dt 而 lim 4→+o 所以对于任意给定的E>0,存在正数4,使得当A>A4时,l <Eo 这时成立 dx<e <8 A 这说明∫。e"dx在an,+)上一致收敛
例 15.2.1 含参变量α 的反常积分 0 e dx x α +∞ − ∫ 关于α 在 ),[α 0 + ∞ 上一 致收敛（α 0 > 0），但在 + ∞),0( 上不一致收敛。 解 先说明 0 e dx x α +∞ − ∫ 在 ),[α 0 + ∞ 上一致收敛。由于当α ≥ α 0时， 0 0 1 11 0 e d ed e e x t x tA A A A x t α α α α α αα α = +∞ +∞ − −− − ≤ = =≤ ∫ ∫ 令 ， 而 0e 1 lim 0 0 = − +∞→ A A α α ， 所以对于任意给定的ε > 0，存在正数 A0，使得当 > AA 0时， 0 0 1 e α A ε α − < 。 这时成立 e dx A x α +∞ − < ∫ 0 0 1 e α A ε α − < ， 这说明 0 e dx x α +∞ − ∫ 在 ),[α 0 + ∞ 上一致收敛
再说明∫。ce"dr在(0+∞)上不一致收敛。对于任意取定的正数 A,由于 而me=+0,所以必存在某个a(4)∈(0+0),使得∫cadr>l 因此∫edx在(+)上不一致收敛
再说明 0 e dx x α +∞ − ∫ 在 + ∞),0( 上不一致收敛。对于任意取定的正数 A，由于 1 ed e x A A x α α α +∞ − − = ∫ ， 而 +∞= − +→ αA α α e 1 lim 0 ，所以必存在某个α A +∞∈ ),0()( ，使得 ( ) e d1 A x A x α +∞ − > ∫ 。 因此 0 e dx x α +∞ − ∫ 在 + ∞),0( 上不一致收敛
对于无界函数的含参变量反常积分,同样也有一致收敛的概念: 定义15.2.1设二元函数f(x,y)定义在[a,b)x,d4]上,且对任意的 y∈[e,d],以b为奇点的反常积分 1(y)=f(x, y)d 存在。如果对于任意E>0,存在与y无关的δ>0,使得当0<n<δ时, 对所有y∈[e,d成立 f(, y)dx-1()<8 即 f(, y)dx <a 则称∫(x,y关于y在上一致收敛(于(y)在参变量明确时, 也常简称!(xyx在c上一致收敛
对于无界函数的含参变量反常积分，同样也有一致收敛的概念： 定义 15.2.1'设二元函数 yxf ),( 定义在 × dcba ],[),[ 上，且对任意的 ∈ dcy ],[ ，以 b为奇点的反常积分 ( ) ( , )d b a I y f = x y x ∫ 存在。如果对于任意 ε > 0，存在与 y 无关的 δ > 0，使得当 0 < η < δ 时， 对所有 ∈ dcy ],[ 成立 ( , )d ( ) b a f xy x Iy η ε − − < ∫ , 即 ( , )d b b f xy x η ε − < ∫ ， 则称 ( , )d b a f x y x ∫ 关于 y 在 dc ],[ 上一致收敛 （ 于 yI )( ）。在参变量明确时， 也常简称 ( , )d b a f x y x ∫ 在 dc ],[ 上一致收敛