An elementary approach to Brownian local time based on simple, symmetric random walks

Abstract

In this paper we define Brownian local time as the almost sure limit of the local times of a nested sequence of simple, symmetric random walks. The limit is jointly continuous in $(t,x)$. The rate of convergence is $n^{\frac14} (\log n)^{\frac34}$ that is close to the best possible. The tools we apply are almost exclusively from elementary probability theory.