-含参量积分.docVIP

第十九章 含参量积分 (一) 教学目的： 掌握含参量正常积分的连续性，可微性和可积性定理，掌握含参量正常积分的求导法则． (二) 教学内容： 含参量正常积分的连续性，可微性和可积性定理的证明；含参量正常积分的导数的计算． 基本要求： (1)了解含参量正常积分的连续性，可微性和可积性定理的证明，熟练掌握含参量正常积分的导数的计算公式． (2) 较高要求：掌握含参量正常积分的连续性，可微性和可积性定理的证明． (三) 教学建议： (1) 要求学生必须理解含参量正常积分的定义． (2) 要求较好学生掌握含参量正常积分的连续性，可微性和可积性定理的证明 ———————————————— 一. 含参积分: 以实例 和 引入. 定义含参积分 和 . 含参积分提供了表达函数的又一手段 .我们称由含参积分表达的函数为含参积分. 1. 含参积分的连续性: 定理 19.1 若函数在矩形域上连续 , 则函数 在上连续 . 同样 在上连续 定理 19.2 若函数在矩形域上连续, 函数和在上连续 , 则函数在上连续. 定理 19.3（可微性） 若函数及其偏导数都在矩形域上连续, 则函数在上可导 , 且 . ( 即积分和求导次序可换 ) . 证 对于内任何一点，设（若取为区间端点，则讨论单侧导数），则 。 于是 由微分中值定理及的连续性，对任给的正数，存在正数，只要，就有 其中。结合（20）式得到 . 定理 19.4 设函数及其偏导数都在矩形域上连续, 函数和定义在, 值域在上 , 且可微, 则含参积分 在上可微 , 且 . 证 把作为复合函数看待: 其中 , . 由复合函数求导法则和变动上限积分的求导得到 定理19.5(可积性) 若在矩形区域 上连续和分别在 上可积。 定理19.6 若在矩形区域 上连续，则 下面举例说明含参量积分求导或求积运算（或称积分号下微分法或积分号下积分法）在计算定积分中的应用。 设函数在点的某邻域内连续 . 验证当充分小时 , 函数 的阶导数存在 , 且 . 解 由于（21）中被积函数及其偏导数在原点的某个方邻域内连续，于是由定理20。11有 同理 如此继续下去求得??导数为 特别当时有 于是 附带说明，当时，及其各阶导数为 。 利用含参量积分的可积性和可微性, 可以计算一些其他方法难以计算的积分，其思路是 适当引入参量, 得到 原则是 要容易求积 2) 利用端点条件，例如 ，即可求出 例 1 计算定积分 解 引入参量 和 显然 , , 先求 S=sym(log(1+a*x)/(1+x^2)); diff(S,a) ans =x/(1+a*x)/(1+x^2) 计算这个积分 int(x/((1+a*x)*(1+x^2)),x,0,1) ans =1/4*(-4*log(1+a)+2*log(2)+a*pi)/(a^2+1) 利用端点条件 可得 即 int(1/2*(log(2)/2+a*pi/4)/(a^2+1),a,0,1) ans =1/8*pi*log(2) 例3 求 解 ， 因 在 上连续，积分可交换积分次序 函数 先看看函数图象 clf,fplot(gamma,[0.01,10]),hold on plot([-4,5],[0,0],r,[0,0],[-10,20],r) axis([-4,6,-15,20]) 由图象看出 函数在定义域内连续可微，下凸，因此有唯一极小点，位于区间内， 函数的导函数 y=sym(x^(s-1)*e^(-x)); y1=diff(S,s) y1 =x^(s-1)*log(x)*e^(-x) diff(y1,s) ans =x^(s-1)*log(x)^2*e^(-x) 函数的递推公式 应用分部积分法容易证明 函数的延拓 利用递推公式 可以将函数延拓到除以外的整个数轴，其图象如下 clf,fplot(gamma,[-4,10]),hold on plot([-4,5],[0,0],r,[0,0],[-10,20],r) axis([-4,6,-15,20])