確率過程における交差点
📂確率論確率過程における交差点
定義
確率空間 (Ω,F,P)とサブマルチンゲール {(Xn,Fn)}が与えられているとする。閉区間[a,b]に対して、Xt1≤aからXt2≥bになることをアップクロッシングと呼ぶ。N∈Nまでの観測時点でのアップクロッシングの回数は以下のように示される。
βN(a,b):=A number of upcrossing of {Xn} of interval [a,b]
基本的な性質
- [2]: EβN(a,b)≤b−aEXN++∣a∣
- χiがFi−1-可測関数であるということは、すべてのボレル集合 B∈B(R)に対して、χi−1(B)∈Fi−1という意味である。
説明
簡単に言うと、アップクロッシングとは、Xnが下限aから上限bを超えることを指す。Nまでの観測回数をβN(a,b)と同じように示される。上の図ではβN(a,b)=3である。
- τ1:=nmin{n≤N:Xn≤a}τ2:=nmin{τ1<n≤N:Xn≥b}τ3:=nmin{τ2<n≤N:Xn≤a}τ4:=nmin{τ2<n≤N:Xn≥b}⋮
上で定義されたτkは、確率変数Xnが区間[a,b]から外れた停止時刻を意味する。定義により、奇数kに対してはa以下に、偶数kに対してはb上に外れる瞬間である。だから、通常、自然数mに対して、下に外れた瞬間τ2m−1と上に外れた瞬間τ2mとして表される。このような表現を使用すると、自然にmはm回目のアップクロッシングを意味することができる。

Jmは、m回目のアップクロッシングが発生しているインデックスの集合を意味する。数式で表すと、以下のようになる。
Jm:={k∈N:τ2m−1+1≤k≤τ2m}
これに対して、χiは、アップクロッシングが発生している間のみ1であり、それ以外の時は0の関数である。このような関数を使用する意図は、アップクロッシングが発生している部分のみを残し、それ以外の関心のない部分は0で掛けて消去するためである。数式的には、以下のように定義された指示関数である。
χi==1⋃Jm{01,i∈J1∪⋯∪Jm,otherwise
次の図でこれらを視覚的に確認してみよう。

- [2]: EβN(a,b)を正確に計算することはできないが、その上限を計算することができるのはかなり良いことである。ここで注目すべき点は、すべてのケースを観測するわけではなく、最後になるEXN+のみを計算すれば良いということである。
証明
パート1. (τ2m−1<i≤τ2m)=(τ2m−1<i)∩(i≤τ2m)
χiは、定義により、以下のように表すことができる。
χi===1⋃Jmm=1∑βN(a,b)1Jmm=1∑βN(a,b)1(τ2m−1<i≤τ2m)
したがって、(τ2m−1<i≤τ2m)∈Fi−1であるかを確認すればよい。交差の問題を解くとき、
(τ2m−1<i≤τ2m)=(τ2m−1<i)∩(i≤τ2m)
パート2. (i≤τ2m)∈Fi−1
τkの定義から、k=2m、つまり偶数の場合は、Xnがbを上回る瞬間を示す。しかし、アップクロッシングが発生するためには、Xnがaの下からbの上に行く必要があるので、Xnがaの下に「戻る時間」が少なくとも1ステップ必要である。したがって、χi−1=1でありXi−1≥bであれば、次のステップは必然的にxi=0でなければならない。これは、実際にはi−1までのみ観測してFi−1の情報のみを持っているにも関わらず、χiを決定したことと変わらない。したがって、(i≤τ2m)∈Fi−1である。
パート3. (τ2m−1<i)∈Fi−1
シグマ場 Fi−1の定義により
⟹⟹⟹(i≤τ2m)∈Fi−1(i≤τ2m)c∈Fi−1(τ2m<i)∈Fi−1(τ2m−1<i)∈Fi−1
パート4. (τ2m−1<i≤τ2m)∈Fi−1
シグマ場 Fi−1の定義により
⟹⟹(τ2m−1<i)∈Fi−1∧(i≤τ2m)∈Fi−1(τ2m−1<i)∩(i≤τ2m)∈Fi−1(τ2m−1<i≤τ2m)∈Fi−1
■
[2]
βN(a,b)===A number of upcrossing of {Xn} of interval [a,b]A number of upcrossing of {Xn−a} of interval [0,b−a]A number of upcrossing of {(Xn−a)+} of interval [0,b−a]
したがって、Yn:=(Xn−a)+に対して以下の不等式を証明すれば、一般性を失うことなくEβN(a,b)≤b−aEXN++∣a∣が成立する。
EβN(0,b)≤bEYN
パート1. E(Yn+1∣Fn)≥Yn

上の図を見ると、f(x)=(x−a)+が凸関数であり、減少しない関数であることは容易に確認できる。したがって、条件付きイェンセンの不等式により
E(Yn+1∣Fn)=≥≥=E((Xn+1−a)+∣Fn)(E(Xn+1−a∣Fn))+(Xn−a)+Yn
パート2. bEβN(0,b)≤EYN
区間[0,b]の長さbがどうであれ、τkの定義から、τ2mはbを上回る時点を意味するので、Yτ2m≥bであり、τ2m−1はYkが0の下に外れる時点を意味するので、Yτ2m≤0である。それならば、m回目のアップクロッシングでYkが増加した量はY2m−Y2m−1≥bであり、これは、アップクロッシングがβN[0,b]回起こるたびに常に成立する。したがって、bβN[0,b]は、これらの増加した量よりも小さくなければならない。これを式で表すと、
bβN(0,b)≤==m=1∑βN(0,b)(Yτ2m−Yτ2m−1)m=1∑βN(0,b)[(Yτ2m−Yτ2m−1)+(Yτ2m−1−Yτ2m−2)+⋯+(Yτ2m−1+1−Yτ2m−1)]m=1∑βN(0,b)i∈Jm∑(Yi−Yi−1)
インデックスがβN(0,b)として数えられるのが気に入らないので、i=1,⋯,N全体を見る代わりに、アップクロッシングが発生している間は1をかけ、発生していない場合は0をかけるχiを使用する。それならば、上の式は以下のように簡単にまとめられる。
▶