(Decomposition of correlated Brownian motions into independent Brownian motions). Suppose $B_1(t)$ and $B_2(t)$ are Brownian motions and
$$
d B_1(t) d B_2(t)=\rho(t) d t
$$
198
4 Stochastic Calculus
where $\rho$ is a stochastic process taking values strictly between -1 and 1 . Define processes $W_1(t)$ and $W_2(t)$ such that
$$
\begin{aligned}
& B_1(t)=W_1(t), \\
& B_2(t)=\int_0^t \rho(s) d W_1(s)+\int_0^t \sqrt{1-\rho^2(s)} d W_2(s),
\end{aligned}
$$
and show that $W_1(t)$ and $W_2(t)$ are independent Brownian motions.