1 Introduction
We here study the classical Cramér–Lundberg risk process $\{R(t):t\ge 0\}$, see [2] or [14], given by
The constant $u\ge 0$ is the initial capital, $c>0$ is the premium per unit of time which is also assumed to be constant, $N(t)$ is a Poisson process with intensity $\lambda >0$, and ${X_{1}},{X_{2}},\dots $ are i.i.d. random variables representing the claims’ amounts. It is usually assumed that the process of claims’ amounts is independent of the Poisson process.
The model (1) is one of the simplest representations of the time evolution of the capital of an insurance company. A historical exposition of it can be found in [11]. It was introduced by F. Lundberg in 1903, see [28], and was later revised in 1926, see [29]. The model is now known in terms of the theory of stochastic processes and that was due to the work of 1930 by H. Cramér, see [10]. The time of ruin τ is defined as the first instant of time when a negative value is taken by the process (1), that is, $\tau =\inf \hspace{0.1667em}\{t>0:R(t)<0\}$. In the case when this set is empty we define $\tau =\infty $, i.e. the ruin never occurs.
The ultimate ruin probability, denoted by $\psi (u)$, is the probability of the occurrence of the event $(R(t)<0)$ for some finite $t>0$. One of the major problems in the mathematical theory of ruin is to find $\psi (u)$ for a given distribution of the claims, not only for the Cramér–Lundberg model (1) but also for the numerous generalizations that have been proposed and studied since the work of Cramér, e.g., [1, 8, 9, 13, 15, 17, 22, 24, 26, 27, 40, 41]. Unfortunately, closed-form expressions for $\psi (u)$ are hard to find in general, see [2], and much effort has been directed to approximate, bound, numerically compute or study the limiting behavior of $\psi (u)$ as $u\to \infty $, see, e.g., [3, 6, 7, 12, 16, 18, 19, 31, 37, 46]. In particular, see the recent results of A. Grigutis in [20] for a closed-form expression of $\psi (u)$ for the discrete version of the model (1). On the other hand, the Erlang mixture distribution has been frequently considered as a claims’ distribution because of its flexibility, see [25, 30, 32, 43–45].
Our aim here is to give an alternative approach to finding $\psi (u)$ in the Cramér–Lundberg model (1) under the hypothesis that claims take values according to a finite mixture of Erlang distributions. We will see that this assumption makes the connection with the theory of recurrence sequences possible. Theorem 1 stated below is our main result. It is a generalization of our previous findings in [35] and states that $\psi (u)$ admits a representation as a linear combination of exponential functions. For this to be possible, one needs to find the zeroes of a polynomial and solve a system of linear equations. The case when the polynomial has only simple roots is studied in [35], whereas in this work we allow for any multiplicity of the roots. Furthermore, in [36] we have successfully applied the same procedure for a discrete-time risk process with finite negative binomial mixture claims and found an expression for $\psi (u)$ in both cases: simple and general roots.
We first define the Erlang mixture distributions of our interest and then use the known formula (6) below to prove our main formula (21). Two numerical examples are given to empirically show our results. The safety loading for the Cramér–Lundberg model (1), also known as the net profit condition, is given by $c>\lambda \mu $. This critical condition can be written as $c=(1+\theta )\lambda \mu $ for some $\theta >0$, and it is also known as the premium loading factor. It is well known, see [2], that when the net profit condition is not satisfied, the ultimate ruin is certain, which is not desirable. It is also known, see [14], that for null initial capital, i.e. $u=0$, we have $\psi (0)=\lambda \mu /c=1/(1+\theta )$ for $\theta >0$. As it is customary, the survival probability $\mathbb{P}(X>x)$ is denoted by $\overline{F}(x)$, and the letters d.f. refer to the distribution function of a random variable.
2 Erlang mixture distributions
The density of the Erlang distribution is denoted by $\text{erlang}(k,\beta )(x)$, that is,
We denote this by writing $S\sim \text{ErM}(\boldsymbol{\pi },\beta )$. The identity (2) defines an infinite mixture of Erlang distributions with the vector $\boldsymbol{\pi }$ being the discrete mixing distribution. The variable N is referred to as the counting random variable of S and it is known that $\mathbb{E}(S)=\mathbb{E}(N)/\beta $. If $F(x)$ is a continuous d.f. on $[0,\infty )$ and for each natural number n, one defines
with ${f_{n}}(k)$ defined as the difference between $F(k/n)$ and $F((k-1)/n)$, for $k\ge 1$, then a theorem by Schassberger, see [38], states that ${F_{n}}(x)\to F(x)$ pointwise as $n\to \infty $. Furthermore, when $F(x)$ has bounded support, there is uniformity in the convergence. A proof of these claims can be found in Tijms [42] and in Lee and Lin [25]. On the other hand, some methods used to calculate $\psi (u)$ require knowing the equilibrium distribution of the random variables used in a given risk model. More specifically, given a nonnegative r.v. X with d.f. $F(x)$ and mean $\mu <\infty $, its equilibrium distribution is defined as
\[ \text{erlang}(k,\beta )(x)=\frac{{(\beta x)^{k-1}}}{(k-1)!}\hspace{0.1667em}\beta \hspace{0.1667em}{e^{-\beta x}},\hspace{1em}\hspace{2.5pt}x>0.\]
where $k\ge 1$ is an integer and $\beta >0$. We use $\text{Erlang}(k,\beta )(x)$ for its d.f. In the case $k=1$, the above reduces to the $\text{exp}(\beta )$ distribution. We denote by $\boldsymbol{\pi }$ the probability function $({f_{N}}(1),{f_{N}}(2),\dots )$ of a r.v. N with values $1,2,\dots $ On the other hand, a r.v. S is distributed according to an Erlang mixture with parameters $\boldsymbol{\pi }$ and $\beta >0$ when its density is
(2)
\[ f(x)={\sum \limits_{k=1}^{\infty }}{f_{N}}(k)\cdot \text{erlang}(k,\beta )(x),\hspace{1em}x>0.\](3)
\[ {F_{n}}(x)={\sum \limits_{k=1}^{\infty }}{f_{n}}(k)\hspace{0.1667em}\text{Erlang}(k,n)(x),\hspace{1em}x>0.\]We use the letters e.d. for the term equilibrium distribution. It is straightforward to show that ${f_{e}}(x)$ is a genuine probability or density function. For example, it can be shown, see [37], that the e.d. of $\text{ErM}(\boldsymbol{\pi },\beta )$ is $\text{ErM}({\boldsymbol{\pi }_{e}},\beta )$, where ${\boldsymbol{\pi }_{e}}$ is the distribution of ${N_{e}}$ given by the sequence
where ${\overline{F}_{N}}(k-1)=\mathbb{P}(N>k-1)$.
3 Recurrence sequences applied to ruin probabilities
As in our previous work [35], the starting point in our analysis is the ruin probability formula
for the Cramér–Lundberg model (1), where ${Z_{\beta u}}\sim \text{Poisson}(\beta u)$ and
with claims having a distribution as defined in (2). The formula (6) can be found in Klugman et al. [23] and a detailed proof is given in [35]. It is clear that the sequence ${\overline{C}_{0}},{\overline{C}_{1}},\dots $ plays a crucial role in the determination of the ruin probability. This sequence of positive numbers is defined recursively as shown in (8) and clearly depends on N through the distribution of ${N_{e}}$. From the recursive relation (8), it can be shown that ${\overline{C}_{0}}>{\overline{C}_{1}}>\cdots \hspace{0.1667em}$ and that ${\overline{C}_{n}}\to 0$ as $n\to \infty $.
(6)
\[ \psi (u)={\sum \limits_{n=0}^{\infty }}{\overline{C}_{n}}\hspace{0.1667em}\mathbb{P}({Z_{\beta u}}=n),\hspace{1em}u>0,\](7)
\[\begin{array}{r@{\hskip10.0pt}c@{\hskip10.0pt}l}\displaystyle {\overline{C}_{0}}& \displaystyle =& \displaystyle \Psi (0)=1/(1+\theta ),\end{array}\](8)
\[\begin{array}{r@{\hskip10.0pt}c@{\hskip10.0pt}l}\displaystyle {\overline{C}_{n}}& \displaystyle =& \displaystyle {\overline{C}_{0}}\left[\hspace{2.5pt}{\sum \limits_{j=1}^{n}}{f_{{N_{e}}}}(j)\hspace{0.1667em}{\overline{C}_{n-j}}+{\overline{F}_{{N_{e}}}}(n)\hspace{2.5pt}\right],\hspace{1em}n\ge 1,\end{array}\]For the method proposed in this work to successfully operate it is essential to assume that N has finite support $\{1,\dots ,m\}$ for some fixed integer $m\ge 1$, that is, $\boldsymbol{\pi }=({f_{N}}(1),\dots ,{f_{N}}(m),0,\dots \hspace{0.1667em})$, where ${f_{N}}(1)+\cdots +{f_{N}}(m)=1$. In particular, we assume that ${f_{N}}(m)>0$. For distributions $\boldsymbol{\pi }$ of this type we call (2) a finite Erlang mixture distribution. That is denoted by $\text{finiteErM}(\boldsymbol{\pi },\beta )$ and its density is given by
This will be the distribution assumed for the claims in the Cramér–Lundberg model (1). The distribution of the associated r.v. ${N_{e}}$ is given by the numbers ${f_{{N_{e}}}}(1)\ge {f_{{N_{e}}}}(2)\ge \cdots \ge {f_{{N_{e}}}}(m)$, which are the first m terms of (5).
Example 1.
Suppose that $N=m$ ($\ge 1$) is constant, i.e. ${f_{N}}(m)=1$. Then the mixture distribution (9) reduces to the $\text{erlang}(m,\beta )$ distribution and it can be shown that ${N_{e}}$ is uniformly distributed on $\{1,\dots ,m\}$. More particularly, when $m=1$ the mixture distribution (9) is the $\text{Exp}(\beta )$ distribution and $N={N_{e}}=1$. In this simple case, the recursive relation (8) for ${\overline{C}_{n}}$ can be easily solved giving ${\overline{C}_{n}}={\overline{C}_{0}^{n+1}}={[1/(1+\theta )]^{n+1}}$, for $n\ge 0$. Substituting in (6) and some further simplifications yield the well-known formula, see [2] or [14], of the ruin probability for $\text{Exp}(\beta )$ claims,
Our goal is to solve the recurrence relation (8) for ${\overline{C}_{n}}$ in the $\text{finiteErM}(\boldsymbol{\pi },\beta )$ case, where the first m terms ${\overline{C}_{0}},\dots ,{\overline{C}_{m-1}}$ are taken as initial data. Once this is done we can substitute the values of ${\overline{C}_{n}}$ in (6) to find $\psi (u)$. The following procedure is the same as that used in [35]. Define the decreasing and strictly positive sequence
where, clearly, $1>{\alpha _{1}}\ge {\alpha _{2}}\ge \cdots \ge {\alpha _{m-1}}\ge {\alpha _{m}}>0$ and ${\alpha _{1}}+\cdots +{\alpha _{m}}=1/(1+\theta )<1$. One can then prove, see [35], that the recursive relation (8) can be written as the following m-order recurrence sequence
where ${\overline{C}_{0}},\dots ,{\overline{C}_{m-1}}$ are the initial values. The characteristic polynomial associated with the recurrence sequence (12), see [5], being
It is known that, see [5] or [39], the solution of (12) can be written as a function of the zeroes of (13). Using standard basic results from the theory of polynomials, see [35], it can be shown that the polynomial (13) has a unique root ${z_{1}}$ which is positive and is such that $0 < |z| < {z_{1}} < 1$ for any other root z. Also, the roots of (13) occur in conjugate pairs since (13) has real coefficients. In the following section we will solve (12) and write $\psi (u)$ in terms of the zeroes of (13).
(11)
\[ {\alpha _{j}}={\overline{C}_{0}}\hspace{0.1667em}{f_{{N_{e}}}}(j)=\frac{{\overline{F}_{N}}(j-1)}{(1+\theta )\mathbb{E}(N)},\hspace{1em}j=1,\dots ,m,\](12)
\[ {\overline{C}_{m+n}}-{\sum \limits_{j=0}^{m-1}}{\alpha _{m-j}}\hspace{0.1667em}{\overline{C}_{j+n}}=0,\hspace{1em}n=0,1,\dots \]4 A new formula for $\psi (u)$
Suppose the solutions of $p(y)=0$ are not necessarily simple. Let ${z_{1}},\dots ,{z_{\ell }}$ be the roots and assume their multiplicities are ${n_{1}},\dots ,{n_{\ell }}$, respectively, where $1\le \ell \le m$ and ${n_{1}}+\cdots +{n_{\ell }}=m$. Suppose ${z_{1}}>0$ is the unique positive root which we know has multiplicity ${n_{1}}=1$. Thus, (13) can be written as
It can be shown, see [39, p. 55], that the solution of (12) is
where the m constants ${b_{k,j}}$ are chosen so that (15) meets the initial data ${\overline{C}_{0}},\dots ,{\overline{C}_{m-1}}$. This yields the system of linear equations
where
(15)
\[ {\overline{C}_{n}}={\sum \limits_{k=1}^{\ell }}{\sum \limits_{j=1}^{{n_{k}}}}{b_{k,j}}\hspace{0.1667em}{n^{j-1}}\hspace{0.1667em}{z_{k}^{n}},\hspace{1em}n=0,1,\dots ,\](16)
\[ {\mathbf{Z}_{m\times m}}\cdot {\mathbf{b}_{m\times 1}}={\mathbf{\overline{C}}_{m\times 1}},\]
\[ {\mathbf{b}_{m\times 1}}=\left(\begin{array}{l}{b_{1,1}}\\ {} {b_{2,1}}\\ {} \vdots \\ {} {b_{2,{n_{2}}}}\\ {} \vdots \\ {} {b_{\ell ,1}}\\ {} \vdots \\ {} {b_{\ell ,{n_{\ell }}}}\end{array}\right),\hspace{1em}{\mathbf{\overline{C}}_{m\times 1}}=\left(\begin{array}{l}{\overline{C}_{0}}\\ {} {\overline{C}_{1}}\\ {} \vdots \\ {} {\overline{C}_{m-1}}\end{array}\right),\]
and the matrix Z has the form
\[ {\mathbf{Z}_{m\times m}}=\left(\begin{array}{c|c@{\hskip10.0pt}c@{\hskip10.0pt}c@{\hskip10.0pt}c|c|c@{\hskip10.0pt}c@{\hskip10.0pt}c@{\hskip10.0pt}c}\mathbf{{\underline{Z}_{1}}}& \mathbf{{\underline{Z}_{2,1}}}& \mathbf{{\underline{Z}_{2,2}}}& \cdots & \mathbf{{\underline{Z}_{2,{n_{2}}}}}& \cdots & \mathbf{{\underline{Z}_{\ell ,1}}}& \mathbf{{\underline{Z}_{\ell ,2}}}& \cdots & \mathbf{{\underline{Z}_{\ell ,{n_{\ell }}}}}\end{array}\right),\]
where the vertical lines help to visually separate the column vectors
\[ \mathbf{{\underline{Z}_{1}}}=\left(\begin{array}{l}1\\ {} {z_{1}}\\ {} {z_{1}^{2}}\\ {} \vdots \\ {} {z_{1}^{m-1}}\end{array}\right),\hspace{1em}{\mathbf{\underline{Z}}_{k,j}}=\left(\begin{array}{c}{1_{(j=1)}}\\ {} {z_{k}}\\ {} {2^{j-1}}{z_{k}^{2}}\\ {} \vdots \\ {} {(m-1)^{j-1}}{z_{k}^{m-1}}\end{array}\right),\]
for $k=2,\dots ,\ell $ and $j=1,\dots ,{n_{k}}$. Observe that the multiplicity of the roots determines the blocks of column vectors. For a better understanding of the system (16), see Examples 2, 3 and 4 below for some particular cases of Z. The m initial values ${\overline{C}_{0}}>\cdots >{\overline{C}_{m-1}}$ are all real, positive and are computed using (8). On the other hand, the numbers ${b_{k,1}},\dots ,{b_{k,{n_{k}}}}$ are associated with the root ${z_{k}}$, for $k=1,\dots ,\ell $, and can be real or complex depending on the nature of ${z_{k}}$. This is explained in the following statement.Proposition 1.
For the characteristic polynomial (13), the following holds.
-
1. If two roots ${z_{k}}$ and ${z_{j}}$ are complex conjugates and have multiplicity n, then the associated coefficients ${b_{k,1}},\dots ,{b_{k,n}}$ and ${b_{j,1}},\dots ,{b_{j,n}}$, are also complex conjugates, respectively.
-
2. If a root ${z_{k}}$ is real with multiplicity ${n_{k}}$, then all the associated coefficients ${b_{k,1}},\dots ,{b_{k,{n_{k}}}}$ are also real.
Proof.
Taking complex conjugate of (16) yields the system $\overline{\mathbf{Z}}\cdot \overline{\mathbf{b}}=\mathbf{\overline{C}}$, where the right-hand side is the same real vector $\overline{C}$, here the upper bar does not denote conjugate. The matrix $\overline{\mathbf{Z}}$ is the same as Z but now every complex root ${z_{k}}$ is interchanged with its conjugate ${\overline{z}_{k}}$. Denote by $({b_{k,1}},\dots ,{b_{k,{n_{k}}}})$ and $({b_{k+1,1}},\dots ,{b_{k+1,{n_{k}}}})$ the subvectors of b associated with the roots ${z_{k}}$ and ${\overline{z}_{k}}$, respectively. Rearranging the columns of the matrix $\overline{\mathbf{Z}}$ so that the original matrix Z is again reconstructed, the positions of the subvectors $({\overline{b}_{k,1}},\dots ,{\overline{b}_{k,{n_{k}}}})$ and $({\overline{b}_{k+1,1}},\dots ,{\overline{b}_{k+1,{n_{k}}}})$ are interchanged. Assuming that the solution of (16) is unique, we have the equality
\[ ({b_{k+1,1}},\dots ,{b_{k+1,{n_{k}}}})=({\overline{b}_{k,1}},\dots ,{\overline{b}_{k,{n_{k}}}}).\]
This means that the entries of $\overline{\mathbf{b}}$ associated with a complex root ${z_{k}}$ and those of its conjugate ${\overline{z}_{k}}$ are also conjugates. For the second statement, when a root ${z_{k}}$ is real, the same argument of taking conjugate of (16) and the assumption of a unique solution for the linear system can be used to obtain that the associated values ${b_{k,1}},\dots ,{b_{k,{n_{k}}}}$ are such that ${b_{k,1}}={\overline{b}_{k,1}}$, …, ${b_{k,{n_{k}}}}={\overline{b}_{k,{n_{k}}}}$, that is, they are all real. □In Examples 2, 3 and 4 below we show particular instances of the system (16) where the two statements of the last proposition can be verified. In particular, for the unique positive real root ${z_{1}}$ we know that it is a simple root and its associated term ${b_{1,1}}$, which can be written simply as ${b_{1}}$, is real. We suspect ${b_{1}}$ is a positive number, however, a proof of this claim does not seem to be immediate and would require further technical analysis of the linear system (16).
This claim will be numerically verified for some examples in Section 6 and will be used to propose an approximation for the ruin probability in Section 5.
Example 2.
The equation (17) below shows a section of the system (16) related with two conjugate roots ${z_{k}}$ and ${z_{k+1}}=\overline{{z_{k}}}$ with common multiplicity $n=3$. The entries of the vector ${\mathbf{b}_{m\times 1}}$ related with those roots are written as $({b_{k,1}},{b_{k,2}},{b_{k,3}})$ and $({b_{k+1,1}},{b_{k+1,2}},{b_{k+1,3}})$, respectively.
As explained before, taking conjugate of this system and rearranging the columns of the matrix so that the original matrix Z is again obtained, the position of the values ${\overline{b}_{k,1}}$, ${\overline{b}_{k,2}}$, ${\overline{b}_{k,3}}$ and ${\overline{b}_{k+1,1}}$, ${\overline{b}_{k+1,2}}$, ${\overline{b}_{k+1,3}}$ are interchanged. Then the assumption of a unique solution to the system implies that the identity $({b_{k+1,1}},{b_{k+1,2}},{b_{k+1,3}})=({\overline{b}_{k,1}},{\overline{b}_{k,2}},{\overline{b}_{k,3}})$ must hold.
(17)
\[ \left(\begin{array}{c|c@{\hskip10.0pt}c@{\hskip10.0pt}c|c@{\hskip10.0pt}c@{\hskip10.0pt}c|c}\cdots & 1& 0& 0& 1& 0& 0& \cdots \\ {} \cdots & {z_{k}}& {z_{k}}& {z_{k}}& {\overline{z}_{k+1}}& {\overline{z}_{k+1}}& {\overline{z}_{k+1}}& \cdots \\ {} \cdots & {z_{k}^{2}}& 2{z_{k}^{2}}& 4{z_{k}^{2}}& {\overline{z}_{k+1}^{2}}& 2{\overline{z}_{k+1}^{2}}& 4{\overline{z}_{k+1}^{2}}& \cdots \\ {} \cdots & {z_{k}^{3}}& 3{z_{k}^{3}}& 9{z_{k}^{3}}& {\overline{z}_{k+1}^{3}}& 3{\overline{z}_{k+1}^{3}}& 9{\overline{z}_{k+1}^{3}}& \cdots \\ {} \cdots & {z_{k}^{4}}& 4{z_{k}^{4}}& 16{z_{k}^{4}}& {\overline{z}_{k+1}^{4}}& 4{\overline{z}_{k+1}^{4}}& 16{\overline{z}_{k+1}^{4}}& \cdots \\ {} \cdots & {z_{k}^{5}}& 5{z_{k}^{5}}& 25{z_{k}^{5}}& {\overline{z}_{k+1}^{5}}& 5{\overline{z}_{k+1}^{5}}& 25{\overline{z}_{k+1}^{5}}& \cdots \\ {} \cdots & \vdots & \vdots & \vdots & \vdots & \vdots & \vdots & \cdots \end{array}\right)\left(\begin{array}{l}\vdots \\ {} \text{-----}\\ {} {b_{k,1}}\\ {} {b_{k,2}}\\ {} {b_{k,3}}\\ {} \text{-----}\\ {} {b_{k+1,1}}\\ {} {b_{k+1,2}}\\ {} {b_{k+1,3}}\\ {} \text{-----}\\ {} \vdots \end{array}\right)=\mathbf{\overline{C}}.\]Example 3.
Here we consider the case $m=7$ with $\ell =3$ roots ${z_{1}}$, ${z_{2}}$ and ${z_{3}}$, with multiplicities ${n_{1}}=1$, ${n_{2}}=4$ and ${n_{3}}=2$, respectively. Then the sysem (16) reads
The vertical and horizontal lines on the left-hand side of (18) separate the terms associated with the 3 different roots. Observe that the roots ${z_{2}}$ and ${z_{3}}$ are not conjugates, otherwise, they would have the same multiplicity. Moreover, ${z_{2}}$ and ${z_{3}}$ are not complex since their conjugates do not appear in the linear system.
(18)
\[ \left(\begin{array}{c|c@{\hskip10.0pt}c@{\hskip10.0pt}c@{\hskip10.0pt}c|c@{\hskip10.0pt}c}1& 1& 0& 0& 0& 1& 0\\ {} {z_{1}}& {z_{2}}& {z_{2}}& {z_{2}}& {z_{2}}& {z_{3}}& {z_{3}}\\ {} {z_{1}^{2}}& {z_{2}^{2}}& 2{z_{2}^{2}}& 4{z_{2}^{2}}& 8{z_{2}^{2}}& {z_{3}^{2}}& 2{z_{3}^{2}}\\ {} {z_{1}^{3}}& {z_{2}^{3}}& 3{z_{2}^{3}}& 9{z_{2}^{3}}& 27{z_{2}^{3}}& {z_{3}^{3}}& 3{z_{3}^{3}}\\ {} {z_{1}^{4}}& {z_{2}^{4}}& 4{z_{2}^{4}}& 16{z_{2}^{4}}& 64{z_{2}^{4}}& {z_{3}^{4}}& 4{z_{3}^{4}}\\ {} {z_{1}^{5}}& {z_{2}^{5}}& 5{z_{2}^{5}}& 25{z_{2}^{5}}& 125{z_{2}^{5}}& {z_{3}^{5}}& 5{z_{3}^{5}}\\ {} {z_{1}^{6}}& {z_{2}^{6}}& 6{z_{2}^{6}}& 36{z_{2}^{6}}& 216{z_{2}^{6}}& {z_{3}^{6}}& 6{z_{3}^{6}}\end{array}\right)\left(\begin{array}{c}{b_{1}}\\ {} \text{-----}\\ {} {b_{2,1}}\\ {} {b_{2,2}}\\ {} {b_{2,3}}\\ {} {b_{2,4}}\\ {} \text{-----}\\ {} {b_{3,1}}\\ {} {b_{3,2}}\end{array}\right)=\left(\begin{array}{c}{\overline{C}_{0}}\\ {} {\overline{C}_{1}}\\ {} {\overline{C}_{2}}\\ {} {\overline{C}_{3}}\\ {} {\overline{C}_{4}}\\ {} {\overline{C}_{5}}\\ {} {\overline{C}_{6}}\end{array}\right).\]Example 4.
Consider the case when all the roots have multiplicity 1, i.e. $\ell =m$ and ${n_{1}}=\cdots ={n_{\ell }}=1$. The relation (15) reduces to ${\overline{C}_{n}}={\textstyle\sum _{k=1}^{m}}{b_{k}}\hspace{0.1667em}{z_{k}^{n}},\hspace{2.5pt}n\ge 0$, where ${b_{k}}$ is ${b_{k,1}}$ and the linear system (16) is shown below in the equation (19). Observe the matrix of this system is the transpose of a complex Vandermonde matrix, see [21],
This simple case is studied in [35], where some theoretical and numerical examples are given. The formula derived for the ruin probability, in this case, has the rather manageable form
This is a ruin probability formula for the risk process (1) with claims following a finite Erlang mixture distribution defined as in (9) and under the assumption that the underlying characteristic polynomial (13) only has simple roots.
(19)
\[ \left(\begin{array}{c@{\hskip10.0pt}c@{\hskip10.0pt}c@{\hskip10.0pt}c}1& 1& \cdots & 1\\ {} {z_{1}}& {z_{2}}& \cdots & {z_{m}}\\ {} \vdots & \vdots & \ddots & \vdots \\ {} {z_{1}^{m-1}}& {z_{2}^{m-1}}& \cdots & {z_{m}^{m-1}}\end{array}\right)\left(\begin{array}{c}{b_{1}}\\ {} {b_{2}}\\ {} \vdots \\ {} {b_{m}}\end{array}\right)=\left(\begin{array}{c}{\overline{C}_{0}}\\ {} {\overline{C}_{1}}\\ {} \vdots \\ {} {\overline{C}_{m-1}}\end{array}\right).\](20)
\[ \psi (u)={\sum \limits_{k=1}^{m}}{b_{k}}\hspace{0.1667em}{e^{-\beta (1-{z_{k}})u}},\hspace{1em}u\ge 0.\]We are now ready to state and prove our main result. This is a general version of (20) where now the roots of the characteristic polynomial have no constraints on their multiplicity.
Theorem 1.
For the Cramér–Lundberg model (1), let the claim sizes have a distribution as in (9). Let ${z_{1}},\dots ,{z_{\ell }}$, $1\le \ell \le m$, be the zeroes of (13) with multiplicities ${n_{1}},\dots ,{n_{\ell }}$, respectively, and let ${b_{1}},{b_{2,1}},\dots ,{b_{2,{n_{2}}}},\dots ,{b_{\ell ,1}},\dots ,{b_{\ell ,{n_{\ell }}}}$ be the solution of (16). Then
where ${H_{j}}({z_{k}},\beta ,u)=1$ for $j=0$, and
and
(21)
\[ \psi (u)={\sum \limits_{k=1}^{\ell }}{\sum \limits_{j=0}^{{n_{k}}-1}}{b_{k,j+1}}\hspace{0.1667em}{e^{-\beta (1-{z_{k}})u}}\hspace{0.1667em}{H_{j}}({z_{k}},\beta ,u),\hspace{1em}u\ge 0,\]Proof.
We make use of the following extension of Philipson’s formula, see [33], which provides an expression for the moments of a Poisson distribution. Let λ be a real or complex number, for any integer $j\ge 1$,
where ${F_{\lambda }}(x)={\textstyle\sum _{v=0}^{x}}{(-\lambda )^{v}}/v!$ for $x=0,1,\dots \hspace{0.1667em}$. A proof of (23) can be found in the Appendix. Substituting the expression (15) for ${\overline{C}_{n}}$ in (6) yields
(23)
\[ {\sum \limits_{n=0}^{\infty }}{n^{j}}\hspace{0.1667em}\frac{{\lambda ^{n}}}{n!}={\sum \limits_{s=1}^{j}}\frac{{s^{j}}}{s!}{\lambda ^{s}}{F_{\lambda }}(j-s){e^{\lambda }},\]
\[\begin{array}{r@{\hskip10.0pt}c@{\hskip10.0pt}l}\displaystyle \psi (u)& \displaystyle =& \displaystyle {\sum \limits_{n=0}^{\infty }}\left[{\sum \limits_{k=1}^{\ell }}{\sum \limits_{j=0}^{{n_{k}}-1}}{b_{k,j+1}}\hspace{0.1667em}{n^{j}}\hspace{0.1667em}{z_{k}^{n}}\right]\hspace{0.1667em}{e^{-\beta u}}\frac{{(\beta u)^{n}}}{n!}\\ {} & \displaystyle =& \displaystyle {b_{1,1}}\hspace{0.1667em}{e^{-\beta u}}\left[{\sum \limits_{n=0}^{\infty }}\frac{{({z_{1}}\beta u)^{n}}}{n!}\right]+{\sum \limits_{k=2}^{\ell }}{\sum \limits_{j=0}^{{n_{k}}-1}}{b_{k,j+1}}\hspace{0.1667em}{e^{-\beta u}}\left[{\sum \limits_{n=0}^{\infty }}{n^{j}}\frac{{({z_{k}}\beta u)^{n}}}{n!}\right].\end{array}\]
Observe that we have separated the cases $k=1$ and $k\ge 2$. In the first case, since ${n_{1}}=1$, the sum over j reduces to the constant ${b_{1,1}}$. Using equation (23),
\[\begin{array}{r@{\hskip10.0pt}c@{\hskip10.0pt}l}\displaystyle \psi (u)& \displaystyle =& \displaystyle {b_{1,1}}\hspace{0.1667em}{e^{-\beta u}}{e^{{z_{1}}\beta u}}\\ {} & & \displaystyle +{\sum \limits_{k=2}^{\ell }}{\sum \limits_{j=0}^{{n_{k}}-1}}{b_{k,j+1}}{e^{-\beta u}}\left[{\sum \limits_{s=1}^{j}}\frac{{s^{j}}}{s!}{({z_{k}}\beta u)^{s}}{F_{k}}(j-s,\beta ,u)\hspace{0.1667em}{e^{{z_{k}}\beta u}}\right]\\ {} & \displaystyle =& \displaystyle {b_{1,1}}\hspace{0.1667em}{e^{-\beta u(1-{z_{1}})}}+{\sum \limits_{k=2}^{\ell }}{\sum \limits_{j=0}^{{n_{k}}-1}}{b_{k,j+1}}\hspace{0.1667em}{e^{-\beta u(1-{z_{k}})}}\hspace{0.1667em}{H_{j}}({z_{k}},\beta ,u)\\ {} & \displaystyle =& \displaystyle {\sum \limits_{k=1}^{\ell }}{\sum \limits_{j=0}^{{n_{k}}-1}}{b_{k,j+1}}\hspace{0.1667em}{e^{-\beta (1-{z_{k}})u}}\hspace{0.1667em}{H_{j}}({z_{k}},\beta ,u),\end{array}\]
where
\[ {H_{j}}({z_{k}},\beta ,u)={1_{(j=0)}}+{\sum \limits_{s=1}^{j}}\frac{{s^{j}}}{s!}{({z_{k}}\beta u)^{s}}{F_{k}}(j-s,\beta ,u)\]
and ${F_{k}}(x,\beta ,u)={\textstyle\sum _{v=0}^{x}}{(-{z_{k}}\beta u)^{v}}/v!$ for $x=0,1,\dots \hspace{0.1667em}$. □Formula (21) and its simple case (20) show that the ruin probability can be expressed as a finite sum of exponentials of functions of the roots ${z_{k}}$, multiplied by a nontrivial polynomial in ${z_{k}}$. It is very interesting to observe that those exponentials are the probability generating functions of a $\text{Poisson}(\beta u)$ distribution evaluated at ${z_{k}}$ given by ${H_{j}}({z_{k}},\beta ,u)$, and that there are as many exponentials as there are different roots in the characteristic polynomial (13). Each root ${z_{k}}$ (real or complex) contributes to the ruin probability $\psi (u)$ and it is straightforward to show that the right-hand side of (21) is equal to its conjugate so that the whole formula yields a real number. In particular, the contribution of the unique positive root ${z_{1}}$ is given by the real number ${b_{1}}\hspace{0.1667em}{e^{-\beta u(1-{z_{1}})}}$, which is a positive number provided the conjecture ${b_{1}}>0$ holds. This will turn out to be the leading term in (21) and will be proposed as an approximation for $\psi (u)$ in Section 5 below. It is also reassuring to notice that in the case when all the roots ${z_{k}}$ are simple, we have $\ell =m$ and ${n_{1}}=\cdots ={n_{m}}=1$ and the formula (21) reduces to the known solution (20), where the constants ${b_{k,1}}$ are the solution ${b_{k}}$ to the system of equations (19). Observe also that, even with the assumption that the counting r.v. N has bounded support $\{1,\dots ,m\}$, the number of summands in the ruin probability formula (6) is always infinite, whereas the new formulas (20) and (21) involve only m terms.
As an example, it is shown in [35] that a $\text{finiteErM}(\boldsymbol{\pi },\beta )$ distribution can be seen as a phase-type distribution and our solution (20), in the case of simple roots, is the same as the well-known formula for $\psi (u)$ for phase-type claims, see [2]. In the general case, when not all roots are simple, it is still an open problem to show that the standard formula for $\psi (u)$ for phase-type claims is the same as our formula (21). The difficulty here lies in finding the exponential of a matrix that is not necessarily similar to a diagonal matrix.
5 An approximation
Formula (21) looks cumbersome as the whole expression contains four nested sums. However, it is an explicit expression of the ruin probability and its computer implementation is rather straightforward. In Section 6 below we give some numerical results to show particular values of the roots of the characteristic polynomial, the solution to the linear system, and the exact probability of ruin. The empirical results obtained from those computer experiments suggest the following ideas: consider an approximate solution to the linear system (16) of the form $({b_{1}},0,\dots ,0)$, see (18) for a particular example of the matrix Z, then the first two equations of the system yields
More explicitly, using (8) and the identity ${f_{{N_{e}}}}(1)=1/\mathbb{E}(N)$, the approximate value of ${z_{1}}$ is
\[\begin{array}{r@{\hskip10.0pt}c@{\hskip10.0pt}l}\displaystyle {\overline{C}_{1}}/{\overline{C}_{0}}& \displaystyle =& \displaystyle {f_{{N_{e}}}}(1)\hspace{0.1667em}{\overline{C}_{0}}+{\overline{F}_{{N_{e}}}}(1)\\ {} & \displaystyle =& \displaystyle \frac{1}{(1+\theta )\mathbb{E}(N)}+1-\frac{1}{\mathbb{E}(N)}\\ {} & \displaystyle =& \displaystyle 1-\frac{\theta }{(1+\theta )\mathbb{E}(N)}.\end{array}\]
Thus, when knowing the exact values of ${z_{1}}$ and ${b_{1}}$ we have the following approximation.Corollary 1.
For the Cramér–Lundberg model (1) with $\textit{finiteErM}({\boldsymbol{\pi }_{N}},\beta )$ claims,
This is a Lundberg-type approximation and, as mentioned before, is the contribution of the unique positive root ${z_{1}}$ to $\psi (u)$ in the formula (21). On the other hand, when ${z_{1}}$ and ${b_{1}}$ are unknown, the approximations (24) and (25) can be used to obtain the following estimate.
Corollary 2.
For the Cramér–Lundber model (1) with $\textit{finiteErM}({\boldsymbol{\pi }_{N}},\beta )$ claims,
6 Numerical examples
In this section, we show some numerical results of the calculation of the exact values of $\psi (u)$ using our main formula (21) and the two approximations ${\hat{\psi }_{1}}(u)$ and ${\hat{\psi }_{2}}(u)$ given in (26) and (27). We use R commands, see [4] and [34], to find the zeroes of (13) and to solve (16). Due to lack of space, we present only two examples. All of them show the case when some of the roots are complex and have a multiplicity larger than 1. In [35] we provided numerical examples in the case when all roots are simple. In all the examples shown below the conjecture ${b_{1}}>0$ is fulfilled and the relations stated in Proposition 1 regarding the roots ${z_{k}}$ and their associated numbers ${b_{k,1}},\dots ,{b_{k,{n_{k}}}}$ are verified.
Example 5.
Let $m=5$ and set $\beta =1/10$. Assume the coefficients ${\alpha _{j}}$ of (11) are
The distribution of the counting r.v. N is
where ${\alpha _{6}}:=0$. Also, ${\overline{C}_{0}}={\textstyle\sum _{j=1}^{5}}{\alpha _{j}}=0.01294389$, then $\theta ={\overline{C}_{0}^{-1}}-1\approx 76.25656$, $\mathbb{E}(N)={\textstyle\sum _{j=1}^{5}}j{f_{N}}(j)=1.001432$ and
(28)
\[ ({\alpha _{1}},\dots ,{\alpha _{5}})=\left(\frac{433}{33500},\frac{2459}{134\cdot {10^{6}}},\frac{21593}{134\cdot {10^{9}}},\frac{138453}{1072\cdot {10^{12}}},\frac{441}{1072\cdot {10^{12}}}\right).\](29)
\[\begin{aligned}{}\boldsymbol{\pi }& ={({f_{N}}(j))_{j=1}^{j=5}}\\ {} & ={\left(\frac{{\alpha _{j}}-{\alpha _{j+1}}}{{\alpha _{1}}}\right)_{j=1}^{j=5}}\\ {} & =(0.99858,1.4073\cdot {10^{-3}},1.2457\cdot {10^{-5}},9.9605\cdot {10^{-9}},3.1827\cdot {10^{-11}}),\end{aligned}\]
\[ {({f_{{N_{e}}}}(j))_{j=1}^{j=5}}=(0.99857,1.4177\cdot {10^{-3}},1.2449\cdot {10^{-5}},9.978\cdot {10^{-9}},3.1782\cdot {10^{-11}}).\]
The characteristic polynomial is
\[\begin{aligned}{}p(y)& ={y^{5}}-\frac{433}{33500}{y^{4}}-\frac{2459}{134\cdot {10^{6}}}{y^{3}}-\frac{21593}{134\cdot {10^{9}}}{y^{2}}-\frac{138453}{1072\cdot {10^{12}}}y-\frac{441}{1072\cdot {10^{12}}}\\ {} & =\left(y-\frac{1}{67}\right){\left({\left(y+\frac{1}{2000}\right)^{2}}+\frac{1}{20\cdot {10^{4}}}\right)^{2}},\end{aligned}\]
with three distinct roots ${z_{1}}=1/67$, ${z_{2}}=-1/2000+i/(200\sqrt{5})$ and ${z_{3}}={\overline{z}_{2}}=-1/2000-i/(200\sqrt{5})$ with multiplicities, respectively, ${n_{1}}=1$, ${n_{2}}=2$ and ${n_{3}}=2$. The system (16) is ${\mathbf{Z}_{5\times 5}}\cdot {\mathbf{b}_{5\times 1}}={\mathbf{\overline{C}}_{5\times 1}}$, where ${\mathbf{Z}_{5\times 5}}$ is given by
\[ \left(\begin{array}{c|c@{\hskip10.0pt}c|c@{\hskip10.0pt}c}1& 1& 0& 1& 0\\ {} \frac{1}{67}& -\frac{1}{2000}+\frac{i}{200\sqrt{5}}& -\frac{1}{2000}+\frac{i}{200\sqrt{5}}& -\frac{1}{2000}-\frac{i}{200\sqrt{5}}& -\frac{1}{2000}-\frac{i}{200\sqrt{5}}\\ {} {\left(\frac{1}{67}\right)^{2}}& {\left(-\frac{1}{2000}+\frac{i}{200\sqrt{5}}\right)^{2}}& 2{\left(-\frac{1}{2000}+\frac{i}{200\sqrt{5}}\right)^{2}}& {\left(-\frac{1}{2000}-\frac{i}{200\sqrt{5}}\right)^{2}}& 2{\left(-\frac{1}{2000}-\frac{i}{200\sqrt{5}}\right)^{2}}\\ {} {\left(\frac{1}{67}\right)^{3}}& {\left(-\frac{1}{2000}+\frac{i}{200\sqrt{5}}\right)^{3}}& 3{\left(-\frac{1}{2000}+\frac{i}{200\sqrt{5}}\right)^{3}}& {\left(-\frac{1}{2000}-\frac{i}{200\sqrt{5}}\right)^{3}}& 3{\left(-\frac{1}{2000}-\frac{i}{200\sqrt{5}}\right)^{3}}\\ {} {\left(\frac{1}{67}\right)^{4}}& {\left(-\frac{1}{2000}+\frac{i}{200\sqrt{5}}\right)^{4}}& 4{\left(-\frac{1}{2000}+\frac{i}{200\sqrt{5}}\right)^{4}}& {\left(-\frac{1}{2000}-\frac{i}{200\sqrt{5}}\right)^{4}}& 4{\left(-\frac{1}{2000}-\frac{i}{200\sqrt{5}}\right)^{4}}\end{array}\right)\]
and the vector ${\mathbf{\overline{C}}_{5\times 1}}$ and the solution ${\mathbf{b}_{5\times 1}}$ are given by
\[ {\mathbf{\overline{C}}_{5\times 1}}=\left(\begin{array}{c}1.29439\cdot {10^{-2}}\\ {} 1.85817\cdot {10^{-4}}\\ {} 2.80055\cdot {10^{-6}}\\ {} 4.18234\cdot {10^{-8}}\\ {} 6.24001\cdot {10^{-10}}\end{array}\right)\hspace{1em}\text{and}\hspace{1em}\left(\begin{array}{c}{b_{1}}\\ {} \text{-----}\\ {} {b_{2,1}}\\ {} {b_{2,2}}\\ {} \text{-----}\\ {} {b_{3,1}}\\ {} {b_{3,2}}\end{array}\right)=\left(\begin{array}{c}1.257457\cdot {10^{-2}}\\ {} \text{-----}\\ {} \left(1.846596+2.906937i\right)\cdot {10^{-4}}\\ {} \left(4.519503+7.460651i\right)\cdot {10^{-5}}\\ {} \text{-----}\\ {} \left(1.846596-2.906937i\right)\cdot {10^{-4}}\\ {} \left(4.519503-7.460651i\right)\cdot {10^{-5}}\end{array}\right).\]
Observe that the first term ${b_{1}}$ is positive and is much more significant than any of the other entries of b. As ${z_{2}}$ and ${z_{3}}$ are complex conjugates, their associated values ${b_{2,1}}$, ${b_{2,2}}$ and ${b_{3,1}}$, ${b_{3,2}}$ are also complex conjugates, respectively. By Theorem 1,
\[ \psi (u)={b_{1}}\hspace{0.1667em}{e^{-\beta u(1-{z_{1}})}}+{\sum \limits_{k=2}^{3}}\left({b_{k,1}}+{b_{k,2}}\hspace{0.1667em}{H_{1}}({z_{k}},\beta ,u)\right){e^{-\beta u(1-{z_{k}})}},\]
where the function H is obtained using (22). Table 1 below shows the exact values of $\psi (u)$ for different values of u, the values taken by the function H and the approximations
\[\begin{array}{r@{\hskip10.0pt}c@{\hskip10.0pt}l}\displaystyle {\hat{\psi }_{1}}(u)& \displaystyle =& \displaystyle {b_{1}}\hspace{0.1667em}{e^{-\beta u(1-{z_{1}})}}=0.01257457\hspace{0.1667em}{e^{-0.09851u}},\\ {} \displaystyle {\hat{\psi }_{2}}(u)& \displaystyle =& \displaystyle \overline{{C_{0}}}\hspace{0.1667em}{e^{-\beta u(1-\overline{{C_{1}}}/\overline{{C_{0}}})}}=0.012943885\hspace{0.1667em}{e^{-0.09856445u}}.\end{array}\]
These approximations are fairly accurate as the values of ${b_{k,1}}$, ${b_{k,2}}$ multiplied by ${e^{-\beta u(1-{z_{k}})}}$, for $k=2,3$, are rather small.Table 1.
| u | ${H_{1}}({z_{2}},\beta ,u)$ | ${H_{1}}({z_{3}},\beta ,u)$ | $\psi (u)$ | ${\hat{\psi }_{1}}(u)$ | ${\hat{\psi }_{2}}(u)$ |
| 0 | 0 | 0 | $1.294E-02$ | $1.258E-02$ | $1.294E-02$ |
| 1 | $(-0.5+2.24i)E-04$ | $(-0.5-2.24i)E-04$ | $1.173E-02$ | $1.140E-02$ | $1.173E-02$ |
| 2 | $(-1.0+4.47i)E-04$ | $(-1.0-4.47i)E-04$ | $1.063E-02$ | $1.033E-02$ | $1.063E-02$ |
| 3 | $(-1.5+6.71i)E-04$ | $(-1.5-6.71i)E-04$ | $9.630E-03$ | $9.357E-03$ | $9.630E-03$ |
| 4 | $(-2.0+8.94i)E-04$ | $(-2.0-8.94i)E-04$ | $8.727E-03$ | $8.479E-03$ | $8.727E-03$ |
| 5 | $(-2.5+11.2i)E-04$ | $(-2.5-11.2i)E-04$ | $7.907E-03$ | $7.684E-03$ | $7.907E-03$ |
| 6 | $(-3.0+13.4i)E-04$ | $(-3.0-13.4i)E-04$ | $7.165E-03$ | $6.963E-03$ | $7.165E-03$ |
| 7 | $(-3.5+15.7i)E-04$ | $(-3.5-15.7i)E-04$ | $6.493E-03$ | $6.310E-03$ | $6.493E-03$ |
| 8 | $(-4.0+17.9i)E-04$ | $(-4.0-17.9i)E-04$ | $5.883E-03$ | $5.718E-03$ | $5.883E-03$ |
| 9 | $(-4.5+20.1i)E-04$ | $(-4.5-20.1i)E-04$ | $5.331E-03$ | $5.182E-03$ | $5.331E-03$ |
| 10 | $(-5.0+22.4i)E-04$ | $(-5.0-22.4i)E-04$ | $4.831E-03$ | $4.695E-03$ | $4.831E-03$ |
| 11 | $(-5.5+24.6i)E-04$ | $(-5.5-24.6i)E-04$ | $4.377E-03$ | $4.255E-03$ | $4.377E-03$ |
| 12 | $(-6.0+26.8i)E-04$ | $(-6.0-26.8i)E-04$ | $3.966E-03$ | $3.856E-03$ | $3.966E-03$ |
| 13 | $(-6.5+29.1i)E-04$ | $(-6.5-29.1i)E-04$ | $3.594E-03$ | $3.494E-03$ | $3.594E-03$ |
| 14 | $(-7.0+31.3i)E-04$ | $(-7.0-31.3i)E-04$ | $3.257E-03$ | $3.166E-03$ | $3.257E-03$ |
| 15 | $(-7.5+33.5i)E-04$ | $(-7.5-33.5i)E-04$ | $2.951E-03$ | $2.869E-03$ | $2.951E-03$ |
| 16 | $(-8.0+35.8i)E-04$ | $(-8.0-35.8i)E-04$ | $2.674E-03$ | $2.600E-03$ | $2.674E-03$ |
| 17 | $(-8.5+38.0i)E-04$ | $(-8.5-38.0i)E-04$ | $2.423E-03$ | $2.356E-03$ | $2.423E-03$ |
| 18 | $(-9.0+40.2i)E-04$ | $(-9.0-40.2i)E-04$ | $2.196E-03$ | $2.135E-03$ | $2.196E-03$ |
| 19 | $(-9.5+42.5i)E-04$ | $(-9.5-42.5i)E-04$ | $1.990E-03$ | $1.935E-03$ | $1.990E-03$ |
| 20 | $(-10+44.7i)E-04$ | $(-10-44.7i)E-04$ | $1.803E-03$ | $1.753E-03$ | $1.803E-03$ |
Example 6.
Let $m=7$ and set $\beta =1/4$. Assume that the coefficients ${\alpha _{j}}$ of (11) are
The distribution of the counting r.v. N is
where ${\alpha _{8}}:=0$. Also, ${\overline{C}_{0}}={\textstyle\sum _{j=1}^{7}}{\alpha _{j}}=0.3914609$, then $\theta ={\overline{C}_{0}^{-1}}-1\approx 1.554534$, $\mathbb{E}(N)={\textstyle\sum _{j=1}^{7}}j{f_{N}}(j)=2.348765$ and
The characteristic polynomial is
(30)
\[ ({\alpha _{1}},\dots ,{\alpha _{7}})=\left(\frac{1}{6},\frac{1}{9},\frac{7}{108},\frac{17}{432},\frac{19}{2592},\frac{5}{2592},\frac{1}{3888}\right).\](31)
\[\begin{array}{r@{\hskip10.0pt}c@{\hskip10.0pt}l}\displaystyle \boldsymbol{\pi }& \displaystyle =& \displaystyle {({f_{N}}(j))_{j=1}^{j=7}}\\ {} & \displaystyle =& \displaystyle {\left(\frac{{\alpha _{j}}-{\alpha _{j+1}}}{{\alpha _{1}}}\right)_{j=1}^{j=7}}\\ {} & \displaystyle =& \displaystyle (1/3,0.2778,0.15278,0.19213,0.03241,0.010031,0.00154),\end{array}\]
\[\begin{array}{r@{\hskip10.0pt}c@{\hskip10.0pt}l}\displaystyle p(y)& \displaystyle =& \displaystyle {y^{7}}-\frac{1}{6}{y^{6}}-\frac{1}{9}{y^{5}}-\frac{7}{108}{y^{4}}-\frac{17}{432}{y^{3}}-\frac{19}{2592}{y^{2}}-\frac{5}{2592}{y^{1}}-\frac{1}{3888}\\ {} & \displaystyle =& \displaystyle \left(y-\frac{2}{3}\right)\left(y+\frac{1}{3}\right)\left(y+\frac{1}{6}\right){\left({y^{2}}+\frac{1}{12}\right)^{2}},\end{array}\]
with five distinct roots ${z_{1}}=2/3$, ${z_{2}}=-1/3$, ${z_{3}}=i/(2\sqrt{3})$, ${z_{4}}={\overline{z}_{3}}=-i/(2\sqrt{3})$ and ${z_{5}}=-1/6$ with multiplicities ${n_{1}}=1$, ${n_{2}}=1$, ${n_{3}}=2$, ${n_{4}}=2$ and ${n_{5}}=1$, respectively. The system of linear equations (16) is
where
\[ {\mathbf{Z}_{7\times 7}}=\left(\begin{array}{c|c|c@{\hskip10.0pt}c|c@{\hskip10.0pt}c|c}1& 1& 1& 0& 1& 0& 1\\ {} \frac{2}{3}& \frac{1}{3}& \frac{i}{2\sqrt{3}}& \frac{i}{2\sqrt{3}}& \frac{-i}{2\sqrt{3}}& \frac{-i}{2\sqrt{3}}& -\frac{1}{6}\\ {} {\left(\frac{2}{3}\right)^{2}}& {\left(\frac{1}{3}\right)^{2}}& {\left(\frac{i}{2\sqrt{3}}\right)^{2}}& 2{\left(\frac{i}{2\sqrt{3}}\right)^{2}}& {\left(\frac{-i}{2\sqrt{3}}\right)^{2}}& 2{\left(\frac{-i}{2\sqrt{3}}\right)^{2}}& {\left(-\frac{1}{6}\right)^{2}}\\ {} {\left(\frac{2}{3}\right)^{3}}& {\left(\frac{1}{3}\right)^{3}}& {\left(\frac{i}{2\sqrt{3}}\right)^{3}}& 3{\left(\frac{i}{2\sqrt{3}}\right)^{3}}& {\left(\frac{-i}{2\sqrt{3}}\right)^{3}}& 3{\left(\frac{-i}{2\sqrt{3}}\right)^{3}}& {\left(-\frac{1}{6}\right)^{3}}\\ {} {\left(\frac{2}{3}\right)^{4}}& {\left(\frac{1}{3}\right)^{4}}& {\left(\frac{i}{2\sqrt{3}}\right)^{4}}& 4{\left(\frac{i}{2\sqrt{3}}\right)^{4}}& {\left(\frac{-i}{2\sqrt{3}}\right)^{4}}& 4{\left(\frac{-i}{2\sqrt{3}}\right)^{4}}& {\left(-\frac{1}{6}\right)^{4}}\\ {} {\left(\frac{2}{3}\right)^{5}}& {\left(\frac{1}{3}\right)^{5}}& {\left(\frac{i}{2\sqrt{3}}\right)^{5}}& 5{\left(\frac{i}{2\sqrt{3}}\right)^{5}}& {\left(\frac{-i}{2\sqrt{3}}\right)^{5}}& 5{\left(\frac{-i}{2\sqrt{3}}\right)^{5}}& {\left(-\frac{1}{6}\right)^{5}}\\ {} {\left(\frac{2}{3}\right)^{6}}& {\left(\frac{1}{3}\right)^{6}}& {\left(\frac{i}{2\sqrt{3}}\right)^{6}}& 6{\left(\frac{i}{2\sqrt{3}}\right)^{6}}& {\left(\frac{-i}{2\sqrt{3}}\right)^{6}}& 6{\left(\frac{-i}{2\sqrt{3}}\right)^{6}}& {\left(-\frac{1}{6}\right)^{6}}\end{array}\right)\]
and the vector ${\mathbf{\overline{C}}_{7\times 1}}$ and the solution ${\mathbf{b}_{7\times 1}}$ are given by
\[ {\mathbf{\overline{C}}_{7\times 1}}=\left(\begin{array}{c}0.39146\\ {} 0.29004\\ {} 0.20552\\ {} 0.14072\\ {} 0.09001\\ {} 0.06043\\ {} 0.04042\end{array}\right)\hspace{1em}\text{and}\hspace{1em}\left(\begin{array}{c}{b_{1}}\\ {} \text{-----}\\ {} {b_{2,1}}\\ {} \text{-----}\\ {} {b_{3,1}}\\ {} {b_{3,2}}\\ {} \text{-----}\\ {} {b_{4,1}}\\ {} {b_{4,2}}\\ {} \text{-----}\\ {} {b_{5,1}}\end{array}\right)=\left(\begin{array}{c}0.46031\\ {} \text{-----}\\ {} -0.03312\\ {} \text{-----}\\ {} -0.01841+0.03962i\\ {} -0.004553+0.008344i\\ {} \text{-----}\\ {} -0.01841-0.03962i\\ {} -0.004553-0.008344i\\ {} \text{-----}\\ {} 0.0010867\end{array}\right).\]
Observe again that the first term ${b_{1}}$ is positive and is much more significant than any of the other entries of b. As ${z_{3}}$ and ${z_{4}}$ are complex conjugates, their associated values ${b_{3,1}}$, ${b_{3,2}}$ and ${b_{4,1}}$, ${b_{4,2}}$ are also complex conjugates, respectively. By Theorem 1, the ruin probability reads
\[\begin{array}{r@{\hskip10.0pt}c@{\hskip10.0pt}l}\displaystyle \psi (u)& \displaystyle =& \displaystyle {b_{1}}\hspace{0.1667em}{e^{-\beta u(1-{z_{1}})}}+{b_{2,1}}\hspace{0.1667em}{e^{-\beta u(1-{z_{2}})}}\\ {} & & \displaystyle +{\sum \limits_{k=3}^{4}}\left({b_{k,1}}+{b_{k,2}}\hspace{0.1667em}{H_{1}}({z_{k}},\beta ,u)\right){e^{-\beta u(1-{z_{k}})}}\\ {} & & \displaystyle +{b_{5,1}}\hspace{0.1667em}{e^{-\beta u(1-{z_{5}})}},\end{array}\]
where the function H is obtained using (22). Table 2 below shows the exact values of $\psi (u)$ for different values of u, the values taken by the function H and the approximations
\[\begin{array}{r@{\hskip10.0pt}c@{\hskip10.0pt}l}\displaystyle {\hat{\psi }_{1}}(u)& \displaystyle =& \displaystyle {b_{1}}\hspace{0.1667em}{e^{-\beta u(1-{z_{1}})}}=0.4603095\hspace{0.1667em}{e^{-0.0833u}},\\ {} \displaystyle {\hat{\psi }_{2}}(u)& \displaystyle =& \displaystyle \overline{{C_{0}}}\hspace{0.1667em}{e^{-\beta u(1-\overline{{C_{1}}}/\overline{{C_{0}}})}}=0.3914609\hspace{0.1667em}{e^{-0.0648u}}.\end{array}\]
These approximations are again fairly accurate as the values of ${b_{k,1}}$, ${b_{k,2}}$ multiplied by ${e^{-\beta u(1-{z_{k}})}}$, for $k=2,\dots ,5$ are rather small.Table 2.
| u | ${H_{1}}({z_{3}},\beta ,u)$ | ${H_{1}}({z_{4}},\beta ,u)$ | $\psi (u)$ | ${\hat{\psi }_{1}}(u)$ | ${\hat{\psi }_{2}}(u)$ |
| 0 | 0 | 0 | 0.391461 | 0.46031 | 0.39146 |
| 1 | $0.07217i$ | $-0.07217i$ | 0.366639 | 0.423505 | 0.36691 |
| 2 | $0.14434i$ | $-0.14434i$ | 0.342903 | 0.389644 | 0.34390 |
| 3 | $0.21651i$ | $-0.21651i$ | 0.320266 | 0.358489 | 0.32233 |
| 4 | $0.28868i$ | $-0.28868i$ | 0.298728 | 0.329826 | 0.30211 |
| 5 | $0.36084i$ | $-0.36084i$ | 0.278286 | 0.303455 | 0.28316 |
| 6 | $0.43301i$ | $-0.43301i$ | 0.258928 | 0.279192 | 0.26540 |
| 7 | $0.50518i$ | $-0.50518i$ | 0.240640 | 0.256869 | 0.24876 |
| 8 | $0.57735i$ | $-0.57735i$ | 0.223402 | 0.236331 | 0.23316 |
| 9 | $0.64952i$ | $-0.64952i$ | 0.207190 | 0.217435 | 0.21853 |
| 10 | $0.72169i$ | $-0.72169i$ | 0.191975 | 0.200050 | 0.20483 |
| 11 | $0.79386i$ | $-0.79386i$ | 0.177725 | 0.184055 | 0.19198 |
| 12 | $0.86603i$ | $-0.86603i$ | 0.164405 | 0.169338 | 0.17994 |
| 13 | $0.93819i$ | $-0.93819i$ | 0.151975 | 0.155799 | 0.16865 |
| 14 | $1.01036i$ | $-1.01036i$ | 0.140396 | 0.143342 | 0.15808 |
| 15 | $1.08253i$ | $-1.08253i$ | 0.129625 | 0.131881 | 0.14816 |
| 16 | $1.15470i$ | $-1.15470i$ | 0.119620 | 0.121336 | 0.13887 |
| 17 | $1.22687i$ | $-1.22687i$ | 0.110338 | 0.111635 | 0.13016 |
| 18 | $1.29904i$ | $-1.29904i$ | 0.101737 | 0.102709 | 0.12200 |
| 19 | $1.37121i$ | $-1.37121i$ | 0.093774 | 0.094497 | 0.11434 |
| 20 | $1.44338i$ | $-1.44338i$ | 0.086408 | 0.086941 | 0.10717 |
Remark 1.
As a subjective comparison of the two approximations ${\hat{\psi }_{1}}(u)$ and ${\hat{\psi }_{2}}(u)$ and the numerical examples shown above, we observe that the approximation ${\hat{\psi }_{2}}(u)$ seems to be better than ${\hat{\psi }_{1}}(u)$ for small values of the initial capital u, the opposite occurs for large values of u. Also, there seems to be no apparent difference in the quality of the two approximations when the values of the parameters θ and m are modified. As expected, the ruin probability is larger in the case when $\mathbb{E}(N)$ is large and it seems there is no significant dependence on the value of m. It is also numerically observed that the ruin probability decreases as the surcharge factor θ increases.
7 Conclusions
We have given an alternative approach to calculating $\psi (u)$ in the classical Cramér–Lundberg risk process (1) when claims are distributed according to a finite mixture of Erlang distributions. The method is based on the theory of recurrence sequences and requires to solve such a sequence, which in turn called for finding the roots of its characteristic polynomial and the solution of a linear system. One advantage of this procedure is that $\psi (u)$ can be seen as a finite sum of as many exponential terms as the degree of the characteristic polynomial, see formulas (20) and (21), where there is one term for each root. A mathematical computer program such as R, see [34], can be used to solve the system (16) and to find the zeroes of (13), although the problem might be computationally challenging when the parameter m is large. Indeed, this is the case when an arbitrary claim distribution is approximated by a $\text{finiteErM}(\boldsymbol{\pi },\beta )$ distribution. This is an approximation problem we have left aside for future work. On the other hand, further studies are also needed to quantify the accuracy of the approximations (26) and (27).
It must be emphasized that the present work is a sequel of [35]. In that article, we presented the case of simple roots, whereas in this work we have considered the general case. On the other hand, using the same procedure shown here, it is possible to find a closed-form formula for the ruin probability in a discrete-time risk process with claims following a finite mixture of negative binomial distributions, see [36]. It is interesting to observe that all the ruin probabilities formulas found in those works are similar in the sense that they are expressed as linear combinations of probability generating functions. For the continuous risk model, the probability-generating function is that of a $\text{Poisson}(\beta u)$ distribution evaluated at each of the roots ${z_{k}}$, whereas for the discrete-time risk process, the probability-generating function is that of a negative binomial distribution.
Since finding the roots of polynomials of the form (13) is crucial for the ruin probability formulas (20) and (21), it is only natural to further the study of this type of polynomial and the solution to the linear system (16). Any knowledge about those roots might lead to an approximation or bound for $\psi (u)$. Finally, it must be recalled that some quantities of interest in the mathematical theory of risk, such as the ruin probability, are difficult to calculate but they sometimes satisfy a recursive relation. Hence, the theory of recurrence sequences might as well be applied in many more instances within the theory of risk following the procedure shown in this work.
