Apply Itô formula to . Its semimartingale decomposition isThe second term is a continuous finite-variation process. Since is assumed to be a local martingale, uniqueness of the semimartingale decomposition makes this term identically zero. Both and are nonzero, so the quadratic variation of is .
The Lévy characterization of Brownian motion now says that is a Brownian motion. Consequentlyis a constant multiple of an exponential Brownian martingale. It is therefore a true martingale for every .
Articles by others on the same topic
There are currently no matching articles.