Extended It\^{o} calculus for symmetric Markov processes

TL;DR

This paper extends the Itô formula for symmetric Markov processes to functions u locally in the Dirichlet space and functions F with locally bounded Radon-Nikodym derivatives, using Nakao's operator.

Contribution

It introduces an extended Itô formula for symmetric Markov processes involving local functions and Radon-Nikodym derivatives, utilizing Nakao's operator.

Findings

Extended Itô formula for locally in the Dirichlet space functions.

Uses Nakao's operator to define a process analogous to local time.

Applicable to functions with locally bounded Radon-Nikodym derivatives.

Abstract

Chen, Fitzsimmons, Kuwae and Zhang (Ann. Probab. 36 (2008) 931-970) have established an Ito formula consisting in the development of F(u(X)) for a symmetric Markov process X, a function u in the Dirichlet space of X and any $\mathcal{C}^2$-function F. We give here an extension of this formula for u locally in the Dirichlet space of X and F admitting a locally bounded Radon-Nikodym derivative. This formula has some analogies with various extended Ito formulas for semi-martingales using the local time stochastic calculus. But here the part of the local time is played by a process $(\Gamma^a_t,a\in \mathbb{R},t \geq 0)$ defined thanks to Nakao's operator (Z. Wahrsch. Verw. Gebiete 68 (1985) 557-578).