A Brownian bridge can be defined as standard Brownian motion conditioned on hitting zero at a fixed future time T, or as any continuous process with the same distribution as this. Rather than conditioning, a slightly easier approach is to subtract a linear term from the Brownian motion, chosen such that the resulting process hits zero at the time T. This is equivalent, but has the added benefit of being independent of the original Brownian motion at all later times.

Lemma 1 Let X be a standard Brownian motion and be a fixed time. Then, the process

(1)

over is independent from .

Proof: As the processes are joint normal, it is sufficient that there is zero covariance between them. So, for times , we just need to show that is zero. Using the covariance structure we obtain,

as required. ⬜

This leads us to the definition of a Brownian bridge.

Definition 2 A continuous process is a Brownian bridge on the interval if and only it has the same distribution as for a standard Brownian motion X.

In case that , then B is called a standard Brownian bridge.

There are actually many different ways in which Brownian bridges can be defined, which all lead to the same result.

As a Brownian motion minus a linear term so that it hits zero at T. This is definition 2.

As a Brownian motion X scaled as . See lemma 9 below.

As a joint normal process with prescribed covariances. See lemma 7 below.

As a Brownian motion conditioned on hitting zero at T. See lemma 14 below.

As a Brownian motion restricted to the times before it last hits zero before a fixed positive time T, and rescaled to fit a fixed time interval. See lemma 15 below.

As a solution to a stochastic differential equation with drift term forcing it to hit zero at T. See lemma 18 below.

There are other constructions beyond these, such as in terms of limits of random walks, although I will not cover those in this post. Continue reading “Brownian Bridges”→

The famous Riemann zeta function was first introduced by Riemann in order to describe the distribution of the prime numbers. It is defined by the infinite sum

(1)

which is absolutely convergent for all complex s with real part greater than one. One of the first properties of this is that, as shown by Riemann, it extends to an analytic function on the entire complex plane, other than a simple pole at . By the theory of analytic continuation this extension is necessarily unique, so the importance of the result lies in showing that an extension exists. One way of doing this is to find an alternative expression for the zeta function which is well defined everywhere. For example, it can be expressed as an absolutely convergent integral, as performed by Riemann himself in his original 1859 paper on the subject. This leads to an explicit expression for the zeta function, scaled by an analytic prefactor, as the integral of multiplied by a function of x over the range . In fact, this can be done in a way such that the function of x is a probability density function, and hence expresses the Riemann zeta function over the entire complex plane in terms of the generating function of a positive random variable X. The probability distributions involved here are not the standard ones taught to students of probability theory, so may be new to many people. Although these distributions are intimately related to the Riemann zeta function they also, intriguingly, turn up in seemingly unrelated contexts involving Brownian motion.

Here, I apply the theory outlined in the previous post to fully describe the drawdown point process of a standard Brownian motion. In fact, as I will show, the drawdowns can all be constructed from independent copies of a single ‘Brownian excursion’ stochastic process. Recall that we start with a continuous stochastic process X, assumed here to be Brownian motion, and define its running maximum as and drawdown process . This is as in figure 1 above.

Next, was defined to be the drawdown ‘excursion’ over the interval at which the maximum process is equal to the value . Precisely, if we let be the first time at which X hits level and be its right limit then,

Next, a random set S is defined as the collection of all nonzero drawdown excursions indexed the running maximum,

The set of drawdown excursions corresponding to the sample path from figure 1 are shown in figure 2 below.

As described in the post on semimartingale local times, the joint distribution of the drawdown and running maximum , of a Brownian motion, is identical to the distribution of its absolute value and local time at zero, . Hence, the point process consisting of the drawdown excursions indexed by the running maximum, and the absolute value of the excursions from zero indexed by the local time, both have the same distribution. So, the theory described in this post applies equally to the excursions away from zero of a Brownian motion.

Before going further, let’s recap some of the technical details. The excursions lie in the space E of continuous paths , on which we define a canonical process Z by sampling the path at each time t, . This space is given the topology of uniform convergence over finite time intervals (compact open topology), which makes it into a Polish space, and whose Borel sigma-algebra is equal to the sigma-algebra generated by . As shown in the previous post, the counting measure is a random point process on . In fact, it is a Poisson point process, so its distribution is fully determined by its intensity measure .

