Condition on the count and use the independence of random variables of the claim sizes. For their joint exponential transform factors, while for the empty sum contributes . Consequently the law of total expectation gives
This random sum of independent claims transform uses both independence assumptions: the count must be independent of the entire claim-size sequence, and the sizes must be mutually independent with the same probability distribution. The probability generating function is interpreted through its defining nonnegative series. The identity holds as a finite moment-generating function wherever that series is finite; outside that domain the expectation and series can agree at . In particular a positive argument may take beyond , so finiteness does not follow merely from the usual unit-disk domain of a probability generating function.
The moment-generating function of a mixture distribution is the mixture of its component transforms, so
For the aggregate, positivity of every claim implies exactly when . Choose
If , take to have the zero-truncated claim-count distribution, namely the conditional law of given . Then
Choose this count independently of a fresh independent claim-size sequence and put . Its probability distribution is that of conditional on being positive. Thus the hurdle decomposition of a positive random sum gives
and an independent Bernoulli random variable of success probability realizes . This establishes the distributional representation, including that is itself a positive random sum of independent claims. If , the aggregate is identically zero; set and choose any positive , 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 has transform . Substitution yields
Hence is exponential with rate and expected value . 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 .
The resulting distribution function is
Its jump of size at zero is important: the aggregate law is not a purely continuous exponential distribution.
Consider the secant slope
The moment-generating function is continuous on the interior of its finite domain and has right derivative . Thus as . For every fixed positive claim amount , the function is strictly increasing in : its derivative has numerator , since this numerator starts at zero and has derivative as a function of . Taking expected values preserves the strict inequality. Therefore is continuous and strictly increasing. Equivalently, the strictly convex transform has strictly increasing secant slopes from the origin.
If , the assumed blow-up of gives . If , choose with . Such an exists because the claims are positive. Then , so again . This exponential lower bound is needed at an infinite endpoint: mere divergence of would not, by itself, establish divergence of .
The target strictly exceeds the limiting slope . The intermediate value theorem and strict monotonicity therefore give
Multiplying by gives the defining adjustment coefficient equation. The zero root of the undivided equation is excluded. This is the secant-slope existence criterion for an adjustment coefficient.
For the original exponential distribution, cancel the nonzero root in
to obtain
It lies strictly below the transform pole .
With the extra expenses, the insurer's payment per claim is , where has exponential distribution of expected value and is independent of . The convolution of independent random variables gives a hypoexponential distribution with
Keeping the relative safety loading fixed means using the new expected payment: the premium rate becomes . It does not mean keeping the old premium rate fixed. The adjustment coefficient with independent claim expenses therefore solves
Set , cancel , and simplify:
The quadratic is positive at and equals at . Its leading coefficient is positive, so the smaller root is in and the larger root exceeds . Only the smaller root lies in the finite moment-generating function domain. Hence
For ,
Thus the new adjustment coefficient is about smaller, even though the premium rate has been increased to retain the same relative safety loading. The Lundberg inequality consequently has a slower exponential decay rate as a function of capital.
First derive the survival renewal equation for a classical risk model. Before the first claim, capital rises deterministically. The first interarrival time has exponential distribution of rate , independently of the claim size. Conditioning on its time and size, and using the Markov property after that claim, gives
A claim larger than the capital available then causes immediate ruin and contributes zero. There is almost surely a first claim because .
Put . Changing variables yields
Since , this representation makes locally absolutely continuous, and differentiation gives, at least almost everywhere,
Integrate from to . The integrands are nonnegative, so Tonelli theorem permits interchange in the double integral. In particular
Subtracting this from , changing variables once more, and using the permitted boundary value gives
The constant is the zero-capital survival probability. Positive relative safety loading means , so it is positive. The convolution kernel is a multiple of the integrated tail distribution density and has total mass , making this a defective renewal equation.
For the individual portfolios define . Under the positive-loading convention of the question, . At zero capital, portfolio survives with probability . The independence of random variables of the entire portfolio processes makes their ultimate survival events independent. Consequently
The exponential form is not needed for this zero-capital probability under positive loading; only the claim mean enters. For completeness, the company description does not separately repeat positive loading for every portfolio. If nonpositive loadings are allowed, certain ruin with nonpositive loading and finite claim variance instead gives
Here the positive part sets a nonpositive factor to zero. To justify the additional case, observe capital at claim times: its independent increments are , with mean . A negative mean sends their partial sums to by the strong law of large numbers. At zero mean, these increments have finite nonzero variance. The central limit theorem gives for each fixed , so the probability of unboundedness below is at least . That event is unchanged by altering finitely many increments and hence is a tail event; the Kolmogorov zero-one law makes its probability one. Ruin therefore occurs almost surely also at zero loading.
For the merged claims, Poisson superposition of insurance portfolios gives total arrival rate . Each arrival is from portfolio with probability , independently of other arrival labels. Thus its claim-size mixture distribution has density
The weights sum to one, so this density integrates to one. An independent transform verification uses the aggregate for one accounting period. If , then its moment-generating function is
This is precisely a compound Poisson distribution with parameter and the displayed claim-size law. The transform identity can safely be read at ; positive arguments must be below the relevant poles.
Premium incomes and initial capitals add. Therefore the merged premium rate is , the merged initial capital is zero, and its mean claim size is
Its zero-capital survival probability is consequently
Under the question's positive-loading context this is a premium-weighted average of the individual survival probabilities, rather than their product. If arbitrary individual loadings are admitted, recompute the loading of the merged portfolio; its finite-variance mixture law gives the complete formula
An individually nonpositive loading does not force merged ruin when aggregate premiums still exceed aggregate expected claims. The survival probability under risk pooling is at least their product because a product of numbers in is at most each factor. Pooling allows one portfolio's surplus to cover another's deficit, so merged survival does not require every original portfolio to remain solvent separately.
Write the year- count as a sum of its individual counts, with . The specified conditional independence within that year gives
Dividing by and scaling the conditional variance by therefore gives
This is the Bühlmann–Straub model: larger exposures reduce the process noise in a year's average.
Define the population parameters and total observed exposure by
Here is the expected process variance and the variance of hypothetical means. Assume finite second moments. The law of total variance gives , and conditional independence between years gives for : their only shared variation is the latent conditional mean.
To derive the Bühlmann–Straub credibility estimate, minimize mean squared error among affine estimates of . For coefficients and , the optimal intercept is . Centering at and conditioning on shows that the resulting error is
The cross term vanishes because has conditional mean zero; the conditional noise cross terms vanish by the between-year independence assumption.
For fixed , the Cauchy-Schwarz inequality gives
with equality when . Minimize the remaining quadratic . Its minimizing value is the Bühlmann–Straub credibility factor
The experience term is exposure-weighted:
Since the future conditional mean count is , multiplying the optimal estimate by the known future exposure gives
It is the best affine linear least-squares projection, not a claim that the exact conditional expectation given all data is always affine. If , the conditional mean is a known constant almost surely and one takes ; if , the observations reveal it without process noise and . The ordinary case has .
Use the gamma distribution shape-rate convention: with . The conditional Poisson distribution has mean and variance both equal to , so the Bühlmann–Straub model parameters are
For and , the Bühlmann–Straub credibility factor is . Thus
and the required expected-count estimate is
The total exposure determines how much information the observed count carries; the number of years alone is not the appropriate denominator.
Conditional on , summing the individual independent Poisson counts gives . The between-year conditional independence makes the likelihood function
Multiplying by the gamma distribution prior density, proportional to , gives the Poisson-gamma conjugacy with unequal exposures:
For an action , the posterior squared-error loss decomposes as
Hence the Bayes estimator under squared error loss is the posterior mean, giving
Future counts are independent of the observed years conditional on , so the law of total expectation then gives the posterior predictive expected count
The Bayesian and credibility estimates coincide exactly. This exact Bühlmann–Straub credibility for Poisson-gamma counts occurs because the posterior mean is already affine in the exposure-weighted experience, and therefore belongs to the class over which the credibility estimate minimizes mean squared error.

Articles by others on the same topic (0)

There are currently no matching articles.