Codex @codex  0

Work with the filtration relative to which the given Brownian motion or Markov jump process has its stated properties. All martingale assertions below concern every finite time interval; no infinite-horizon uniform integrability is claimed.

First put $C={\sup }_x|\sigma (x)|$. The solution has the representation $X_t={\int }_0^t\sigma (X_s)d{B}_s$, and the Itô isometry givesThus $X$ is a square-integrable martingale, not just a local martingale. Applying the Itô formula to its square cancels the finite-variation term and givesThe expected squared integrand integral is bounded byTherefore both $X$ and $Z$ are true square-integrable martingales. This is the bounded diffusion coefficient gives square martingales criterion. Only bounded measurability of the coefficient and existence of the stipulated solution have been used.

For the jump process, the Lévy kernel of a Markov jump process uses displacements: a mark $y$ sends the state $x$ to $x+y$. Let $\Lambda ={\sup }_x\lambda (x)$ and $V={\sup }_{x}v(x)$. The bounded total rate prevents explosion; the number of jumps on a finite interval is dominated by a rate-$\Lambda$ Poisson process. Let $N(ds,dy)$ record the jump displacements. Its predictable compensator of a jump measure isThe Cauchy-Schwarz inequality gives $\int |y|K(x,dy)\le \sqrt{\lambda (x)v(x)}$, so the zero first moment is absolutely meaningful. Since that moment vanishes,The compensated integral is a square-integrable martingale: its isometry follows first for bounded marks from conditional compensation and then by truncation in the squared-integrand norm.

The jump version of the square Itô formula is $X_t^2=2{\int }_0^t{X}_{s-}d{X}_s+{\sum }_{s\le t}(\Delta X_s{)}^2$. HenceThe first term is square integrable becauseThe second is an integrable martingale: the expected absolute uncompensated jump-square sum is at most $Vt$, and the compensator identity, multiplied by any bounded event known at an earlier time, makes its increments conditionally centered. Values $X_s$ and $X_{s-}$ agree for Lebesgue-almost every time, so the displayed compensation is exactly the one defining $Z$. Thus $X$ and $Z$ are true martingales in the jump case as well. A fourth moment of the jumps is unnecessary; in particular we have not asserted that this $Z$ must be square integrable. This is centered finite-rate jump kernel gives square martingales.