Published online by Cambridge University Press: 14 July 2016
We prove that the first passage time density ρ(t) for an Ornstein-Uhlenbeck process X(t) obeying dX = -β Xdt + σdW to reach a fixed threshold θ from a suprathreshold initial condition x0 > θ > 0 has a lower bound of the form ρ(t) > kexp[-pe6βt] for positive constants k and p for times t exceeding some positive value u. We obtain explicit expressions for k, p, and u in terms of β, σ, x0, and θ, and discuss the application of the results to the synchronization of periodically forced stochastic leaky integrate-and-fire model neurons.