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”→

A random variable has the standard n-dimensional normal distribution if its components are independent normal with zero mean and unit variance. A well known fact of such distributions is that they are invariant under rotations, which has the following consequence. The distribution of is invariant under rotations of and, hence, is fully determined by the values of and . This is known as the noncentral chi-square distribution with n degrees of freedom and noncentrality parameter , and denoted by . The moment generating function can be computed,

(1)

which holds for all with real part bounded above by 1/2.

A consequence of this is that the norm of an n-dimensional Brownian motionB is Markov. More precisely, letting be its natural filtration, then has the following property. For times , conditional on , is distributed as . This is known as the `n-dimensional’ squared Bessel process, and denoted by .

Alternatively, the process X can be described by a stochastic differential equation (SDE). Applying integration by parts,

(2)

As the standard Brownian motions have quadratic variation , the final term on the right-hand-side is equal to . Also, the covarations are zero for from which it can be seen that

is a continuous local martingale with . By Lévy’s characterization, W is a Brownian motion and, substituting this back into (2), the squared Bessel process X solves the SDE

(3)

The standard existence and uniqueness results for stochastic differential equations do not apply here, since is not Lipschitz continuous. It is known that (3) does in fact have a unique solution, by the Yamada-Watanabe uniqueness theorem for 1-dimensional SDEs. However, I do not need and will not make use of this fact here. Actually, uniqueness in law follows from the explicit computation of the moment generating function in Theorem 5 below.

Although it is nonsensical to talk of an n-dimensional Brownian motion for non-integer n, Bessel processes can be extended to any real . This can be done either by specifying its distributions in terms of chi-square distributions or by the SDE (3). In this post I take the first approach, and then show that they are equivalent. Such processes appear in many situations in the theory of stochastic processes, and not just as the norm of Brownian motion. It also provides one of the relatively few interesting examples of stochastic differential equations whose distributions can be explicitly computed.

The distribution generalizes to all real , and can be defined as the unique distribution on with moment generating function given by equation (1). If and are independent, then has moment generating function and, therefore, has the distribution. That such distributions do indeed exist can be seen by constructing them. The distribution is a special case of the Gamma distribution and has probability density proportional to . If is a sequence of independent random variables with the standard normal distribution and T independently has the Poisson distribution of rate , then , which can be seen by computing its moment generating function. Adding an independent random variable Y to this produces the variable .

The definition of squared Bessel processes of any real dimension is as follows. We work with respect to a filtered probability space .

Definition 1 A process X is a squared Bessel process of dimension if it is continuous, adapted and, for any , conditional on , has the distribution.

In the previous post, the concept of Feller processes was introduced. These are Markov processes whose transition function satisfies certain continuity conditions. Many of the standard processes we study satisfy the Feller property, such as standard Brownian motion, Poisson processes, Bessel processes and Lévy processes as well as solutions to many stochastic differential equations. It was shown that all Feller processes admit a cadlag modification. In this post I state and prove some of the other useful properties satisfied by such processes, including the strong Markov property, quasi-left-continuity and right-continuity of the filtration. I also describe the basic properties of the infinitesimal generators. The results in this post are all fairly standard and can be found, for example, in Revuz and Yor (Continuous Martingales and Brownian Motion).

As always, we work with respect to a filtered probability space . Throughout this post we consider Feller processes X and transition functions defined on the lccb (locally compact with a countable base) space E which, taken together with its Borel sigma-algebra, defines a measurable space .

Recall that the law of a homogeneous Markov processX is described by a transition function on some measurable space . This specifies that the distribution of conditional on the history up until an earlier time is given by the measure . Equivalently,

for any bounded and measurable function . The strong Markov property generalizes this idea to arbitrary stopping times.

Definition 1 Let X be an adapted process and be a transition function.

Then, X satisfies the strong Markov property if, for each stopping time , conditioned on the process is Markov with the given transition function and with respect to the filtration .

As we see in a moment, Feller processes satisfy the strong Markov property. First, as an example, consider a standard Brownian motion B, and let be the first time at which it hits a fixed level . The reflection principle states that the process defined to be equal to B up until time and reflected about K afterwards, is also a standard Brownian motion. More precisely,

is a Brownian motion. This useful idea can be used to determine the distribution of the maximum . If then either the process itself ends up above K or it hits K and then drops below this level by time t, in which case . So, by the reflection principle,

The definition of Markov processes, as given in the previous post, is much too general for many applications. However, many of the processes which we study also satisfy the much stronger Feller property. This includes Brownian motion, Poisson processes, Lévy processes and Bessel processes, all of which are considered in these notes. Once it is known that a process is Feller, many useful properties follow such as, the existence of cadlag modifications, the strong Markov property, quasi-left-continuity and right-continuity of the filtration. In this post I give the definition of Feller processes and prove the existence of cadlag modifications, leaving the further properties until the next post.

The definition of Feller processes involves putting continuity constraints on the transition function, for which it is necessary to restrict attention to processes lying in a topological space . It will be assumed that E is locally compact, Hausdorff, and has a countable base (lccb, for short). Such spaces always possess a countable collection of nonvanishing continuous functions which separate the points of E and which, by Lemma 6 below, helps us construct cadlag modifications. Lccb spaces include many of the topological spaces which we may want to consider, such as , topological manifolds and, indeed, any open or closed subset of another lccb space. Such spaces are always Polish spaces, although the converse does not hold (a Polish space need not be locally compact).

Given a topological space E, denotes the continuous real-valued functions vanishing at infinity. That is, is in if it is continuous and, for any , the set is compact. Equivalently, its extension to the one-point compactification of E given by is continuous. The set is a Banach space under the uniform norm,

We can now state the general definition of Feller transition functions and processes. A topological space is also regarded as a measurable space by equipping it with its Borel sigma algebra , so it makes sense to talk of transition probabilities and functions on E.

Definition 1 Let E be an lccb space. Then, a transition function is Feller if, for all ,

.

is continuous with respect to the norm topology on .

.

A Markov process X whose transition function is Feller is a Feller process.

In these notes, the approach taken to stochastic calculus revolves around stochastic integration and the theory of semimartingales. An alternative starting point would be to consider Markov processes. Although I do not take the second approach, all of the special processes considered in the current section are Markov, so it seems like a good idea to introduce the basic definitions and properties now. In fact, all of the special processes considered (Brownian motion, Poisson processes, Lévy processes, Bessel processes) satisfy the much stronger property of being Feller processes, which I will define in the next post.

Intuitively speaking, a process X is Markov if, given its whole past up until some time s, the future behaviour depends only its state at time s. To make this precise, let us suppose that X takes values in a measurable space and, to denote the past, let be the sigma-algebra generated by . The Markov property then says that, for any times and bounded measurable function , the expected value of conditional on is a function of . Equivalently,