In this post, I give an example of a class of processes which can be expressed as integrals with respect to Brownian motion, but are not themselves martingales. As stochastic integration preserves the local martingale property, such processes are guaranteed to be at least local martingales. However, this is not enough to conclude that they are proper martingales. Whereas constructing examples of local martingales which are not martingales is a relatively straightforward exercise, such examples are often slightly contrived and the martingale property fails for obvious reasons (e.g., doubleloss betting strategies). The aim here is to show that the martingale property can fail for very simple stochastic differential equations which are likely to be met in practice, and it is not always obvious when this situation arises.
Consider the following stochastic differential equation

(1) 
for a nonnegative process X. Here, B is a Brownian motion and a,b,c,x are positive constants. This a common SDE appearing, for example, in the constant elasticity of variance model for option pricing. Now consider the following question: what is the expected value of X at time t?
The obvious answer seems to be that , based on the idea that X has growth rate b on average. A more detailed argument is to write out (1) in integral form

(2) 
The next step is to note that the first integral is with respect to Brownian motion, so has zero expectation. Therefore,
This can be differentiated to obtain the ordinary differential equation , which has the unique solution .
In fact this argument is false. For there is no problem, and as expected. However, for all the conclusion is wrong, and the strict inequality holds.
The point where the argument above falls apart is the statement that the first integral in (2) has zero expectation. This would indeed follow if it was known that it is a martingale, as is often assumed to be true for stochastic integrals with respect to Brownian motion. However, stochastic integration preserves the local martingale property and not, in general, the martingale property itself. If then we have exactly this situation, where only the local martingale property holds. The first integral in (2) is not a proper martingale, and has strictly negative expectation at all positive times. The reason that the martingale property fails here for is that the coefficient of dB grows too fast in X.
In this post, I will mainly be concerned with the special case of (1) with a=1 and zero drift.

(3) 
The general form (1) can be reduced to this special case, as I describe below. SDEs (1) and (3) do have unique solutions, as I will prove later. Then, as X is a nonnegative local martingale, if it ever hits zero then it must remain there (0 is an absorbing boundary).
The solution X to (3) has the following properties, which will be proven later in this post.
 If then X is a martingale and, for , it eventually hits zero with probability one.
 If then X is a strictly positive local martingale but not a martingale. In fact, the following inequality holds
(4)
(almost surely) for times . Furthermore, for any positive constant , is bounded over and tends to zero as .
Inequality (4) says that X is a supermartingale, which is true in general for nonnegative local martingales. If then, other than the failure of the martingale property, the process does appear to be rather well behaved. The fact that is bounded for some means that the set is uniformly integrable. Compare this with the result that local martingales of class (D) are proper martingales. A process is of class (D) if the set of is uniformly integrable over bounded stopping times . The example above, therefore, shows that it is necessary to include stopping times and not just look at the process at fixed times t. Also, the property that tends to zero in rules out the possibility that it could be a martingale. If it were, then martingale convergence would give .
Solutions to (3) can be constructed by transforming a Bessel process, which is the method I will use to prove the properties above. In particular, for c=2 it is possible to write the solution as for a 3dimensional Brownian motion B. This process was used by Rogers and Williams as an example of an bounded local martingale which is not a martingale (Diffusions, Markov Processes and Martingales. Chapter VI, Section 33), and was originally due to Johnson and Helms (Class D Supermartingales).
Before moving on, let us briefly describe how SDE (1) can be reduced to the special case (3). Making the substitution , integration by parts gives

(5) 
Then, the timedependent coefficient can be removed by a deterministic time change. Letting be the quadratic variation of the martingale , we can write for a timechanged Brownian motion .
Making the timechange gives for a process Z satisfying the SDE (3) with respect to the Brownian motion . In particular, if then inequality (4) applied to Z gives
for all positive times t.
The Martingale Property in Option Pricing
A common use of stochastic calculus is in mathematical finance and, particularly, in the pricing of financial derivatives. It is instructive to consider the failure of the martingale property for the SDE (3) from the perspective of option pricing, which I do now. I should mention that I am not giving any opinion on the actual application to finance. Rather, I am interested in the converse. Consideration of such models from the viewpoint of option pricing theory does lead to an alternative understanding of why the martingale property fails. This section and the proof given further below that X satisfies the properties mentioned are independent of each other, so may be read in either order.
Suppose that is the price at time t of a stock or other financial asset. This is modeled as a stochastic process and, if it is continuous, is assumed to satisfy an SDE of the form

