Martingale product identity
= Martingale product identity
For continuous local martingales $M$ and $N$, the <Itô product rule> says that
$$
M_tN_t-M_0N_0-[M,N]_t
$$
is a <local martingale>. If the martingales are square-integrable and converge in $L^2$, then
$$
\mathbb E[M_\infty N_\infty]=\mathbb E[M_0N_0]+\mathbb E[M,N]_\infty.
$$