积分上限函数的应用.docVIP

积分上限函数的应用 引言 在一元函数的微积分学中，由于证明原函数存在定理和微积分基本公式的需要，引入积分上限函数，从而揭示了不定积分与定积分，微分与积分的内在联系，解决了定分的计算问题. 积分上限函数，即变上限的定积分，这是一类新的函数.即具有与普遍函数相关的特征，又由于它的上限是变化的.因而有具有与许多与积分有关的特殊性质.我们利用积分上限函数可以简化计算和证明，下面举例说明积分上限函数在解题或证明中的应用. 2 一元函数的积分上限函数 2.1 一元函数的积分上限函数的定义 定义1 [4] 对于某区间 SKIPIF 1 0 上连续的函数 SKIPIF 1 0 设 SKIPIF 1 0 为 SKIPIF 1 0 上的任一点，变上限的定积分 SKIPIF 1 0 ，显然存在，当 SKIPIF 1 0 在 SKIPIF 1 0 上任意变动时，对于每一个取定的 SKIPIF 1 0 的值， SKIPIF 1 0 就有一个对应的值，这样就在 SKIPIF 1 0 上定义了一个新的函数——积分上限函数.一般记作 SKIPIF 1 0 SKIPIF 1 0 SKIPIF 1 0 . 这个概念是一个较抽象的概念，我们可以结合几何解释。 SKIPIF 1 0 表示一个以 SKIPIF 1 0 为曲边的曲边梯形的面积，当 SKIPIF 1 0 给一个确定的值， SKIPIF 1 0 有一个确定的值，所以又称 SKIPIF 1 0 SKIPIF 1 0 为面积函数. 2.2 一元积分上限函数的应用 2.2.1 对于有些含有定积分的不等式的证明，往往可以把积分上限变量看作参数而构造辅助函数，在通过求导确定函数的单调性的方法加以证明. 例1 设函数 SKIPIF 1 0 在 SKIPIF 1 0 上连续且单调递减，证明：对任意的 SKIPIF 1 0 ，均有 SKIPIF 1 0 . 证明：构造函数 SKIPIF 1 0 SKIPIF 1 0 则 SKIPIF 1 0 SKIPIF 1 0 . 因为 SKIPIF 1 0 在 SKIPIF 1 0 上单调递减，所以当 SKIPIF 1 0 时， SKIPIF 1 0 ，从而当 SKIPIF 1 0 时， SKIPIF 1 0 故 SKIPIF 1 0 在 SKIPIF 1 0 单调递减，于是对任意的 SKIPIF 1 0 ，有 SKIPIF 1 0 ，即 SKIPIF 1 0 ，即 SKIPIF 1 0 .成立 2.2.2 当积分等式中的定积分的上限（或下限）为字母时，可将它视为其变量，构造一个积分上限函数，通过证明积分上限函数的导数为零，即可推出要证的等式成立. 例2 设 SKIPIF 1 0 是连续函数，证明 SKIPIF 1 0 . 证明：构造函数 SKIPIF 1 0 . 由积分上限函数的导数定理及复合函数的求导法则得 SKIPIF 1 0 . 因为 SKIPIF 1 0 ，所以 SKIPIF 1 0 ，又因为 SKIPIF 1 0 ，所以 SKIPIF 1 0 ， 故原等式成立. 2.2.3 例3 （积分中值定理[1]）若 SKIPIF 1 0 和 SKIPIF 1 0 在 SKIPIF 1 0 内连续，且 SKIPIF 1 0 不变号，则存在 SKIPIF 1 0 使 SKIPIF 1 0 . 证明： 作 SKIPIF 1 0 SKIPIF 1 0