Abstract
Integral functionals of Brownian motion and of Brownian local time, as well as the supremum of Brownian motion and the supremum of Brownian local time are considered. The obtained results allow the computation of the distributions of these functionals for a Brownian motion stopped at the moment when the local time attains first a given value at one of two levels. It has been established that for this stopping time the Brownian local time is a Markov process with respect to the space variable and the generating operator of the process has been found. Examples of the computation of the distributions of certain functionals are given.
Similar content being viewed by others
References
F. B. Knight, "Random walks and a sojourn density process of Brownian motion," Trans. Amer. Math. Soc.,109, No. 1, 56–86 (1963).
A. N. Borodin, "On the character of convergence to Brownian local time. II," Probab. Theory Related Fields,72, No. 2, 251–277 (1986).
A. N. Borodin, "Brownian local time," Usp. Mat. Nauk,44, No. 2, 7–48 (1989).
A. N. Borodin, "Distribution of functionals of Brownian local time. I; II," Teor. Veroyatnost. Primenen.,34, No. 3, 433–450; No. 4, 636–649 (1989).
T. Jeulin and M. Yor, "Sur les distributions de certaines fonctionnelles du mouvement brownien," in: Séminaire de Probabilités XV, 1979/80, Lecture Notes in Math., No. 850, Springer, Berlin (1981), pp. 210–226.
H. Bateman and A. Erdélyi, Tables of Integral Transforms, Vol. I, McGraw-Hill, New York (1954).
H. B. Dwight, Tables of Integrals and Other Mathematical Data, Macmillan, New York (1957).
Additional information
Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova Akademii Nauk SSSR, Vol. 184, pp. 37–61, 1990.
Rights and permissions
About this article
Cite this article
Borodin, A.N. Distribution of functionals of Brownian motion stopped at a time that is inverse to local time. J Math Sci 68, 419–437 (1994). https://doi.org/10.1007/BF01254267
Issue Date:
DOI: https://doi.org/10.1007/BF01254267