Tanaka formula for strictly stable processes

Abstract

For symmetric Levy processes, if the local times exist, the Tanaka formula has already been constructed via the techniques in the potential theory by Salminen and Yor 2007. In this paper, we study the Tanaka formula for arbitrary strictly stable processes with index α ∈ 1, 2, including spectrally positive and negative cases in a framework of Ito’s stochastic calculus. Our approach to the existence of local times for such processes is different from that of Bertoin 1996.