Tanaka's formula

For a continuous semimartingale $X$,where $L^0(X)$ is the local time of a semimartingale at zero.

Choose $f_n(0)=0$ and $f_n^{\prime }(x)=\varphi (nx)$, where $\varphi$ is continuously differentiable, nondecreasing, equal to $-1$ on $(-\infty ,0]$ and $1$ on $[1,\infty )$. Then $f_n^{\prime \prime }\ge 0$ and $0\le |x|-f_n(x)\le 2/n$. For $X=M+A$ with continuous adapted finite-variation $A$, the Itô isometry and Doob L2 maximal inequality give local uniform convergence in probability of the martingale integrals. Dominated convergence against the total-variation measure gives pathwise uniform convergence of the drift integrals. The nondecreasing corrections $\frac{1}{2}\int f_n^{\prime \prime }(X)d[M]$ therefore converge locally uniformly in probability to $|X|-\int {\mathrm{sgn}}_{-}(X)dX$. A subsequence on one probability-one event shows that the limit is continuous and nondecreasing. Localization removes the deterministic bounds used in the argument.

For integer paths with increments in $\{-1,0,1\}$, the positive part obeys a telescoping identity with slope $f(x)=1_{\{x>0\}}+\frac{1}{2}{1}_{\{x=0\}}$ and a correction $\frac{1}{2}{1}_{\{S_{t-1}=K\}}(\Delta S_t{)}^2$ at the kink. For a martingale, the slope term is a martingale transform.