Theorem 1 If X is a standard Brownian motion, then the drawdown point process is Poisson with intensity measure where,

is the standard Lebesgue measure on .

is a sigma-finite measure on E given by

(1)

for all bounded continuous continuous maps which vanish on paths of length less than L (some ). The limit is taken over , denotes expectation under the measure with respect to which Z is a Brownian motion started at , and is the first time at which Z hits 0. This measure satisfies the following properties,

-almost everywhere, there exists a time such that on and everywhere else.

for each , the distribution of has density

(2)

over the range .

over , is Markov, with transition function of a Brownian motion stopped at zero.

For a stochastic process X taking values in a state space E, its local time at a point is a measure of the time spent at x. For a continuous time stochastic process, we could try and simply compute the Lebesgue measure of the time at the level,

(1)

For processes which hit the level and stick there for some time, this makes some sense. However, if X is a standard Brownian motion, it will always give zero, so is not helpful. Even though X will hit every real value infinitely often, continuity of the normal distribution gives at each positive time, so that that defined by (1) will have zero expectation.

Rather than the indicator function of as in (1), an alternative is to use the Dirac delta function,

(2)

Unfortunately, the Dirac delta is not a true function, it is a distribution, so (2) is not a well-defined expression. However, if it can be made rigorous, then it does seem to have some of the properties we would want. For example, the expectation can be interpreted as the probability density of evaluated at , which has a positive and finite value, so it should lead to positive and finite local times. Equation (2) still relies on the Lebesgue measure over the time index, so will not behave as we may expect under time changes, and will not make sense for processes without a continuous probability density. A better approach is to integrate with respect to the quadratic variation,

(3)

which, for Brownian motion, amounts to the same thing. Although (3) is still not a well-defined expression, since it still involves the Dirac delta, the idea is to come up with a definition which amounts to the same thing in spirit. Important properties that it should satisfy are that it is an adapted, continuous and increasing process with increments supported on the set ,

Local times are a very useful and interesting part of stochastic calculus, and finds important applications to excursion theory, stochastic integration and stochastic differential equations. However, I have not covered this subject in my notes, so do this now. Recalling Ito’s lemma for a function of a semimartingaleX, this involves a term of the form and, hence, requires to be twice differentiable. If we were to try to apply the Ito formula for functions which are not twice differentiable, then can be understood in terms of distributions, and delta functions can appear, which brings local times into the picture. In the opposite direction, which I take in this post, we can try to generalise Ito’s formula and invert this to give a meaning to (3). Continue reading “Semimartingale Local Times”→

for a standard Brownian motionW and predictable process , defined with respect to a filtered probability space . For this to make sense, we must assume that is almost surely finite at all times, and I will suppose that is the filtration generated by W.

The question is whether the drift can be backed out from knowledge of the process X alone. As I will show with an example, this is not possible. In fact, in our example, X will itself be a standard Brownian motion, even though the drift is non-trivial (that is, is not almost surely zero). In this case X has exactly the same distribution as W, so cannot be distinguished from the driftless case with by looking at the distribution of X alone.

On the face of it, this seems rather counter-intuitive. By standard semimartingale decomposition, it is known that we can always decompose

(2)

for a unique continuous local martingale M starting from zero, and unique continuous FV process A. By uniqueness, and . This allows us to back out the drift and, in particular, if the drift is non-trivial then X cannot be a martingale. However, in the semimartingale decomposition, it is required that M is a martingale with respect to the original filtration . If we do not know the filtration , then it might not be possible to construct decomposition (2) from knowledge of X alone. As mentioned above, we will give an example where X is a standard Brownian motion which, in particular, means that it is a martingale under its natural filtration. By the semimartingale decomposition result, it is not possible for X to be an -martingale. A consequence of this is that the natural filtration of X must be strictly smaller than the natural filtration of W.

The inspiration for this post was a comment by Gabe posing the following question: If we take to be the filtration generated by a standard Brownian motion W in , and we define , can we find an -adapted such that the filtration generated by is smaller than ? Our example gives an affirmative answer. Continue reading “A Process With Hidden Drift”→

A stochastic process is a semimartingale if and only if it can be decomposed as the sum of a local martingale and an FV process. This is stated by the Bichteler-Dellacherie theorem or, alternatively, is often taken as the definition of a semimartingale. For continuous semimartingales, which are the subject of this post, things simplify considerably. The terms in the decomposition can be taken to be continuous, in which case they are also unique. As usual, we work with respect to a complete filtered probability space , all processes are real-valued, and two processes are considered to be the same if they are indistinguishable.

