Definition of Brownian motion
Brownian motion provides a mathematical framework for modeling continuous random movement over time. In actuarial work, it's the foundation for modeling asset prices, interest rates, and other quantities that evolve unpredictably. Nearly every stochastic model you'll encounter in financial mathematics builds on it.
Mathematical formulation
Brownian motion is a continuous-time stochastic process defined by these properties:
- Starts at zero:
- Normal increments: For any , the increment is normally distributed with mean zero and variance . In notation:
- Independent increments: For any collection of non-overlapping time intervals, the increments are independent of each other
At any time , the distribution of is . This means the uncertainty (measured by variance) grows linearly with time, while the standard deviation grows proportionally to .
Physical interpretation
Brownian motion is named after the botanist Robert Brown, who in 1827 observed the erratic, jittery motion of pollen grains suspended in water. The grains weren't alive; they were being bombarded by water molecules undergoing thermal agitation. Each collision imparts a tiny random force, and the cumulative effect produces the irregular paths we call Brownian motion.
This physical picture carries over to the mathematical model: many small, independent random shocks accumulate into a continuous but highly irregular trajectory.
Key properties
Several properties make Brownian motion especially useful (and mathematically distinctive):
- Continuous sample paths: The trajectory is a continuous function of time with probability 1. There are no jumps.
- Nowhere differentiable: Despite being continuous, the paths are so jagged that they have no derivative at any point (almost surely). You can't define a "velocity" for Brownian motion in the classical sense.
- Martingale property: for . The best forecast of a future value, given the present, is just the current value.
- Self-similarity: Rescaling time by a factor and space by produces a process with the same statistical properties. Formally, has the same distribution as .
The nowhere-differentiable property is what forces us to use stochastic calculus rather than ordinary calculus when working with these processes.
Wiener process
The Wiener process is the rigorous mathematical formalization of Brownian motion, named after Norbert Wiener, who constructed it on a solid measure-theoretic foundation. In practice, "Wiener process" and "Brownian motion" are used interchangeably in most actuarial and financial contexts.
Standard Wiener process
The standard Wiener process satisfies:
- Independent increments: is independent of
- Normal increments:
- Continuous sample paths
A useful result for calculations: the covariance structure is . This follows directly from the independent increments property and is frequently used when computing expectations involving products of Wiener process values.
Generalized Wiener process
The generalized Wiener process adds a deterministic drift to the standard Wiener process:
- is the drift, controlling the average rate of change per unit time
- is the diffusion coefficient, scaling the random fluctuations
- is a standard Wiener process
At time , . This is the simplest extension that lets you model a process with both a trend and randomness. For example, if you set and , the process drifts upward on average while fluctuating randomly around that trend.
Wiener process vs Brownian motion
Strictly speaking, "Brownian motion" refers to the physical phenomenon (particles jostled by fluid molecules), while the "Wiener process" is the mathematical model capturing its essential features. In actuarial mathematics and finance, the distinction rarely matters, and you'll see both terms used for the same object. Just know that when someone writes , they mean the mathematical construct.

Stochastic calculus
Because Brownian motion paths are nowhere differentiable, ordinary calculus breaks down. Stochastic calculus extends differentiation and integration to handle processes driven by Brownian motion. It's the mathematical engine behind derivative pricing, hedging, and interest rate modeling.
Stochastic integrals
The Itô integral is the standard stochastic integral used in finance. It integrates a stochastic process with respect to a Wiener process:
Three properties you need to know:
- Linearity:
- Zero mean:
- Itô isometry:
The Itô isometry is particularly useful because it converts a stochastic integral into an ordinary (Lebesgue) integral when computing second moments.
Itô's lemma
Itô's lemma is the stochastic version of the chain rule. If you have a smooth function and a process satisfying the SDE
then:
The critical difference from the ordinary chain rule is the extra term . This arises because (in the mean-square sense), so second-order terms don't vanish as they do in classical calculus.
Example: To derive the solution of geometric Brownian motion, apply Itô's lemma to with . You get:
This is how you show that is normally distributed, which is central to the Black-Scholes framework.
Stratonovich integral vs Itô integral
There are two conventions for defining stochastic integrals, differing in where the integrand is evaluated within each time step:
- Itô integral: Evaluates the integrand at the left endpoint of each subinterval:
- Stratonovich integral: Evaluates at the midpoint:
The Itô integral is standard in finance because it respects the "no peeking into the future" requirement (the integrand depends only on information available up to time ). The Stratonovich integral obeys the ordinary chain rule, which makes it natural in physics. In actuarial and financial work, you'll almost always use Itô.
Stochastic differential equations (SDEs)
An SDE incorporates randomness directly into a differential equation. The general form is:
Here is the drift (deterministic tendency) and is the diffusion (random component). The solution is a stochastic process, not a single function.
Definition and properties
- SDEs are interpreted through stochastic integrals (typically Itô).
- Existence and uniqueness: Under Lipschitz and linear growth conditions on and , a unique strong solution exists. These are the standard regularity conditions you'll see in proofs.
- Markov property: The solution to an SDE is a Markov process, meaning the future depends on the past only through the current state. This is what makes SDEs tractable for pricing and risk calculations.
Examples of SDEs
Three SDEs appear constantly in actuarial and financial applications:
Geometric Brownian motion (GBM):
Used to model stock prices. The key feature is that both drift and diffusion are proportional to , so the process stays positive. The solution is .
Ornstein-Uhlenbeck (OU) process:
Models mean-reverting behavior. When is above , the drift pulls it down; when below, it pulls it up. Used for interest rates and commodity prices.
Cox-Ingersoll-Ross (CIR) model:
Also mean-reverting, but the diffusion term ensures the process stays non-negative (provided , the Feller condition). Widely used for interest rate modeling.