(6) 
Here, B is a Brownian motion, b is a drift parameter and is a stochastic process called the instantaneous volatility of X. For example, the BlackScholes model uses a constant volatility in which case is a geometric Brownian motion. Alternatively, the constant elasticity of variance (CEV) model uses for constants . In this case, (6) reduces to the SDE (1) with .
Next, suppose that we have a contingent claim to be valued. This is a cashflow to be paid to the the holder of a derivative contract at some future time T, the size of which is contingent on the value of the underlying stock price . Contingent claims are represented by a random variable H. For example, for a call option of strike price K. A standard approach to pricing such claims is to use a riskneutral measure . This is a probability measure on the underlying probability space equivalent to the original measure . The value at time of the future claim H is given by the (discounted) expected value under this measure

(7) 
For simplicity of this discussion, I’ll assume that the interest rate r is zero, so that the discount factor can be ignored and the value of the claim is simply its conditional expected value under the risk neutral measure.
By the theory of Girsanov transformations, under an equivalent riskneutral measure, the Brownian motion B transforms into a Brownian motion plus a drift process. So, SDE (6) remains valid, except that the drift b is changed to a possibly stochastic term. In fact, the underlying stock price X will be a martingale, and equation (6) becomes

(8) 
for a (different) Brownian motion B under the riskneutral measure. To see why the stock price is a martingale, consider valuing the claim . For simplicity, I’m assuming here that interest rates are zero and that there are no costs involved or benefits (such as dividends) coming from holding the underlying stock. Starting from a time with amount in cash, we can exactly replicate the claim as follows. Simply buy one unit of stock at time t, hold on to it until time T, then sell it to generate a cash amount at time T. This means that the claim has value and, by (7), . For this reason, risk neutral measures are also known as equivalent martingale measures. From now on, we work exclusively with respect to a risk neutral measure, so it is assumed that the stock price obeys the SDE (8).
Let us consider the CEV model . This corresponds to the SDE (1) with zero drift and . So, if then X will be a martingale as expected. However, if then X will only be a local martingale, satisfying the strict inequality (4). This would cause problems for option pricing, introducing arbitrage. That is, if it was possible to purchase a derivative contract with time T payoff at the earlier time t for the price then, in an ideal market, it would be possible to make riskfree profits. This is achieved by shortselling one unit of stock, generating an amount in cash. This can be used to purchase the derivative contract and, at time T, the payoff of is used to close out the short position in the stock. The total payoff from this strategy is , which is always positive.
In practice, the situation just described with is not much of a problem. This is because equities markets tend to have a downwards sloping volatility skew implied by the traded option prices. So, the instantaneous volatility should increase as the stock price X decreases, which corresponds to . In the finance literature, most discussions of the CEV model only consider the martingale case with . However, Alan Lewis (Option Valuation Under Stochastic Volatility) does discuss the situation with , noting that the martingale property fails and requires special consideration in the option pricing formulas.
It is more interesting to see what happens if we attempted to apply the CEV model to FX markets. In this case there is a symmetry between, say, a US dollar based investor trading euros and a euro based investor trading dollars. This will make the nonmartingale situation with unavoidable (so, the CEV model is not a good model for currencies).
Let us start from the point of view of the dollar based investor, and use to denote the price in dollars of buying one euro. We suppose that he has decided to model X using the CEV model. This allows him to roughly approximate the volatility skew using a parameter , representing a downwards sloping volatility as a function of the spot price X. As FX markets also have a pronounced smile (convexity) in the volatilities, this is not necessarily a great choice of model, but it does suit our discussion here. Again, assuming zero interest rates and working under a risk neutral measure, he models X according to the SDE (8). A contingent claim H paying in dollars at time T is priced according to the conditional expectation .
Now, consider the point of view of a euro based investor. How should she value a contract paying an amount H in euros at time T? To be consistent with the dollar based investor, she can simply convert H into dollars at rate , value this with the measure used above, then convert back to euros.

