Abstract
For 0<γ<1, let\(U_\gamma (t) = t^{ - 1} \int_0^t {1_{\{ B_3 > \sqrt {\gamma s\log \log s} \} } } ds\). The questions addressed in this paper are motivated by a result due to Strassen: almost surely, lim sup t→∞ U γ((t))=1−exp{−4(γ−1)−1}. We show that Strassen's result is closely related to a large deviations principle for the family of random variablesU γ (t), t>0. Also, when γ=1,U γ (t)→0 almost surely and we obtain some bounds on the rate of convergence. Finally, we prove an analogous limit theorem for discounted averages of the form\(\lambda \smallint _0^\infty D(\lambda s) 1_{(B_3 \sqrt {2\gamma s \log \log s} )} ds\) as λ↓0, whereD is a suitable discount function. These results also hold for symmetric random walks.
Similar content being viewed by others
References
Csàki, E. (1980). A relation between Chung's and Strassen's law of iterated logarithm,Z. Wahrsch. verw. Gebiete 54, 287–301.
Goodman, V. and Kuelbs, J. (1991). Rates of clustering in Strassen's law of iterated logarithm for Brownian motion,J. Theoretical Probab. 4, 285–309.
Grill, K. (1992). Exact rate of convergence in Strassen's law of iterated logarithm,J. Theoretical Prob. 5, 197–204.
Kochen, S., and Stone, C. (1964). A note on the Borel-Cantelli lemma,Illinois J. Maths. 8, 248–251.
Strassen, V. (1964). An invariance principle for the law of iterated logarithm,Z. Wahrsch. verw. Gebiete 3, 211–226.
Uchiyama, K. (1980). Brownian first exit from and sojourn above one sided moving boundary and application,Z. Wahrsch. verw. Gebiete 54, 75–116.
Uchiyama, K. (1982). The proportion of Brownian sojourn outside a moving boundary,Ann. Prob. 10, 220–233.
Vardhan, S. R. S. (1984).Large Deviations and Applications, SIAM.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Chan, T. Some asymptotic results related to the law of iterated logarithm for Brownian motion. J Theor Probab 8, 643–667 (1995). https://doi.org/10.1007/BF02218048
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF02218048