Brownian compensator martingale (source code)

= Brownian compensator martingale
{c}

For a twice differentiable integrable test function $f$ and Brownian motion $W$,
$$
f(W_t)-\frac12\int_0^tf''(W_s)\,ds
$$
is a martingale. This is the one-dimensional generator form of Dynkin's formula.