含参变量积分的性质
含参量积分的分析性质及其应用
含参量积分的分析性质及其应用首先，含参量积分具有连续性。
设函数F(x, t)在区域D上连续且对于每个t ∈ [a, b]，函数F(x, t)在D上也是连续的，则对于t ∈ [a, b]，函数F(x, t)的积分函数∫F(x, t)dx在D上是连续的。
这个性质在函数的极限和连续性分析中起着重要的作用。
其次，含参量积分具有可微性。
设函数F(x, t)在区域D上可微且对于每个t ∈ [a, b]，函数的偏导数∂F/∂t也在D上是连续的，则对于t∈ [a, b]，积分函数∫F(x, t)dx在D上是可微的，并且有d/dt∫F(x, t)dx = ∫∂F/∂t dx。
这个性质在微分方程的研究中非常重要，可以用来求解一些复杂的变量关系。
此外，含参量积分还具有积分区间可微性。
设函数F(x, t)在区域D上连续且对t ∈ [a, b]，积分区间[a, b]上是可微的，则对于任意点x∈ D，积分∫F(x, t)dt的导数存在且有d/dx∫F(x, t)dt = ∫∂F/∂x dt。
这个分析性质对于求解偏微分方程、计算场的变化率等都有重要意义。
1. 曲线长度计算：曲线的参数方程在一定范围内的积分可以得到曲线的长度。
例如，对于曲线x = f(t)，y = g(t)在区间[a, b]上的参数表示，可以通过计算∫sqrt(dx/dt)^2 + sqrt(dy/dt)^2 dt来得到曲线的长度。
2. 曲面面积计算：曲面的参数方程在一定范围内的积分可以得到曲面的面积。
例如，对于曲面z = f(x, y)在区域D上的参数表示，可以通过计算∬sqrt(1 + (df/dx)^2 + (df/dy)^2) dA来得到曲面的面积。
3.物理学中的应用：含参量积分广泛应用于物理学中的各种问题。
例如，对于质点在力场中的运动问题，可以通过计算质点在一段时间内的位移和力的乘积的积分来得到质点所受的总力。
4.工程学中的应用：含参量积分在工程学中也有许多应用。
13-高等数学第十三讲 含参量的积分
387第十三讲 含参量积分§13.1 含参量正常积分一、知识结构 1、含参积分 定义含参积分 ⎰=dcdy y x f x I ),()(和⎰=)()(),()(x d x c dy y x f x F .含参积分提供了表达函数的又一手段 .我们称由含参积分表达的函数为含参积分. （1）含参积分的连续性 定理1 若函数),(y x f 在区域] , [ ] , [d c b a D ⨯=上连续, 则函数⎰=dcdy y x f x I ),()(在] , [b a 上连续.定理2 若函数),(y x f 在矩形域{}b x a x d y x c y x D ≤≤≤≤=),()( ),(上连续, 函数)(x c 和)(x d 在] , [b a 上连续,则函数⎰=)()(),()(x d x c dy y x f x F 在] , [b a 上连续.（2）含参积分的可微性定理3 若函数),(y x f 及其偏导数x f 都在矩形域] , [ ] , [d c b a D ⨯=上连续, 则函数⎰=dcdy y x f x I ),()(在] , [b a 上可导, 且⎰⎰=dcdcx dy y x f dy y x f dxd ),(),(.即积分和求导次序可换.定理4 设函数),(y x f 及其偏导数x f 都在矩形域] , [ ] , [q p b a D ⨯=上连续, 函数)(x c 和)(x d 定义在] , [b a 上其值域含于] , [q p 上的可微函数, 则函数⎰=)()(),()(x d x c dy y x f x F 在] , [b a 上可微, 且 ()())()(,)()(,),()()()(x c x c x f x d x d x f dy y x f x F x d x c x '-'+='⎰.(3) 含参积分的可积性定理5 若函数),(y x f 在区域] , [ ] , [d c b a D ⨯=上连续, 则函数388⎰=dcdy y x f x I ),()(和⎰=badx y x f y J ),()(分别在] , [b a 上和] , [ d c 上可积.定理6 若函数),(y x f 在区域] , [ ] , [d c b a D ⨯=上连续, 则⎰⎰⎰⎰=badcdcbadx y x f dy dy y x f dx ),(),(.即在连续的情况下累次积分可交换求积分的次序. 二、解证题方法例1 求⎰+→++αααα122.1limx dx例2 计算积分 dx xx I ⎰++=121)1ln(.例3 设函数)(x f 在点0=x 的某邻域内连续. 验证当||x 充分小时, 函数⎰---=xn dt t f t x n x 01)()()!1(1)(φ的1-n 阶导数存在, 且 )()()(x f x n =φ.§13.2 含参量反常积分一、知识结构 1、含参无穷积分含参无穷积分: 函数),(y x f 定义在) , [] , [∞+⨯c b a 上 (] , [b a 可以是无穷区间) .以⎰+∞=cdy y x f x I ),()(为例介绍含参无穷积分表示的函数)(x I .2. 含参无穷积分的一致收敛性逐点收敛(或称点态收敛)的定义:∈∀x ] , [b a ,c M >∃>∀ , 0ε,使得ε<⎰+∞Mdy y x f ),(.定义 1 (一致收敛性)设函数),(y x f 在) , [] , [∞+⨯c b a 上有定义.若对389c N >∃>∀ , 0ε, 使得当N M >,∈∀x ] , [b a 都有ε<-⎰Mcx I dy y x f )(),(即ε<⎰+∞Mdy y x f ),( 成立, 则称含参无穷积分⎰+∞cdy y x f ),(在] , [b a 上(关于x )一致收敛.定理1(Cauchy 收敛准则) 积分⎰+∞=cdy y x f x I ),()(在] , [b a 上一致收敛⇔,0>∀εM A A M >∀>∃21, , 0 , ∈∀x ] , [b a⇒ε<⎰21),(A A dy y x f 成立 .3、含参无穷积分与函数项级数的关系 定理2 积分⎰+∞=c dy y x f x I ),()(在] , [b a 上一致收敛⇔对任一数列}{n A )(1c A =,n A ↗∞+, 函数项级数∑⎰∑∞=∞=+=111)(),(n A A n nn nx udy y x f 在] , [b a 上一致收敛.4、含参无穷积分一致收敛判别法定理3（Weierstrass M 判别法）设有函数)(y g ,使得在) , [] , [∞+⨯c b a 上有)(|),(|y g y x f ≤.若积分∞+<⎰+∞)( cdy y g , 则积分⎰+∞cdy y x f ),(在] , [b a 一致收敛.定理4（Dirichlet 判别法） 设⑴对一切实数,c N >含参量积分⎰Ncdy y x f ),(对参量x在] , [b a 上一致有界; ⑵对每个x ∈] , [b a ,函数),(y x g 关于y 是单调递减且当+∞→y 时,对参量x ,),(y x g 一致地收敛于0,则含参量反常积分⎰+∞),(),(dy y x g y x f 在] , [b a 上一致收敛.定理5（Abel 判别法） 设⑴含参量积分⎰+∞cdy y x f ),(在] , [b a 上一致收敛; ⑵对每个x ∈] , [b a ,函数),(y x g 为y 的单调函数且对参量x ,),(y x g 在] , [b a 上一致有界,则含390参量反常积分⎰+∞),(),(dy y x g y x f 在] , [b a 上一致收敛.5、含参无穷积分的解析性质含参无穷积分的解析性质实指由其所表达的函数的解析性质. （1）连续性定理6 设函数),(y x f 在) , [] , [∞+⨯c b a 上连续.若积分⎰+∞=cdy y x f x I ),()(在] , [b a 上一致收敛, 则函数)(x I 在] , [b a 上连续. (化为级数进行证明或直接证明)推论 在定理6的条件下, 对∈∀0x ] , [b a , 有 ⎰⎰⎰∞+∞+∞+→→⎪⎭⎫ ⎝⎛==cccx x x x dy y x f dy y x f dy y x f .),(lim ),(),(lim000 （2）可微性定理7 设函数f 和x f 在) , [] , [∞+⨯c b a 上连续.若积分⎰+∞=cdy y x f x I ),()(在] , [b a 上收敛,积分⎰+∞cx dy y x f ),(在] , [b a 一致收敛.则函数)(x I 在] , [b a 上可微,且⎰+∞='cx dy y x f x I ),()(.（3）可积性定理8 设函数),(y x f 在) , [] , [∞+⨯c b a 上连续.若积分⎰+∞=cdy y x f x I ),()(在] , [b a 上一致收敛, 则函数)(x I 在] , [b a 上可积, 且有⎰⎰⎰⎰+∞+∞=baccbady y x f dy dy y x f dx ),(),(.定理9 设函数),(y x f 在) , []) , [∞+⨯∞+c a 上连续.若⑴⎰+∞adx y x f ),(关于y 在任何闭区间] , [d c 上一致收敛,⎰+∞cdy y x f ),(在任何闭区间] , [b a 上一致收敛;⑵积分⎰⎰+∞+∞acdy y x f dx ),(与⎰⎰+∞+∞cadx y x f dy ),(中有一个收敛,则另一个也收敛,且391⎰⎰⎰⎰+∞+∞+∞+∞=accady y x f dy dy y x f dx ),(),(.6、含参瑕积分简介（略）二、解证题方法例1 证明含参量非正常积分⎰+∞sin dy yxy 在) , [∞+δ上一致收敛,其中0>δ.但在区间) , 0 (∞+内非一致收敛.例2 证明含参无穷积分⎰∞++021cos dx xxy 在+∞<<∞-y 内一致收敛.例3 证明含参量反常积分⎰+∞-0sin dx xx exy在] , 0 [d 上一致收敛.例4 证明:若函数),(y x f 在) , [] , [∞+⨯c b a 上连续,又⎰+∞cdy y x f ),(在) , [b a 上收敛,但在b x =处发散,则⎰+∞cdy y x f ),(在) , [b a 上不一致收敛.例5 计算积分⎰+∞->>-=) , 0 ( , sin sin a b p dx xaxbx eI px例6 计算积分.sin 0dx xax ⎰+∞例7 计算积分⎰+∞-=0.cos )(2rxdx er xϕ例8（北京理工大学2008年）请分别用两种不同方法求()dx xx xI cos 1cos 1lncos 12αααπ-+⋅=⎰，1<α。
参变量积分
由复合函数的连续性
f (a( y ) t (b( y ) a( y )), y )(b( y ) a( y ))
在[0,1][c,d]上连续,由定理1,
F ( y)
在[c,d]上连续.
b( y )
a( y )
f ( x, y)dx
数学分析选讲
多媒体教学课件
定理4设f(x,y), fy(x,y)在矩形[a,b,c,d]上连续, a(y), b (y) 存在,且当y[c,d]时,
0
sin t dt 收敛,故对任意>0,存在M>0,使对任意 t
数学分析选讲
A >M>0,有
多媒体教学课件
sin t | dt | . A t 因此当Aa>M时,对任意x[a,+),有
Ax aA M ,
从而
|
Ax sin xy sin t dt || dy | . A t y
b( y )
a( y )
f ( x, y)dx
数学分析选讲
多媒体教学课件
证明：作积分变换 x a( y ) t (b( y ) a( y )), 则
F ( y)
b( y )
a( y )
1
f ( x, y)dx
f (a( y ) t (b( y ) a( y )), y )(b( y ) a( y ))dt ,
多媒体教学课件
定理5设函数f(x,y)在矩形[a,b,c,d]上连续,,是
d
c
dy f ( x, y )dx dx f ( x, y )dy
b b d a a c
数学分析第十二章广义积分与含参变量积分
数学分析第十二章广义积分与含参变量积分第一，广义积分的概念和性质。
在数学分析中，我们通常通过定积分来求解曲线下面的面积。
然而，如果被积函数在有限区间上发散或无定义，就无法使用定积分。
这时，我们就需要用到广义积分。
广义积分可以看作是一些特殊函数的面积，其被积函数在有限区间上可能发散或无定义，但在无穷区间上是收敛的。
广义积分的概念可以统一定积分与不定积分的特点，并在此基础上建立一些重要的性质。
第二，广义积分的判定和应用。
对于广义积分的求解，我们需要先进行判定，即判断广义积分是否存在。
常用的判定方法有比较判定法、绝对收敛判定法、积分判别法等。
这些方法可以帮助我们准确地判断广义积分的存在性，并进一步应用于实际问题的求解。
广义积分在实际问题中的应用非常广泛，比如物理学、工程学等领域都需要用到广义积分的计算。
第三，含参变量积分的概念和性质。
含参变量积分是将被积函数中的参数视为独立变量进行积分。
含参变量积分可以看作是广义积分的一种特殊情况，其被积函数中的参数在一定范围内变化。
含参变量积分的性质与普通的定积分类似，可以满足线性性质、积分换序等性质。
同时，由于含参变量积分中的参数是变化的，所以可以应用于优化问题的求解，帮助我们找到最优解。
第四，含参变量积分的应用。
含参变量积分在实际中的应用非常广泛。
比如，在经济学中，我们可以用含参变量积分来求解收益函数或成本函数的最优解，从而确定最优生产方案。
在物理学中，我们可以用含参变量积分来求解一个变量随时间变化的过程，如物体的运动方程。
在金融学中，我们可以用含参变量积分来计算一些金融衍生品的价格，如期权的定价。
这些都是含参变量积分在实际问题中的应用。
综上所述，数学分析第十二章的广义积分与含参变量积分的概念、性质以及应用都非常重要。
通过对广义积分与含参变量积分的学习与理解，我们能够更好地理解数学中的积分概念，并应用于实际问题的求解。
数学分析第十二章提供了一种更加灵活且广泛的积分方法，对我们的数学思维与解决问题的能力都有很大的提升作用。
含参变量积分(课件+例题+论文)
含参量反常积分
0
cos 1
xy x2
dx
在 (,) 上一致收敛.
例2 : 证明含参量反常积分 e xy sin x dx
0
x
在 [0,d] 上一致收敛.
证 : 由于反常积分 sin xdx 收敛
0x
(当然，对于参量y,它在[0, d ]上一致收敛)
函数g(x, y) exy对每个x [0, d ]单调且对任何
u 一致收敛的柯西准则:
含参量反常积分 f (x, y)dy 在 [a,b]上一致收敛的充要 c
条件是 0, M c,A1, A2 M ,x [a,b],都有
A2 f (x, y)dy . A1
u 一致收敛的充要条件;
含参量反常积分 f (x, y)dy 在 [a,b]上一致收敛的充要 c
解 :
记I ( )
1
1
dx x2
2
.
由于
,1
,
1
1 x2
2
都是和x的连续函数，
所以I( )在 0处连续，从而
lim
0
1
dx
1 x2 2
I(0)
1 dx 0 1 x2
. 4
例2 : 解:
求 I 1 xb x a dx (b a 0).
c
f
( x,
y)g( x,
y)dy
在[a , b]上一致收敛 .
例1 :
证明反常积分
0
cos 1
xy x2
dx
在 (,)上一致收敛.
证:
由于y R有
含参量积分的分析性质和应用
含参量积分的分析性质和应用
参量积分是一种数学技术，其特点是将具有参量的函数的积分写作一组形式中的积分。
它允许使用积分理论进行变量函数的运算，因为在绝大多数结果中，变量积分被认为更具
备计算性。
参数积分表示以参数来确定复合函数的积分并将其建模。
参量积分的分析性质包括：（1）可以表达多元函数中不同参量的函数积分；（2）
可以求解多元函数的导数；（3）可以使用积分理论来表示复合函数的积分；（4）可以
用于特殊函数的快速求解等。
因此，参数积分不仅可以求解多元函数的积分，而且可以用
于求解特殊函数和添加变量。
参量积分在实际应用中也十分重要。
它在工程中被用来计算滚动体的动力，计算温度
分布，计算定点参数，计算水声双曲线，计算表面温度，计算定点反射概率等。
还可以用
于设计液压系统，燃油系统，伺服系统，汽车动力系统，可穿戴运动系统和其他现代技术
系统的计算。
总之，参量积分是一种具有重要理论和实际应用价值的常用技术。
它有助于分析不同
参量的多元函数的积分，并且还可用于生物医学，工程，运动系统等领域的计算。
数学分析 含参变量的积分
积分上下限中的参数
因为 f 连续, 故存在 M > 0, 使得 |f (x, y)| ≤ M. 由上式和已知条件得 |F (y ) − F (y0)| ≤ M|a(y ) − a(y0)| + M|b(y ) − b(y0)| + sup |f (x, y ) − f (x, y0)||b − a|,
b a
fy
(x
,
y
)
dx
.
关于参数的可导性质
(可导性质)
设 f (x, y ) 的偏导数 fy (x, y ) 在 [a, b] × [c, d] 中连续, 则 I(y ) 关于 y 可导, 且
I (y) =
b a
fy
(x
,
y
)
dx
.
证明. fy (x, y ) 关于 x 在 [a, b] 中的积分记为 ψ(y ). 根据上述引理, ψ(y ) 关于 y 连续. 当 y1, y2 ∈ [c, d] 时, 交换积分次序可得
的函数, 考虑积分 F (y) =
b(y ) a(y )
f
(x
,
y
)
dx
.
若 f (x, y ) 在 [a, b] × [c, d] 中连续, 函数 a(y), b(y) 关于 y 连续, 且 a ≤ a(y ), b(y) ≤ b, 则 F (y ) 关于 y ∈ [c, d] 连续.
积分上下限中的参数
x ∈[a,b]
积分上下限中的参数
因为 f 连续, 故存在 M > 0, 使得 |f (x, y)| ≤ M. 由上式和已知条件得 |F (y ) − F (y0)| ≤ M|a(y ) − a(y0)| + M|b(y ) − b(y0)| + sup |f (x, y ) − f (x, y0)||b − a|,
数学分析第十九章含参量积分
特别地，c和d为常数时，得到定理19.3.
练习2：求F ( y )
解：F ( y )
sin y y2 y cos( xy )dx 2 y
y2
y 2 sin( xy ) dx的导数. y x 3
sin y 2 2y y
sin xy sin y 3 sin y 2 3 sin y 3 2 sin y 2 2 2y . y y y y y
第19章Байду номын сангаас
§1
含参量积分
含参量正常积分
一、含参量积分的概念
从本章开始我们讨论多元函数的各种积分问题, 首先本章研究 含参量积分. 设f ( x, y )是定义在矩形区域R [a, b] [c, d ]上的二元函数. 当固
定x [a, b]时, f ( x, y )是定义在[c, d ]上的以y为自变量的一元函 数. 若此时f ( x, y )在[c,d ]上可积, 则其积分值是在[a, b]上取值的 x的函数, 记为I ( x), 就有 d I ( x) c f ( x, y )dy, x [a, b]. (1)
1 练习1 求0 arctan x dx( y ： y
0)对于参数y的导数.
x 连续，故 x2 y 2
解：当y 0时， arctan x 和[arctan x ]y y y
d 1 x dx 1[arctan x ] dx 0 arctan y 0 y y dy
x dx 1 ln( x 2 2 x y2
arctanx 1 1 ln(1 x 2 ) 1 ln(1 x) 1 0 2 0 0 1 2 1 1 ln 2 ln(1 ) 1 2 4 2 1 I ( )d ln(1 2 ) 1 1 ln 2 arctan 1 I (1) I (1) I (0) 0 0 8 0 2 1
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
目录1引言 ................................................... 1 2含参变量积分 . (1)2.1一元含参变量的有限积分函数()()⎰=badx u x f u ,ϕ的定义及其分析性质 (1)2.2含参变量的有限()2≥n n 重积分函数的定义及其分析性质 ............................................ 4 2．2.1含参变量的有限二重积分函数定义及其分析性质 .. (4)2.2.2含参变量的有限n 重积分函数的分析性质 (10)3例题 .................................................. 11 4结束语 ................................................ 14 参考文献 ............................................... 15 致谢 (16)含参变量积分的性质数学系0803班 陈璐指导教师 王芳摘 要：含参变量积分是一类比较特殊的积分，由于它是函数但又是以积分形式给出的,所以它在积分计算中起着桥梁作用，本文通过对一元含参变量的有限积分函数:A ()()⎰=ba dx u x f u ,ϕ的定义及其在区间[]b a ,上的分析性质(连续性、可微性与可积性)出发，阐述了含参变量的有限()2≥n n 重积分函数的定义及其分析性质，分别推导出含参变量的有限二重积分函数及含参变量的有限n 重积分函数的连续性、可微性与可积性定理与公式，最后给出了一些应用实例。
关键词：含参变量，积分函数，分析性质。
Including the nature of the integral depending on a parameterChen LuClass 0803, Mathematics DepartmentTutor: Wang FangAbstract : Contain integral depending on a parameter is a kind of a special points, because it is an integral form and function are given, so it plays in the integral calculation bridge. This paper, with a yuan of parameter of the integral function limited definition A and in the analysis of the interval nature (continuity, the differentiability and integrality) article, expatiates the heavy integral depending on a parameter with limited definition and nature of the function analysis, were deduced with the double integral depending on a parameter, function and the parameter with limited heavy continuity of integral function, can the sex and integrable theorems and formula. Finally gives some practical examples.Key words: including parameter, integral function, analysis of the interval nature.1引言目前，许多学者对含参变量积分的性质的研究已经达到了一定的深度，主要研究了许多运用含参变量积分的性质解决实际问题的方法。
古希腊的阿基米德和我国的刘徽的著作都体现了积分的思想。
但到牛顿和莱布尼茨的工作出现之前，有关定积分的各种结果还是孤立零散的，比较完整的积分理论还未能形成，直到牛顿-莱布尼茨公式建立以后，计算问题得以解决。
积分的性质作为求平面图形的面积以及许多实际问题的重要工具，为数学的发展打下了坚实的基础。
含参变量积分是一类比较特殊的积分，由于它是函数但又是以积分形式给出的，所以它在积分计算中起着桥梁作用。
本文对含参变量积分的函数的定义、连续性、可微性、可积性的进行了较为系统的描述，使其应用更具一般化。
2含参变量积分2.1一元含参变量的有限积分函数()()⎰=ba dx u x f u ,ϕ的定义及其分析性质定义1 设函数()y x f ,在矩形d y c b x a R ≤≤≤≤,:上连续，如果把y 固定为[]d c y ,0∈,函数()0,y x f 就成为一个变量[]b a x ,∈上的连续函数了，则()()⎰=ba dx y x f y I 00,就是一个唯一确定的数，这个数与0y 有关，当y 在[]d c ,上变动时，所得到积分值一般是不同的，记为()()dx y x f y I ba⎰=,，它是y 的函数，其定义域为[]d c ,，称积分()dx y x f ba⎰,为含参变量积分，自变量为y 。
性质1.（极限） 若()y x f ,在[]b a x ,∈，[)(]d y y c y ,,00 ∈上连续，limy y →()()()dx x g dx y x f dx y x f b a ba y y ba⎰⎰⎰=⎥⎦⎤⎢⎣⎡=→,lim ,0 。
证明：根据()()x g y x f y y =→,lim 0，可得对任给的ε0>,存在0>δ,当0δ<-<0y y 时，()()()a b ab x g y x f >-<-ε,从而()()()()[]()()εε=-<-≤-=-⎰⎰⎰⎰⎰dx ab dx x g y x f dx x g y x f dx x g dx y x f baba ba baba,,,注：当上下限中至少有一个是关于x 的函数时，结论仍成立。
性质2.（连续性） 若函数()y x f ,在矩形d y c b x a R ≤≤≤≤,:上连续，则()()dx y x f y I ba⎰=,是[]d c ,上的连续函数。
证明：任取[],,0d c y ∈()()()()[]dx y x f y x f y I y I ba⎰-=-00,,，因为()y x f ,在闭区域R 上连续，从而就一致连续，因而对任给的0>ε，当δ<-0y y 时，()()ab y x f y x f -<-ε0,,，此时，()()()()ε<-≤-⎰dx y x f y x f y I y I ba00,,，因此，()()00lim y I y I y y =→。
性质3.（可导性） 设()()y x f y x f y ,,,都在矩形d y c b x a R ≤≤≤≤,:上连续，()()dx y x f y I ba⎰=,在[]d c ,上可导，且()()()dx y x f dx y x f y I dydb a b a y ⎰⎰==,,。
证明：利用导数定义()()[]dx y x f y y x f I ba⎰-∆+=∆,,由拉格朗日中值定理()()()y x f y x f y y x f y ∆=-∆+ξ,,,()dx x f y Ib ay ⎰=∆∆ξ,，其中()y y y ∆+∈,ξ 从而()()dx y x f dx x f y Ib a y b ay y y ,,lim lim 0⎰⎰==∆∆→→∆ξξ定理1 若函数()y x f ,及()y x f y ,在矩形d y c b x a R ≤≤≤≤,:上连续，m 为一个常数，且b m a ≤≤，函数()y b 在[]d c ,上可导，当d y c ≤≤时()b y b a ≤≤，则函数()()()dx y x f y F y b m⎰=,在[]d c ,上可导，且()()()()[]()()()dx y x f y b y y b f dx y x f dy d dy y dF y b m y y b m⎰⎰+'==,,,证明：设()()dt y t f y x F xay ,,⎰=是()y x f ,关于x 的一个原函数，则()y x f x F ,=∂∂，()dt y t f yFx a y ,⎰'=∂∂，从而()()()dx y x f dyd dy y dF y b m ⎰=, =()()()[]m x y b x y x F y x F dyd==-,, =()[]()()()y m F dydyF y b y y b f y b x ,,-∂∂+'= =()[]()()()()dx y x f dx y x f y b y y b f m ay y b a y ,,,⎰⎰'-'+' =()[]()()()dx y x f y b y y b f y b ay ,,⎰+'推论 1()()()[]()()()dx y x f y a y y a f dx y x f dyd m y a y my a ,,,⎰⎰'+'-= 其中，()y a 同定理1中()y b 所满足的条件。
推论 2()()()()()()()dx y x f dy d dx y x f dy d dx y x f dy d y b mm y a y b y a ⎰⎰⎰+=,,,=()()()()[]()()[]()y a y y a f y b y y b f dx y x f y b y a y '-'+'⎰,,,2.2含参变量的有限()2≥n n 重积分函数的定义及其分析性质 2．2.1含参变量的有限二重积分函数定义及其分析性质定义2 设()z y x f ,,是定义在闭长方体区域D =[][][]h g d c b a ,,,⨯⨯上的三元函数，当()[][]d c b a y x ,,,⨯∈上取某定值，函数()z y x f ,,就是定义在[]h g ,上的以z 为自变量的一元函数，倘若这时()z y x f ,,在[]h g ,上可积，则其积分值是()y x ,在有界区域[][]d c b a ,,⨯上取值的二元函数，记它为()y x I ,，则有()(),,,,dz z y x f y x I hg⎰= ()[][]d c b a y x ,,,⨯∈ (1)我们把形如（1）的函数叫做二元含参变量积分函数。