English

A Tanaka formula for the derivative of intersection local time in $\reals^1$

Probability 2007-05-23 v1

Abstract

Let BtB_t be a one dimensional Brownian motion, and let α\alpha' denote the derivative of the intersection local time of BtB_t as defined in Jay Rosen's work (see references). The object of this paper is to prove the following formula (1/2)αt(x)+(1/2)sgn(x)t=0tLsBsxdBs0tsgn(BtBux)du(1/2)\alpha'_t(x) + (1/2)sgn(x)t = \int_0^t L_s^{B_s - x}dB_s - \int_0^t sgn(B_t - B_u - x) du which was given as a formal identity by Rosen without proof.

Keywords

Cite

@article{arxiv.math/0609084,
  title  = {A Tanaka formula for the derivative of intersection local time in $\reals^1$},
  author = {Greg Markowsky},
  journal= {arXiv preprint arXiv:math/0609084},
  year   = {2007}
}