清华大学：《微积分》课程教学资源_第四章 重积分（4.5）第五节含参变量的积分（课后作业）

第四章重积分 第四章重积分 第五节含参变量的积分 4-5-1含参积分的概念及性质 4-5-2广义含参积分 第十四讲含参变量积分的概念与性质 课后作业 阅读:第四章第二节:pp.102—107,、第三节:pp.109113 预习: 第四节三重积分的计算pp.114-123 作业:习题2:pp.108-109:1,(3),(5),(6);2,(2),(3),(4); 3(书上错写成2),(3),(4;4(书上错写成3),(2) (4) 5(书上错写成4);7(书上错写成9);8(书上错写成 10) 习题3:pp.113-114:2;3;4;5. 引言 r函数和B函数是在物理和工程技术中常见的两个函数。它们都是 用积分定义的函数。其中 I(a)= B(a,B)=0ox-(1-x)-dx (6 根据对于一元函数广义积分的研究结果,我们已经知道 1.当且仅当a>0时,无穷积分xe-dx收敛,因此r函数r(a) 的定义域是0,+∞)。 2.当且仅当a>0,B>0时,瑕积分x“(1-x)2收敛,因此 B函数B(a,B)的定义域是D={(a,B)|a>0,B>0} r函数和B函数都是由积分确定的函数。在积分xe2ax中,x 是积分变量,a是参变量。在对于x的积分过程中,a是不变的。但是 积分的结果一般与a是有关的,也就是说,积分值是a的函数。这样的 积分称为含参变量积分 同样,在积分x“(1-x)21中,a,B都是参变量,这个含参变 量积分是a,B的二元函数,记作B(a,B)。 除了初等函数之外,我们曾经研究过隐函数和由参数方程确定的函数 的微分法:还研究过函数级数的和函数的连续性、微分法和积分法。本 节考察含参变量积分(由积分确定的函数)。例如 ∫(x)=∫g(x,y)d,F(s,1)=Jg(,s,x)dtx(其中/是某个区间), ()=jDf(,x,y)dtd(其中D是R2中的某个区域)以及 f(x)=mg(xy)d等等 我们将研究这样的问题:含参变量积分作为参变量的函数,如何研究 它们的连续性,可导性,以及如何求导数和积分等问题 第五节含参变量的积分

第四章 重积分 第五节 含参变量的积分 1 第四章 重积分 第五节 含参变量的积分 4-5-1 含参积分的概念及性质 4-5-2 广义含参积分 第十四讲 含参变量积分的概念与性质 课后作业： 阅读：第四章 第二节: pp.102---107,、第三节: pp.109---113 预习： 第四节 三重积分的计算 pp.114---123 作业: 习题 2: pp. 108--109 :1,(3), (5), (6); 2, (2), (3), (4); 3(书上错写成 2), (3),(4); 4(书上错写成 3), (2), (4); 5(书上错写成 4); 7(书上错写成 9); 8(书上错写成 10); 习题 3: pp. 113--114 : 2; 3; 4; 5. 引言 Γ 函数和 Β 函数是在物理和工程技术中常见的两个函数。它们都是 用积分定义的函数。其中  =  + − − 0 1 ( ) x e dx  x  (6.1)  =  − 1 − − 0 1 1 ( , ) x (1 x) dx     (6.2) 根据对于一元函数广义积分的研究结果，我们已经知道： 1．当且仅当   0 时，无穷积分  + − − 0 1 x e dx  x 收敛，因此 Γ 函数 () 的定义域是 （0，+ )。 2．当且仅当   0，   0 时，瑕积分  − 1 − − 0 1 1 x (1 x) dx   收敛，因此 Β 函数 (,  ) 的定义域是 D ={(,  )|  0,   0}。 Γ 函数和函数都是由积分确定的函数。在积分  + − − 0 1 x e dx  x 中， x 是积分变量，  是参变量。在对于 x 的积分过程中，  是不变的。但是 积分的结果一般与  是有关的，也就是说，积分值是  的函数。这样的 积分称为含参变量积分。 同样，在积分  − 1 − − 0 1 1 x (1 x) dx   中， ,  都是参变量，这个含参变 量积分是 ,  的二元函数，记作 (,  )。 除了初等函数之外，我们曾经研究过隐函数和由参数方程确定的函数 的微分法；还研究过函数级数的和函数的连续性、微分法和积分法。本 节考察含参变量积分（由积分确定的函数）。例如 = I f (x) g(x, y)dy ， = I F(s,t) g(t,s, x)dx （其中 I 是某个区间）， = D (t) f (t, x, y)dxdy （其中 D 是 2 R 中的某个区域）以及 =  ( ) ( ) ( ) ( , ) u x v x f x g x y dy 等等。 我们将研究这样的问题：含参变量积分作为参变量的函数，如何研究 它们的连续性,可导性,以及如何求导数和积分等问题