Theorem 1 A continuous stochastic process X is a semimartingale if and only if it decomposes as

(1)

for a continuous local martingale M and continuous FV process A. Furthermore, assuming that , decomposition (1) is unique.

It just remains to prove the existence of decomposition (1). However, X is continuous and, hence, is locally square integrable. So, Lemmas 4 and 5 of the previous post say that we can decompose where M is a local martingale, A is an FV process and the quadratic covariation is a local martingale. As X is continuous we have so that, by the properties of covariations,

(2)

We have shown that is a nonnegative local martingale so, in particular, it is a supermartingale. This gives . Then (2) implies that is zero and, hence, A and are continuous. ⬜

Using decomposition (1), it can be shown that a predictable process is X-integrable if and only if it is both M-integrable and A-integrable. Then, the integral with respect to X breaks down into the sum of the integrals with respect to M and A. This greatly simplifies the construction of the stochastic integral for continuous semimartingales. The integral with respect to the continuous FV process A is equivalent to Lebesgue-Stieltjes integration along sample paths, and it is possible to construct the integral with respect to the continuous local martingale M for the full set of M-integrable integrands using the Ito isometry. Many introductions to stochastic calculus focus on integration with respect to continuous semimartingales, which is made much easier because of these results.

Theorem 2 Let be the decomposition of the continuous semimartingale X into a continuous local martingale M and continuous FV process A. Then, a predictable process is X-integrable if and only if

(3)

almost surely, for each time . In that case, is both M-integrable and A-integrable and,

(4)

gives the decomposition of into its local martingale and FV terms.

Continuous-time stochastic processes with stationary independent increments are known as Lévy processes. In the previous post, it was seen that processes with independent increments are described by three terms — the covariance structure of the Brownian motion component, a drift term, and a measure describing the rate at which jumps occur. Being a special case of independent increments processes, the situation with Lévy processes is similar. However, stationarity of the increments does simplify things a bit. We start with the definition.

Definition 1 (Lévy process) A d-dimensional Lévy processX is a stochastic process taking values in such that

independent increments: is independent of for any .

stationary increments: has the same distribution as for any .

continuity in probability: in probability as s tends to t.

More generally, it is possible to define the notion of a Lévy process with respect to a given filtered probability space . In that case, we also require that X is adapted to the filtration and that is independent of for all . In particular, if X is a Lévy process according to definition 1 then it is also a Lévy process with respect to its natural filtration . Note that slightly different definitions are sometimes used by different authors. It is often required that is zero and that X has cadlag sample paths. These are minor points and, as will be shown, any process satisfying the definition above will admit a cadlag modification.

For example, the symmetric Cauchy distribution on the real numbers with scale parameter has probability density function p and characteristic function given by,

(1)

From the characteristic function it can be seen that if X and Y are independent Cauchy random variables with scale parameters and respectively then is Cauchy with parameter . We can therefore consistently define a stochastic process such that has the symmetric Cauchy distribution with parameter independent of , for any . This is called a Cauchy process, which is a purely discontinuous Lévy process. See Figure 1.

Lévy processes are determined by the triple , where describes the covariance structure of the Brownian motion component, b is the drift component, and describes the rate at which jumps occur. The distribution of the process is given by the Lévy-Khintchine formula, equation (3) below.

Theorem 2 (Lévy-Khintchine) Let X be a d-dimensional Lévy process. Then, there is a unique function such that

(2)

for all and . Also, can be written as

(3)

where , b and are uniquely determined and satisfy the following,

is a positive semidefinite matrix.

.

is a Borel measure on with and,

(4)

Furthermore, uniquely determine all finite distributions of the process .

Conversely, if is any triple satisfying the three conditions above, then there exists a Lévy process satisfying (2,3).

In a previous post, it was seen that all continuous processes with independent increments are Gaussian. We move on now to look at a much more general class of independent increments processes which need not have continuous sample paths. Such processes can be completely described by their jump intensities, a Brownian term, and a deterministic drift component. However, this class of processes is large enough to capture the kinds of behaviour that occur for more general jump-diffusion processes. An important subclass is that of Lévy processes, which have independent and stationary increments. Lévy processes will be looked at in more detail in the following post, and includes as special cases, the Cauchy process, gamma processes, the variance gamma process, Poisson processes, compound Poisson processes and Brownian motion.

