
1.5 Stochastic Calculus 35
E(B
s
W
t
)=E(B
s
E(W
t
|F
s
)) = E(B
s
W
s
)=0.
Therefore, the Gaussian processes W and B are uncorrelated, hence they are
independent.
If B and W are correlated BMs, the process (B
t
W
t
− ρt, t ≥ 0) is a
martingale and E(B
t
W
t
)=ρt. From the Cauchy-Schwarz inequality, it follows
that |ρ|≤1. In the case |ρ| < 1, the process X defined by the equation
W
t
= ρB
t
+
1 − ρ
2
X
t
is a Brownian motion independent of B. Indeed, it is a continuous martingale,
and it is easy to check that its bracket is t. Moreover X, B =0.
Note that, for any pair (a, b) ∈ R
2
the process Z
t
= aB
t
+ bW
t
is,uptoa
multiplicative factor, a Brownian motion. Indeed, setting c =
a
2
+ b
2
+2abρ
the two processes
Z
t
:=
1
c
Z
t
,t≥ 0
and (
Z
2
t
− t, t ≥ 0) are continuous
martingales, hence
Z is a Brownian motion.
Proposition 1.4.3.3 Let B
t
= ΓW
t
where W is a d-dimensional Brownian
motion and Γ =(γ
i,j
) is a d ×d matrix with
d
j=1
γ
2
i,j
=1. The process B is
a vector of correlated Brownian motions, with correlation matrix ρ = ΓΓ
∗
.
Exercise 1.4.3.4 Prove Proposition 1.4.3.3.
Exercise 1.4.3.5 Let B be a Brownian motion and let
B
t
= B
t
−
t
0
ds
B
s
s
.
Prove that for every t,ther.v’sB
t
and
B
t
are not correlated, hence are
independent. However, clearly, the two Brownian motions B and
B are not
independent. There is no contradiction with our previous discussion, as
B is
not an F
B
-Brownian motion.
Remark 1.4.3.6 It is possible to construct two Brownian motions W and
B such that the pair (W, B) is not a Gaussian process. For example, let W
be a Brownian motion and set B
t
=
t
0
sgn(W
s
)dW
s
where the stochastic
integral is defined in Subsection 1.5.1. The pair (W, B) is not Gaussian,
since aW
t
+ B
t
=
t
0
(a +sgn(W
s
))dW
s
is not a Gaussian process. Indeed, its
bracket is not deterministic, whereas the bracket of a Gaussian martingale is
deterministic (see Exercise 1.3.2.3). Note that B,W
t
=
t
0
sgn(W
s
)ds, hence
the bracket is not of the form as in Definition 1.4.3.1. Nonetheless, there is
some “correlation” between these two Brownian motions.
1.5 Stochastic Calculus
Let (Ω, F, F, P) be a filtered probability space. We recall very briefly
the definition of a stochastic integral with respect to a square integrable
martingale. We refer the reader to [RY] for details.