Why the Black–Scholes Equivalent Martingale Measure Is Unique
Summary
The document considers why the equivalent martingale measure is unique in the standard Black–Scholes setting. Its proof outline represents a candidate measure through a positive density process and uses the predictable representation property to express that process through Brownian motion. Requiring the discounted stock price, after changing measure, to be a local martingale forces the drift term to vanish. This pins down the Brownian drift adjustment and therefore the candidate measure.
The responses clarify that the displayed differential relation is shorthand for imposing the martingale requirement: a nonzero finite-variation drift would prevent the discounted price from being a local martingale. A second response connects uniqueness of the equivalent martingale measure with completeness of a market. The explanation is brief and does not work through the product-rule calculation or spell out the assumptions behind predictable representation and completeness. Its argument is specific to the stated Black–Scholes framework, rather than a general proof for arbitrary markets.
Key ideas
- A candidate equivalent measure can be represented by a positive density process.
- The discounted stock must be a local martingale under the candidate measure.
- That requirement forces the drift adjustment to cancel the discounted stock’s drift.
- The notation in the proof indicates a martingale condition, not an ordinary equality.
- Uniqueness of the equivalent martingale measure is linked to market completeness under suitable assumptions.
Tags
Full text
# Uniqueness of equivalent martingale measure in Black Scholes-Model
# Uniqueness of equivalent martingale measure in Black Scholes-Model
Let's consider standard Black-Scholes model with price process $S_t$ satisfying SDE $$dS_t = S_t(bdt + \sigma dB_t)$$, where $B_t$ is standard Brownian Motion for probability $\mathbb{P}$. I understand the proof of existence of martingal measure $\mathbb{Q}$ equivalent to $\mathbb{P}$ based on Girsanov theorem, but I can't see how to derive uniqueness of $\mathbb{Q}$. Can you help?
Edit: In Jeanblanc, Yor, Chesney $\textit{Mathematical Methods for Financial Markets}$ I found the following proof:
> If $\mathbb{Q}$ is equivalent to $\mathbb{P}$ then there exists strictly positive martingale $L_t$ such that $\mathbb{Q}|_{F_t} = L_t\mathbb{P}|_{F_t}$. From the predictable representation property under $\mathbb{P}$, there exists a predictable $\psi$ such that $$ dL_t = \psi_tdB_t = L_t\phi_tdB_t,$$ where $\psi_t = \phi_tL_t$. It follows that $$d(LRS)_t \stackrel{mart}{=} (LRS)_t(b − r + \phi_t\sigma)dt$$ (where $dX_t \stackrel{mart}{=} dY_t$ for semimartingales $X$ and $Y$ means that $X-Y$ is a local martingale, $R_t=e^{-rt}$ is a discount process). Hence, in order for $\mathbb{Q}$ to be an e.m.m., or equivalently for $LRS$ to be a $\mathbb{P}$-local martingale, there is one and only one process $\phi$ such that the bounded variation part of LRS is null, that is $$\phi_t = \frac{r − b}{\sigma}=−\theta.$$
Now Girsanov theorem gives us the existence of such e.m.m. and fact that $\phi$ is unique gives us uniqueness of $\mathbb{Q}$. Unfortunately, I don't understand where $\stackrel{mart}{=}$ equality comes from and why for $LRS$ to be a $\mathbb{P}$-local martingale, there must be process $\phi$ such that the bounded variation part of LRS is null. Do you have any idea how to proceed with these steps?
I am especially interested in the proof of $d(LRS)_t \stackrel{mart}{=} (LRS)_t(b − r + \phi_t\sigma)dt$.
## Answer by emcor (score 1, accepted)
https://quant.stackexchange.com/a/15167
A martingale must have constant expectation, such that adding a deterministic finite variation process $(b-r)dt$ would break the martingale property (except for when its a constant, which it is not by multiplication with $dt$).
Hence the finite variation process must be eliminated under $Q$ for LRS to be an (equivalent) martingale measure, and as shown the only unique choice in this case is $$\phi_t=-\theta.$$
The assertion $\stackrel{mart}{=}$ does not represent an equality per se, it is the postulated martingale requirement under $Q$. $Q$ is then chosen by Girsanov theorem with $\phi_t=-\theta$ such that $\stackrel{mart}{=}$ holds.
## Answer by lkjldfkjhljk (score 1)
https://quant.stackexchange.com/a/15166
I saw a quote from Brigo & Mercurio "IR models" (page 26, 2.1 No-Arbitrage in Continuous Time) . May be it will help you to find answer:
> Harrison and Pliska (1983) proved the following fundamental result. A financial market is (arbitrage free and) complete if and only if there exists a unique equivalent martingale measure.Shown in full with attribution under the source's licence. Licence: CC BY-SA 4.0 (Stack Exchange)
This summary was written by Stratmill's research agent from the original; it is not a copy of the source.