跳转到内容

黎曼-斯蒂尔杰斯积分

本页使用了标题或全文手工转换
维基百科,自由的百科全书

黎曼-斯蒂尔杰斯积分(英语:Riemann-Stieltjes integral)是数学中的一种“积分”概念,是对黎曼积分的推广。

黎曼-斯蒂尔杰斯积分有数种定义方式,但不是每种定义方式都是彼此等价的。

定义

[编辑]

和黎曼积分一样,黎曼-斯蒂尔杰斯积分的定义依赖对区间分割的定义。

区间的分割

[编辑]

一个闭区间的一个分割P是指在此区间中取一个有限的点列。每个闭区间叫做一个子区间。这些子区间长度的最大值 为:

定义取样分割。一个闭区间 的一个取样分割是指分割 再加上一组有限点,,其中 对所有

精细化分割:设以及构成了闭区间的一个取样分割,是另一个分割。如果对于任意,都存在使得,并存在使得,那么就把分割:称作分割的一个精细化分割。简单来说,就是说分割是在分割的基础上添加一些分点和标记。(即是说“设是闭区间的一个分割,若分割是分割的一个精细化分割,则,也就是说,分割是分割的子集”)

于是我们可以在此区间的所有取样分割中定义一个偏序关系,称作“精细”。如果一个分割是另外一个分割的精细化分割,就说前者比后者更“精细”。

黎曼-斯蒂尔杰斯和

[编辑]

对一个在闭区间有定义的实值函数 ,其对于函数 关于分割

黎曼-斯蒂尔杰斯和,规定为下式:

和式中的

黎曼-斯蒂尔杰斯积分

[编辑]

当注意的是。这两个定义在黎曼-斯蒂尔杰斯积分的情况下,并不完全等价,以第一种定义可推出其存在的积分,必能以第二种定义推出其存在,但以第二种定义方式可推出其存在的积分不一定能以第一种定义的方式来计算。

第一种定义

[编辑]

是函数 在闭区间 上对函数 的黎曼-斯蒂尔杰斯积分的值,当且仅当对任意的 ,存在 ,使得对任意的分割 ,只要这分割的子区间最大长度满足 且对任意的 ,有:

第二种定义

[编辑]

是函数 在闭区间 上对函数 的黎曼-斯蒂尔杰斯积分的值,当且仅当对于任意的 ,存在分割 ,使得对任何比 还要“精细”的分割 跟任意选取的 ,都有:

若一个函数在闭区间上对函数的黎曼-斯蒂尔杰斯积分存在,且值为,则可写作

与黎曼积分间的关联

[编辑]

时,在闭区间上对函数的黎曼-斯蒂尔杰斯积分

即为在闭区间上的黎曼积分

故从黎曼-斯蒂尔杰斯积分可引出黎曼积分。

可微且其对微分后的函数在闭区间连续,则在闭区间上对函数的黎曼-斯蒂尔杰斯积分

与黎曼积分

相等。

参见

[编辑]

参考文献

[编辑]
  • Mathematical Analysis second edition, Tom M. Apostol, Pearson Education Taiwan Ltd.
  • Rudin, Walter, Principles of mathematical analysis Second, New York: McGraw-Hill, 1964 .