Condition first on the count in the random sum of independent claims. For , independence of the summands and independence from giveThe 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 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 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 , givingFor , 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 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 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 hasThe 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 givesThis is the mixture distribution of zero with probability and a rate- exponential distribution with probability . Consequentlywith 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 giveThus the zero mass is , and the conditional positive probability density function isIts integral is . Equivalently the positive-component cumulative distribution function isso . 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 impliesUse the chain rule and substitute to obtainEquating the coefficient of givesThe factor multiplying after rearrangement is . Therefore the Panjer recursion isThese 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 becomesTo obtain a moment recursion, write , , and . For nonnegative measurable , conditioning on and using exchangeability of the severities giveswhere 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 giveSubtracting the appropriate powers of the expected value yieldsIn 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 givesIt 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 yieldsAs increases without bound, the events increase to eventual ruin. Hence the ultimate ruin probability satisfies the Lundberg inequalityThe 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 isIts nonzero root isIt 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 isThe moment-generating function, finite exactly for , isCanceling the nonzero in the adjustment coefficient equation and multiplying by the positive denominator on givesThus the required polynomial isSince , , 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. ConsequentlyThe 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 . Thereforewhile 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 implyAll 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 givesIts 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 givesA credibility estimate combines individual experience with the collective expected value, using an experience weight . In this equal-exposure setting, the Bühlmann credibility premium isThus 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 updateUnder 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 isThis 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 becomesAs 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
There are currently no matching articles.