This is a study of the distance between a Brownian motion and a submanifold of a complete Riemannian manifold. It contains a variety of results, including an inequality for the Laplacian of the distance function derived from a Jacobian comparison theorem, a characterization of local time on a hypersurface which includes a formula for the mean local time, an exit time estimate for tubular neighbourhoods and a concentration inequality. The concentration inequality is derived using moment estimates to obtain an exponential bound, which holds under fairly general assumptions and which is sufficiently sharp to imply a comparison theorem. We provide numerous examples throughout. Further applications will feature in a subsequent article, where we see how the main results and methods presented here can be applied to certain study objects which appear naturally in the theory of submanifold bridge processes.
展开▼
