ルベーグ=スティルチェス積分について
ルベーグ=スティルチェス積分は、
数学の
測度論的
解析学における重要な概念であり、
リーマン=スティルチェス積分および
ルベーグ積分を一般化したものです。この積分法は、より広範な測度の枠組みを持ち、特に有界変動関数を扱う際に優れた性質を示します。
定義
ルベーグ=スティルチェス積分は次のように定義されます。関数 $f: [a, b] o ext{R}$ が有界なボレル可測関数で、$g: [a, b] o ext{R}$ が右連続な有界変動関数であるとき、インテグラルは次のように表されます。
$$
\int_{a}^{b} f \, dg = \int_{a}^{b} f(x) \, dg(x)
$$
このように、$g$ に関するルベーグ=スティルチェス積分は、通常の
ルベーグ積分として扱うことができます。
測度による構成
さらに、$g$ が右連続かつ単調非減少である場合には、測度 $w$ を以下のように構成します。
$$
w((s, t]) := g(t) - g(s), \, w(\{a\}) := 0
$$
この構成により、ボレル測度 $ g$ が定義され、任意の区間 $I$ で $w$ に一致する唯一の測度が存在します。これにより、ルベーグ=スティルチェス測度と呼ばれる新たな測度が得られ、積分はこの測度に基づくルベーグ式として実行されます。
応用と類似概念
ルベーグ=スティルチェス積分は、
確率論や
確率過程、
ポテンシャル論など、多くの
解析学の領域で応用されます。また、この積分は、形式的にはルベーグ=ラドン積分とも呼ばれ、ヨハン・ラドンによる寄与を反映しています。一般的に、ルベーグ=スティルチェス積分は、スティルチェス測度を回帰する方法としても利用されることがあります。
ダニエル積分とリーマン=スティルチェスとの関連
ルベーグ=スティルチェス積分を構成する別のアプローチとして、ダニエル積分の枠組みを用いる方法があります。これは、通常の
リーマン=スティルチェス積分から拡張されます。ここでは、右連続非増大となる関数 $g$ に対し、連続関数 $f$ との基本的な積分 $I(f)$ が定義され、汎関数を通じて外測度が与えられます。
また、ルベーグ=スティルチェス積分は、実連続関数 $f$ が非減少実関数 $v$ と相関する場合に、
リーマン=スティルチェス積分と同等であることがあります。このことは、
確率論の分野で特に重要です。累積分布関数が用いられる際、ルベーグ=スティルチェス積分は期待値の計算に直結します。
ルベーグ=スティルチェス積分における重要な結果の一つは、
部分積分公式です。この公式は、二つの有界変動関数が与えられたときに成り立ち、積分の計算を有効にします。さらに、
確率解析においてもこの結果が適用され、重要な理論的基盤を提供します。
このように、ルベーグ=スティルチェス積分は
数学の
解析学において非常に重要な役割を果たし、様々な応用と理論的な導出に寄与しています。