For independently driven nonnegative squared Bessel processes , put . Where , use Brownian weights and . Where , fill the weights with . Their squared norm is always one and their cross-variation is zero, so their stochastic integral is Brownian motion by the Lévy characterization of Brownian motion. Multiplying by recovers the sum's martingale part even at zero, and the drifts add to .
Past exam of the mathematics course of the University of Cambridge 2006 iii Paper 35 3 a Solution Created 2026-10-03 Updated 2026-10-14
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.