The Wiener process is a stochastic process that provides a pure mathematical definition of the physical phenomenon of Brownian motion, and hence is also called Brownian motion.
A Wiener process is defined as any stochastic process that satisfies:
- Initial condition .
- Each increment of is independent of the past: given , then and are independent random variables.
- The increments of are Gaussian with mean and variance , where is the time step, such that .
- is a continuous function of .
There exist stochastic processes that satisfy these requirements, infinitely many in fact. In other words, Brownian motion exists, and can be constructed in various ways.
Since the variance of an increment is expressed in units of time , the physical unit of the Wiener process is the square root of time .
Brownian motion is self-similar: if we define a rescaled for some , then is also a valid Wiener process, meaning that there are no fundemental scales. A consequence of this is that: . Another consequence is invariance under “time inversion”, by defining , such that .
Despite being continuous by definition, the Wiener process is not differentiable in general, not even in the mean square, because:
Furthermore, the Wiener process is a good example of both a martingale and a Markov process, since each increment has mean zero (so it is a martingale), and all increments are independent (so it is a Markov process).
An important question about the Wiener process is whether it is recurrent or transient: given a hypersphere (interval in 1D, circle in 2D, sphere in 3D) away from the origin, will visit it after a finite time ? It is recurrent if yes, i.e. , or transient otherwise. The answer to this question turns out to depend on the number of dimenions.
To demonstrate this, we model the -dimensional Wiener process as an Itō diffusion , which also allows us to shift the initial condition (or resume a “paused” process):
Consider two hyperspheres, the inner with radius , and the outer with . Let the initial condition , then we define the stopping times , and like so:
We stop when the inner or outer hypersphere is touched by , whichever happens first.
Dynkin’s formula is applicable to this situation, if we define as follows, where the terminal reward equals for , and for , such that equals the probability that we touch before for a given :
Dynkin’s formula then tells us that is given by the following equation, with the boundary conditions and :
Thanks to this problem’s spherical symmetry, only depends on the radial coodinate , so the Laplacian can be written as follows in -dimensional spherical coordinates:
For , the solution is as follows, of which we take the limit for :
The outer hypersphere becomes harder to reach for larger , and for we are left with the probability of hitting only. This turns out to be , so in 1D the Wiener process is recurrent: it always comes close to the origin in finite time.
For , the solution is as follows, whose limit turns out to be , so the Wiener process is also recurrent in 2D:
However, for , the solution does not converge to for , meaning the Wiener process is transient in 3D or higher:
This is a major qualitative difference. For example, consider a situation where some substance is diffusing from a localized infinite source: in 3D, the substance can escape and therefore a steady state can exist, while in 2D, the substance never strays far from the source, so no steady state is ever reached as long as the source continues to emit.
- U.H. Thygesen, Lecture notes on diffusions and stochastic differential equations, 2021, Polyteknisk Kompendie.