黎曼—斯蒂尔切斯积分
贡献者: lrqlrqlrq; addis
黎曼—斯蒂尔切斯积分(Riemann-Stieltjes Integral),是黎曼积分的一种推广形式,它允许对一个函数与另一个具有一定关系的函数之间的积分进行定义。
黎曼—斯蒂尔切斯积分是一种将两个在有限区间 上定义并有限的函数 和 结合起来的方法。设 是 的一个划分,我们任意选择中间点 满足 ,然后定义:
被称为 的一个黎曼—斯蒂尔切斯和,当然,它取决于点 、函数 和 以及区间 ,尽管我们通常在符号中不显示这种依赖关系。
如果
存在且有限,即,如果对于任意 存在 使得对于任意满足 的 ,都有 ,那么 关于 在 上对 的黎曼—斯蒂尔切斯积分,并表示为
黎曼—斯蒂尔切斯积分存在的一个必要且充分条件是,对于任意 存在 ,使得如果 ,则 。
定理 1
1. 如果 存在,那么对于任意常数 , 和 也存在,且有
2.
如果 和 都存在,那么 也存在,且有
3.如果 和 都存在,那么 也存在,并且有
这里的证明比较简单,由定义可直接得出,于此仅证明 2.为例:
根据黎曼—斯蒂尔切斯积分的定义,我们有:
由于 是常数,我们可以将其从求和中提取出来,得到
因此,。
定理 3
如果 在 上连续, 在 上具有有界变差,那么 存在。而且,
定理 4
如果 , 在 上可导,并且其导数在 上可积(特别是有界),我们有
例 1 假设 在 上连续, 在 上具有有界变差。证明函数 在 上具有有界变差。如果 在 上连续。
证明:由于 ,然后由有界变差的性质,我们有 是有限的。令 为 在 上的上确界。因此,
这表明 是有界变差函数。
证明 :