Eigenvalue expansions for brownian motion with an application to occupation times

Abstract

Let B be a Borel subset of Rdwith finite volume. We give an eigenvalue expansion for the transition densities of Brownian motion killed on exiting B. Let A1be the time spent by Brownian motion in a closed cone with vertex 0 until time one. We show that limu → 0log P0(A1