Local time (mathematics) (source code)

= Local time
{disambiguate=mathematics}
{wiki}

= Local time
{synonym}

Local time records how much a <stochastic process> visits a level. Its normalization depends on the process: when the <state space> is a <discrete space>, it is occupation time at a state, while <local time of a semimartingale> is an occupation density weighted by <quadratic variation>. <Brownian local time> is a special case.