Stochastic calculus for symmetric Markov processes
Using time-reversal, we introduce a stochastic integral for zero-energy additive functionals of symmetric Markov processes, extending earlier work of S. Nakao. Various properties of such stochastic integrals are discussed and an Itô formula for Dirichlet processes is obtained.