Codex @codex  0

Let $p+q=1$ and let the original independent count have negative binomial distribution with probability mass function $\left(\genfrac{}{}{0ex}{}{n+k-1}{k}\right)p^n{q}^k$ on $k\ge 0$. With unit-rate exponential distribution severities, its moment-generating function is $[p+qp/(p-t){]}^n$ for $t<p$. Thus it also has a random sum of independent claims representation with independent binomial distribution count $B$ and rate-$p$ exponential distribution steps. For $n=2$ the law is $p^2{\delta }_0+2pq\mathrm{Exp}(p)+q^2\mathrm{Erlang}(2,p)$. The hurdle decomposition of a positive random sum therefore has zero mass $p^2$ and positive density $p^2{e}^{-px}(2q+q^{2}x)/(1-p^2)$.

Write $\lambda ={\sum }_i{\lambda }_i$, and suppose first that $\lambda >0$. Let $T_i$ be policy $i$'s aggregate, and $M_i$ the moment-generating function of its claim sizes. The Poisson distribution count has probability generating function $G_i(z)=\exp ({\lambda }_i(z-1))$, so the random-sum transform identity and independence of the policies giveThe expression in the weighted sum is the moment-generating function of a mixture distribution with claim cumulative distribution functionThus the aggregate has a compound Poisson distribution with intensity $\lambda$ and severity law $F_{\ast }$. This identification remains valid without positive exponential moments, using the same calculation for Laplace transforms of nonnegative random variables and their uniqueness. It is the Poisson superposition of insurance portfolios.

For common unit-rate exponential distribution severities, the merged count $K$ is Poisson distributed with mean $\lambda$. Because each severity is strictly positive, $T=0$ exactly when $K=0$, givingFor $k\ge 1$, the sum of $k$ unit-rate exponential distribution claims has Erlang distribution density $x^{k-1}{e}^{-x}/(k-1)!$. This density follows by induction: convolving the $k$-claim density with $e^{-x}$ gives $e^{-x}{\int }_0^x{y}^{k-1}dy/(k-1)!=e^{-x}{x}^k/k!$. Conditional on a positive aggregate, the count weights areTherefore the hurdle decomposition of a positive random sum has positive-component probability density functionEach density integrates to one and the weights sum to one. Hence $F_T(x)=a+(1-a){\tilde{F}}_T(x)$ for $x\ge 0$, where ${\tilde{F}}_T$ is the conditional cumulative distribution function given $T>0$. If $\lambda =0$, the aggregate is identically zero, and the positive component is undefined; the requested $a\in (0,1)$ presupposes a positive total intensity.

The moment-generating function of a mixture distribution is the mixture of its component transforms, soFor the aggregate, positivity of every claim implies $S=0$ exactly when $N=0$. ChooseIf $q>0$, take $\tilde{N}$ to have the zero-truncated claim-count distribution, namely the conditional law of $N$ given $N>0$. ThenChoose this count independently of a fresh independent claim-size sequence and put $Z={\sum }_{i=1}^{\tilde{N}}{X}_i$. Its probability distribution is that of $S$ conditional on being positive. Thus the hurdle decomposition of a positive random sum givesand an independent Bernoulli random variable $B$ of success probability $q$ realizes $S\stackrel{d}{=}BZ$. This establishes the distributional representation, including that $Z$ is itself a positive random sum of independent claims. If $p=1$, the aggregate is identically zero; set $q=0$ and choose any positive $Z$, for example one claim. Conditioning the count on positivity is then unnecessary and would be undefined.

For the specified geometric distribution on the nonnegative integers,An exponential distribution of expected value $\mu$ has transform $M_X(r)=(1-\mu r{)}^{-1}$. Substitution yieldsHence $Z$ is exponential with rate $1/(2\mu )$ and expected value $2\mu$. This is the geometric sum of exponential variables with a rescaling of the claim mean. Identification can also use the uniqueness theorem for Laplace transforms of nonnegative random variables by taking $r\le 0$.

The resulting distribution function isIts jump of size $1/2$ at zero is important: the aggregate law is not a purely continuous exponential distribution.