logo

伊藤等距離等式 📂確率微分方程式

伊藤等距離等式

定理 1

すべてのfm2[a,b]f \in m^{2}[a,b]に対して、次の等式が成り立つ。 E[(abfdWt)2]=E[abf2dt] E \left[ \left( \int_{a}^{b} f d W_{t} \right)^{2} \right] = E \left[ \int_{a}^{b} f^{2} dt \right]

説明

積分記号の外の二乗 2^{2} が渡るのも正しいが、積分因子 dWtd W_{t}dtdt が変わることにも注意する必要がある。

証明 1

戦略: 初等過程シーケンス {ϕn}nN\left\{ \phi_{n} \right\}_{n \in \mathbb{N}} についてのみ示せば、イート積分の定義に従って自然に ϕnfm2\phi_{n} \to f \in m^{2} に一般化されるので、初等過程 ϕn\phi_{n} だけ考えれば十分である。一つの n0Nn_{0} \in \mathbb{N} を固定し、ϕ:=ϕn0\phi := \phi_{n_{0}} とする。


ϕ(t,ω):=j=0k1ej(ω)χ[tj,tj+1)(t),a=t0<<tk=b \phi (t, \omega) := \sum_{j=0}^{k-1} e_{j} (\omega) \chi_{[t_{j}, t_{j+1})} (t) \qquad , a = t_{0} < \cdots < t_{k} = b 束縛されたbounded初等過程 ϕ\phi が上記のように現れるとする。

ΔWj:=Wtj+1Wtj\Delta W_{j} := W_{t_{j+1}} - W_{t_{j}} とすると、WtW_{t}ウィーナープロセスであるため E[eiejΔWiΔWj]={0,if ijE[ej2](tj+1tj),if i=j E \left[ e_{i} e_{j} \Delta W_{i} \Delta W_{j} \right] = \begin{cases} 0 & , \text{if } i \ne j \\ E \left[ e_{j}^{2} \right] \cdot \left( t_{j+1} - t_{j} \right) & , \text{if } i = j \end{cases} また、iji \ne j であれば ΔWiΔWj\Delta W_{i} \perp \Delta W_{j} なので E[(abϕdWt)2]=i,jE[eiejΔWiΔWj]=jE[ej2](tj+1tj)=E[abϕ2dt] \begin{align*} E \left[ \left( \int_{a}^{b} \phi d W_{t} \right)^{2} \right] =& \sum_{i,j} E \left[ e_{i} e_{j} \Delta W_{i} \Delta W_{j} \right] \\ =& \sum_{j} E \left[ e_{j}^{2} \right] \left( t_{j+1} - t_{j} \right) \\ =& E \left[ \int_{a}^{b} \phi^{2} dt \right] \end{align*}


  1. Øksendal. (2003). Stochastic Differential Equations: An Introduction with Applications: p29. ↩︎ ↩︎