Local time and Tanaka formulae for super Brownian and super stable processes

We develop Tanaka-like evolution equations describing the local time Lxt of certain measure valued super processes. For example, if Xt, t [greater-or-equal, slanted] 0, is a planar super Brownian motion and [lambda] > 0 then L = < G[lambda], X0> - <G[lambda], X> + [lambda] [integral operator]t0 <G[lambda], Xs>ds + [integral operator]t0<G[lambda], X[Delta] (ds)>, where X[Delta] is a martingale measure associated with X, and G[lambda] is the Green's function of a planar Brownian motion (B1t, B2t) standardised to have E[B(i)1]2 = 2. Properties such as the continuity of Lxt in t and x are immediate consequences of these results. En passant, we also establish that Brownian and stable super processes (in the appropriate dimensions) integrate p functions, and derive an Itô formula for these processes more general than others derived previously.