Condition on the claim count. The empty random sum of independent claims is zero, and independence gives . Therefore the random-sum transform identity is
wherever the composition is finite. This follows directly from the law of total expectation, rather than replacing the random count by its mean.
Put . For the specified negative binomial distribution, the negative binomial series gives . A rate- exponential distribution has moment-generating function . Hence
The last expression is exactly the moment-generating function of a compound binomial distribution with independent count and severities
The moment-generating function exists in a neighborhood of zero, so its uniqueness identifies the distributions. In particular, the new claim sizes have mean , not , and both aggregate distributions have an atom at zero. This is the negative-binomial sum of exponential claims representation with the severity rate explicitly retained.
Conditional on , the aggregate has Erlang distribution with density on . Repeated integration by parts of its tail gives
Indeed, after substituting , the integral reduces recursively to the corresponding integral with exponent , terminating at . Applying the law of total probability yields the original infinite mixture distribution tail
Applying the same argument to the compound binomial distribution gives instead the finite Erlang-mixture tail for a negative-binomial exponential aggregate:
The two tails are equal. The binomial representation replaces an infinite sum by a finite exact calculation, eliminating the need to choose a claim-count truncation and control its omitted tail. The inner sums can be evaluated recursively, using for their exponential-weighted terms.
Write the surplus in the classical risk model as , with premium rate . The adjustment coefficient is the positive solution of
For the exponential distribution of mean , for . Cancelling the nonzero root in its equation gives , and hence
It is strictly between zero and , as required by the transform domain.
The ultimate ruin probability is . The Lundberg inequality states
Ruin can occur only at a claim arrival. Thus the event defining the finite-claim ruin probability is contained in the ultimate ruin event, giving for every and .
For the explicit calculations, take , put and , and let be the first arrival time. It has rate- exponential distribution, independent of the severity. Ruin on the first claim is the event , so
For ruin by the second claim, condition on whether the first claim ruins the insurer or leaves capital . The independent future arrivals and severities have the same law as a fresh classical risk model. Therefore
The two terms in the first line refer to disjoint ruin events, so there is no double counting.
For a direct check of the Lundberg inequality, now . The ratio is less than one. For the second finite-claim ruin probability, put and . Its ratio is . Since
the derivative of this ratio is for , and its value at zero is . This verifies both required bounds directly from the calculated probabilities.
In the Bühlmann model, one policy has a random risk parameter . Conditional on , its annual observations are independent and identically distributed random variables, with mean and variance . Put , let be the expected process variance, and let be the variance of hypothetical means. Assume the required second moments are finite.
The Bühlmann credibility premium is the best affine estimate of under mean squared error. After choosing the intercept to make the estimate unbiased, write it as . If , the law of total variance and conditional independence give its error
For fixed , the Cauchy-Schwarz inequality minimizes the last sum at . Differentiating gives . Thus the credibility factor and credibility premium are
The ratio form assumes ; when and , the conditional mean is constant and . Predicting rather than its conditional mean adds the constant to the error and leaves the optimal affine estimate unchanged.
Here the latent intensity has a Pareto distribution with shape three and lower bound one. For , its moments are . Consequently
The equality for uses the Poisson distribution conditional variance . There are two years of experience, so and the observed sample mean is . The Poisson credibility with a shape-three Pareto intensity is therefore
In particular it equals when .
For the exact Bayesian credibility estimate, the total count conditional on has Poisson distribution of mean . Multiplication of its likelihood by the prior distribution density gives a Bayesian posterior density proportional to on . At , its normalizing integral and first-moment integral are
Hence the next-year predictive expected value is
The Bühlmann credibility premium optimizes over affine estimates, whereas the Bayesian posterior mean optimizes over all square-integrable estimates. This explains why the two credibility estimates need not agree for this nonconjugate prior.
Mix the conditional Poisson distribution over the rate- exponential distribution intensity. The gamma integral gives
where and . Thus the annual claim count has the zero-based geometric distribution, with probabilities , and .
For the intended Markov chain calculation, take these annual counts to be independent. Order the states by discounts . From either of the first two states, a positive count returns the policy to zero, while a zero count raises it by one level. From the top, two or more claims send it to zero, exactly one sends it to , and no claim keeps it at . Hence the transition matrix is
Write its stationary distribution as . The final two balance equations give and . It follows that and . Normalizing yields the three-level discount equilibrium with geometric annual counts:
The Markov chain is irreducible for and has a self-loop, so it is aperiodic and this equilibrium is the limiting distribution. Weighting the three premiums gives
There is a necessary qualification to the temporal model: the one-year mixture alone does not specify independence between years. A persistent claim intensity can destroy the discount Markov property. If one fixed is drawn for the policyholder and annual counts are conditionally independent given it, then histories and both end at the top after three years but give different next-year no-claim probabilities. The first history is three zero counts, so its posterior intensity has exponential rate and next no-claim probability . The second is a positive count followed by two zero counts; its posterior density is proportional to , giving next no-claim probability . Thus the displayed matrix and premium require independent annual marginal sampling, for example a fresh intensity each year. They are not valid for a persistent unobserved policy intensity without conditioning on that intensity.
Under the persistent-intensity interpretation, one can instead condition on . Put and . The conditional transition matrix has rows , and . Its stationary distribution is
The corresponding population limiting expected value of the premium is . This gives the correct alternative when the intensity persists, and makes the extra assumption behind the requested marginal matrix explicit.
Compare future premium differences, since the current premium is already fixed. From the highest discount, making no claim keeps all future premiums at . One submitted claim raises next year's premium to ; if there are no further events, the year after returns to . The extra premium is therefore . Claiming saves payment of the loss itself, so the first claim is advantageous precisely when . For the unit-rate exponential distribution loss,
Now condition on the first claim already having been submitted. If the second loss is not claimed, next year's discount is and the following year's is . Claiming the second loss instead makes these two discounts and , after which both paths are back at . Thus the additional premium caused by this second claim is
This is the incremental second-claim threshold at the highest discount level: compare the second decision to the already-chosen one-claim path, not to a no-claim path. The second claim is advantageous exactly when . The losses are independent, so conditioning on the first claim does not change the exponential distribution of . Hence
Equality at a threshold has probability zero. The infinitely many premiums common to both paths cancel; all nonzero differences occur in the next two years, so no divergent sum is used. These thresholds use the undiscounted comparison in the question, with no interest rate or deductible introduced.

Articles by others on the same topic (0)

There are currently no matching articles.