出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2019/11/14 05:18 UTC 版)
ナビゲーションに移動 検索に移動
数学 におけるドゥーブのマルチンゲール不等式 （ドゥーブのマルチンゲールふとうしき、英 : Doob's martingale inequality ）は確率過程論 での結果の一つであり、与えられた時間範囲で、確率過程が任意の所与の実数値を超過する確率の上限値を与える。名称の通り、確率過程が非負値のマルチンゲール であるとき適用できる不等式だが、劣マルチンゲールであっても同様の結論が成り立つ。
この結果はアメリカの数学者ジョゼフ・L・ドゥーブ（英語版 ） に負う。
主張 X を非負実数値をとる劣マルチンゲール とする（時間は離散的でも連続的でもどちらでもよい）。つまり任意の時刻 s , t (s < t ) に対し
X
s
≤
E
[
X
t
|
F
s
]
{\displaystyle X_{s}\leq \mathbf {E} \left[X_{t}{\big |}{\mathcal {F}}_{s}\right]}
であるとする（連続時間の場合は、さらに確率過程が右連続左極限 （càdlàg）であることも要請する）。
このとき、任意の定数 C > 0 に対し
P
[
sup
0
≤
t
≤
T
X
t
≥
C
]
≤
E
[
X
T
]
C
{\displaystyle \mathbf {P} \left[\sup _{0\leq t\leq T}X_{t}\geq C\right]\leq {\frac {\mathbf {E} \left[X_{T}\right]}{C}}}
ここで記法の慣習として、確率過程
X
:
[
0
,
T
]
×
Ω
→
[
0
,
+
∞
)
{\displaystyle X:[0,T]\times \Omega \to [0,+\infty )}
を定めている標本空間 Ω の上の確率測度 を P 、測度 P による期待値 を E 、つまり
E
[
X
T
]
=
∫
Ω
X
T
(
ω
)
d
P
(
ω
)
{\displaystyle \mathbf {E} [X_{T}]=\int _{\Omega }X_{T}(\omega )\,\mathrm {d} \mathbf {P} (\omega )}
（ルベーグ積分 ）と記している。
F
s
{\displaystyle {\mathcal {F}}_{s}}
確率変数 族 Xi (i ≤ s ) が生成する完全加法族 とする。この完全加法族の集合は確率空間上の増加情報系（英語版 ） （情報系、フィルトレーション）をなす。
さらなる不等式 同じくドゥーブによる、（劣）マルチンゲールに関する一連の不等式がある。X への仮定は上記と同じとして、
S
t
=
sup
0
≤
s
≤
t
X
s
{\displaystyle S_{t}=\sup _{0\leq s\leq t}X_{s}}
とおく。このとき p ≥ 1 に対し Lp -ノルム を
‖
X
t
‖
p
=
‖
X
t
‖
L
p
(
Ω
,
F
,
P
)
=
(
E
[
|
X
t
|
p
]
)
1
p
{\displaystyle \|X_{t}\|_{p}=\|X_{t}\|_{L^{p}(\Omega ,{\mathcal {F}},\mathbf {P} )}=\left(\mathbf {E} \left[|X_{t}|^{p}\right]\right)^{\frac {1}{p}}}
と書くことにする。このとき、先述のドゥーブの不等式は
P
[
S
T
≥
C
]
≤
‖
X
T
‖
1
C
{\displaystyle \mathbf {P} \left[S_{T}\geq C\right]\leq {\frac {\|X_{T}\|_{1}}{C}}}
となる。
p = 1 のとき、次の不等式が成り立つ。
‖
S
T
‖
1
≤
e
e
−
1
(
1
+
‖
X
T
log
+
X
T
‖
1
)
{\displaystyle \|S_{T}\|_{1}\leq {\frac {e}{e-1}}\left(1+\|X_{T}\log ^{+}X_{T}\|_{1}\right)}
ここで "log+ " は自然対数 と定数関数0の小さくないほうをとる関数(max(log(x ),0) )を表す。
さらに p > 1 に対しては
‖
X
T
‖
p
≤
‖
S
T
‖
p
≤
p
p
−
1
‖
X
T
‖
p
{\displaystyle \|X_{T}\|_{p}\leq \|S_{T}\|_{p}\leq {\frac {p}{p-1}}\|X_{T}\|_{p}}
が成り立つ。
関連する不等式 離散時間マルチンゲールに対するドゥーブの不等式からコルモゴロフの不等式（英語版 ） が導出できる。
X 1 , X 2 , ... を実数値の独立 確率変数列で、いずれも期待値が 0 であるとすると
E
[
X
1
+
⋯
+
X
n
+
X
n
+
1
|
X
1
,
…
,
X
n
]
=
X
1
+
⋯
+
X
n
+
E
[
X
n
+
1
|
X
1
,
…
,
X
n
]
=
X
1
+
⋯
+
X
n
,
{\displaystyle {\begin{aligned}\mathbf {E} \left[X_{1}+\dots +X_{n}+X_{n+1}{\big |}X_{1},\dots ,X_{n}\right]&=X_{1}+\dots +X_{n}+\mathbf {E} \left[X_{n+1}{\big |}X_{1},\dots ,X_{n}\right]\\&=X_{1}+\cdots +X_{n},\end{aligned}}}
なので、Mn = X 1 + ... + Xn はマルチンゲールになる。
Mn がマルチンゲールであれば、イェンセンの不等式 より |Mn |2 は非負値劣マルチンゲールになる。ここでドゥーブのマルチンゲール不等式を用いると
P
[
max
1
≤
i
≤
n
|
M
i
|
≥
λ
]
≤
E
[
M
n
2
]
λ
2
{\displaystyle \mathbf {P} \left[\max _{1\leq i\leq n}\left|M_{i}\right|\geq \lambda \right]\leq {\frac {\mathbf {E} \left[M_{n}^{2}\right]}{\lambda ^{2}}}}
これはまさにコルモゴロフの不等式である。
ブラウン運動への応用 B を1次元標準ブラウン運動 （canonical one-dimensional Brownian motion）とする。このとき任意の定数 C > 0 に対し
P
[
sup
0
≤
t
≤
T
B
t
≥
C
]
≤
exp
(
−
C
2
2
T
)
{\displaystyle \mathbf {P} \left[\sup _{0\leq t\leq T}B_{t}\geq C\right]\leq \exp \left(-{\frac {C^{2}}{2T}}\right)}
証明は次の通りである。まず指数関数 が単調非減少であることから、任意の非負実数 λ に対し
{
sup
0
≤
t
≤
T
B
t
≥
C
}
=
{
sup
0
≤
t
≤
T
exp
(
λ
B
t
)
≥
exp
(
λ
C
)
}
{\displaystyle \left\{\sup _{0\leq t\leq T}B_{t}\geq C\right\}=\left\{\sup _{0\leq t\leq T}\exp(\lambda B_{t})\geq \exp(\lambda C)\right\}}
ドゥーブのマルチンゲール不等式と、ブラウン運動の指数関数をとって作った確率過程が正値の劣マルチンゲールになることを考えあわせると
P
[
sup
0
≤
t
≤
T
B
t
≥
C
]
=
P
[
sup
0
≤
t
≤
T
exp
(
λ
B
t
)
≥
exp
(
λ
C
)
]
≤
E
[
exp
(
λ
B
T
)
]
exp
(
λ
C
)
=
exp
(
1
2
λ
2
T
−
λ
C
)
{\displaystyle {\begin{aligned}\mathbf {P} \left[\sup _{0\leq t\leq T}B_{t}\geq C\right]&=\mathbf {P} \left[\sup _{0\leq t\leq T}\exp(\lambda B_{t})\geq \exp(\lambda C)\right]\\&\leq {\frac {\mathbf {E} \left[\exp(\lambda B_{T})\right]}{\exp(\lambda C)}}\\&=\exp \left({\tfrac {1}{2}}\lambda ^{2}T-\lambda C\right)\end{aligned}}}
ここで対数正規分布 の計算から
E
[
exp
(
λ
B
t
)
]
=
exp
(
1
2
λ
2
t
)
{\displaystyle \mathbf {E} \left[\exp(\lambda B_{t})\right]=\exp \left({\tfrac {1}{2}}\lambda ^{2}t\right)}
C /T と選んでよい。このとき示したかった不等式が得られる。
参考文献
Revuz, Daniel; Yor, Marc (1999). Continuous martingales and Brownian motion (Third ed.). Berlin: Springer. ISBN 3-540-64325-7 . Shiryaev, Albert N. (2001), “Martingale” , in Hazewinkel, Michiel, Encyclopaedia of Mathematics Springer ,
ISBN 978-1-55608-010-4 , http://eom.springer.de/M/m062570.htm
![{\displaystyle X_{s}\leq \mathbf {E} \left[X_{t}{\big |}{\mathcal {F}}_{s}\right]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6ae2c5a1cac8afa5acc8c554780984fc1ea0a8d2)
![{\displaystyle \mathbf {P} \left[\sup _{0\leq t\leq T}X_{t}\geq C\right]\leq {\frac {\mathbf {E} \left[X_{T}\right]}{C}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/974ec848e92f7d2d59b1d0db6945718105da4873)
![{\displaystyle X:[0,T]\times \Omega \to [0,+\infty )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1d73ca33eff3441beff5f462deb362a83a21b5ce)
![{\displaystyle \mathbf {E} [X_{T}]=\int _{\Omega }X_{T}(\omega )\,\mathrm {d} \mathbf {P} (\omega )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7af73a1ddac2e471a782814b559147affe4f9a72)
![{\displaystyle \|X_{t}\|_{p}=\|X_{t}\|_{L^{p}(\Omega ,{\mathcal {F}},\mathbf {P} )}=\left(\mathbf {E} \left[|X_{t}|^{p}\right]\right)^{\frac {1}{p}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8e1853acd13bc40dd8689f6bb4f687dd8012df27)
![{\displaystyle \mathbf {P} \left[S_{T}\geq C\right]\leq {\frac {\|X_{T}\|_{1}}{C}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c218a16bdb2416f6aef2a30044a609f6dce962b1)
![{\displaystyle {\begin{aligned}\mathbf {E} \left[X_{1}+\dots +X_{n}+X_{n+1}{\big |}X_{1},\dots ,X_{n}\right]&=X_{1}+\dots +X_{n}+\mathbf {E} \left[X_{n+1}{\big |}X_{1},\dots ,X_{n}\right]\\&=X_{1}+\cdots +X_{n},\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/752951b074032c0dad8880ec235ba6e36937689d)
![{\displaystyle \mathbf {P} \left[\max _{1\leq i\leq n}\left|M_{i}\right|\geq \lambda \right]\leq {\frac {\mathbf {E} \left[M_{n}^{2}\right]}{\lambda ^{2}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e2a61e51f25cf9b34f021dd0e866d0bfb6d591c2)
![{\displaystyle \mathbf {P} \left[\sup _{0\leq t\leq T}B_{t}\geq C\right]\leq \exp \left(-{\frac {C^{2}}{2T}}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/65ff1ca209247239c78792e39dc7cf3ee42cf38d)
![{\displaystyle {\begin{aligned}\mathbf {P} \left[\sup _{0\leq t\leq T}B_{t}\geq C\right]&=\mathbf {P} \left[\sup _{0\leq t\leq T}\exp(\lambda B_{t})\geq \exp(\lambda C)\right]\\&\leq {\frac {\mathbf {E} \left[\exp(\lambda B_{T})\right]}{\exp(\lambda C)}}\\&=\exp \left({\tfrac {1}{2}}\lambda ^{2}T-\lambda C\right)\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/672366e6caccdb98ddfc5111781d32d09837a87c)
![{\displaystyle \mathbf {E} \left[\exp(\lambda B_{t})\right]=\exp \left({\tfrac {1}{2}}\lambda ^{2}t\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ba20e1008305180f45906b723e21367e81b60052)
全ての辞書からドゥーブのマルチンゲール不等式
を検索
