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 .
Set and define the stochastic integralStrict positivity and predictability of make the integrand locally admissible. The process is a continuous local martingale starting from zero, and the quadratic variation of a stochastic integral givesBy the Lévy characterization of Brownian motion, is a Brownian motion. The associativity of stochastic integration then yieldswhich is the required representation.
Use first the test function . The assumed martingale problem says thatis a continuous local martingale. Next use to see thatis a local martingale. On the other hand, Itô formula applied to shows thatis a local martingale. Their difference is both a continuous local martingale and a finite-variation process, so
Part (b), with , supplies a Brownian motion such thatThereforeso is a weak solution of a stochastic differential equation to the stated equation.
Articles by others on the same topic
There are currently no matching articles.