ルベーグ＝スティルチェス積分

数学の測度論的解析学周辺分野における**ルベーグ＝スティルチェス積分**（ルベーグスティルチェスせきぶん、）は、リーマン＝スティルチェス積分および（狭義の、つまりルベーグ測度に関する）ルベーグ積分の一般化で、前者に対してはより一般の測度論の枠組みによる優位性を保つものになっている。ルベーグ＝スティルチェス積分は、ルベーグ＝スティルチェス測度と呼ばれる実数直線上の有界変動函数から得られる測度に関する通常のルベーグ式積分である。ルベーグ＝スティルチェス測度は正則ボレル測度であり、逆に実数直線上の任意の正則ボレル測度はルベーグ＝スティルチェス測度になる。

ルベーグ＝スティルチェス積分（アンリ・ルベーグとトーマス・スティルチェスに因む）は、この積分論に多大な貢献をしたヨハン・ラドンに因んで**ルベーグ＝ラドン積分**若しくは単に**ラドン積分**とも呼ばれる。ルベーグ＝スティルチェス積分の主な応用先には、確率論や確率過程あるいはポテンシャル論などを含む解析学の一部の分野などがある。

## 定義
ルベーグ＝スティルチェス積分
:\int_a^b f\,dg = \int_a^b f(x)\,dg(x)
は *f*: &#x5b;*a*,&thinsp;*b*&#x5d; &rarr; **R** が有界なボレル可測函数で、*g*: &#x5b;*a*,&thinsp;*b*&#x5d; &rarr; **R** が右連続な有界変動函数ならば定義される。

### 測度による構成
手始めに、*f* が非負で *g* が右連続単調非減少のとき、測度 *w* を
: w((s,t]) := g(t) - g(s),\quad w(\{a\}) := 0
と定める（*g* が左連続の場合には、*w*([*s*,*t*)) := *g*(*t*) &minus; *g*(*s*) かつ *w*({*b*}) := 0 とおくと同様の議論ができる）。

カラテオドリの拡張定理により、&#x5b;*a*, *b*&#x5d; 上のボレル測度 &mu;*g* で任意の区間 *I* 上で *w* に一致するものがただ一つ存在する。この測度は外測度（実は計量外測度）から
:\mu_g(E) = \inf\Big\{\sum_i \mu_g(I_i) \mid E\subset \bigcup_i I_i \Bigr\}
と定めることによって得られる。右辺の下限は *E* の可算個の半開区間からなる被覆全体を亘ってとる。この測度をしばしば *g* に付随する**ルベーグ＝スティルチェス測度**と呼ぶ。このとき、ルベーグ＝スティルチェス積分
:\int_a^b f(x)\,dg(x)
は測度 &mu;*g* に関する *f* の通常のルベーグ式の積分として定義される。*g* が非増大の場合には
:\int_a^b f\,dg := -\int_a^b f\,d(-g)
と置いて非減少函数の場合に帰着する（非減少な &minus;*g* に対して先ほどの構成を適用すればよい）。

一般の有界変動函数 *g* と有界函数 *f* の場合には、*g* を区間 &#x5b;*a*,&thinsp;*x*&#x5d; における *g* の全変動 *g*1 := *V*&thinsp;*g* および *g*2 := *g*1 &minus; *g*(*x*) を用いて
:g(x)=g_1(x)-g_2(x)
と分解すれば、*g*1 および *g*2 は共に単調非減少となり、先ほどの構成を適用できるから、結局 *g* に関するルベーグ＝スティルチェス積分を
:\int_a^b f\,dg = \int_a^b f\,dg_1 - \int_a^b f\,dg_2
で定めることができる。

### ダニエル積分による構成
ルベーグ＝スティルチェス積分を構成する別な方法として  は通常のリーマン＝スティルチェス積分を基に拡張したダニエル積分としての構成を与えている。函数 *g* が有界閉区間 &#x5b;*a*, *b*&#x5d; 上で右連続非増大であるとき、連続函数 *f* に対する基本積分 *I*(*f*) をリーマン＝スティルチェス積分
:I(f) = \int_a^b f\,dg
によって与えると、汎函数 *I* は有界閉区間 &#x5b;*a*, *b*&#x5d; 上のラドン測度を定める。汎函数 *I* は
:\underline{I\!}\,(h) = \sup \{I(f) \mid f\in C[a,b], 0\le f\le h\}
および
:\bar{I}(h) = \inf\{I(f) \mid f\in C[a,b], h\le f\}
と置くことにより、非負値函数全体の成すクラスにまで拡張することができて、ボレル可測函数については
:\underline{I\!}\,(h) = \bar{I}(h)
が成立するから、この等式のどちらかの辺によって *h* のルベーグ＝スティルチェス積分を定義するのである。外測度 &mu;*g* は、集合 *A* の指示函数を &chi;*A* として
:\mu_g(A) = \bar{I}(\chi_A)
を通じて与えられる。

