確率微分方程式におけるホワイトノイズ
📂確率微分方程式確率微分方程式におけるホワイトノイズ
モチーブ
ξ(t):=?W˙(t)=dtdW(t)
上で見せたようにウィーナー過程の導関数として定義されたξを想像してみよう。ブラウン運動を考えると、このξ(t)は時点tにおけるランダムな上下動を表すノイズになるはずだ。見た目はとても直感的で全く奇妙ではないが、残念ながら一般的なセンスではW˙(t)の存在性に問題がある。
ウィーナー過程の微分不可能性
Yh:=hW(t+h)−W(t)
ウィーナー過程{Wt}t≥0について、上に示すような平均変化率確率過程{Yh}を考えてみよう。当然Yhは正規分布に従い、その平均と分散は以下のように計算される。
E(Yh)Var(Yh)=h1E(W(t+h)−W(t))=0=h21Var(W(t+h)−W(t))=h21⋅h=h1
したがって、Ynは標準正規分布N(0,1)に従う確率変数Zに対してYh=h1Zとして表される。 この時、適切な定数k>0に対する確率
P(∣Yh∣>k)=P(hZ>k)
を考えてみよう。kが何であれZと一緒に固定されていてh→0ならば、hZは無限大に発散するため、
h→0limP(hZ>k)=1
が成立する。これを言い換えると、平均変化率確率過程と思っていた{Yh}が実は(確率)発散しており、結局W(t)はどこでも微分できないと分かる。
ビルドアップ
ウィーナー過程と伝統的な導関数の概念ではホワイトノイズを定義するのにやや問題があったため、回避して定義を下ろそうとしている。まず、{Xt}t≥0が常に有限分散正規分布に従う確率過程であるとしよう。つまり、すべてのt≥0に対して
E(Xt2)<∞
である。すべてのt1,t2≥0に対して
E(Xt1)=E(Xt2)
でありながら、ある関数h=R→Rとの共分散が
Cov(Xt1,Xt2)=E(Xt1⋅Xt2)=h(t2−t1)
として表れるならば、このガウシアン確率過程{Xt}t≥0は広義で定常的stationary in the wide Senseと言われる。これは、一定の平均を持ちながら時差に依存する分散の変化が関数hを通じて説明されることを表しており、時系列分析での定常性から少し退行した程度の適切な表現であると言える。
ディラック点質量関数: δx0を以下のように定義されたディラック測度としよう。
δx0(E):={10x0∈Ex0∈/E
特に、もしX0=0でありhがx0=0のディラック関数であれば、{Xt}t≥0のその直感的意味は以下のすべてを満たすノイズになる。
XtXt1∼N(0,1)⊥Xt2(∵EX0=0∧δ0=1⟹EXt2=1)(∵δ0=0⟹Cov(Xt1,Xt2)=0)
これは、ノイズにドリフトがなく―平均が0であり、分散が一定の正規分布に従い、ある時点のノイズは他の時点のどんなノイズとも独立であることを意味する。ウィーナー過程の定義から見て、(i)と(ii)を満たす性質であり、(iii)と(iv)は一点というより一定の区間を考えた時に意味を持つため、ホワイトノイズを論じる時にはあまり意味がない。
ウィーナー過程: s<t<t+uとする時、以下の条件を満たす確率過程{Wt}をウィーナー過程という。
- (i): W0=0
- (ii): (Wt+u−Wt)⊥Ws
- (iii): (Wt+u−Wt)∼N(0,u)
- (iv): Wtのサンプルパスはほとんどどこでも連続である。
これにより、我々は実際のウィーナー過程の導関数としてではなく、各時点のノイズとして十分な次の定義を導入しようとしている。実際、この定義の後で、数式でも自然に以下のような表現を使う。
ξ(t)=dW(t)=dtdW(t)noise⋅dt
ウィーナー過程の定義を超関数に拡張すると、ウィーナー過程の超関数的導関数はホワイトノイズの定義を満たす。つまり、ホワイトノイズはウィーナー過程の弱導関数である。
定義
ガウシアン確率過程{ξ(t)}が以下の二つの条件を満たす方法で広義の定常性を持つならば、白色ノイズwhite noiseと言われる。
- (i): E(ξ(0))=0
- (ii): Cov(ξ(t1),ξ(t2))=δ0
一緒に見る