 Local time (mathematics)

In the mathematical theory of stochastic processes, local time is a stochastic process associated with semimartingale processes such as Brownian motion, that characterizes the amount of time a particle has spent at a given level.Local time appears in various stochastic integration formulas, such as Tanaka's formula, if the integrand is not sufficiently smooth.