设函数y=f(x) 在区间[a,b]上可积,对任意x∈[a,b],y=f(x)在[a,x] 上可积,且它的值与x构成一种对应关系(如概述中的图片所示),称Φ(x)为变上限的定积分函数,简称积分上限函数1。
积分上限函数
Cumulative area function
高等数学2
设函数f(x)在区间[a,b]上可积,且对任意在[a,x]上也可积,称变上限定积分为的积分上限函数,记为即
当时,在几何上表示为右侧邻边可以变动的曲边梯形的面积(图1中的阴影部分)3。
设函数在区间[a,b]上连续,则积分上限函数
在[a,b]上可导,并且
证明:对于任意给定的给x以增量使得由的定义及定积分对区间的可加性,有
再由定积分中值定理,得
其中,在和之间。
令则从而由的连续性,得
根据导数定义,得