For every real , the quadratic variation of on is nonnegative:
Its discriminant is therefore nonpositive. This gives the pathwise Kunita-Watanabe inequality
Let be a Brownian motion, set , and define
This is a continuous local martingale with quadratic variation , hence is Brownian by the Lévy characterization of Brownian motion. Since ,
which gives a weak solution.
Suppose a strong solution existed. It has quadratic variation , so itself is Brownian. The supplied Tanaka formula gives , and is adapted to the completed filtration of . Hence and generate the same completed filtration. Strongness would make , and therefore , measurable with respect to the history of . But a Brownian excursion has an independent symmetric sign; in particular, conditionally on the reflected Brownian path, the sign at a fixed nonzero time is not measurable. This contradiction proves that no strong solution exists.
The solution is the geometric Brownian motion
Its infinitesimal generator is
For , one has . Optional stopping of and the boundary values therefore give

Articles by others on the same topic (0)

There are currently no matching articles.