积分上限函数的性质及其应用