積分函数 *g* が有界変動のときは、上で述べたのと同じく正変動と負変動の差に分解してやればよい。

## 例
平面上の有限長曲線 &gamma;: &#x5b;*a*, *b*&#x5d; &rarr; **R**2 とボレル可測函数 &rho;: **R**2 &rarr; &#x5b;0, &infin;) に対し、&gamma; の &rho; により重み付けられたユークリッド長さを
: \int_a^b \rho(\gamma(t))\,dl(t)
と定める。ただし *l*(*t*) は区間 &#x5b;*a*, *t*&#x5d; に制限したときの &gamma; の弧長とする。これを短く &gamma; の &rho;-長さなどと呼ぶこともある。この概念は様々な応用において極めて有用である。例えばぬかるみを移動する人間の速度は泥の深さに依存するので、位置 *z* 付近での歩行速度の逆数を &rho;(*z*) と書けば、横断線 &gamma; の &rho;-長さは &gamma; に沿ってぬかるみを渡るのに掛かる時間を表すものとなる。また、等角写像の研究に有用な極値的長さ  も、曲線の &rho;-長さの概念を用いるものである。

## 部分積分
函数 *f* が点 *a* において「正常」("regular") であるとは、右および左側の極限 *f*(*a*+) および *f*(*a*&minus;) が存在して、*a* における値がそれらの算術平均
:f(a):=\frac{1}{2}\,(f(a-)+f(a+))
に一致することをいう。二つの有界変動函数 *U*, *V* が与えられたとき、*U* または *V* のいづれかが連続となるような点、若しくは *U* および *V* がともに正常となるような点では、ルベーグ＝スティルチェス積分に対する部分積分公式
:\int_a^b U\,dV+\int_a^b V\,dU=U(b+)V(b+)-U(a-)V(a-),\quad(a
が成立する。この公式は少し一般化して、*U* および *V* に関する余分な条件を落とすことができる。

同様の結果で、確率解析（確率微積分）の理論で極めて重要なものは、有界変動な二つの函数 *U*, *V* がともに右連続で左側極限を持つとき（このような函数を右連続左極限函数 (, ) と呼ぶ）、
:U(t)V(t) = U(0)V(0) + \int_{(0,t]} U(S-)\,dV(S)+\int_{(0,t]} V(S-)\,dU(S)+\sum_{u\in (0,t]} \Delta U_u \Delta V_u,\quad(\Delta U_u= U(t)-U(t-))
が成立するというものである。この結果は伊藤の補題の先駆けとみることもでき、また確率積分の一般論において用いられる。最後の項 &Delta;*U*(*t*)&thinsp;&Delta;*V*(*t*) = *d*&#x5b;*U*,&thinsp;*V*&#x5d; は *U* と *V* の二次共変分から生じる。先の結果はストラトノヴィッチ積分に関連する結果と看做すこともできる。

## 関連諸概念
### ルベーグ積分
任意の実数 *x* に対して *g*(*x*) = *x* が成り立つとき、*g* に関するルベーグ＝スティルチェス測度 μ*g* は **R** 上のルベーグ測度であり、*f* の *g* に関するルベーグ＝スティルチェス積分は、*f* の（ルベーグ測度に関する）ルベーグ積分と同値になる。

### リーマン＝スティルチェス積分と確率論
*f* が実連続函数（実変数実数値の連続函数）で、*v* が非減少実函数のときのルベーグ＝スティルチェス積分はリーマン＝スティルチェス積分に同値であり、ルベーグ＝スティルチェス積分を測度が &mu;*v* であることを陰に伏せたまま
:\int_a^b f(x)\,dv(x)
と書くのが普通である。特に確率論で *v* が実数値確率変数 *X* の累積分布函数であるときには 
:\int_{-\infty}^\infty f(x) \, dv(x) = \mathbb{E}[f(X)]
などとよく書かれる（詳細はリーマン＝スティルチェス積分の項を参照されたい）。

## 注記

## 参考文献
* 
* .
* Saks, Stanislaw (1937) *[http://matwbn.icm.edu.pl/kstresc.php?tom=7&wyd=10 Theory of the Integral.]*
* Shilov, G. E., and Gurevich, B. L., 1978. *Integral, Measure, and Derivative: A Unified Approach*, Richard A. Silverman, trans. Dover Publications. ISBN 0-486-63519-8.