Use the usual aggregate claims model assumption that the claim count is independent of the sequence of severities. Conditional on , the probability generating function of the sum is the product of the severity generating functions. The empty sum has value zero. Thus the law of total expectation gives the random-sum transform identity
for , with the usual continuous interpretation at .
For a claim count distribution in the Panjer claim-count class, multiply the count recurrence by and sum. With ,
Consequently , or
The chain rule applied to the composition then gives
For , compare the coefficients of . The two products give
Move the term to the left and combine the remaining coefficients, since . The Panjer recursion with zero severities is therefore
For the usual nondegenerate proper Panjer laws, , so . If a degenerate count is represented by redundant constants making this denominator zero, the aggregate is identically zero and must be handled directly rather than dividing by zero.
Because severities are nonnegative, the aggregate is zero exactly when every included severity is zero. Count-severity independence gives the initialization
In particular generally exceeds when zero severities are possible.
The count-severity independence is necessary and is implicit, rather than explicitly stated, in the printed random-sum setup. For a concrete counterexample without it, take independent Bernoulli- variables and put . Then , so , whereas . Independence of the among themselves alone cannot justify the requested formula.
Within the approximation that a factory has either zero or one accident, let be the accident count. The factories' independence gives . Given an accident, its cluster of claims has a Poisson distribution of mean , independently across factories. Its probability generating function is . Thus this is a binomial accident portfolio with Poisson clusters, with
A factory can contribute no claims either because it has no accident or because its accident's Poisson cluster is empty. Hence the no-claim probability differs from the no-accident probability .
For , the accident probability mass function is . For ,
Therefore its Panjer claim-count class parameters are
At the multiplier is zero, and afterwards both successive masses are zero, so the recurrence holds for all . Finally, and reproduce the same initialization .
Let and write for the standard normal density, with . The change of variables converts the density integral into
Complete the square using . Integration gives the truncated lognormal moment
Here is the standard normal distribution function; take and . The identity holds for every real , including the full-interval limits, because the shifted Gaussian integral remains finite.
The limited excess of loss reinsurance payment is . It is zero below , equals for , and equals above . Since the lognormal distribution has a continuous density,
Put , , and . Applying the moment identity with and gives the conditional lognormal layer recovery
The denominator is , and payments outside that event are zero. The three numerator terms are respectively the truncated first moment, the attachment subtracted from partial payments, and the capped payments on claims above the layer. This proves the conditional expectation including the limit on each reinsurer payment.
For claims inflation by , set . Its log-mean is and its log-standard-deviation stays . The attachment and payment limit stay fixed. Therefore the requested new conditional mean is
Explicitly, in the preceding fraction replace by and replace by . Equivalently, claims inflation of a fixed reinsurance layer gives
because and the new conditioning event is . Merely multiplying the original conditional mean by would omit both of these threshold changes.
In the classical risk model, the surplus with initial capital is
where is a Poisson process of rate , and the nonnegative independent claim sizes, of mean , are independent of that process. Positive relative safety loading makes expected premium income exceed expected claim outflow. With ruin time , the ultimate ruin probability is
The adjustment coefficient is the positive root in the finite domain of the claim moment-generating function satisfying
The zero root is excluded by definition.
Under the stated transform-divergence assumption this positive root exists and is unique. Indeed has , derivative , and strictly positive second derivative on its positive domain. At a finite endpoint the diverging transform makes positive eventually. At an infinite endpoint, choose with ; the bound makes it dominate the linear term. Strict convexity then gives exactly one positive crossing. This is the secant-slope existence criterion for an adjustment coefficient.
The Lundberg inequality is
For a short justification, the compound-Poisson transform and the defining equation make a nonnegative martingale starting at . Stop it at , a bounded stopping time. On its value is greater than one. The optional stopping theorem therefore gives ; let increase to infinity. No expectation identity at an unbounded ruin time is required.
For an exponential distribution with mean , the claim moment-generating function is for . The calculated adjustment coefficient must solve
Subtract one, divide by the nonzero factor , and obtain . Thus
It belongs to for every , as required by the transform domain. The Poisson intensity cancels because the premium rate is specified using the same relative loading and mean claim cost.
Normalizing the true density gives
a gamma distribution of shape and rate . Its mean is , and the Gamma integral gives
Put . Since , the positive adjustment coefficient satisfies
Both sides are positive in this domain. Squaring, multiplying by , and dividing out the zero root yields
The discriminant is . The negative constant term makes one root positive and the other negative. The polynomial is negative at zero and has value four at one, so the positive root lies in and is not an extraneous solution introduced by squaring. Therefore the adjustment coefficient for shape-one-half gamma claims is
To compare it with the exponential calculation, write . Their difference is
since . Thus the two proposed Lundberg inequality bounds are ordered as
Only is justified for the true claim law. The exponential calculation gives for a different model, not a valid guaranteed bound on the true ruin probability.
This exponential misspecification of shape-one-half gamma claims is optimistic: the true variance is , whereas the assumed exponential variance is . Its tail also decays at rate , more slowly than the assumed rate . Equivalently, for , the true transform is larger than , since . This stronger transform growth makes the true adjustment root smaller. Comparing upper bounds alone does not by itself prove an ordering of the two actual ruin probabilities. At both displayed bounds equal one.
A credibility premium estimates a risk's expected future claims by combining its own observed experience with a collective or prior mean. In its basic form , the credibility factor is the weight assigned to individual experience. Larger credibility places less weight on pooling with the population. The amounts below are pure expected-claim premiums; no additional expense or profit loading is specified.
Under squared-error loss, the posterior risk for estimating the unknown conditional mean by is
Hence the Bayes estimator under squared error loss is the posterior mean. In the equal-year model, conditional independence makes the likelihood proportional to . Combining it with the normal prior and completing the square gives
Because , the required estimator is ; it also equals the predictive mean . The normal-normal credibility expression is
This is exact Bayesian credibility, not merely the best linear approximation to a possibly nonlinear posterior mean.
For unequal life counts use the usual exposure model: individual-life losses are conditionally independent with variance , and the annual totals are conditionally independent given the same . Then
The dot denotes the stipulated normal approximation. The positive exposures are known. Define total past exposure and its experience mean by
The normal log-likelihood has quadratic term . With the prior , normal-normal conjugacy with unequal exposures gives posterior variance and mean
Therefore the estimated pure premium per life for year has the normal-normal credibility with unequal exposures form
It is also an exact normal-model Bühlmann–Straub credibility estimate. The individual experience is exposure-weighted: the unweighted mean of the yearly per-life observations would generally discard the different precisions.
For positive , differentiation gives
Thus increasing the prior variance increases credibility, because greater between-risk heterogeneity makes the collective mean less representative of this risk. Increasing the individual process variance decreases credibility, because a fixed amount of observed experience becomes noisier. The future exposure supplies no new observation, so it does not enter . It only scales the total premium:
The independent-life variance scaling is part of the usual exposure interpretation. Without it, a known variance for one life does not determine the variance of a total: a common pairwise conditional covariance would add to . Similarly, cross-year conditional dependence would change the joint likelihood. Those assumptions are implicit in applying the standard credibility model to the final paragraph.

Articles by others on the same topic (0)

There are currently no matching articles.