Path transformations of first passage bridges

Abstract

We define the first passage bridge from 0 to λ as the Brownian motion on the time interval [0,1] conditioned to first hit λ at time 1. We show that this process may be related to the Brownian bridge, the Bessel bridge or the Brownian excursion via some path transformations, the main one being an extension of Vervaat’s transformation. We also propose an extension of these results to certain bridges with cyclically exchangeable increments. © 2003 Association for Symbolic Logic.