Proving an Exponential Stock-Power Process Is a Risk-Neutral Martingale
Summary
The document studies a process formed by raising a geometric Brownian stock price, relative to its initial value, to an arbitrary power and applying a time-dependent exponential adjustment. It uses Itô's lemma to identify the drift term and shows that it vanishes when the stock follows geometric Brownian motion under the risk-neutral measure, with drift equal to the risk-free rate and volatility equal to the specified parameter.
A second argument rewrites the adjusted process as an exponential involving Brownian motion and uses independent increments and the Gaussian exponential moment to verify the conditional expectation property. The notes establish the martingale result under the stated model assumptions, while the differential calculation directly establishes a local martingale; care about integrability is needed to conclude a true martingale. The brief alternative suggestion based on a constant unconditional expectation alone does not establish the full conditional martingale property.
Key ideas
- Under the risk-neutral measure, the geometric Brownian stock model uses the risk-free rate as its drift.
- Applying Itô's lemma shows how the power and time adjustment cancel the process drift.
- The Brownian exponential representation allows a conditional expectation proof using independent increments.
- A zero drift establishes a local martingale, while a true martingale conclusion also requires suitable integrability.
Tags
Full text
# Proving a process is martingale under the Risk Neutral Measure
# Proving a process is martingale under the Risk Neutral Measure
Show that for any $\lambda \in \Re$, the process $Y_{\lambda,t}$ defined as:
$$Y_{\lambda,t} = (S_t/S_0)^\lambda e^{-(r\lambda-\lambda(1-\lambda)\sigma^2/2)t}$$
is a martingale under the risk neutral measure $Q$.
I was thinking that I could apply Ito's Lemma, in which to show that the $\text{d}t$ term will be zero. However, after doing the partial derivatives, the terms do not cancel each other out.
Would really appreciate all the help I can get!
## Answer by Daneel Olivaw (score 2)
https://quant.stackexchange.com/a/49577
We define the process $Y_t=Y(t,S_t)$ as follows: $$Y_t=\left(\frac{S_t}{S_0}\right)^\lambda \exp\left\{-\left(r\lambda-\lambda(1-\lambda)\frac{\sigma^2}{2}\right)t\right\}$$
Method 1
Let: $$\alpha=\lambda\left(r-(1-\lambda)\frac{\sigma^2}{2}\right)$$ Then by Itô's Lemma: $$\text{d}Y_t=-\alpha Y_t\text{d}t+\frac{\lambda}{S_t}Y_t\text{d}S_t+\frac{1}{2}\frac{\lambda(\lambda-1)}{S_t^2}Y_t\text{d}\langle S_t,S_t\rangle$$ Assuming $S_t$ follows a Geometric Brownian Motion with drift $\mu$ and diffusion $\beta$: $$\text{d}S_t=\mu S_t\text{d}t+\beta S_t\text{d}W_t$$ Then: $$\text{d}Y_t=\left(\lambda\mu+\lambda(\lambda-1)\frac{\beta^2}{2}-\alpha\right)Y_t\text{d}t+\lambda\beta Y_t\text{d}W_t$$ Hence for $Y_t$ to be a (local) martingale we need: $$\lambda\mu+\lambda(\lambda-1)\frac{\beta^2}{2}=r\lambda+\lambda(\lambda-1)\frac{\sigma^2}{2}$$ This is true if: $$\begin{align} \text{C.1}\quad\mu&=r\\ \text{C.2}\quad\beta&=\sigma \end{align}$$
Method 2
Note also that, if the above conditions $\text{C.1}$ and $\text{C.2}$ hold: $$\begin{align} Y_t&=\left(\frac{S_t}{S_0}\right)^\lambda \exp\left\{-\left(r\lambda-\lambda(1-\lambda)\frac{\sigma^2}{2}\right)t\right\} \\ &=\exp\left\{\left(r\lambda-\lambda\frac{\sigma^2}{2}\right)t+\lambda\sigma W_t\right\}\exp\left\{-\left(r\lambda-\lambda(1-\lambda)\frac{\sigma^2}{2}\right)t\right\} \\ &=\exp\left\{-\lambda^2\frac{\sigma^2}{2}t+\lambda\sigma W_t\right\} \end{align}$$ Let $0<s<t$. Then: $$\begin{align} \mathbb E^Q\left[Y(t,S_t)|\mathcal{F}_s\right]&= \exp\left\{-\lambda^2\frac{\sigma^2}{2}s+\lambda\sigma W_s\right\}\mathbb E^Q\left[\exp\left\{-\lambda^2\frac{\sigma^2}{2}(t-s)+\lambda\sigma (W_t-W_s)\right\}|\mathcal F_s\right] \\ &= \exp\left\{-\lambda^2\frac{\sigma^2}{2}s+\lambda\sigma W_s\right\}\mathbb E^Q\left[\exp\left\{-\lambda^2\frac{\sigma^2}{2}(t-s)+\lambda\sigma (W_t-W_s)\right\}\right] \\ &= \exp\left\{-\lambda^2\frac{\sigma^2}{2}s+\lambda\sigma W_s\right\} \\[7pt] &= Y_s \end{align}$$
## Answer by user34971 (score 1)
https://quant.stackexchange.com/a/49609
$E_0[Y_{\lambda,t}] = 1\,\, \forall t$, hence $Y_t$ is a martingale.
Hint: Look at the arithmetic moments section of this wiki page on lognormal distributionShown 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.