第四章重积分 6.1.含参变量的定积分 假设当x在某个范围中任意固定时,定积分8(xy)b存在,则称 g(x,y)hy是含参变量的定积分(此处x为参变量)。此时,由积分确 定了一个x的函数,该函数的定义域就是使得积分g(x,y)存在的 那些x的值构成的集合 同样,假设当t任意固定时,在通常意义下的二重积分 JDf(t,x,y)dc存在,则⑩∫(1,x,y)d也是含参变量的定积分 (二重积分,t为参变量) 首先研究含参变量积分的连续性。 定理61:设f(x)=28(x,1)d。如果二元函数g(x1)在矩形 D={(x,y)a≤x≤b,a≤t≤B} 连续,则∫(x)在区间[an,b]上连续。 证明:任取xo∈[a,b],按照函数连续性的定义,为了证明f(x)在 点x0连续,只需要证明:对于任意给定的正数E,都能够找到正数d, 只要x∈[a,b满足不等式|x-x0ko,就有f(x)-f(x0)kE。 现在开始证明定理.注意到 If(x)-f(xo)8(x, t)dt-'g(xo, t)dtI =PIg(x, t)-g(ro, t)]dt kalg(x, t)-g(ro, t)l dt (6.3) 对于任意给定的正数E,由于g(x,)在有界闭区域 D={(x,y)a≤x≤b,a≤I≤B}上连续,从而一致连续。因此存在正 数δ,只要|x-x0ko,那么对于所有的t∈[a,B],都有 Ig(x, 1)-g(xo, Ok (6.4) 于是只要|x-x0k<,由(6.3)和(6.4)式就推出 1f(x)-f(x0)≤1g(x)-g(x0,)|t<n°-dm=g。 B 这就证明了f(x)在点x0连续。由于x0是在区间[a,b]任取的,所以 f(x)在区间[a,b处处连续。证毕。 注释:定理1为求含参变量积分的函数极限提供了一个简单的途径。 在定理6.1的条件下,由于函数f(x)在区间[a,b]上连续,所以对于任 意的xo∈{ab],有lmf(x)=f(x)。因为f(x)=mg(x,nh, f(x)=lg(x,)d,由此得到 Cag(x, i dt=ag(xo, I)a 又因为二元函数g(x,1)连续,因此g(x0,y)=lmg(x,y)。于是由上 式得到 第五节含参变量的积分

第四章 重积分 第五节 含参变量的积分 2 6.1．含参变量的定积分 假设当 x 在某个范围中任意固定时，定积分  b a g(x, y)dy 存在，则称  b a g(x, y)dy 是含参变量的定积分（此处 x 为参变量）。此时，由积分确 定了一个 x 的函数，该函数的定义域就是使得积分  b a g(x, y)dy 存在的 那些 x 的值构成的集合。 同 样 ，假设当 t 任意固定时，在通常意义下的二重积分 D f (t, x, y)dxdy 存在，则 D f (t, x, y)dxdy 也是含参变量的定积分 （二重积分， t 为参变量）。 首先研究含参变量积分的连续性。 定理 6.1：设 =    f (x) g(x,t)dt 。如果二元函数 g(x,t) 在矩形 D ={( x, y)| a  x  b,  t  } 连续，则 f (x) 在区间 [a,b] 上连续。 证明：任取 [ , ] x0  a b ，按照函数连续性的定义，为了证明 f (x) 在 点 0 x 连续，只需要证明：对于任意给定的正数  ，都能够找到正数  ， 只要 x[a,b] 满足不等式 | x − x0 |  ，就有 | ( ) − ( )|  0 f x f x 。 现在开始证明定理.注意到 | ( ) ( )| | ( , ) ( , ) | − 0 =  −  0     f x f x g x t dt g x t dt =  −   −     | [g(x,t) g(x ,t)]dt | | g(x,t) g(x ,t)| dt 0 0 （6.3） 对 于 任 意 给 定 的 正 数  , 由 于 g(x,t) 在有界闭区域 D ={( x, y)| a  x  b,  t  } 上连续，从而一致连续。因此存在正 数  ，只要 | x − x0 |  ，那么对于所有的 t [,  ] ，都有    − | g(x,t) − g(x0 ,t)| （6.4） 于是只要 | x − x0 |  ，由（6.3）和（6.4）式就推出 | ( ) ( ) 0 f x − f x   −   | g(x,t) g(x ,t)| dt 0       = −  dt 。 这就证明了 f (x) 在点 0 x 连续。由于 0 x 是在区间 [a,b] 任取的，所以 f (x) 在区间 [a,b] 处处连续。证毕。 注释：定理 1 为求含参变量积分的函数极限提供了一个简单的途径。 在定理 6.1 的条件下，由于函数 f (x) 在区间 [a,b] 上连续，所以对于任 意的 [ , ] x0  a b ，有 lim ( ) ( ) 0 0 f x f x x x = → 。因为 =    f (x) g(x,t)dt ， =    f (x) g(x ,t)dt 0 ，由此得到  =  →     g x t dt g x t dt x x lim ( , ) ( , ) 0 0 又因为二元函数 g(x,t) 连续，因此 ( , ) lim ( , ) 0 0 g x y g x y x→x = 。于是由上 式得到

第四章重积分 lim Jg(x, t)dt=[ lim g(, t)]dt 这就是说,在定理1的条件下,对于参变量x的求极限运算limf(x)与 对于变量t的积分运算2g(x1)d可以交换顺序 在定理1的条件下,由于函数∫(x)在区间[a,b上连续,所以积分 Sof(x)dr=So (g(x,y)dy)dx (6.6) 存在。并且根据二重积分化为累次积分的方法可以推出 so (g(x, y)dy )x=J( g(x, y)dx)dy 于是得到下述结论: 定理62:设f(x)=28(x,1)d。如果二元函数g(x,1)在矩形 D={(x,y)|a≤x≤b,a≤t≤连续,则积分f(x)x存在,并且 (6.7)式成立。 定理6.2的意义在于,它为计算含参变量积分提供了一种方法,即可 以通过交换积分顺序计算积分(6.6)。同时,由此也可以得到计算定积 分的一种技巧。 例61:计算定积分l=(-xdx(其中ab为常数,满足 0<a<b) 解:由于被积函数没有初等原函数,所以不能直接用牛顿-莱布尼茨 公式计算这个积分。 注意到xdhr ,所以 In x In x dx=5dxjox'dt=5odrfox'dx (1)=功=(b+1)-l(a+D 在上述解题过程中,将原来的被积函数xx看成某个含参变量x的 In x 积分xdt,然后交换积分顺序,最后求得原积分的值。 另一个更加重要的问题是如何求含参变量积分的导数。研究这个问题 要比研究连续性与求积分复杂一些。 定理63:假设函数g(x,1)以及该函数关于参变量x偏导数都 在区域D={(x,y)a≤x≤b,a≤I≤B}连续,则f(x)在区间[a,b]上 可导,并且 /'(x)=d&(x, )dt =jog(x, dr (6.8) 证明:对于任意的x∈[a,b],假设x+Ax∈[a,b](作这个假设是 为了使∫(x+△x)有定义),则有 f(x+△x)-f(x)=2(x+△x,1)b-mg(x,)t=g(x+x,1)-9(x,)ht 于是 第五节含参变量的积分

第四章 重积分 第五节 含参变量的积分 3  =  → →     g x t dt g x t dt x x x x lim ( , ) [ lim ( , )] 0 0 （6.5） 这就是说，在定理 1 的条件下，对于参变量 x 的求极限运算 lim ( ) 0 f x x→x 与 对于变量 t 的积分运算    g(x,t)dt 可以交换顺序。 在定理 1 的条件下，由于函数 f (x) 在区间 [a,b] 上连续，所以积分 f x dx g x y dy dx b a b a ( ) =  ( ( , ) )   （6.6） 存在。并且根据二重积分化为累次积分的方法可以推出 g x y dy dx b a ( ( , ) )   g x y dx dy b a =  ( ( , ) )   （6.7） 于是得到下述结论： 定理 6.2：设 =    f (x) g(x,t)dt 。如果二元函数 g(x,t) 在矩形 D ={( x, y)| a  x  b,  t  } 连续，则积分  b a f (x)dx 存在，并且 （6.7）式成立。 定理 6.2 的意义在于，它为计算含参变量积分提供了一种方法，即可 以通过交换积分顺序计算积分（6.6）。同时，由此也可以得到计算定积 分的一种技巧。 例 6.1：计算定积分  − = 1 0 ln dx x x x I b a （其中 a,b 为常数，满足 0  a  b ） 解：由于被积函数没有初等原函数，所以不能直接用牛顿-莱布尼茨 公式计算这个积分。 注意到 x x x x x x dt b a b a t b a t ln ln 1 −  = = + ，所以  − = 1 0 ln dx x x x I b a =   =   1 0 1 0 dx x dt dt x dx b t a b a t dt t b x a t  + = + 1 0 1 ) 1 ( ln( 1) ln( 1) 1 1  = + − + + = dt b a t b a 在上述解题过程中，将原来的被积函数 x x x b a ln − 看成某个含参变量 x 的 积分  b a t x dt ，然后交换积分顺序，最后求得原积分的值。 另一个更加重要的问题是如何求含参变量积分的导数。研究这个问题 要比研究连续性与求积分复杂一些。 定理 6.3:假设函数 g(x,t) 以及该函数关于参变量 x 偏导数 x g   都 在区域 D ={( x, y)| a  x  b,  t  } 连续，则 f (x) 在区间 [a,b] 上 可导，并且     =  =     dt x g x t g x t dt dx d f x ( , ) ( ) ( , ) （6.8） 证明：对于任意的 x[a,b] ，假设 x + x[a,b] （作这个假设是 为了使 f (x + x) 有定义），则有 +  − =  +  −  =  +  −       f (x x) f (x) g(x x,t)dt g(x,t)dt [g(x x,t) g(x,t)]dtdt 于是

第四章重积分 f(x+A-/()=1It8(x+Ax, 1)-8(x o) jdr 2g(x+△x,1)-g(x,1) 9) 因为存在,根据微分中值定理,存在介于x和x+Ax之间的点 使得 g(x+Ax, 0-g(x,n) g(5,1) (对于每一个t∈[a,6,5存在,但是一般5与t有关。) 于是由(6.9)式得到 f(x+Ar)-f(x)Bag(s, t) (6.10) 由(6.10)式得到 f(x+△x)-f(x)ag(x,D Ax ardt(=eog(5, 2/-Sg(, D at\ ≤12g52-g(x 由于S在区域D连续,所以一致连续。因此对于任意正数E,存在正 数δ,只要|Axkd,就有(注意|2-xAx|) ag(s, t ag(x,t),a 于是当|△xkd时,有 f(x+△x)-f(x) x,h/s08()ag(x,1) 这说明当Ax→0时,fx十△)-(x)的极限为x2m。从而 d f(x) +l8(x,1)h 注释:(6.8)式说明:对于含参变量所确定的函数求导数时,对于参 变量x求导运算可以与对于自变量t的积分运算交换顺序 例62:计算积分Y、c05x)dx。 解:记/(y)=1(1+ ycosx)dx。则根据定理6.3得到 T'()=In(1+ cos x) dx=5o i coS x d 56(1 y cosx y1+ycosx 第五节含参变量的积分

第四章 重积分 第五节 含参变量的积分 4 x x f x x f x  =  ( +  ) − ( ) 1  +  −   [g(x x,t) g(x,t)]dt  +  −  =   g x x t g x t dt x [ ( , ) ( , )] 1 （6. 9） 因为 x g   存在，根据微分中值定理，存在介于 x 和 x + x 之间的点  ， 使得 x x g t g x x t g x t    +  − = ( , ) ( , ) ( , )  (对于每一个 t [,  ]， 存在，但是一般  与 t 有关。) 于是由（6.9）式得到 x f x x f x  ( +  ) − ( )    =    dt x g( ,t) （6.10） 由（6.10）式得到， | ( ) ( ) ( , ) |    −  +  −   dt x g x t x f x x f x | ( , ) ( , ) | dt x g x t dt x g t     −   =      dt x g x t x g t    −       | ( , ) ( , ) | 由于 x g   在区域 D 连续，所以一致连续。因此对于任意正数  ，存在正 数  ，只要 | x |  ，就有（注意 | − x || x | ）     −    −   | ( , ) ( , ) | x g x t x g t 于是当 | x |  时，有 | ( ) ( ) ( , ) |    −  +  −   dt x g x t x f x x f x dt x g x t x g t    −       | ( , ) ( , ) |       = −  dt 这说明当 x →0 时， x f x x f x  ( +  ) − ( ) 的极限为      dt x g(x,t) 。从而     =  =     dt x g x t g x t dt dx d f x ( , ) ( ) ( , ) 注释：（6.8）式说明：对于含参变量所确定的函数求导数时，对于参 变量 x 求导运算可以与对于自变量 t 的积分运算交换顺序。 例 6.2：计算积分  +  0 cos ) 2 1 ln(1 x dx 。 解：记 =  +  0 I(y) ln(1 y cos x)dx 。则根据定理 6.3 得到  +  + =    =   0 0 1 cos cos ( ) ln(1 cos ) dx y x x y x dx y I y  +  = + + = −    0 0 1 cos 1 ) 1 cos 1 (1 1 y x dx y y dx y y x

第四章重积分 对于积分5,如 令t=tan,则cos dx 1+ cos x 1+t2 1+ 于是 2 dt=l 1+ cos x (1+y)+(1-y) 1+t 2 arctan 于是 0)=x(1+-1 积分得到 I()=r[ y+h+vI-y 注意到当y=0时 1()=I(y)=lIn(1+cos x)dx=0 所以C=-rhn2。从而 I()=In y+In+vI-v 1-T In 2 因此 JoIn(1+-cos x)dx (-)=丌[hn2+ln 丌ln2=l(2+√3) 在各种问题中经常见到下述形式的含参变量积分: f()=Jaing(x, t )dr (6.11) 有关此类函数的求导运算,有以下定理 定理64:假设函数g(x,)以及关于参变量x偏导数2都在区域 D={(x,y)a≤x≤b,a≤I≤B}连续,又设函数a(x),B(x)的值域都 属于区间[ab]。则f(x)=m(3.(x,)在区间[ab上可导,并且 f( dra(&(x, /dt=(B(xag(x, i d/+/(x, B(x)B(x)-f(x, a(x)a'(x) Sa(x) ax 第五节含参变量的积分

第四章 重积分 第五节 含参变量的积分 5 对于积分  +  0 1 y cos x dx ，令 2 tan x t = ，则 2 2 1 1 cos t t x + − = ， 2 1 2 t dt dx + = 。 于是  +  0 1 y cos x dx  = + + −  = + − + + = + + 0 0 2 2 2 2 (1 ) (1 ) 2 1 1 1 1 2 t y y t dt dt t t y t 2 1 2 ) 1 1 arctan( 1 2 2 0 2   − = + − − = + y t y y y 于是 ) 1 1 1 ( ) ( 2 y y y I y −  = + 积分得到 C y y I y y + + − = + ] 1 1 ( ) [ln ln 2  注意到当 y = 0 时 I( y) = ( ) ln(1 0cos ) 0 0 =  + =  I y x dx 所以 C = − ln 2 。从而 ] ln 2 1 1 ( ) [ln ln 2  −  + − = + y y I y y 因此  +  0 cos ) 2 1 ln(1 x dx ] ln 2 ln( 2 3) 2 1 2 3 1 ) [ln 2 ln 2 1 ( − = + + = I =  +  在各种问题中经常见到下述形式的含参变量积分： =  ( ) ( ) ( ) ( , ) x x f x g x t dt   （6.11） 有关此类函数的求导运算，有以下定理： 定理 6.4：假设函数 g(x,t) 以及关于参变量 x 偏导数 x g   都在区域 D ={( x, y)| a  x  b,  t  } 连续，又设函数 (x),  (x) 的值域都 属于区间 [a,b] 。则 =  ( ) ( ) ( ) ( , ) x x f x g x t dt   在区间 [a,b] 上可导，并且 ( , ( )) ( ) ( , ( )) ( ) ( , ) ( ) ( , ) ( ) ( ) ( ) ( ) dt f x x x f x x x x g x t g x t dt dx d f x x x x x         +  −      =  = (6.12)

第四章重积分 6.2.含参变量广义积分 设I是一个(有限或无限)区间,考察含参变量积分 f(x)=g(x, t )dr (6.13) 如果对于每一个x,∫g(x,D)d是一个广义积分(例如无穷积分或者瑕 积分),则称由(6.13)式确定的函数为含参变量广义积分。 付于由含参变量广义积分确定的函数,同样需要研究连续性、积分交 换顺序以及求导法则等问题。但是由于这些问题的研究涉及到含参变量 广义积分的一致收敛性,所以问题要复杂得多。 以下先介绍含参变量广义积分的一致收敛性,然后对于含参变量无穷 积分叙述有关定理。更为详细的研究和应用,读者可以参考数学分析教 科书。 定义6.1:(含参变量无穷积分的一致收敛性)考察含参变量无穷积分 lg(x.l。 假设对于每个x∈1,关于变量t的无穷积分f(x,1)dt收敛。并记 F(x)=「f(x,1)d。如果对于任意正数E,都存在正数N,只要T满 足T>N,对于所有的x∈都有(x1)-F(x)kE,则称含参 变量无穷积分f(x,1)d关于参变量x∈一致收敛 关于含参变量无穷积分的连续性、求积分与求导数等问题,有与定理 6.1,6.2和6.3平行的以下三个定理。(由于篇幅所限,略去这些定理 的证明细节) 定理6.5:设二元函数∫(x,D)在区域D={(x,1)|x∈l,t≥a}连续, 并且含参变量无穷积分f(x,)d关于参变量x∈I一致收敛。则函 数F(x)=f(x,t)a在区间I上连续。 定理6.6:设二元函数∫(x,)在区域D={(x,D)|x∈I,t≥a}连续, 并且含参变量无穷积分f(x,1)d关于参变量x∈一致收敛。则积 分(6f(x,1)m)x存在,并且 j (o f(x, t)d )dx=5 (f(,t)dx)dt 定理6.7:设二元函数f(x,1)在区域D={(x,D)|x∈l,t≥a}处处 可导,且处处连续,其中是有限区间。假设对于每个x∈1,关于 变量t的无穷积分f(x,n)d收敛。又设含参变量无穷积分 xf(x,1)d关于参变量x∈1一致收敛。则函数 F(x)=f(x,D)d可导,并且 F(x)= [f(x, n)]dt 作为定理6.7的一个应用,下面计算一个著名的广义积分 例6.3:计算 dx(a为常数)。 解:任取正数k>0,令1(a)=le-knaa。考察以a为参变 第五节含参变量的积分 6

第四章 重积分 第五节 含参变量的积分 6 6.2．含参变量广义积分 设 I 是一个（有限或无限）区间，考察含参变量积分 = I f (x) g(x,t)dt （6.13） 如果对于每一个 x ， I g(x,t)dt 是一个广义积分(例如无穷积分或者瑕 积分)，则称由（6.13）式确定的函数为含参变量广义积分。 对于由含参变量广义积分确定的函数，同样需要研究连续性、积分交 换顺序以及求导法则等问题。但是由于这些问题的研究涉及到含参变量 广义积分的一致收敛性，所以问题要复杂得多。 以下先介绍含参变量广义积分的一致收敛性，然后对于含参变量无穷 积分叙述有关定理。更为详细的研究和应用，读者可以参考数学分析教 科书。 定义 6.1：（含参变量无穷积分的一致收敛性）考察含参变量无穷积分  + a g(x,t)dt 。 假设对于每个 xI ，关于变量 t 的无穷积分  + a f (x,t)dt 收敛。并记 F(x) =  + a f (x,t)dt 。如果对于任意正数  ，都存在正数 N ，只要 T 满 足 T  N ，对于所有的 xI 都有 |  f (x,t)dt − F(x)|  T a ，则称含参 变量无穷积分  + a f (x,t)dt 关于参变量 xI 一致收敛。 关于含参变量无穷积分的连续性、求积分与求导数等问题，有与定理 6.1，6.2 和 6.3 平行的以下三个定理。（由于篇幅所限，略去这些定理 的证明细节） 定理 6.5：设二元函数 f (x,t) 在区域 D ={( x,t)| x I,t  a} 连续， 并且含参变量无穷积分  + a f (x,t)dt 关于参变量 xI 一致收敛。则函 数 F(x) =  + a f (x,t)dt 在区间 I 上连续。 定理 6.6：设二元函数 f (x,t) 在区域 D ={( x,t)| x I,t  a} 连续， 并且含参变量无穷积分  + a f (x,t)dt 关于参变量 xI 一致收敛。则积 分   + I ( f (x,t)dt)dx 0 存在，并且   + I ( f (x,t)dt)dx 0 =   + 0 ( f (x,t)dx)dt I 定理 6.7：设二元函数 f (x,t) 在区域 D ={( x,t)| x I,t  a} 处处 可导，且 x f   处处连续，其中 I 是有限区间。假设对于每个 xI ，关于 变量 t 的无穷积分  + a f (x,t)dt 收敛。又设 含参变量无穷 积分   +  a f x t dt x ( , ) 关于参变量 xI 一致收敛。则函数 F(x) =  + a f (x,t)dt 可导,并且     = + a f x t dt x F (x) [ ( , )] 作为定理 6.7 的一个应用，下面计算一个著名的广义积分。 例 6.3：计算  + 0 sin dx x ax （ a 为常数）。 解：任取正数 k  0 ，令 =  + − 0 sin ( ) dx x ax I a e kx 。考察以 a 为参变

第四章重积分 量的含参变量无穷积分e-k当ah 可以证明(略去证明细节):参变量无积分e当ax对于 每一个a∈(-∞,+∞)都收敛,并且参变量无穷积分 关于参数a∈(-∞,+∞)是一致收敛的。于是由定理7可知 ldx=fo e- cos axdx 简单计算得到 '(a)=5 cos axdx= 于是 l(a)=arctan-+C 注意到/(0)= -kx si cx=0,所以C=0。因此 另一方面,固定常数口,将积分e“看作是以k为参 数的含参变量广义积分。则这个积分关于参数k≥0是一致收敛的。因 此根据定理5可以知道,作为参数k的函数,含参变量广义积分 J(k)=e-ka在0≤k0时 sin ax 当a<0时,is“a=- 当a=0时, d x=0 第五节含参变量的积分

第四章 重积分 第五节 含参变量的积分 7 量的含参变量无穷积分  + − 0 sin dx x ax e kx 。 可以证明（略去证明细节）：参变量无穷积分  + − 0 sin dx x ax e kx 对于 每一个 a(−,+) 都收敛，并且参变量无穷积分  =   +  − + − 0 0 ] cos sin [ dx e axdx x ax e a kx kx 关于参数 a(−,+) 是一致收敛的。于是由定理 7 可知  =     = + − + − 0 0 ] cos sin ( ) [ dx e axdx x ax e k I a kx kx 简单计算得到 0 2 2 ( ) cos a k k I a e axdx kx +  =  = + − 于是 C k a I(a) = arctan + 注意到 0 sin 0 (0) 0 =  = + − dx x I e kx ，所以 C = 0 。因此 k a I(a) = arctan 另一方面，固定常数 a ，将积分  + − 0 sin dx x ax e kx 看作是以 k 为参 数的含参变量广义积分。则这个积分关于参数 k  0 是一致收敛的。因 此根据定理 5 可以知道，作为参数 k 的函数，含参变量广义积分 J (k) =  + − 0 sin dx x ax e kx 在 0  k  + 连续。因此  + 0 sin dx x ax = J (0) k a k lim arctan →0+ = 由此式立即得到： 当 a  0 时， 2 sin 0   = + dx x ax ； 当 a  0 时， 2 sin 0   = − + dx x ax ； 当 a = 0 时， 0 sin 0 = + dx x ax