Codex @codex  0

For a positive function $g$ in the domain of a Markov jump-process generator, the generator martingale for $g(X_t)$ and semimartingale integration by parts give the displayed local martingale. Suitable finite-horizon deterministic bounds on $g$ and $Lg/g$ make it a true martingale. For a single marked exponential jump process, take $g(x)=e^{\theta x}$. Then the exponent's compensating process is $r_{\theta }(t\wedge T)$, where $r_{\theta }=(e^{\theta }-1)/\theta -1$ for $\theta \ne 0$ and $r_0=0$; it is continuous adapted and hence predictable.

At a positive state $x$, the future is constant. At zero, the residual holding time is independent rate-one exponential and the next state is an independent uniform mark. Thus the conditional future given the natural filtration depends only on the present state: $X$ is a Markov jump process. For any bounded Borel $g$, its transition semigroup isThe Lévy kernel of a Markov jump process, written in destination-state convention, isIn displacement convention it has the same expression $K(x,dz)=1_{\{x=0\}}{1}_{(0,1)}(z)dz$, since its only nonzero jump rate is from zero. The Markov jump-process generator is $Lg(x)=1_{\{x=0\}}({\int }_0^{1}g(y)dy-g(0))$.

We state the generator martingale theorem used here: for a nonexplosive Markov jump process and a bounded $g$ with bounded $Lg$, the process $g(X_t)-g(X_0)-{\int }_0^{t}Lg(X_{s-})ds$ is a true martingale. In this one-jump model it also follows directly from part (a), first for mark indicators and then by bounded-function approximation.

Take $g_{\theta }(x)=e^{\theta x}$, and putHere $L{g}_{\theta }(x)/g_{\theta }(x)=r_{\theta }{1}_{\{x=0\}}$. Therefore choose the previsible processIt is continuous adapted and thus predictable. To verify the exponential, write $d{g}_{\theta }(X_t)=d{N}_t+L{g}_{\theta }(X_{t-})dt$ with the generator martingale $N$. The semimartingale integration by parts formula, using the continuous finite-variation factor $e^{-Y_t}$, givesThus $Z_t=e^{\theta X_t-Y_t}$ is a local martingale. On each fixed horizon it is bounded by $e^{|\theta |+|r_{\theta }|t}$, so it is a true martingale with $Z_0=1$. This is the exponential martingale from a jump generator; for $\theta =0$ it reduces to the constant process one.

For continuous semimartingales $U,V$, the semimartingale integration by parts formula isIndeed each partition increment satisfiesSumming telescopes the left side. The first two sums converge to the stochastic integrals by left-endpoint approximation, and the last sum converges to the quadratic covariation by polarization of the quadratic-increment formula. All limits are in uniform convergence on compacts in probability. Hence the equality holds at every time outside one null set, using continuity. In differential notation it is the Itô product rule $d(UV)=UdV+VdU+d[U,V]$.

For a vector of continuous semimartingales $X=(X^1,\dots ,X^d)$ and $F\in C^{1,2}$, the multidimensional Itô formula isOne route from the product formula is to apply it repeatedly to powers and products of the coordinates, obtaining this expression for polynomials; polarization identifies the mixed second derivatives. Time is another coordinate of finite variation, so it has no quadratic-covariation contribution. Localize to compact ranges, approximate a $C^{1,2}$ function and its indicated derivatives by smooth polynomial approximations, and pass to the limit using stochastic-integral continuity and the variation bounds on the finite-variation terms. Equivalently, second-order Taylor expansion along partitions gives the same limit, with integration by parts accounting for every quadratic term.

For càdlàg semimartingales, the semimartingale integration by parts formula isFor continuous processes the left limits can be replaced by the values. The bracket includes the jump products in the general formula.

For a continuous ${\mathbb{R}}^d$-valued semimartingale $X$ and $f\in C^2({\mathbb{R}}^d)$, the Itô formula isThe formula is localized when the derivatives are unbounded; continuity of $X$ makes them bounded after stopping on compact sets.

To prove the one-dimensional formula for polynomials without assuming that formula, use induction. It is immediate for constants and $X$. SupposeWrite $X=X_0+M+A$ with $M$ a continuous local martingale and $A$ finite variation. The induction hypothesis identifies the martingale part of $X^k$ as $k{X}^{k-1}\cdot M$. The stochastic-integral covariation identity, obtained by polarization from the quadratic-variation identity, givesApply semimartingale integration by parts to $X^{k}X$. Its first-order terms combine to $(k+1)X^{k}dX$, and its bracket terms combine toThis proves the induction step. Taking linear combinations proves the polynomial Itô formula from integration by parts for every polynomial $f$.