Standard Brownian motion, , is defined to be a real-valued process satisfying the following properties.
- is normally distributed with mean 0 and variance t–s independently of , for any .
- B has continuous sample paths.
As always, it only really matters is that these properties hold almost surely. Now, to apply the techniques of stochastic calculus, it is assumed that there is an underlying filtered probability space , which necessitates a further definition; a process B is a Brownian motion on a filtered probability space if in addition to the above properties it is also adapted, so that is -measurable, and is independent of for each . Note that the above condition that is independent of is not explicitly required, as it also follows from the independence from . According to these definitions, a process is a Brownian motion if and only if it is a Brownian motion with respect to its natural filtration.
The property that has zero mean independently of means that Brownian motion is a martingale. Furthermore, we previously calculated its quadratic variation as . An incredibly useful result is that the converse statement holds. That is, Brownian motion is the only local martingale with this quadratic variation. This is known as Lévy’s characterization, and shows that Brownian motion is a particularly general stochastic process, justifying its ubiquitous influence on the study of continuous-time stochastic processes.
- X is standard Brownian motion on the underlying filtered probability space.
- X is continuous and is a local martingale.
- X has quadratic variation .
This result carries directly through to the d-dimensional situation. A d-dimensional Brownian motion on a filtered probability space is a continuous adapted process with such that, for any , is independent of and multivariate normal with zero mean and covariance matrix .
- X is a Brownian motion on the underlying filtered probability space.
- X is continuous and is a local martingale for .
- X has quadratic covariations for .
Here, is the Kronecker delta. Theorems 1 and 2 are both special cases of the following characterization of multidimensional centered Gaussian processes with independent increments. Note that, as processes are continuous whenever their quadratic variation is continuous, statement 3 of Theorems 1 and 2 automatically imply continuity of X.
- is independent of and normally distributed with mean zero and covariance matrix , for all .
- is a local martingale for .
- X has quadratic covariations .
Proof: Suppose that 1 holds and set , for some . Then, , are joint normal with zero mean and covariance , independently of . So
Setting gives , so M is a martingale and 2 holds.
Now suppose that 2 holds, choose any , and set . Then, is a local martingale, as is . It follows that is also a local martingale and, being the difference of continuous increasing processes, V is also an FV process. So, V is constant, giving . By the polarization identity,
giving property 3.
Finally, suppose that 3 holds, choose and set , so that . The process
is bounded by . Applying Ito’s lemma for continuous semimartingales to f gives
By preservation of the local martingale property, M is a local martingale. As it is also bounded over finite intervals, M is a proper martingale. So,
This is the characteristic function of the multivariate normal, independently of , with mean zero and covariance matrix , as required.
Theorem 1 can also be used to characterize those processes which can be expressed as a stochastic integral with respect to a Brownian motion. Other than the local martingale property, it is necessary for the quadratic variation to have absolutely continuous sample paths. A function is said to be absolutely continuous if it is continuous with finite variation and for all bounded measurable functions with . Equivalently, the signed measure is absolutely continuous with respect to the Lebesgue measure which, by the Radon-Nikodym theorem, is equivalent to f being expressible as an integral for some Lebesgue-integrable function . In the stochastic setting, FV processes with absolutely continuous sample paths can be expressed as an integral of a predictable process.
Then, for some predictable process satisfying (almost surely) for each .
Proof: Let us first suppose that V has integrable variation and let denote the predictable sigma-algebra. Define the following measures on
for all nonnegative bounded and predictable . Here is a (nonnegative) sigma-finite measure and is a finite signed measure.
By the condition of the lemma, whenever so, by the Radon-Nikodym theorem, there exists a predictable process so that for all bounded predictable . The process is continuous, has integrable variation over all bounded time intervals and satisfies
Now, for general V satisfying the conditions of the lemma, define stopping times
Then the stopped processes have variation bounded by n and, by the above argument, there are predictable processes such that . The result now follows by taking .
Any process of the form for a Brownian motion B has quadratic variation , which is absolutely continuous. We prove that the converse statement also holds. That is, if X is a local martingale with absolutely continuous quadratic variation, then it can be expressed as a stochastic integral with respect to a Brownian motion. Before doing this, there is one technical issue to consider. On any probability space it is always possible to define the process , which is identically zero everywhere. This trivially has zero quadratic variation and we would like to write where . However, this is only possible if there is at least one Brownian motion B defined on the underlying filtered probability space. This is not a major problem though, as it is always possible to enlarge the space to add a Brownian motion. For example, if is the original filtered probability space and is any other space with a Brownian motion defined on it, then
defines a new, enlarged, filtered probability space which contains a Brownian motion and to which all processes and random variables on our original space can be lifted. The statement of the representability of processes as stochastic integrals with respect to Brownian motion is as follows.
Then, for a Brownian motion B and B-integrable process .
Proof: Applying Lemma 4, we can write . Then, as quadratic variations are increasing, will be almost-everywhere nonnegative. Set , so .
shows that is X-integrable. So, picking any Brownian motion W defined on the filtered probability space, we can define
By preservation of the local martingale property, B is a local martingale. Its quadratic variation satisfies
so, by Lévy’s characterization, B is a Brownian motion. As , is B-integrable and,
However, is a local martingale with quadratic variation . So, and (1) gives the result.