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 givesThis 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, soFor the aggregate, positivity of every claim implies exactly when . ChooseIf , take to have the zero-truncated claim-count distribution, namely the conditional law of given . ThenChoose 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 givesand 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 yieldsHence 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 isIts jump of size at zero is important: the aggregate law is not a purely continuous exponential distribution.
Consider the secant slopeThe 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 giveMultiplying 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 into obtainIt 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 withKeeping 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 solvesSet , 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. HenceFor ,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, givesA claim larger than the capital available then causes immediate ruin and contributes zero. There is almost surely a first claim because .
Put . Changing variables yieldsSince , 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 particularSubtracting this from , changing variables once more, and using the permitted boundary value givesThe 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. ConsequentlyThe 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 givesHere 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 densityThe 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 isThis 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 isIts zero-capital survival probability is consequentlyUnder 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 formulaAn 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 givesDividing by and scaling the conditional variance by therefore givesThis 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 byHere 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 isThe 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 giveswith equality when . Minimize the remaining quadratic . Its minimizing value is the Bühlmann–Straub credibility factorThe experience term is exposure-weighted:Since the future conditional mean count is , multiplying the optimal estimate by the known future exposure givesIt 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 areFor and , the Bühlmann–Straub credibility factor is . Thusand the required expected-count estimate isThe 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 functionMultiplying 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 asHence the Bayes estimator under squared error loss is the posterior mean, givingFuture counts are independent of the observed years conditional on , so the law of total expectation then gives the posterior predictive expected countThe 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
There are currently no matching articles.