Lately, I’ve been trying to learn a bit about the insurance business. A basic building block of actuarial theory is the Cramer-Lundberg model developed by Filip Lundberg in his 1903 Uppsala thesis and later expounded upon by Harald Cramer and his academic descendants. The model makes the following assumptions and adopts the following conventions:
- The claim sizes are positive i.i.d. random variables with finite mean and possibility infinite variance .
- The claims occur at random times with a.s.
- The number of claims in the interval is denoted by is denoted by , where .
- The inter-arrival times and for are i.i.d. exponentially distributed with finite mean .
- The sequences and are independent of one another.
These assumptions are mathematically convenient, but their empirical validity seems, to me at least, questionable.
A consequence of (4) above is that, for any , is Poisson distributed with parameter . To see this, observe that
Set , so that , for . By hypothesis, and independent, so the distribution of their sum is . I leave the proof of this lemma as an exercise to the reader. Using this result, we see that
We conclude that has the distribution function of a random variable. In fact, the stochastic point process is an example of a homogeneous Poisson process with intensity .
I should mention that (4) can be relaxed by dropping the restriction that the interarrival times follow an exponential distribution. The model which makes the generalization and keeps assumptions (1)-(3),(5) is called the renewal model.
The aggregate claims process is defined by
We can use conditional formula to compute the aggregate claims probability distribution function for a counting process satisfying the conditions of the renewal model. Since the are i.i.d., the aggregate claims distribution for , denoted by , is given by
where is the -fold convolution of . If the counting process is a homogeneous Poisson process with parameter , then