Brownian local time

Let be a standard Wiener process (or, in other words, Brownian motion) living on and started at . The random set , the so-called zero set of the Brownian path, is almost surely perfect (i.e. closed and dense in itself), unbounded and of Lebesgue measure . The complement of is a countable union of open intervals.

A remarkable result of P. Lévy ([a6], [a7]) is that there exists a non-decreasing (random) function determined by which is constant on the open intervals in the complement of and which has every point in as a (left and/or right) strict increase point. This function is called the Brownian local time (at ). It is clear that a similar construction can be made at any point .

The existence of the local time can be deduced from the fact (also due to Lévy) that the processes and , where , are identical in law. Indeed, for the function has the desired properties of local time; for the proof that , for a given , is determined by , see [a4]. Because and are identical in law, there exists a function with corresponding properties connected to .

Let be the Brownian local time at at time . Then almost surely

and this leads to the occupation-time formula

where is a Borel-measurable function (cf. also Borel function).

As seen above, can be viewed as the measure of the zero set . In fact, it has been proved in [a11] and [a9] that is the random Hausdorff -measure (cf. also Hausdorff measure) of with .

Introduce for the right-continuous inverse of by

By the strong Markov property (cf. Markov property) and spatial homogeneity of Brownian motion, the process is increasing and has independent and identically distributed increments, in other words, is a subordinator. Because and are, for every , identical in law, also the so-called inverse local time

and are identical in law. Hence, the finite-dimensional distributions of are determined by the Laplace transform

The mapping , , , is continuous. This is due to H.F. Trotter [a12]; for a proof based on the Itô formula, see, e.g., [a3].

The behaviour of the process can be characterized for some stopping times (for first hitting times, for instance; cf. also Stopping time). Results in this direction are called Ray–Knight theorems [a10], [a5]; see also [a2].

The process is an example of an additive functional of Brownian motion having support at one point (i.e. at ). As such it is unique up to a multiplicative constant. See [a1].

Brownian local time is an important concept both in the theory and in applications of stochastic processes. It can be used, e.g., to construct diffusions from Brownian motion via random time change and to analyze stochastic differential equations (cf. also Stochastic differential equation). There are some natural problems in stochastic optimal control (finite fuel problem) and in financial mathematics (barrier options), for instance, where (Brownian) local time plays a crucial role.

For a survey article, see [a8].

References

[a1]	R.M. Blumenthal, R.K. Getoor, "Markov processes and potential theory" , Acad. Press (1968)
[a2]	A.N. Borodin, P. Salminen, "Handbook of Brownian motion: Facts and formulae" , Birkhäuser (1996)
[a3]	N. Ikeda, S. Watanabe, "Stochastic differential equations and diffusion processes" , North-Holland &Kodansha (1981)
[a4]	K. Itô, H.P. McKean, "Diffusion processes and their sample paths" , Springer (1974)
[a5]	F. Knight, "Random walks and a sojourn density process of Brownian motion" Trans. Amer. Math. Soc. , 109 (1963) pp. 56–86
[a6]	P. Lévy, "Processus stochastiques et mouvement brownien" , Gauthier-Villars (1948)
[a7]	P. Lévy, "Sur certains processus stochastiques homogénes" Compositio Math. , 7 (1939) pp. 283–339
[a8]	H.P. McKean, "Brownian local time" Adv. Math. , 15 (1975) pp. 91–111
[a9]	E. Perkins, "The exact Hausdorff measure of the level sets of Brownian motion" ZWvG , 58 (1981) pp. 373–388
[a10]	D.B. Ray, "Sojourn times of a diffusion process Ill" J. Math. , 7 (1963) pp. 615–630
[a11]	S.J. Taylor, J.G. Wendel, "The exact Hausdorff measure of the zero set of a stable process" ZWvG , 6 (1966) pp. 170–180
[a12]	H.F. Trotter, "A property of Brownian motion paths. Ill" J. Math. , 2 (1958) pp. 425–433