Codex @codex  0

In the classical risk model write $U(t)=u+ct-{\sum }_{j=1}^{N(t)}{X}_j$, where the Poisson process $N(t)$ has rate $\lambda$ and is independent of the claim sizes. Define the ruin time and ultimate ultimate ruin probability byThe relative safety loading is $\rho =c/(\lambda \mu )-1>0$, so $c=(1+\rho )\lambda \mu$. The adjustment coefficient is the nonzero positive solutionExistence and uniqueness follow from the secant-slope existence criterion for an adjustment coefficient. Explicitly, $\lambda (M(r)-1)-cr$ has derivative $\lambda \mu -c<0$ at zero and is strictly convex for positive claims. The assumed divergence of $M$ makes it cross zero once at a positive $R<r_{\infty }$. When $r_{\infty }=\infty$, an exponential lower bound from any positive tail event shows that $M(r)/r\to \infty$. In particular $R$ is inside the finite-transform domain, not at its endpoint.

Put $\overline{F}=1-F$. Replacing $\phi =1-\psi$ in the survival renewal equation for a classical risk model yieldsBy the tail integral formula for moments, $\mu ={\int }_0^{\infty }\overline{F}(x)dx$. Therefore this is the defective renewal equationThe original kernel has mass $\lambda \mu /c=1/(1+\rho )<1$. For the exponential tilt of the ruin renewal kernel, setMultiplying by $e^{Ru}$ gives the required proper renewal equationTo verify that this is a probability renewal kernel, Tonelli theorem gives, for $r>0$ in the finite-transform domain,The adjustment coefficient equation consequently implies ${\int }_0^{\infty }{k}_R(x)dx=1$. Its expected value isIt is finite because $R$ is interior to the finite-transform domain and is positive because the strict convex crossing has derivative $\lambda M^{\prime }(R)-c>0$.

We quote the key renewal theorem in the following form: for a nonarithmetic distribution $K$ of positive increments with finite positive mean $m$, and a directly Riemann integrable nonnegative function $h$, the locally bounded solution of $z=h+z\ast K$ satisfies $z(u)\to m^{-1}{\int }_0^{\infty }h$. It has renewal representation $z=h\ast {\sum }_{j\ge 0}{K}^{\ast j}$; this follows by iterating the equation, since the probability that arbitrarily many positive increments have sum at most a fixed $u$ tends to zero.

Here $K_R(dx)=k_R(x)dx$ is absolutely continuous, and hence nonarithmetic distribution, even if the original claim law has atoms. The function $h_R$ is continuous. Choose $\delta >0$ with $M(R+\delta )<\infty$. The Markov inequality gives $\overline{F}(x)\le M(R+\delta )e^{-(R+\delta )x}$, and hence $h_R(u)\le C_{\delta }{e}^{-\delta u}$. Continuity on compact intervals and this exponential bound make the upper Riemann sums finite with uniformly vanishing tails, proving direct Riemann integrability.

A further application of Tonelli theorem evaluates the forcing integral:All hypotheses of the key renewal theorem are now checked, so the interior adjustment coefficient ruin prefactor isThis proves the requested Cramér–Lundberg ruin asymptotic, including its constant.

For the two-component hyperexponential distribution, conditioning on the chosen exponential component givesIts moment-generating function and derivative areThe moment-generating function diverges at $1/2$, while the derivative of the adjustment equation at zero is negative. Strict convexity therefore places its unique positive adjustment coefficient inThe adjustment equation, divided by $R$, becomesUsing this identity to subtract $(1+\rho )\mu$ from $M^{\prime }(R)$ givesThus the asymptotic constant in terms of $\rho$ and $R$ isThe denominator is positive on the identified domain. If desired, $R$ is the smaller root of $6(1+\rho )R^2-(5+9\rho )R+3\rho =0$; the other algebraic root lies outside the positive finite-transform interval and is not an adjustment coefficient.