知识点
积分上限函数的导数
定义
设 在 上连续。对 上的每一点 ,定积分 都存在,于是可以定义一个以 为自变量的函数
称为变上限的定积分,也叫积分上限函数。这里 出现在积分上限,被积函数的变量改用 ,以免与上限混淆; 是哑变量,换成别的字母不影响 。
若在区间 上有 ,则称 是 在 上的一个原函数。原函数不唯一:把一个原函数加上任意常数,仍然是原函数;反过来,区间 上 的任意两个原函数只相差一个常数。
性质
定理(原函数存在定理) 设 在 上连续,则积分上限函数 在 上可导(端点处指相应的单侧导数),且
因此,连续函数 的积分上限函数 就是 的一个原函数。这条结论同时说明:在闭区间上连续的函数一定有原函数。
证明
设 , 且 。由积分对区间的可加性,
以 为例( 时先交换上下限,结论相同)。在区间 上对 用积分中值定理(见 定积分的概念与性质),存在 ,使
于是 。当 时 ,由 在 处连续得 ,故 。端点 、 处用同样的推理讨论单侧导数,结论相同。
上下限都是函数时的导数
例子
求 的导数
由微积分基本定理,直接去掉积分号并把 换成上限 :
上限是函数:
上限 ,外层被积函数在 处的值为 ,再乘上限的导数 :
上下限都是函数:
上限项带正号,下限项带负号:
探索
变上限积分的变化率是什么?
比较积分上限函数与被积函数在上限处的值。
正在准备演示…
题集
练习
设 ,则 。
参考解答
由微积分基本定理,,代入 得 。
设 ,则 。
参考解答
上限为 ,由莱布尼茨公式,,代入 得 。
设 在 上连续,。关于 ,下列说法正确的是
参考解答
微积分基本定理给出 ,所以 是 的一个原函数。不定积分指全体原函数,是函数族,与单个 不同。
设 连续,且对一切 有 ,则
参考解答
对等式两边求导,左边由微积分基本定理得 ,右边得 ,所以 。