In this post I will construct a continuous and non-constant martingale *M* which only varies on the path of a deterministic function . That is, at all times outside of the set of nontrivial intervals on which *M* is constant. Expressed in terms of the stochastic integral, on the set and,

(1) |

In the example given here, *f* will be right-continuous. Examples with continuous *f* do exist, although the constructions I know of are considerably more complicated. At first sight, these properties appear to contradict what we know about continuous martingales. They vary unpredictably, behaving completely unlike any deterministic function. It is certainly the case that we cannot have across any interval on which *M* is not constant.

By a stochastic time-change, any Brownian motion *B* can be transformed to have the same distribution as *M*. This means that there exists an increasing and right-continuous process *A* adapted to the same filtration as *B* and such that where *M* is a martingale as above. From this, we can infer that

expressing Brownian motion as a function of an increasing process.

Using standard properties of quadratic variations, equation (1) can alternatively be expressed in terms of the quadratic variation,

(2) |

The motivation for the example given here is that it defies all methods which I have tried to prove the hypotheses of the previous post. That is, if is such that is convex in *x* and increasing in *t*, then is a semimartingale? In the case where *g* is twice continuously differentiable, then Ito’s Lemma can be used to write

This expresses as a sum of a local martingale and the, respectively increasing and decreasing, processes and . One approach for non-differentiable functions is to approximate by smooth functions and try to show that the terms and remain bounded in the limit. Hence, would converge to an FV process, and would be a semimartingale. We can compute the expectation in terms of the function

which encodes the one-dimensional marginals of *M*. Then,

(3) |

Although there is no guarantee that the time derivative exists in a pointwise sense, it can be understood in the sense of distributions. Then, as *C* is increasing in time, the theory of Lebesgue-Stieltjes integration implies that the integral is well-defined as a finite measure, so the right hand side of (3) is a well-defined integral if *g* is twice differentiable, and is finite if has finite support. Similarly, by convexity in *x*, the derivative is increasing and the integral is a well defined measure. So, changing the order of integration, if *C* is differentiable the right hand side of (3) can be written as , which is well defined. In general, however, (3) is not well defined. It may be hoped that is absolutely continuous with respect to *x*, so that the integral of can be defined. However, as the example constructed in this post shows, for each *t* the measure is singular with respect to *x*, with a single atom at . From (2),

This rules out any interpretation of (3), as far as I know, for non-differentiable *g*.

#### Construction of the Example

We now describe the construction of the martingale. I will just consider a martingale with time index *t* in the interval , which can be extended to a martingale with time index set by a time change, if desired. Also, the example constructed will have . That is, the space-time process will lie in the rectangular region

We also choose *M* with and with so that and are both . The idea of the construction is to use self similarity. In each of the following rectangular subregions of , will, suitably scaled, have the same distribution as the full process.

Outside of these regions, *M* will be constant. This is as in Figure 2.

For we define times and bijective maps by,

The distribution of *M* is defined on the range as follows; conditional on , the process has the same distribution as , otherwise is constant.

The martingale can be constructed iteratively, starting with a process satisfying and . For each we do the following,

- Construct three independent processes each with the same distribution as , on some probability space.
- For set .
- For if set otherwise .
- For if set otherwise .
- For if set otherwise .

The distribution of for *t* in the set is given by , which is independent of *m* over . Several paths computed with this procedure are shown in Figure 1. This uniquely defines the martingale over the index set of dyadic rationals . By standard martingale convergence results, it is possible to choose a version of *M* which has left and right limits everywhere over .

Continuity of the sample paths remains to be shown. To do this, fix a positive real and compute the -variation as

Looking at the limit for any sample path as *n* goes to infinity,

If it can be shown that tends to zero in probability then continuity of *M* will follow. From the definition, , and using the self-similarity,

This is solved by

which tends to zero for any . Hence, *M* is a continuous martingale.

It only remains to construct a function such that except on a countable set of intervals where *M* is constant. To do this, start by defining the sets and interatively define

The set consists of the union of the four regions in Figure 2. By construction, on each of the intervals , *M* is either constant or has the same distribution as *M* on the interval scaled by the map . By induction then, for each *n*, there is a finite union of intervals on which *M* is constant and, elsewhere, lies inside . This is shown in Figure 1, where the shaded region represents . Setting

there is a countable collection of intervals on which *M* is constant and, lies inside elsewhere. So, we only need to show that is the graph of a right-continuous function.

For any , it needs to be shown that there is a unique *x* with . Then, we can take . To prove this, write out the base 4 representation of *t*,

The digits are integers from 0 to 3, and are uniquely defined so long as we restrict to expansions which do not end with a trailing infinite sequence of 3’s. From the definition of it can be seen that the set of *x* with is

This is a closed interval of length where is the number of with . As the base 4 representation does not end with a trailing sequence of 3’s, tends to infinity. So, taking the limit as *n* goes to infinity, the set of *x* with is a closed interval of zero length and hence is a single point, as required.

Finally, the fact that *f* is right-continuous follows from the simple fact that are left-closed sets in the sense that, for any convergent sequence with decreasing, the limit lies in .