§关于连续函数积分的结论(DOC可编).docVIP

§4-2 关于连续函数积分的结论 读者已经知道，闭区间上的连续函数是可积的（注意，可积函数不一定是连续的）.关于连续函数的积分，有下面的重要结论. 定理4-1 若函数在区间上是非负连续函数，则 （充分必要条件） 证 充分性是明显的.必要性的证明用反证法. 假若函数在区间上不恒等于，则 至少有一点使. 根据函数 在点的连续性，有含的闭区间， 使(图4-10,见§1-5).设为 函数在区间上的最小值.于是， 这与假设矛盾. 定理4-2 设和在闭区间上是连续函数.若且在区间上不恒等于，则 【注】积分单调性是说， “若，则” 可是，定理4-2的结论中是严格不等式. 证 设. 因为在区间上是非负连续函数且不恒等于，根据定理4-1，所以 因此，. 微分学中有微分中值定理，而积分学中也有一个中值定理，称为积分中值定理.从几何上说(图4-11)，当时，必定有点，使曲边梯形 的面积等于以为底且以为高的矩形的面积，即 这个结论的一般情形就是下面的积分中值定理（*）. 定理4-3(积分中值定理) 若函数在闭区间上是连续的，则至少有一点，使 证 因为函数在闭区间上连续，所以在上有最小值和最大值.首先假定在上既不恒等于，又不恒等于，根据定理4-2，则有 即 根据连续函数的介值定理，必有点，使 ，即 其次，若在上恒等于(此时，也恒等于)，结论显然成立. 读者知道，有限个函数值的算术平均值为 可是，对于区间上所有函数值来说，如何定义它们的“平均值”呢？很自然，先把区间分成等份，其分点为 ， 这些分点上函数值的算术平均值为 其中是每一个小区间的长度.当时，有，所以上述算术平均值的极限为 因此，把数值 (4-2) 称为函数在区间上所有函数值的平均值是合理的. 定理4-4 设函数和都在区间上连续，且不变号.证明：至少有一点，使 [积分中值定理的推广] 【注】特别，取函数，则得 因此，定理4-4是积分中值定理4-3的推广. 证 当恒等于时，结论显然成立.以下认为函数在闭区间上不恒等于.因为函数上连续，所以它有最小值和最大值，而函数不变号，所以 或 首先认为既不恒等于，也不恒等于，则 或 注意到，或，则有 ，使 . 其次，假若，因为在闭区间上连续且不恒等于，所以必有点，使，从而由得. 于是就有 根据同样的道理，假若，也会得出同样的结论. 在上一节的积分性质⑻中说，若函数在区间上可积，则变上限积分 关于上限是连续函数，但不一定是可微函数[如例2中函数在点不可微分].现在，若函数在区间上连续，则有下面更强的结论. 定理4-5 若函数在区间上连续，则变上限积分 关于上限有导数，且.[导数等于被积函数在上限的值] 证 对于任意，设，则 其中在与之间（定理4-3），且当时有.因此， 推论(原函数的存在性) 若在区间上是连续函数，则它在区间上有原函数.而原函数之一就是变上限积分 根据它和原函数的一般表示，就得到下面的微积分基本定理. 定理4-6 若是区间上的连续函数，则函数是在区间上的原函数，充分必要条件为 (4-3) 其中为待定常数. 要具体确定出是哪一个原函数，还必须附加条件，例如已知原函数在某一点的函数值.事实上，若令，则由式(4-3)，得，所以 （4-4） 例3 设一物体自高空落下，下落速度为.若不计空气阻力，则得 (其中为重力加速度) 根据式(4-4)， 其中表示初速度.假若是自由落体运动，则初速度，所以.又因为 [为物体下落距离] 再根据式(4-4)，所以 其中为自由落体的初始位置. 作为定理4-6的推论，我们又重新得到计算积分的简便方法，即牛顿—莱布尼茨公式.注意，它与第4-1节中说的牛顿—莱布尼茨公式的假设条件是不同的. 推论 若函数在闭区间上连续，而是它在上的任一个原函数，则有 证 根据式(4-4)， 特别（取），则有 （积分与积分变量无关） 在微积分的许多著作中，都把定理4-6称为微积分基本定理.这是因为： 第一，它指出连续函数必有原函数. 第二，求原函数的问题，本来是微分运算的逆运算问题.表面上看起来，它似乎与柯西-黎曼积分的概念并不相干，可是这个定理却沟通了两者之间的关系.在式（4-3）中，对求导数时得到；而对再求积分时，只要适当选择那个要加上的待定常数，就又重新回到原来的函数. 第三，由它又重新证明了牛顿—莱布尼茨公式.同时它也说明，闭区间上连续函数的柯西-黎曼积分与牛顿—莱布尼茨积分是一致的. 我们再来考虑用变上限的积分定义的函数 [其中是连续函数且上限函数可微分] 它是函数与函数的复合函数.根据链式规则和定理4-5，则 定理4-7 若函数在区