黎曼 斯蒂爾傑斯積分性質 黎曼 斯蒂爾傑斯積分幾何意義
本文已影響1.46W人
本文已影響1.46W人
黎曼-斯蒂爾傑斯積分,外文名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歲登基,最後是怎麼死的?
珀爾修斯的父親是衆神之王宙斯?珀爾修斯身世
黎曼幾何模型 黎曼幾何三角面
莫傑斯特·彼得羅維奇·穆索爾斯基歷史 莫傑斯特·彼得羅維奇·穆索爾斯基歷史百科
曾經的亞特蘭蒂斯到底有多繁榮?亞特蘭蒂斯使用的能源是什麼
神學家雅斯貝爾斯的教育觀有什麼啓示意義
凱瑟琳·曼斯菲爾德是誰?新西蘭作家凱瑟琳·曼斯菲爾德生平簡介
阿加莎·克里斯蒂和柯南道爾創作的區別分析
黑斯廷斯戰役持續了多久 黑斯廷斯戰役和諾曼征服
第一代比肯斯菲爾德伯爵:本傑明·迪斯雷利
亞特蘭蒂斯爲什麼會突然消失?亞特蘭蒂斯是否真實存在?
赫爾曼·凱斯滕獎歷史 赫爾曼·凱斯滕獎歷史百科
亞特蘭蒂斯:亞特蘭蒂斯竟有着超高文明
卡斯蒂利亞王國國王 卡斯蒂利亞王國面積
範純仁:他是范仲淹的兒子,也是一代清廉宰相
朱允文處處給叔叔留後路竟導致皇位送給朱棣
關於晉獻公的歷史典故 假道伐虢的故事
《以家人之名》尖尖凌霄在一起了嗎?一句我愛你齁甜
歷史上真實的應州大捷是什麼樣的?最後是什麼結果
唐朝開國名將含冤而死?李世民登基後才爲他平反!
關羽打仗那麼厲害 關羽最後爲什麼會敗走麥城
別人盜墓爲了錢財 董卓盜墓卻爲了奇怪的祕方
李白曾經對比自己大十歲的師母朝思暮想
《呂氏春秋·孟夏紀》尊師原文是什麼?怎麼理解?
拿破崙大軍的覆滅:俄國的戰略與莫斯科淪陷的真正意義
出乎意料!隋朝的皇帝楊堅 竟是個“妻管嚴”
宋朝文人蘇軾的《水調歌頭·明月幾時有》賞析
馬恩河戰役造成士兵離奇死亡:“炮彈休克”成
曹操最倚重的將領是誰?不是典韋和許褚