📂확률미분방정식

이토 곱셈 테이블

빌드업

$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 \text{Var} ( W_{t} ) = t$
• [4]: $\displaystyle \text{cov} ( W_{t} , W_{s} ) = {{1} \over {2}} (|t| + |s| - |t-s|) = \min \left\{ t , s \right\}$

위너 프로세스 $\left\{ W_{t} \right\}_{t \ge 0}$ 의 아주 짧은 미소 구간 $\left[ t , t + d t \right]$ 를 생각해보자. 해석적으로 엄밀한 가정은 아니지만, $dt > 0$ 는 $\left( dt \right)^{1/2} > 0$ 이면서 모든 $k = 2 , 3, \cdots$ 에 대해 $\left( dt \right)^{k} = 0$ 으로 취급할 수 있을만큼 작다고 하자. 이제 $dW_{t} := W_{t + dt} - W_{t}$ 이라고 두었을 때 $dt$ 와 $d W_{t}$ 사이의 곱셈들을 생각해보려 한다.

$W_{t}$ 는 위너 프로세스로 가정했으므로 정규분포를 따라서 $d W_{t} \sim N \left( 0, \sqrt{dt}^{2} \right)$ 다.

---

Part 1. $\left( dt \right)^{2} = 0$

물론 $dt > 0$ 이지만, $dt$ 가 너무 작아서 $\left( dt \right)^{2} = 0$ 라 하자.

---

Part 2. $dt d W_{t} = 0$

평균과 분산의 성질들:

• [2]: $E(aX + b) = a E(X) + b$
• [5]: $\text{Var} (aX + b) = a^2 \text{Var} (X)$

$dt d W_{t}$ 의 기대값은 상수 $dt$ 가 밖으로 나오며 $$ E \left( dt d W_{t} \right) = dt E \left( d W_{t} \right) = dt \cdot 0 = 0 $$ $dt d W_{t}$ 의 분산도 $dt$ 가 제곱을 취하며 밖으로 나와서 $$ \text{Var} \left( dt d W_{t} \right) = (dt)^{2} \text{Var} \left( d W_{t} \right) = 0 \cdot \text{Var} \left( d W_{t} \right) = 0 $$ 이에 따르면 $dt d W_{t}$ 는 분산이 $0$ 이므로 상수고, 기대값이 $0$ 이므로 정확히 $$ dt d W_{t} = d W_{t} dt = 0 $$ 이어야한다.

---

Part 3. $\left( d W_{t} \right)^{2} = dt$

$\text{Var} \left( d W_{t} \right) = dt$ 에서 $d W_{t} \cdot d W_{t}$ 의 기대값을 구해보면 $$ \begin{align*} dt =& \text{Var} \left( d W_{t} \right) \\ =& E \left( \left( d W_{t} \right)^{2} \right) - \left[ E \left( d W_{t} \right) \right]^{2} \\ =& E \left( \left( d W_{t} \right)^{2} \right) - 0^{2} \end{align*} $$ 이므로 $E \left( \left( d W_{t} \right)^{2} \right) = dt$ 다. $d W_{t}$ 가 정규분포를 따르므로 서로 독립이고, 곱이 기대값 안팎으로 넘나들수 있어 $$ \begin{align*} \text{Var} \left( \left( d W_{t} \right)^{2} \right) =& E \left( \left( \left( d W_{t} \right)^{2} - dt \right)^{2} \right) \\ =& E \left( \left( d W_{t} \right)^{2} - dt \right) \cdot E \left( \left( d W_{t} \right)^{2} - dt \right) \\ =& 0^{2} \end{align*} $$ 이다. 이에 따르면 $\left( d W_{t} \right)^{2}$ 는 분산이 $0$ 이므로 그냥 상수고, 기대값이 $dt$ 이므로 정확히 $$ \left( d W_{t} \right)^{2} = dt $$ 이어야한다.

요약 ¹

$dt$ 와 $d W_{t}$ 의 곱은 다음과 같다.

$$ \begin{align*} \left( dt \right)^{2} =& 0 \\ dt d W_{t} =& 0 \\ d W_{t} dt =& 0 \\ \left( d W_{t} \right)^{2} =& dt \end{align*} $$