(9) 
This defines the change of measure , so (9) is equivalent to . Effectively, the euro based investor is using this new measure as her risk neutral measure. Next, we can ask what the process of the dollar valued in euros looks like to this investor, using her risk neutral measure . Ito’s lemma gives the following SDE for Y
Under the measure , B no longer has the law of a Brownian motion. Instead, using the theory of Girsanov transformations, is a Brownian motion and the SDE for Y can be written as
So, the price of one dollar in euros satisfies a similar SDE under as X does under . The only difference is that expressing the volatility process in terms of Y gives . Just the sign of the exponent has changed. As it was assumed that is positive, the euro investor’s model for Y falls into the scenario where it is a local martingale but not a martingale. This is especially surprising, since we started from the perspective of a dollar based investor using a martingale model for the euro price and, hence, is perfectly consistent and arbitrage free. The euro investor was supposed to be using the exact same model, agreeing with the first investor’s valuation method, but simply from a different perspective. However, somehow, arbitrage has crept into her model!
To understand how this arbitrage came about, let us consider a derivative contract paying out one dollar at time T or, equivalently, euros. The dollar investor will price this at one dollar at any earlier time, and it can be perfectly hedged simply by buying a dollar at the earlier time and holding on to it. On the other hand, the euro investor values the contract at euros, which is less than one dollar. The source of this discrepancy can be seen by looking at equation (9). The value of the derivative should be one dollar or euros as long as is equal to one. The only way that this can fail is if hits zero, which is the cause of the problem. Whereas the model used by the dollar investor has a nonzero probability that hits zero, the risk neutral measure used by the euro investor assigns zero probability to this event. In fact, she can’t even represent the value of the contract in euros in the event of the euro dropping to zero.
From this argument we can observe that, using the change of numeraire described above, the contract which the euro investor is actually pricing is one which pays out one dollar contingent on the euro still having some value. The dollar investor would value this at dollars. The consistency between the two viewpoints is given by the expression
The left hand side of this expression is less than one when X can hit zero, and the right hand side will be less than one precisely when Y fails to be a martingale. We conclude that, for a process X solving the SDE (3) for a given exponent c, the possibility of hitting zero in the case is intrinsically linked to the the failure of the martingale property in the case .
Properties of the SDE
I now prove that the SDE (3) has the properties mentioned above. Uniqueness and existence follows from standard results. Considered as an SDE on the domain , it has locally Lipschitz coefficients and therefore has a unique solution up to an explosion time . Whenever is finite, the limit of as does not exist in U. However, X is an integral with respect to Brownian motion, so is a local martingale. By convergence for nonnegative local martingales, the limit exists almost surely, and is finite. As this limit is not in U, we have . We then set for , in which case it can be seen that X satisfies (3). Conversely, any nonnegative solution to (3) is a local martingale and, hence, if it hits zero it must remain there. So, the solution just constructed is unique.
Existence and uniqueness of solutions to the more general SDE (1) follows in a similar way. Making the substitution gives (5), which does not have a drift term. The process Y is therefore a local martingale and existence and uniqueness follows from the same argument as above.
We now prove that solutions to (3) for are proper martingales. It is sufficient to show that its maximum process is square integrable, as it would follow that it is a local martingale of class (DL), which is equivalent to the martingale property. Letting be the first time at which X hits a value then is bounded and, in particular, is square integrable. Applying the quadratic version of the BurkholderDavisGundy inequality gives
As we are assuming that , the inequality holds, giving
Applying Gronwall’s inequality to this gives the bound and, letting K increase to infinity, monotone convergence shows that satisfies the same bound. So, is squareintegrable as required. Note that this argument works whenever the coefficients of the stochastic differential equation grow no faster than linearly in X.
To describe the further properties of X, we transform it into a squared Bessel process. Recall that applying the scale function to a Bessel process leads to a solution to (3). Let Z be a nonnegative solution to

(10) 
for a Brownian motion W and, if Z hits zero then we assume that it sticks there. For real , this is a squared Bessel process of dimension n stopped when it hits zero. Assuming that , define the constants

(11) 
and make the substitution . An application of Ito’s lemma shows that X does indeed solve (3) with (if ) or (if ). Conversely, if X is a solution to (3) then solves (10). Note that, in (11), and correspond to and respectively.
Let us apply this transformation, starting with the case or, equivalently, . If then Z is a process stopped when it hits zero. Such Bessel processes always hit zero with probability one. For negative n, the process Z is not, strictly speaking, a Bessel process. It should still be clear that in this case, it has negative drift and must hit zero. In fact, both Z and are nonnegative local martingales, so must converge to a finite limit. Therefore, is almostsurely finite, and Z hits zero in a finite time. In any case, this shows that Z and, hence, almost surely hit zero.
For the remainder of this post, we consider the case with . Then, , , Z is a process and, therefore, can never hit zero. We look at the expected values of for a fixed positive p. Writing these in terms of Z,
for . We start by finding a simple upper bound. By properties of sums of independent Bessel processes, we can write where U and V are independent squared Bessel processes of dimension n and 0 respectively, and with . Then, is a distributed random variable, with probability density function
where is the gamma function. Then,

