ブラウン運動の超函数的導関数は白色雑音である
📂確率微分方程式ブラウン運動の超函数的導関数は白色雑音である
要約
ブラウン運動の超関数的導関数は白色雑音である。
説明
ブラウン運動Btは、伝統的な意味での導関数が存在しない。したがって、次のような条件を満たすξを白色雑音と定義することができる。
E[ξt]Cov(ξt,ξs)=0,=δ0∀t
Covは共分散であり、δはディラックのデルタ関数である。ここでBtを超関数として拡張して考えると、その超関数的導関数が白色雑音の定義を満たすことがわかる。言い換えれば白色雑音はブラウン運動の弱導関数である。
証明
確率過程B(t,w):[0,∞)×Ω→Rnをブラウン運動とする。便宜上これをBt(ω)=B(t,ω)と表示しよう。Btに対して、次のような超関数Btを定義しよう。
Bt[ϕ]:=∫Btϕ(t)dt,∀ϕ∈D
ここでϕはテスト関数である。超関数Btの導関数は、定義により次のように定義される超関数である。
Bt′[ϕ]:=−∫Btϕ′(t)dt,∀ϕ∈D
これを簡単にξ(ϕ)=Bt′[ϕ]と表そう。今、ξ(ϕ)が(1)、(2)を満たすことを示せばよい。
ブラウン運動の基本特性
[2] E(Bt)=0
[4] Cov(Bt,Bs)=E(BtBs)=min(t,s)
E[ξ(ϕ)]=0
E[ξ(ϕ)]=E[−∫Btϕ′(t)dt]=−∫E[Bt]ϕ′(t)dt=−∫0⋅ϕ′(t)dt=0
二つ目の等号はEがtに無関係であるため、三つ目の等号はブラウン運動の性質[2]に基づいて成り立つ。
Cov[ξ,ξ]=δ0
ブラウン運動の性質[4]により、
Cov[ξ(ϕ),ξ(ψ)]=E[ξ(ϕ)ξ(ψ)]=E[∫Btϕ′(t)dt∫Bsψ′(s)ds]=E[∫∫BtBsϕ′(t)ψ′(s)dtds]=∫∫E[BtBs]ϕ′(t)ψ′(s)dtds=∫∫min(t,s)ϕ′(t)ψ′(s)dtds
四つ目の等号はEがt、sに無関係であるため、五つ目の等号はブラウン運動の性質[4]に基づいて成立する。
sが固定されている時、min(t,s)は次のようなtに対する関数である。
min(t,s)={ts0≤t≤ss≤t
したがって、積分を計算すると、
∫∫min(t,s)ϕ′(t)ψ′(s)dtds=∫∫0stϕ′(t)ψ′(s)dtds+∫∫s∞sϕ′(t)ψ′(s)dtds=∫(∫0stϕ′(t)dt)ψ′(s)ds+∫s∫s∞ϕ′(t)dtψ′(s)ds=∫([tϕ(t)]0s−∫0sϕ(t)dt)ψ′(s)ds+∫s[ϕ(t)]s∞ψ′(s)ds=∫sϕ(s)ψ′(s)ds−∫∫0sϕ(t)dtψ′(s)ds−∫sϕ(s)ψ′(s)dtds=−∫0∞∫0sϕ(t)dtψ′(s)ds=−∫0∞(∫0sϕ(t)dt)ψ′(s)ds=−[(∫0sϕ(t)dt)ψ(s)]0∞+∫0∞dsd(∫0sϕ(t)dt)ψ(s)ds=∫0∞ϕ(s)ψ(s)ds=ϕ(0)ψ(0)=δ0[ϕψ]
⟹Cov[ξ,ξ]=δ0
三つ目と六つ目の等号では、部分積分が使用されている。七つ目の等号はψ(∞)=0、∫00ϕ(t)dt=0によって成立する。
■