logo

위너 프로세스 📂확률론

위너 프로세스

정의

$s< t < t+u$ 라고 할 때, 다음의 조건들을 만족하는 확률과정 $\left\{ W_{t} \right\}$ 를 위너 프로세스라 한다.

  • (i): $W_{0} = 0$
  • (ii): $\left( W_{t+u} - W_{t} \right) \perp W_{s}$
  • (iii): $\left( W_{t+u} - W_{t} \right) \sim N ( 0, u )$
  • (iv): $W_{t}$ 의 샘플 패스는 거의 어디서나 연속이다.

기초 성질

  • [1]: $\displaystyle W_{t} \sim N ( 0 , t )$
  • [2]: $\displaystyle E ( W_{t} ) = 0$
  • [3]: $\displaystyle \operatorname{Var} ( W_{t} ) = t$
  • [4]: $\displaystyle \text{cov} ( W_{t} , W_{s} ) = E (W_{t}W_{s}) = {{1} \over {2}} (|t| + |s| - |t-s|) = \min \left\{ t , s \right\}$

설명

위너 프로세스는 브라운 운동brownian motion이라도 불린다.

  • (ii): $\left( W_{t+u} - W_{t} \right) \perp W_{s}$ 이고

  • (iii): 인크리먼트정규분포 $N(0,t)$ 를 따른다는 것은 위너 프로세스는 특정 시점에는 관심이 없고 두 시점을 비교했을때 그 시차가 클수록 불확실성이 커짐을 의미한다.

  • (iv): 샘플 패스가 거의 어디서나 연속이라는 것은 움직임이 위너 프로세스를 따르는 어떤 점이 있다고 할 때 밑도 끝도 없이 움직이는, 마치 ‘순간이동’을 할 확률이 $0$ 이라고 봐도 좋다. 너무 어렵다면 그냥 갑작스런 도약을 하지 않는다고만 알아둬도 충분하다.

  • [1]: 재미있는 사실은 $W_{t}$ 의 확률밀도함수 $$ f_{W_{t}} (x,t) = {{1} \over { \sqrt{ 2 \pi t } }} e^{ - {{x^2} \over {2t} } } $$ 가 열방정식 $$ {{\partial u } \over { \partial t }} = {{1} \over {2}} {{\partial^2 u } \over { \partial x^2 }} $$ 의 해가 된다는 것이다.

  • [4]: 공분산이 무언가들의 미니멈으로 표현되는 것은 흔히 볼 수 있는 게 아니다. 반드시 증명과정을 따라가보고 어떻게 유도되었는지 이해하는 것을 추천한다.

증명

[1]

(i)와 (iii)에 의해, $W_{t} = W_{t} - 0 = W_{t} - W_{0} \sim N ( 0 , t )$

[2]

[1]에 의해 $W_{t}$ 는 정규분포를 따르므로 $\displaystyle E ( W_{t} ) = 0$

[3]

[1]에 의해 $W_{t}$ 는 정규분포를 따르므로 $\displaystyle \operatorname{Var} ( W_{t} ) = t$

[4]

$t > s$ 라고 두면 공분산의 정의와 [2]에 의해 $$ \text{cov} ( W_{t} , W_{s} ) = E \left( \left[ W_{t} - E ( W_{t} ) \right] \left[ W_{s} - E ( W_{s} ) \right] \right) = E \left( W_{t} W_{s} \right) $$

$W_{t} = ( W_{t} - W_{s} ) + W_{s}$ 이므로

$$ \begin{align*} E \left( W_{t} W_{s} \right) =& E \left[ \left( ( W_{t} - W_{s} ) + W_{s} \right) \cdot W_{s} \right] \\ =& E \left[ ( W_{t} - W_{s} ) \cdot W_{s} \right] + E \left( W_{s}^{2} \right) \end{align*} $$

(ii)와 [2]에 의해 첫번째 항은

$$ E \left[ ( W_{t} - W_{s} ) \cdot W_{s} \right] = E ( W_{t} ) \cdot E ( W_{t} - W_{s} ) = 0 $$

[3]에 의해 두번째 항은

$$ E \left( W_{s}^{2} \right) - 0^2 = E \left( W_{s}^{2} \right) - \left[ E ( W_{s} ) \right]^2 = \operatorname{Var} ( W_{s} ) = s $$

정리하면 $\displaystyle \text{cov} ( W_{t} , W_{s} ) = s$ 이다. 한편 $s > t$ 일 때도 같은 결과를 얻을 수 있으므로

$$ \text{cov} ( W_{t} , W_{s} ) = \min \left\{ t , s \right\} $$