The ultimate survival probability satisfies . Condition on the first arrival of the Poisson process, differentiate the resulting exponentially weighted integral, and integrate the convolution derivative equation from zero. Tonelli theorem converts the claim-density convolution to the tail convolution. The kernel mass is , so this is a defective renewal equation.
In the classical risk model with premium rate and claim Poisson process rate , the first-claim decomposition for survival probability implies the displayed equation for ultimate survival probability. Change the first-claim integral to an integral over available capital and differentiate its lower limit. The bounded survival probability function convolved with the integrable claim probability density function is continuous, so this also establishes the needed differentiability. In particular .
For an Erlang distribution claim density and , write . The survival integro-differential equation gives . The convolution satisfies , because . Applying to the first equation eliminates and gives the displayed third-order equation. The original integral equation also supplies and ; these conditions must not be lost when solving the higher-order equation.
For a mixture distribution of exponential distributions, introduce one convolution state for each rate . It satisfies . Together with the survival integro-differential equation these form a constant-coefficient first-order system; applying the differential operators eliminates the convolution states. For equal mixing weights at rates one and one half, with , the result is . The original integral equation supplies initial conditions lost in elimination.
In a classical risk model, before the first claim at time , available capital is . A claim of size leaves future survival probability by the Markov property. Integrating over the independent first-arrival exponential distribution and claim density gives .

Articles by others on the same topic (0)

There are currently no matching articles.