Let be the quadratic variation. We use bilinear quadratic covariation for the complex martingale: . The Itô formula gives
By the Itô product rule, the finite-variation part of is
Part (a) says the product is a martingale, so uniqueness of the continuous semimartingale decomposition makes this finite-variation part zero. For , division gives
For , and both sides are zero, so the identity holds without exception.

Articles by others on the same topic (0)

There are currently no matching articles.