The expression obtained in part (a)(iii) gives a direct deterministic bound. For every fixed and ,Thus the bounded local martingale criterion makes a true martingale on every finite time interval. More explicitly, if is a localizing sequence, the identities pass to the limit by dominated convergence, using the displayed bound for . ThereforeThis establishes exactly the finite-horizon property needed for the subsequent change of measure.
The relation between and is the linear equation with . Multiplication by the deterministic integrating factor and the Itô product rule giveHenceThe second equality follows by semimartingale integration by parts. It expresses as an explicit function of the continuous path of , using only an ordinary time integral. This inversion holds before changing measure; is already a continuous semimartingale under the original measure.
Articles by others on the same topic
There are currently no matching articles.