APPENDIX: SOME TECHNICAL COMMENTS 173
6.A.2 The Wiener process and its bridge
One of the key properties of the Gaussian distribution is that the sum of Gaussian variables
itself has a Gaussian distribution. A consequence of this is that if X ∈ N(0, 1), then we can
write X = S
n
= X
1n
+ ...+ X
nn
, where the X
in
are independent with the same distribution
X
in
∈ N(0, 1/n). If we consider all the cumulative sums {S
kn
}
n
k=1
simultaneously, we can plot
the different S
nk
versus k/n and connect these points with straight lines to obtain a polygon
starting at the origin and ending up at (1,X). If we view this the opposite way, we have for
each t a stochastic variable x(t) such that when t = k/n,itisgivenbyS
kn
, whereas for other
values of t it is obtained by linear interpolation of such points. For this stochastic process x(t)
we have the following:
•
all its paths are continuous and start at zero;
•
the increments over disjoint time intervals are all independent (because they are derived
from independent X
kn
);
•
x(t) − x(s) ∈ N(0, |t − s|) when t = k/n and s = j/n.
There is a stochastic process which has precisely these properties, including the last one
for all s, t ∈ [0 , 1]. It is called the Wiener process, which we denote by {w(t); t ∈ [0, 1]}.It
plays much the same role for stochastic processes as the standardized Gaussian plays for
stochastic variables.
The Wiener process is named after Norbert Wiener who defined it mathematically in the
late 1920s. Intuitively it represents the cumulative sum of infinitely many, infinitely small and
independent errors. Its physical realization is, however, much older and is named after Robert
Brown who, in 1828, described the apparently random movement of particles suspended in a
medium such as a fluid, something we today call Brownian motion in his honor. Although it
was Wiener who put this process in the context of stochastic processes, it was Albert Einstein
who was the first to describe it mathematically. When he described it in the famous Einstein
year 1905 (the same year he published the theory of special relativity and discovered the
photon) he did not know about Brown’s writings. Einstein’s mission was different. He felt
that if there are molecules (which was only a theory at the time) there should be macroscopic
manifestations of their motion, and if these could be observed, this would serve as confirmation
of their existence. This was a problem in mathematical physics, and Einstein showed that under
certain assumptions, reflecting what should happen on average in a world full of colliding
particles, the probability density ρ(x, t) of particles should be governed by the diffusion
equation ∂
t
ρ = D
x
ρ, where
x
is the Laplacian (sum of second-order derivatives) and D
a diffusion coefficient. From this it follows that if the particle starts at the origin, the density
ρ at time t is distributed according to a Gaussian distribution with mean zero and variance
Dt. Einstein then derived an expression for the diffusion coefficient and laid out a program
for ‘proving’ the existence of the atom. This program was later carried out by Jean Baptiste
Perrin, winning him the Nobel Prize in 1926.
One problem with Brownian motion as described was that the paths, as can easily
be guessed from the description, are very irregular. In fact, they are continuous but non-
differentiable at every point. This mathematical puzzle was laid to rest by Wiener (and
others). (Actually non-differentiable functions had been known to mathematicians for quite
some time, since the work of Weierstrass in the late nineteenth century.)