黎曼-斯蒂尔杰斯积分

维基百科,自由的百科全书
跳转至: 导航搜索

黎曼-斯蒂尔杰斯积分(Riemann-Stieltjes integral)是一種積分,它是黎曼积分的一種推廣。

黎曼-斯蒂尔杰斯积分有數種定義方式,但不是每種定義方式都是彼此等價的。

定義[编辑]

和黎曼積分一樣,黎曼-斯蒂尔杰斯积分的定義依賴對區間分割的定義。

区间的分割[编辑]

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

再定义取样分割。一个闭区间的一个取样分割是指在进行分割后,于每一个子区间中取出一点 的定义同上。

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

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

黎曼-斯蒂尔杰斯和[编辑]

对一个在闭区间有定义的实值函数关于取样分割黎曼-斯蒂尔杰斯和定义为以下和式:

和式中的表示,故

黎曼-斯蒂尔杰斯積分[编辑]

當注意的是。這兩個定義在黎曼-斯蒂尔杰斯积分的情況下,並不完全等價,以第一種定義可推出其存在的積分,必能以第二種定義推出其存在,但以第二種定義方式可推出其存在的積分不一定能以第一種定義的方式來計算。

第一種定義[编辑]

是函数在闭区间上對函數的黎曼-斯蒂尔杰斯积分,当且仅当对于任意的,都存在,使得对于任意的取样分割,只要它的子区间长度最大值 ,就有:

第二種定義[编辑]

是函数在闭区间上對函數的黎曼-斯蒂尔杰斯积分,当且仅当对于任意的,都存在一个取样分割,使得对于任何比其“精细”的分割,都有:

若一個函數在闭区间上對函數的黎曼-斯蒂尔杰斯积分存在,且值為,則可寫作

黎曼積分間的關聯[编辑]

若g(x) = x時,在闭区间上對函數的黎曼-斯蒂尔杰斯积分即為在闭区间上的黎曼積分,故從黎曼-斯蒂尔杰斯积分可引出黎曼積分。

可微且其對微分後的函數在闭区间連續,則在闭区间上對函數的黎曼-斯蒂尔杰斯积分與黎曼積分相等

參考文獻[编辑]

  • Mathematical Analysis seond edition, Tom M. Apostol,Pearson Education Taiwan Ltd.

參見[编辑]