An excursion approach to Ray-Knight theorems for perturbed Brownian motion

Perturbed Brownian motion in this paper is defined as Xt = Bt - [mu]lt where B is standard Brownian motion, (lt: t [greater-or-equal, slanted] 0) is its local time at 0 and [mu] is a positive constant. Carmona et al. (1994) have extended the classical second Ray-Knight theorem about the local time processes in the space variable taken at an inverse local time to perturbed Brownian motion with the resulting Bessel square processes having dimensions depending on [mu]. In this paper a proof based on splitting the path of perturbed Brownian motion at its minimum is presented. The derivation relies mostly on excursion theory arguments.