Solution methods for SDEs
Analytical solutions exist for some important cases:
- GBM has a closed-form solution (shown above)
- The OU process has an explicit solution involving an integral of the Wiener process
- Linear SDEs with constant coefficients are generally solvable in closed form
Numerical methods are needed for most other SDEs:
-
Euler-Maruyama method: The simplest scheme. Discretize time into steps of size and approximate: where . This has strong convergence order 0.5.
-
Milstein method: Adds a correction term involving , improving strong convergence to order 1.0:
-
Higher-order methods: Stochastic Runge-Kutta and other schemes offer better accuracy at higher computational cost.
The Euler-Maruyama method is the default starting point. Use Milstein when you need better accuracy without much extra implementation effort.
Diffusion processes
Diffusion processes are continuous-time Markov processes with continuous sample paths. Every SDE of the form above defines a diffusion process (under appropriate regularity conditions). They're the broadest class of continuous stochastic models you'll work with.
Definition and properties
A diffusion process is characterized by:
- Continuous sample paths: No jumps or discontinuities
- Markov property: for
- Infinitesimal generator: The local behavior is captured by the drift and diffusion coefficient , which together define the infinitesimal generator:
The drift and diffusion coefficients fully specify the dynamics of the process. All the PDEs that follow (Fokker-Planck, Kolmogorov) are expressed in terms of these two functions.
Fokker-Planck equation
The Fokker-Planck equation (also called the forward Kolmogorov equation) governs how the probability density of a diffusion process evolves over time:
Here is the probability density of finding the process at state at time . Think of it this way: the first term on the right describes how drift transports probability, and the second term describes how diffusion spreads it out.
You use this equation when you know where the process starts and want to find the distribution at a later time.
Kolmogorov equations
The Kolmogorov equations come in a pair:
Forward equation (Fokker-Planck): Describes the evolution of the probability density forward in time, as shown above.
Backward equation: Describes how expected values of future quantities depend on the current state:
where .
Note the sign convention: the backward equation has a in front of the time derivative (or equivalently, the equation equals zero with all terms on one side). You use the backward equation when you want to compute the expected payoff of some function at a future time , starting from state at time . This is exactly the setup for pricing derivatives.
Ornstein-Uhlenbeck process
The Ornstein-Uhlenbeck (OU) process is the prototypical mean-reverting diffusion:
- : mean-reversion speed (larger means faster reversion)
- : long-term mean level
- : volatility of the random shocks
Key properties:
- Mean-reversion: The drift always points toward . If , the drift is negative; if , positive.
- Stationary distribution: The process has a Gaussian stationary distribution with mean and variance . Higher mean-reversion speed produces a tighter stationary distribution.
- Autocorrelation: , decaying exponentially. The "half-life" of the autocorrelation is .
The OU process is used in the Vasicek interest rate model, for modeling commodity prices that revert to a production cost level, and for the velocity of particles in a fluid (its original physical application).
Applications in finance
Brownian motion and diffusion processes underpin most of quantitative finance. The two models below are among the most important for actuarial exams and practice.
Black-Scholes model
The Black-Scholes model assumes the underlying asset price follows geometric Brownian motion:
where is the asset price, is the expected return, and is the volatility.
Under risk-neutral pricing (replacing with the risk-free rate ), the Black-Scholes formula for a European call option with strike and maturity is:
where and .
The derivation uses Itô's lemma applied to a portfolio of the option and the underlying asset, leading to a PDE (the Black-Scholes PDE) that can be solved in closed form. Key assumptions include constant volatility, no transaction costs, and continuous trading.
Vasicek model
The Vasicek model describes the short-term interest rate as an Ornstein-Uhlenbeck process:
- : speed of mean reversion
- : long-term mean interest rate
- : interest rate volatility
The model produces analytical formulas for zero-coupon bond prices and European bond options, which makes it very tractable. The bond price has the form where and are deterministic functions of the model parameters and the time to maturity.
One limitation: because the OU process is Gaussian, the Vasicek model allows negative interest rates. While this was once considered a drawback, negative rates have been observed in practice (e.g., European government bonds in the 2010s). For applications where non-negativity is required, the CIR model (which uses instead of ) is the standard alternative.