Two-sided exit problem for a spectrally negative α-stable Ornstein-Uhlenbeck process and the Wright's generalized hypergeometric functions

The Laplace transform of the first exit time from a finite interval by a spectrally negative astable Ornstein-Uhlenbeck process (1 < alpha <= 2) is provided in terms of the Wright's generalized hypergeometric function (2)Psi(1). The Laplace transform of first passage times is also derived for some related processes such as the process killed when it enters the negative half line and the process conditioned to stay positive. The law of the maximum of the associated bridges is computed in terms of the q-resolvent density. As a byproduct, we deduce some interesting analytical properties for some Wright's generalized hypergeometric functions.