Because is continuous and adapted, the Borel function is predictable. Its value at zero is , so its square is exactly one everywhere. Consequently is a zero-starting continuous local martingale with
The Lévy characterization of Brownian motion therefore makes a Brownian motion in the same filtration. Here that characterization is the deterministic-clock case of the conditional-exponential argument in question 2.
Apply the Itô formula to :
Since and , including at zero, substitution yields
Thus is a squared Bessel process of dimension one.

Articles by others on the same topic (0)

There are currently no matching articles.