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.
Articles by others on the same topic
There are currently no matching articles.