黎曼 斯蒂尔杰斯积分性质 黎曼 斯蒂尔杰斯积分几何意义
本文已影响1.38W人
本文已影响1.38W人
黎曼-斯蒂尔杰斯积分,外文名Riemann-Stieltjes integral。特点是有数种定义方式,但不是每种定义方式都是彼此等价的,提出者是斯蒂尔杰斯,性质是黎曼积分的一种推广。
定义
和黎曼积分一样,黎曼-斯蒂尔杰斯积分的定义依赖对区间分割的定义。
区间的分割
一个闭区间 [ a , b ] {displaystyle [a,b]} 的一个分割P是指在此区间中取一个有限的点列 a = x 0 < x 1 < x 2 {displaystyle lambda } 为这些子区间长度的最大值: λ λ --> = max ( x i + 1 − − --> x i ) {displaystyle lambda =max(x_{i+1}-x_{i})} ,其中 0 ≤ ≤ --> i ≤ ≤ --> n − − --> 1 {displaystyle 0leq ileq n-1} 。
再定义取样分割。一个闭区间 [ a , b ] {displaystyle [a,b]} 的一个取样分割是指在进行分割 P = { a = x 0 < x 1 t i ≤ ≤ --> x i + 1 {displaystyle x_{i}leq t_{i}leq x_{i+1}} 。 λ λ --> {displaystyle lambda } 的定义同上。
精细化分割:设 x 0 , … … --> , x n {displaystyle x_{0},ldots ,x_{n}} 以及 t 0 , … … --> , t n − − --> 1 {displaystyle t_{0},ldots ,t_{n-1}} 构成了闭区间 [ a , b ] {displaystyle [a,b]} 的一个取样分割, y 0 , … … --> , y m {displaystyle y_{0},ldots ,y_{m}} 和 s 0 , … … --> , s m − − --> 1 {displaystyle s_{0},ldots ,s_{m-1}} 是另一个分割。如果对于任意 0 ≤ ≤ --> i ≤ ≤ --> n {displaystyle 0leq ileq n} ,都存在 r ( i ) {displaystyle r(i)} 使得 x i = y r ( i ) {displaystyle x_{i}=y_{r(i)}} ,并存在 r ( i ) ≤ ≤ --> j ≤ ≤ --> r ( i + 1 ) {displaystyle r(i)leq jleq r(i+1)} 使得 t i = s j {displaystyle t_{i}=s_{j}} ,那么就把分割: y 0 , … … --> , y m {displaystyle y_{0},ldots ,y_{m}} 、 s 0 , … … --> , s m − − --> 1 {displaystyle s_{0},ldots ,s_{m-1}} 称作分割 x 0 , … … --> , x n {displaystyle x_{0},ldots ,x_{n}} 、 t 0 , … … --> , t n − − --> 1 {displaystyle t_{0},ldots ,t_{n-1}} 的一个精细化分割。简单来说,就是说后一个分割是在前一个分割的基础上添加一些分点和标记。(即是说“设 P = { a = x 0 , x 1 , x 2 , … … --> , x n − − --> 1 , x n = b } {displaystyle P={a=x_{0},x_{1},x_{2},ldots ,x_{n-1},x_{n}=b}} 是闭区间 [ a , b ] {displaystyle [a,b]} 的一个分割,若分割 P ′ {displaystyle P'} 是分割 P {displaystyle P} 的一个精细化分割,则 P ⊆ ⊆ --> P ′ {displaystyle Psubseteq P'} ,也就是说,分割 P {displaystyle P} 是分割 P ′ {displaystyle P'} 的子集”)
于是我们可以在此区间的所有取样分割中定义一个偏序关系,称作“精细”。如果一个分割是另外一个分割的精细化分割,就说前者比后者更“精细”。
黎曼-斯蒂尔杰斯和
对一个在闭区间 [ a , b ] {displaystyle [a,b]} 有定义的实值函数 f {displaystyle f} , g {displaystyle g} 关于取样分割 x 0 , … … --> , x n {displaystyle x_{0},ldots ,x_{n}} 、 t 0 , … … --> , t n − − --> 1 {displaystyle t_{0},ldots ,t_{n-1}} 的黎曼-斯蒂尔杰斯和定义为以下和式:
和式中的 Δ Δ --> g i {displaystyle Delta g_{i}} 表示 g ( x i ) − − --> g ( x i − − --> 1 ) {displaystyle g(x_{i})-g(x_{i-1})} ,故 ∑ ∑ --> i = 1 n Δ Δ --> g i = g ( b ) − − --> g ( a ) {displaystyle sum _{i=1}^{n}Delta g_{i}=g(b)-g(a)} 。
黎曼-斯蒂尔杰斯积分
当注意的是。这两个定义在黎曼-斯蒂尔杰斯积分的情况下,并不完全等价,以第一种定义可推出其存在的积分,必能以第二种定义推出其存在,但以第二种定义方式可推出其存在的积分不一定能以第一种定义的方式来计算。
第一种定义
A {displaystyle A} 是函数 f {displaystyle f} 在闭区间 [ a , b ] {displaystyle [a,b]} 上对函数 g {displaystyle g} 的黎曼-斯蒂尔杰斯积分,当且仅当对于任意的 ϵ ϵ --> > 0 {displaystyle psilon >0} ,都存在 δ δ --> > 0 {displaystyle delta >0} ,使得对于任意的取样分割 x 0 , … … --> , x n {displaystyle x_{0},ldots ,x_{n}} 、 t 0 , … … --> , t n − − --> 1 {displaystyle t_{0},ldots ,t_{n-1}} ,只要它的子区间长度最大值 λ λ --> ≤ ≤ --> δ δ --> {displaystyle lambda leq delta } ,就有:
第二种定义
A {displaystyle A} 是函数 f {displaystyle f} 在闭区间 [ a , b ] {displaystyle [a,b]} 上对函数 g {displaystyle g} 的黎曼-斯蒂尔杰斯积分,当且仅当对于任意的 ϵ ϵ --> > 0 {displaystyle psilon >0} ,都存在一个取样分割 x 0 , … … --> , x n {displaystyle x_{0},ldots ,x_{n}} 、 t 0 , … … --> , t n − − --> 1 {displaystyle t_{0},ldots ,t_{n-1}} ,使得对于任何比其“精细”的分割 y 0 , … … --> , y m {displaystyle y_{0},ldots ,y_{m}} 、 s 0 , … … --> , s m − − --> 1 {displaystyle s_{0},ldots ,s_{m-1}} ,都有:
若一个函数 f {displaystyle f} 在闭区间 [ a , b ] {displaystyle [a,b]} 上对函数 g {displaystyle g} 的黎曼-斯蒂尔杰斯积分存在,且值为 A {displaystyle A} ,则可写作 A = ∫ ∫ --> a b f ( x ) d g ( x ) . {displaystyle A=int _{a}^{b}f(x)dg(x).}
与黎曼积分间的关联
若g(x) = x时, f {displaystyle f} 在闭区间 [ a , b ] {displaystyle [a,b]} 上对函数 g {displaystyle g} 的黎曼-斯蒂尔杰斯积分 ∫ ∫ --> a b f ( x ) d g ( x ) . {displaystyle int _{a}^{b}f(x)dg(x).} 即为 f {displaystyle f} 在闭区间 [ a , b ] {displaystyle [a,b]} 上的黎曼积分 ∫ ∫ --> a b f ( x ) d x . {displaystyle int _{a}^{b}f(x)dx.} ,故从黎曼-斯蒂尔杰斯积分可引出黎曼积分。
若 g ( x ) {displaystyle g(x)} 可微且其对 x {displaystyle x} 微分后的函数 g ′ ( x ) {displaystyle g'(x)} 在闭区间 [ a , b ] {displaystyle [a,b]} 连续,则 f {displaystyle f} 在闭区间 [ a , b ] {displaystyle [a,b]} 上对函数 g {displaystyle g} 的黎曼-斯蒂尔杰斯积分 ∫ ∫ --> a b f ( x ) d g ( x ) . {displaystyle int _{a}^{b}f(x)dg(x).} 与黎曼积分 ∫ ∫ --> a b f ( x ) g ′ ( x ) d x . {displaystyle int _{a}^{b}f(x)g'(x)dx.} 相等
参见
黎曼积分
有界变差
曾经的亚特兰蒂斯到底有多繁荣?亚特兰蒂斯使用的能源是什么
神学家雅斯贝尔斯的教育观有什么启示意义
卡斯蒂利亚王国国王 卡斯蒂利亚王国面积
查尔斯·狄更斯远大前程 查尔斯·狄更斯《双城记》
奥斯曼帝国苏丹:奥斯曼二世14岁登基,最后是怎么死的?
亚特兰蒂斯:亚特兰蒂斯竟有着超高文明
莫杰斯特·彼得罗维奇·穆索尔斯基历史 莫杰斯特·彼得罗维奇·穆索尔斯基历史百科
第一代比肯斯菲尔德伯爵:本杰明·迪斯雷利
阿加莎·克里斯蒂和柯南道尔创作的区别分析
斯蒂芬金 斯蒂芬库里
凯瑟琳·曼斯菲尔德是谁?新西兰作家凯瑟琳·曼斯菲尔德生平简介
赫尔曼·凯斯滕奖历史 赫尔曼·凯斯滕奖历史百科
珀尔修斯的父亲是众神之王宙斯?珀尔修斯身世
亚特兰蒂斯为什么会突然消失?亚特兰蒂斯是否真实存在?
丹麦国王克里斯蒂安四世生平简介 克里斯蒂安四世的结局如何?
斯蒂芬·奥斯汀是谁?为什么他被称为德克萨斯之父
黎曼几何模型 黎曼几何三角面
黑斯廷斯战役持续了多久 黑斯廷斯战役和诺曼征服
唐朝第一美女安乐公主为何命丧李隆基刀下
阿巴亥之死真相,背后有什么秘密存在?
《听雪楼》高梦非扮演者是谁?高梦非扮演者赵东泽介绍
徐福为什么改名叫徐庶?有什么缘由?
曼施坦因计划到底有多狡猾 为什么希特勒对该计划都心
明朝功臣李善长退休也不得善终?李善长怎么死的
戚夫人到底做了什么?吕后为何如此残忍地对待母子二人?
陈平是个怎样的人?他为什么会跟随刘邦?
那个天天预言未来的霍金死了,2018年3月14日
吐谷浑屡屡侵扰隋朝边境,隋文帝对此采取了怎样的政策?
芝士属于什么垃圾?芝士是干垃圾还是湿垃圾?
重阳节的主要寓意是什么?有着怎样的文化内涵?
诸葛亮那么牛曹操为啥不去请他?
吕陇简介,在位时期有多长?
魏襄王魏嗣终年多少岁?去世时年仅几岁?