Ornstein-Uhlenback type Omega model

We consider the Omega model with underlying Ornstein-Uhlenbeck type surplus process for an insurance company and obtain some useful results. Explicit expressions for the expected discounted penalty function at bankruptcy with a constant bankruptcy rate and linear bankruptcy rate are derived. Based on random observations of the surplus process, we examine the differentiability for the expected discounted penalty function at bankruptcy especially at zero. Finally, we give the Laplace transforms for occupation times as an important example of Li and Zhou [Adv. Appl. Probab., 2013, 45(4): 1049–1067].