Condition first on the count in the random sum of independent claims. For , independence of the summands and independence from give
The empty product is one when . Taking expected values proves the random-sum transform identity:
For positive claim sizes this composition is always finite for , and is an identity of Laplace transforms of nonnegative random variables after writing . For positive , it holds wherever the composed series is finite; no positive exponential moment is implied merely by positivity of the summands.
Write , and suppose first that . Let be policy 's aggregate, and the moment-generating function of its claim sizes. The Poisson distribution count has probability generating function , so the random-sum transform identity and independence of the policies give
The expression in the weighted sum is the moment-generating function of a mixture distribution with claim cumulative distribution function
Thus the aggregate has a compound Poisson distribution with intensity and severity law . 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 is Poisson distributed with mean . Because each severity is strictly positive, exactly when , giving
For , the sum of unit-rate exponential distribution claims has Erlang distribution density . This density follows by induction: convolving the -claim density with gives . Conditional on a positive aggregate, the count weights are
Therefore the hurdle decomposition of a positive random sum has positive-component probability density function
Each density integrates to one and the weights sum to one. Hence for , where is the conditional cumulative distribution function given . If , the aggregate is identically zero, and the positive component is undefined; the requested presupposes a positive total intensity.
The original PDF specifies a geometric distribution on , with probabilities . Its probability generating function is . By independence, the total original claim count has
The coefficient follows from the negative binomial series. Thus one representation uses independent unit-rate exponential distribution steps and a negative binomial distribution count .
There is a second useful random sum of independent claims representation. For one policy, the random-sum transform identity gives
This is the mixture distribution of zero with probability and a rate- exponential distribution with probability . Consequently
with the binomial distribution count independent of the independent steps. Equality follows by multiplying the moment-generating functions. This is a negative-binomial sum of exponential claims.
When , the three values of give
Thus the zero mass is , and the conditional positive probability density function is
Its integral is . Equivalently the positive-component cumulative distribution function is
so . For , .
Let , and be the probability generating functions of , one severity, and , respectively. Positivity of the severities gives and ; the random-sum transform identity gives . The count recurrence in the Panjer claim-count class implies
Use the chain rule and substitute to obtain
Equating the coefficient of gives
The factor multiplying after rearrangement is . Therefore the Panjer recursion is
These power-series calculations are valid inside the convergence discs of the probability generating functions, and hence justify the coefficient identities without assumptions about positive exponential moments.
For a Poisson distribution count, , so and . The aggregate recursion becomes
To obtain a moment recursion, write , , and . For nonnegative measurable , conditioning on and using exchangeability of the severities gives
where on the right is independent of . The second equality uses , the Poisson size-bias identity. Choosing , applying the binomial theorem, and using independence proves the raw moment recursion for a compound Poisson distribution:
For any particular , a finite severity th moment suffices: , and the Poisson distribution has finite moments of every order. No positive moment-generating function domain is required.
The first three iterations give
Subtracting the appropriate powers of the expected value yields
In particular, the aggregate variance and third central moment involve the raw second and third severity moments, rather than their centered counterparts.
Let be the cumulative claim amount and the surplus in the classical risk model. The supplied adjustment coefficient satisfies . The Compound Poisson process has independent increments, and the random-sum transform identity gives
It follows that is a nonnegative martingale with : conditional on the past, the multiplicative increment has expected value one. This is the exponential surplus martingale.
Let be the ruin stopping time. Surplus decreases only at claim arrivals, so on the deficit at ruin gives and . The optional stopping theorem at the bounded stopping time yields
As increases without bound, the events increase to eventual ruin. Hence the ultimate ruin probability satisfies the Lundberg inequality
The proof uses only bounded-time stopping; it does not presume that the martingale can be stopped with equality of expected values at an unbounded ruin time.
For a unit-rate exponential distribution, and for . The adjustment coefficient equation is
Its nonzero root is
It lies in for , so the moment-generating function is finite there and the Lundberg inequality applies.
The severity is an equal-weight mixture distribution of rate- and rate- exponential distributions. Its expected value is
The moment-generating function, finite exactly for , is
Canceling the nonzero in the adjustment coefficient equation and multiplying by the positive denominator on gives
Thus the required polynomial is
Since , , and the leading coefficient is positive, one root lies in and the other exceeds . Only the smaller root is in the moment-generating function domain. Consequently
The rationalized expression avoids subtraction of nearly equal numbers when is small.
The erroneously chosen same-mean exponential distribution gives . Direct substitution shows , so lies strictly between the two polynomial roots, and in particular . Therefore
while both bounds equal one at . The exponential misspecification produces a smaller claimed upper bound. The Lundberg inequality certifies for the actual mixture; it does not certify the smaller expression computed from the wrong severity law.
The PDF gives an inverse-gamma distribution with shape and scale , and a gamma distribution prior with shape and rate . Write . The supplied conditional moments, together with and , give the three structural quantities of the Bühlmann model:
Here is the variance of hypothetical means and the expected process variance. The law of total covariance and conditional independence of different years imply
All these quantities are finite because .
For any coefficients , minimizing the mean squared error over the intercept first gives . Let and . Expanding the remaining mean squared error gives
Its normal equations are for every . Since , subtracting any two equations shows that all agree. The quadratic part is strictly positive for every nonzero coefficient change, so the solution is the unique global minimizer. Solving gives
A credibility estimate combines individual experience with the collective expected value, using an experience weight . In this equal-exposure setting, the Bühlmann credibility premium is
Thus the computed coefficients give exactly a credibility estimate, with a fixed credibility factor determined by known parameters and the number of observed years. This is Bühlmann credibility for inverse-gamma observations.
For the final Bayesian calculation, the likelihood function in is proportional to . Multiplication by the gamma distribution prior gives the Gamma prior for an inverse-gamma scale update
Under quadratic loss, the conditional risk of an estimate is . Its minimizer is therefore the posterior mean:
This is not a fixed-weight arithmetic-mean credibility estimate. For , the observations and have the same sample mean, but reciprocal sums and , hence different posterior means. For any , append the same positive observations to these two samples. For , the estimate is , with ; its second derivative is , so it is not affine either. Symmetry in the observations would force equal slopes in any affine representation, so these examples also exclude a general fixed-coefficient linear representation.
One can express the posterior mean as a broader data-dependent blend. With and harmonic mean , it is
This weights a harmonic-mean-based experience estimate, and the weight itself depends on the observations. It is not the credibility estimate based on and the fixed Bühlmann credibility factor derived above.
The ratio of expected process variance to variance of hypothetical means is , and the credibility factor is . Holding fixed, an increase in decreases . Hence the credibility factor increases, approaching one as tends to infinity. Extending the formula to real makes the sign explicit:
For the integer values in the model this establishes the same strict monotonicity. The collective claim expected value also changes, but the conclusion concerns the relative weight of experience: conditional noise declines faster than the variation of the risk means.
Set and . Keeping fixed in the gamma distribution family gives and . The ratio of expected process variance to variance of hypothetical means becomes
As the prior variance decreases, increases, so the credibility factor decreases. In the limit , : the risk parameter is already essentially known from the prior, leaving little need to use the noisy sample mean. The population claim expected value remains fixed throughout this comparison.

Articles by others on the same topic (0)

There are currently no matching articles.