Occupation times of Lévy-driven Ornstein-Uhlenbeck processes with two-sided exponential jumps and applications

For an Ornstein-Uhlenbeck process driven by a double exponential jump diffusion process, we obtain formulas for the joint Laplace transform of it and its occupation times. The approach used is new and can be extended to investigate the occupation times of an Ornstein-Uhlenbeck process driven by a more general Lévy process. Besides, some applications to price occupation-time options are presented.