= Solution
The claim-size <exponential distribution> has <expected value> $\mu>0$ and <moment-generating function>
$$
M_X(t)=\int_0^\infty e^{tx}\frac1\mu e^{-x/\mu}\,dx=\frac1{1-\mu t},\qquad t<1/\mu.
$$
Conditional on $N_i=k$, <independence> makes the aggregate <moment-generating function> equal to $M_X(t)^k$. Averaging over the <Poisson distribution> of the count gives
$$
\begin{aligned}
M_{S_i}(t)
&=\sum_{k\ge0}e^{-\lambda_i}\frac{\lambda_i^k}{k!}M_X(t)^k\\
&=\exp\big(\lambda_i(M_X(t)-1)\big)
=\boxed{\exp\left(\frac{\lambda_i\mu t}{1-\mu t}\right)}.
\end{aligned}
$$
Put $\Lambda=\sum_{i=1}^n\lambda_i$. For fixed intensities, <independence> between risks gives
$$
M_S(t)=\prod_{i=1}^n M_{S_i}(t)
=\exp\big(\Lambda(M_X(t)-1)\big).
$$
This is precisely the transform of a <compound Poisson distribution>. Indeed the <addition of independent Poisson random variables> makes the total count <Poisson distributed> with parameter $\Lambda$, and every claim in the pooled portfolio has the same <exponential distribution>. Thus \b[the portfolio aggregate is compound Poisson with intensity $\sum_i\lambda_i$ and exponential claim sizes of mean $\mu$.]
Now regard the individual intensities as independent <gamma distributed> quantities, with shape $m\ge1$ and rate $\alpha$. Their <moment-generating functions> are $(\alpha/(\alpha-t))^m$ for $t<\alpha$. Multiplying these transforms proves <additivity of independent gamma distributions with a common rate>:
$$
\boxed{\Lambda\sim\operatorname{Gamma}(nm,\text{rate }\alpha),\qquad f_\Lambda(\ell)=\frac{\alpha^{nm}}{\Gamma(nm)}\ell^{nm-1}e^{-\alpha\ell},\quad \ell>0.}
$$
Conditional on the individual intensities, the total count $N$ has <Poisson distribution> with parameter $\Lambda$. Because this conditional law depends only on their sum, it is also the law of $N$ conditional on $\Lambda$. Integrating its <probability mass function> against the <gamma distribution> density yields
$$
\begin{aligned}
\mathbb P(N=k)
&=\frac{\alpha^{nm}}{k!\,\Gamma(nm)}\int_0^\infty \ell^{nm+k-1}e^{-(\alpha+1)\ell}\,d\ell\\
&=\frac{\Gamma(nm+k)}{k!\,\Gamma(nm)}\frac{\alpha^{nm}}{(\alpha+1)^{nm+k}}\\
&=\boxed{\binom{nm+k-1}{k}\left(\frac{\alpha}{\alpha+1}\right)^{nm}\left(\frac1{\alpha+1}\right)^k},\qquad k\ge0.
\end{aligned}
$$
Thus \b[the total count has a <negative binomial distribution> with shape $nm$ and success probability $\alpha/(\alpha+1)$], using the convention that counts failures before the specified number of successes. Its <probability generating function> is $(\alpha/(\alpha+1-z))^{nm}$.
Conditional on $\Lambda$, the claim sizes retain their common <exponential distribution> and the amount $S$ has a <compound Poisson distribution> of intensity $\Lambda$. Therefore \b[the unconditional amount has a <compound mixed Poisson distribution> with gamma mixing intensity of shape $nm$ and rate $\alpha$]. To make the mixture explicit, average the conditional aggregate <moment-generating function>:
$$
\begin{aligned}
M_S(t)
&=\mathbb E\exp\big(\Lambda(M_X(t)-1)\big)\\
&=\left(\frac{\alpha}{\alpha-(M_X(t)-1)}\right)^{nm}
=\boxed{\left(\frac{\alpha(1-\mu t)}{\alpha-(\alpha+1)\mu t}\right)^{nm}},
\qquad t<\frac{\alpha}{(\alpha+1)\mu}.
\end{aligned}
$$
The displayed domain ensures both the severity transform and the intensity transform are finite. The mixing distribution describes the Poisson intensity, not the claim sizes. In particular, the aggregate has an atom at zero of mass $\mathbb P(N=0)=(\alpha/(\alpha+1))^{nm}$.
Back to article page