(12) 
The integral above is only finite if or, equivalently, , which we assume is the case. Then, as claimed, vanishes as time goes to infinity.
Before moving on, it is interesting to to note that the bound (12) does not depend at all on the initial value of Z. Also, as previously noted, the fact that X vanishes at infinity in the norm means that cannot be a martingale. It is possible to use this together with the (homogeneous) Markov property to show that the strict inequality (4) holds. However, we can also calculate a precise expression for , from which (4) will follow, which we now do.
Letting be the initial value of Z, then has the distribution. This can be constructed as follows: Let N be Poisson with parameter and then, conditional on N, suppose that . This gives the correct distribution so, conditioning on N, the moments can be calculated in the same way as above
Taking the expected value of this, and substituting in ,
To decide whether this is increasing or decreasing in time, try differentiating with respect to v,
The terms in the summation can be reordered,
Applying the identities and and rearranging gives,

(13) 
If or, equivalently, , then (13) is positive and is a strictly increasing function of v. So, is a strictly decreasing function of time, and is bounded. If, on the other hand, , the last term in (13) is negative. Integrating gives the inequality
Substituting X back in gives the following bound
So, X is bounded as promised. Finally, fix a time s and apply the above argument to the timeshifted process to get,
(almost surely) for all . Putting p=1 and r=n/21 into this gives .
A couple of comments:
1) In finance, it is not uncommon to exclude doubling strategies by imposing an L^2 property (for convenience — a more natural modeling choice is to impose a lower bound on intermediate market value), which is effectively the restriction of the integral to the basic squareintegrable case where the isometry holds. For this reason, practitioners may choose to define the integral only on L^2. So in order to discuss whether an integral wrt. Brownian motion fails to be a martingale, one should be cautious to specify the domain of the Ito integral.
2) How often have one seen CEV models just stated without any thought on whether (i) they may hit 0, or (ii) if 0 is reflecting or absorbing? So old news it is frequently forgotten.
A few references for the interested reader:
D. C. Emanuel and J. D. MacBeth in J. of Financial and Quantitative Analysis (1982) on the failure of the martingale property in the CEV context
R. Dudley in A.A.P. (open access), outside the diff.eq. setting, but hey, a striking pageandahalf paper.
Y. Kabanov points out that the situation is different in discrete time: http://ideas.repec.org/a/spr/finsto/v12y2008i3p293297.html (nonopen).
Comment by Nils Framstad — 16 August 10 @ 7:12 PM 
Thanks for those comments and references.
The following use of the strict local martingale property to option pricing also looks interesting: Local martingales, bubbles and option prices, by Alexander M. G. Cox and David G. Hobson (Finance and Stochastics, 2005). They give several examples of strict local martingales, including the CEV case, point out that this does not introduce arbitrage as long as you restrict to admissible strategies (which necessarily cannot include short selling a fixed quantity over a fixed time period), and describe several ways in which option pricing deviates from the martingale case.
Comment by George Lowther — 16 August 10 @ 11:50 PM 
Following equation (11), you claimed $X = (a Z)^b$ solves (3) with $B = W$ for $n>2$. But, my calculation leads to such $X$ solves (3) with $B = W$ even for $n>2$. For instance, when $n = 3$, we have $d X = Z^{1} d W = X^2 dW$. Am I missing some trivial facts? Thanks.
Comment by kenneth — 6 June 13 @ 3:50 PM 
@George, Sorry it’s my calculation mistake. I forgot that the sign of a is always positive.
Comment by kenneth — 6 June 13 @ 4:09 PM 
It’s an awesome piece of writing for all the web users; they will get benefit from it I am sure.
Comment by exercise — 20 August 14 @ 2:11 AM 
[…] This blog post discusses these points, but I am looking for something more high level and (if possible) intuitive. […]
Pingback by Strictly local martingales: what is the intuition behind them?  DLUAT — 7 January 15 @ 7:06 PM 