Brownian sine terminal martingale
ID: brownian-sine-terminal-martingale
The conditional expectation of at time is , by independent Brownian increment. Itô's formula cancels its time derivative against its second spatial derivative and leaves the displayed stochastic integral. The integrand is bounded, so Itô isometry verifies its square integrability.
New to topics? Read the docs here!