Exact moduli of continuity for the local times of Feller Brownian motions

Abstract: We examine the modulus of continuity, in the spatial variable, of the local time process of Feller Brownian motion (FBM) on the half-line $[0,\infty)$. Briefly, a FBM is a strong Markov process on $[0,\infty)$ that moves like standard Brownian motion on $[0,\infty)$ up until it first encounters the state $0$. The process returns to $(0,\infty)$, either continuously (like reflecting Brownian motion) or by jumping to a (random) positive state chosen according to a specified measure. The present work is a continuation and application of our earlier work with Michael Marcus on the moduli of continuity for the local times of a Markov process built by piecing together (``rebirthing") the paths of another Markov process with finite lifetime. We first establish a general result on the resolvent and local times for a rebirthed process with a special holding state (the state $0$ for FBM). We show how our earlier approach using the Eisenbaum Isomorphism Theorem on an assemblage of excursions works out in this context. This knowledge is then used as an approximation device to obtain our main result on the exact uniform moduli of continuity for the local time of FBM on a spatial interval of the form $(0,1]$. Extensions are made, under certain conditions, to the more delicate situation of the spatial interval $[0,1]$. We also consider briefly the case of more general diffusions on $[0,\infty)$.