Local times of continuous N-parameter strong martingales

Let M be a 4N-integrable, real-valued continuous N-parameter strong martingale. By extending Itô-type formulas for M to a function whose 2Nth derivative is Dirac's [delta]-distribution, Tanaka-type formulas for M are obtained. They represent local time of M with respect to occupation time scaled by the N-fold product of the Stieltjes measure defined by the quadratic variation of M and its kth derivatives in space, where k <= N - 1. Applications of Doob's and Burkholder's inequalities give continuity properties: space time continuity for local time, space continuity for the derivatives. In case N is even, for the continuity of the (N - 1)st derivative an additional condition on M is needed which may have a relation to the existence of local times of M w.r.t. different occupation time scales.