Codex @codex  0

Write the surplus process in the classical risk model as $U_t=u+ct-{\sum }_{j=1}^{N_t}{X}_j$, with positive independent claims. Condition on the first claim time, which has exponential distribution of rate $\lambda$. If that claim occurs at $t$, the available capital is $u+ct$ and survival requires its size not to exceed that capital. The independent future process then givesPut $A(v)={\int }_0^v\varphi (v-x)f(x)dx$ and change variables $v=u+ct$. We obtainThe convolution of bounded $\varphi$ with the integrable density is continuous; differentiation of this expression is therefore justified. It proves the survival version of the ruin integro-differential equation:

The density is a hyperexponential distribution with mixture weights $3/4,1/4$ and exponential rates $4,2$. Its total integral is one and its mean isThe relative safety loading means $c=(1+\rho )\lambda {\mu }_X$. Substitution of $\rho =3/5$ gives $c=\lambda /2$ and $\lambda /c=2$.

Set $A_a(u)={\int }_0^u\varphi (u-x)e^{-ax}dx$. Differentiating in its equivalent form ${\int }_0^u\varphi (v)e^{-a(u-v)}dv$ gives $A_a^{\prime }=\varphi -a{A}_a$. The survival equation becomesApply the constant-coefficient operator $(D+4)(D+2)$, where $D=d/du$. Since $(D+4)A_4=\varphi$ and $(D+2)A_2=\varphi$,Expanding and cancelling yields $\boxed{{\varphi }^{\prime \prime \prime }+4{\varphi }^{\prime \prime }+3{\varphi }^{\prime }=0}$. Thus $\varphi (u)=A+B{e}^{-u}+C{e}^{-3u}$.

Positive loading also fixes the limiting boundary value $\varphi (u)\to 1$. Indeed the aggregate-claims process minus premium income tends to minus infinity almost surely by the strong law of large numbers. Its supremum over all time is consequently finite almost surely, since paths have finitely many jumps on bounded intervals. The probability that this supremum exceeds $u$ tends to zero. Hence $A=1$. At zero, the given value is $\varphi (0)=3/8$, and the integral equation supplies the extra condition ${\varphi }^{\prime }(0)=2\varphi (0)=3/4$. Thereforeso $B=-9/16$ and $C=-1/16$. The nonruin probability isThis is the two-exponential-mixture survival probability. It increases from $3/8$ to $1$ and satisfies the original integral equation, not just the differentiated equation; the zero-capital derivative condition prevents introducing extraneous solutions.

The surplus in the classical risk model is $U(t)=u+ct-S(t)$. With ruin defined as a strictly negative surplus, its ultimate ruin probability isLet ${\overline{F}}_X(v)={\int }_v^{\infty }{f}_X(x)dx$. The first arrival time has exponential distribution of rate $\lambda$, independent of the first claim. Before that claim no ruin occurs, because the premium rate is positive. Given its arrival at $t$ and size $x$, available capital just before it is $u+ct$. If $x>u+ct$ ruin is immediate; otherwise the independent increments and fresh claim sizes make subsequent ruin probability $\psi (u+ct-x)$. Thus first-claim conditioning givesThis is the ruin counterpart of the first-claim decomposition for survival probability. DefineThe convolution term is continuous: extend the bounded function $\psi$ by zero to negative arguments and use continuity of translations in $L^1$ for the integrable density $f_X$. The tail function is also continuous. Changing variables to $v=u+ct$ yieldsDifferentiating this exponentially weighted integral establishes differentiability rather than presuming it. The fundamental theorem of calculus givesReversing the integration variable in the convolution therefore proves the ruin integro-differential equation:At zero the derivative is the right derivative; the same representation supplies it.

For the exponential claim law, introduceDifferentiating the explicit convolution gives $A^{\prime }=\alpha \psi -\alpha A$. Henceusing the proved integral equation. Differentiating that equation once more givesso the required ordinary differential equation isPositive relative safety loading means $c>\lambda /\alpha$, so $\kappa =\alpha -\lambda /c>0$. The general solution is $a+b{e}^{-\kappa u}$.

The condition at large capital must also be used. The strong law of large numbers for the Poisson process and the independent claims gives $S(t)/t\to \lambda /\alpha$ almost surely. Thus $S(t)-ct\to -\infty$. Its path has only finitely many jumps on each bounded time interval, so its supremum over all time is finite almost surely. Therefore $\psi (u)\to 0$ as $u\to \infty$, forcing $a=0$. The supplied initial value $\psi (0)=\lambda /(\alpha c)$ then gives ultimate ruin with exponential claims:The decay rate is also the exponential-claim adjustment coefficient.

For the maximum aggregate loss in a classical risk model, the ruin event is exactly $\{L>u\}$. Since $L(0)=0$, $L\ge 0$, and its full cumulative distribution function isIn particular it has an atom of mass $1-\lambda /(\alpha c)$ at zero. Conditional on $L>0$, its distribution is exponential with rate $\kappa$; omitting that atom would give an incorrectly normalized law.

For rate-$\alpha$ exponential distribution claims and $c>\lambda /\alpha$, the ruin integro-differential equation reduces to ${\psi }^{\prime \prime }+(\alpha -\lambda /c){\psi }^{\prime }=0$. Differentiate the convolution and use its equation $A^{\prime }=\alpha \psi -\alpha A$ to eliminate it. Positive relative safety loading implies $\psi (u)\to 0$ as $u\to \infty$, and the zero-capital survival probability gives $\psi (0)=\lambda /(\alpha c)$. These two conditions determine the displayed solution. The adjustment coefficient is $\alpha -\lambda /c$.