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 withThe 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 yieldsThus is a squared Bessel process of dimension one.
Articles by others on the same topic
There are currently no matching articles.