Recall that a process has the independent increments property if is independent of for all times . More generally, we say that X has the independent increments property with respect to an underlying filtered probability space if it is adapted and is independent of for all . In particular, every process with independent increments also satisfies the independent increments property with respect to its natural filtration. Throughout this post, I will assume the existence of such a filtered probability space, and the independent increments property will be understood to be with regard to this space.

The process X is said to be continuous in probability if in probability as s tends to t. As we now state, a d-dimensional independent increments process X is uniquely specified by a triple where is a measure describing the jumps of X, determines the covariance structure of the Brownian motion component of X, and b is an additional deterministic drift term.

Theorem 1 Let X be an -valued process with independent increments and continuous in probability. Then, there is a unique continuous function , such that and

(1)

for all and . Also, can be written as

(2)

where , and are uniquely determined and satisfy the following,

is a continuous function from to such that and is positive semidefinite for all .

is a continuous function from to , with .

is a Borel measure on with , for all and,

(3)

Furthermore, uniquely determine all finite distributions of the process .

Conversely, if is any triple satisfying the three conditions above, then there exists a process with independent increments satisfying (1,2).

A stochastic process X is said to have independent increments if is independent of for all . For example, standard Brownian motion is a continuous process with independent increments. Brownian motion also has stationary increments, meaning that the distribution of does not depend on t. In fact, as I will show in this post, up to a scaling factor and linear drift term, Brownian motion is the only such process. That is, any continuous real-valued process X with stationary independent increments can be written as

(1)

for a Brownian motion B and constants . This is not so surprising in light of the central limit theorem. The increment of a process across an interval [s,t] can be viewed as the sum of its increments over a large number of small time intervals partitioning [s,t]. If these terms are independent with relatively small variance, then the central limit theorem does suggest that their sum should be normally distributed. Together with the previous posts on Lévy’s characterization and stochastic time changes, this provides yet more justification for the ubiquitous position of Brownian motion in the theory of continuous-time processes. Consider, for example, stochastic differential equations such as the Langevin equation. The natural requirements for the stochastic driving term in such equations is that they be continuous with stationary independent increments and, therefore, can be written in terms of Brownian motion.

The definition of standard Brownian motion extends naturally to multidimensional processes and general covariance matrices. A standard d-dimensional Brownian motion is a continuous process with stationary independent increments such that has the distribution for all . That is, is joint normal with zero mean and covariance matrix tI. From this definition, has the distribution independently of for all . This definition can be further generalized. Given any and positive semidefinite , we can consider a d-dimensional process X with continuous paths and stationary independent increments such that has the distribution for all . Here, is the drift of the process and is the `instantaneous covariance matrix’. Such processes are sometimes referred to as -Brownian motions, and all continuous d-dimensional processes starting from zero and with stationary independent increments are of this form.

Theorem 1 Let X be a continuous -valued process with stationary independent increments.

Then, there exist unique and such that is a -Brownian motion.

The martingale representation theorem states that any martingale adapted with respect to a Brownian motion can be expressed as a stochastic integral with respect to the same Brownian motion.

Theorem 1 Let B be a standard Brownian motion defined on a probability space and be its natural filtration.

As stochastic integration preserves the local martingale property for continuous processes, this result characterizes the space of all local martingales starting from 0 defined with respect to the filtration generated by a Brownian motion as being precisely the set of stochastic integrals with respect to that Brownian motion. Equivalently, Brownian motion has the predictable representation property. This result is often used in mathematical finance as the statement that the Black-Scholes model is complete. That is, any contingent claim can be exactly replicated by trading in the underlying stock. This does involve some rather large and somewhat unrealistic assumptions on the behaviour of financial markets and ability to trade continuously without incurring additional costs. However, in this post, I will be concerned only with the mathematical statement and proof of the representation theorem.

In more generality, the martingale representation theorem can be stated for a d-dimensional Brownian motion as follows.

Theorem 2 Let be a d-dimensional Brownian motion defined on the filtered probability space , and suppose that is the natural filtration generated by B and .

Then, every -local martingale M can be expressed as

(1)

for predictable processes satisfying , almost surely, for each .