We provide a distributional study of the solution to the classical control problem due to De Finetti (1957), Gerber (1969), Azcue and Muler (2005), andAvram et al. (2007), which concerns the optimal payment of dividends from an insurance risk process prior to ruin. Specifically, we build on recent work in the actuarial literature concerning calculations of the nth moment of the net present value of dividends paid out in the optimal strategy as well as the moments of the deficit at ruin and the Laplace transform of the red period. The calculations we present go much further than the existing literature, in that our calculations are valid for a general spectrally negative Lévy process as opposed to the classical Cramér-Lundberg process with exponentially distributed jumps. Moreover, the technique we use appeals principally to excursion theory rather than integro-differential equations and, for the case of the nth moment of the net present value of dividends, makes a new link with the distribution of integrated exponential subordinators.Keywords: Reflected Lévy process; passage problem; integrated exponential Lévy process; insurance risk process; ruin 2000 Mathematics Subject Classification: Primary 60K05; 60K15; 91B30 Secondary 60G70; 60J55
Lévy insurance risk processesRecall that the Cramér-Lundberg model corresponds to a Lévy process X CL = {X CL t : t ≥ 0} with characteristic exponent given byfor θ ∈ R, such that lim t↑∞ X CL t = ∞. In other words, X CL is a compound Poisson process with arrival rate λ CL > 0 and negative jumps, corresponding to claims, having common distribution function F with finite mean 1/µ CL as well as a drift c CL > 0, corresponding to a steady income due to premiums, which necessarily satisfies the net profit condition c CL − λ CL /µ CL > 0. Suppose instead that we work with a general spectrally negative Lévy process, that is, a Lévy process X = {X t : t ≥ 0} with Lévy measure satisfying ((0, ∞)) = 0. At such a degree of generality, the analogue of the condition c CL − λ CL /µ CL > 0 may be taken to be E(X 1 ) > 0. Such processes have been considered recently by Huzak et al.