1 Introduction

Over the last few decades, remarkable increases in life expectancy have been experienced worldwide, particularly in most industrialized countries. In Europe, for example, life expectancy at birth has increased, on average for both males and females, by around 10 years between 1960 and 2015 (European Commission 2017), that is, an increase in just over two months per annum, on average, over the last 55 years. Although the debate on whether there is a natural biological limit to longevity is still open (Oeppen and Vaupel 2002; Christensen et al. 2009; Vaupel 2010), such a historical trend does not seem to be slowing down. Indeed, the last projections provided by the European Committee show a further increase in life expectancy at birth for Europe as a whole, for both males (7.8 years) and females (6.6 years), from 2016 to 2070. The same pattern is projected for life expectancy at 65, which is expected to increase by roughly 5 years for both males and females (European Commission 2017). Note that such a projected increase depends on the underlying assumptions which, generally, do not assume that the reduction in mortality would continue at the same pace in the long run (European Commission 2017; Debonneuil et al. 2018) and, therefore, the gains in life expectancy could prove to have been underestimated.

Such a phenomenon, albeit a desirable one for individuals, seriously affects annuity providers and pension funds: the longer an individual lives, the longer is the payment phase duration, and the larger is the capital required to cover the liability (see, among many others, Blake and Burrows (2001), Brown et al. (2001), Hari et al. (2008)). Consider, for example, the case of Italy, where for a male aged 65 the age at death was 77.93 years in 1965, whereas fifty years later, in 2014, it had become 84.01 years (European Commission 2017), undergoing an increase of about 1.2 years per decade. Under the assumption of a real interest rate equal to \(2\%\), the expected present value of a whole life annuity of 1 per year payable in arrears for an Italian 65-year-old male would have increased from 10.49 in 1965 to 14.87 in 2014, that is an increase of roughly \(42\%\). This means that to finance a life annuity for an Italian male aged 65 the annuity provider would have needed \(42\%\) more capital in 2014 than in 1965.

Therefore, the empirical evidence of longer life expectancies, which entails the risk of underestimating the financial coverage for annuities and pensions, poses a challenge on how annuity providers and pension funds should address the longevity risk, namely the risk that an individual or a group of individuals will live a longer life than expected (see Bravo and de Freitas (2018), Börger (2010), Coughlan et al. (2007), and also Deng et al. (2012), Donnelly et al. (2013), MacMinn et al. (2006), Visco (2006)). Note that part of the literature uses the term longevity risk to refer to any uncertainty in future development of mortality, regardless of whether it leads to longer or shorter life expectancies than expected lifetime (see Barrieu et al. (2012), Brown et al. (2001), Dus et al. (2005), Hari et al. (2008), Pitacco (2004)), whereas other authors use the term mortality risk to refer to “\(\dots \) the risk of underestimating mortality improvements\(\dots \)”, p. 339, Blake and Burrows (2001).

However, the importance of the longevity risk lies in its very nature. Indeed, it constitutes a systematic risk because it affects all individuals in the same way, hence affecting the whole annuity provider portfolio and cannot be reduced by increasing the insurance portfolio size. Hence, it is a ‘non-pooling’ risk (Börger 2010; Visco 2006; Olivieri 2001).

A very extensive literature is available on this topic in the actuarial framework. A very sound classification of the main research patterns as well as a comprehensive review of the scholarly literature is provided by Milevsky (2013), which also analyzes in detail the specific role of annuities in the ‘optimal’ retirement portfolio. An exhaustive survey on the main current developments in longevity-risk modeling or on some important potential developments for longevity-risk management from a financial perspective can be found in Barrieu et al. (2012), Pitacco (2013). Furthermore, Bernhardt and Donnelly (2018) provide an extremely up-to-date report on the state of art on this topic.

In the large framework of the literature on this topic, the issue of sharing longevity risk between the annuity provider and annuitants has been analyzed by many authors. This is not such a new concept as can be seen in Ogborn and Wallas (1955), which suggested a profit-participation scheme for deferred annuities. In more recent literature, the risk sharing group self-annuitization mechanism is studied in Piggott et al. (2005) and Qiao and Sherris (2013), whereas the mechanism for linking the annuity benefits to the mortality that is actually experienced, the so-called mortality-indexed annuities, is considered in Richter and Weber (2011). Furthermore, an extensive literature refers to the pooled annuity funds proposed by Stamos (2008), which focused on optimization problems within such pools. Related to this topic, the authors in Donnelly et al. (2013) focused on the stability of income streams in these schemes and compared them with mortality-linked funds, and successively in Donnelly et al. (2014) they introduced a new type of pooled annuity funds, referred to as annuity overlay funds, which is actuarially fair at each instant and where participants can leave the fund before death without any financial penalty and have individual investment freedom. In this regard, the more recent paper of Bräutigam et al. (2017) considers the annuity overlay funds, where the individual annuity is proportional to the initial wealth invested and the corresponding mortality rate, and compares them with the equitable income tontines of Milevsky and Salisbury (2016). This latter is related to the very interesting research stream that reconsiders the eighteenth-century scheme of tontine annuities and proposes related arrangements for annuities, Sabin (2010), Milevsky (2015), Milevsky and Salisbury (2015), and also Weinert and Gründl (2016), which examines how the policyholders can partially invest their retirement wealth in tontines to supplement the existing pension products, or Chen et al. (2019), which presents a new retirement product, called tonuity, deriving from the combination between a tontine at early retirement ages and an annuity at a predetermined later age.

Other participating annuity designs have also been investigated: for example, Luthy et al. (2001) proposed the adaptive algorithmic annuities, Denuit et al. (2011, 2015) considered indexing annuity payments to a reference population in longevity-indexed life annuities, or to the length of the deferment period in longevity-contingent life annuities; and Maurer et al. (2013) dealt with so-called variable investment-linked deferred annuities (VILDAs).

The present paper, in the author’s view, is strictly related to the above-mentioned research line. It derives from the original idea proposed in Angrisani and Di Palo (2006), and from its subsequent development in Di Palo (2016), where the authors modeled a new scheme for revaluing life annuities thereby immunizing the longevity risk in an effective and efficient way. Basically, this scheme considers life annuities, whose benefit payments are paid in arrears and are financially revalued, with the demographic changes being compensated for by means of financial revaluation. Unlike the other papers in the literature, this scheme has proved to be effective and efficient in dealing with the longevity risk.

Therefore, the proposed scheme could be introduced in the actuarial practice for two main reasons. Firstly, note that in this model the interest rate, which is actually returned on the benefits, makes the balance between the fund and the reserve when longevity changes have taken into account. Hence, in the point of view of the insurer, the management of these products avoids the risk of default as a result of the systematic re-balance between the fund and the reserve. Secondly, this rate can act favorably or unfavorably on the revaluation of the benefit payments if the observed mortality is higher or lower than that expected, respectively. Thus, the possible positive compensations on benefits, or also the comparison with life annuity benefits including a safety loading for longevity risk, could disarm the little attractive feeling to this product, likely due to the fact that the systematic longevity risk is borne by the group of annuitants and no minimum warrantees are provided. In this regard, note that products such as unit-linked annuities have gained a considerable share of the market even though the investment risk is not borne by the insurer but by the policyholder. In comparison with possible adjustments reflecting the investment experience, the impact of annual mortality adjustments is relatively modest as, for example, reported by the Teachers Insurance and Annuity Association (TIAA), one of the most important life insurance companies in the USA, which introduced variable annuities where payments reflected the actual mortality experienced (Piggott et al. 2005).

The theoretical core of our paper is presented in Sects. 2 and 3. The former defines the concepts of observed, estimated, and evaluated survival probabilities and derives the related definitions of life expectancy, which are necessary for modeling the life annuity revaluing scheme under demographic compensation (LADeC). The latter briefly describes the LADeC model in the case of a unique homogeneous cohort, as in Angrisani and Di Palo (2006) and Di Palo (2016), thus extending the model to the cases of a unique cohort or more cohorts of individuals who pay varying lump sums and who are all the same age when they join the scheme (as could be the case for pension annuities). Section 4 contains the basic theorem on the effectiveness and efficiency (TEE) of the LADeC scheme, whereas Sect. 5 provides an illustrative numerical application of the LADeC model.

2 The structure of the observed, estimated and evaluated probabilities of survivorship

In light of Angrisani and Di Palo (2006), the definitions of observed, estimated, and evaluated survival probabilities for individuals belonging to a fixed generation are herein introduced.

Let sequence \(\{0, 1, 2, 3\dots \}\) be the time line, where the unitary time increment is equal to one year. Here and throughout the paper, for each \(h\in \mathbb {N}\), we refer to year \(h+1\) as the year beginning in h and ending in \(h+1\), including \(h+1\), i.e., \((h, h+1]\).

Let us consider a group of individuals aged \(x_0\), but not yet \(x_0+1\), at 0, referred to as collectivity or cohort 1. Furthermore, the following assumptions are set:

  1. (a)

    Cohort 1 is a closed group;

  2. (b)

    Death is the only cause of exit from the group;

  3. (c)

    A limiting attainable age exists, although its possible outcome is not known in advance, namely \({\overline{h}}\in N\) exists such that there is at least one individual still alive at age \(x_0+{\overline{h}}\), whereas no-one is alive at age \(x_0+{\overline{h}}+1\).

Furthermore, the set of individuals in cohort 1 alive at time h and aged \(x_0+h\) is denoted by \(N_{x_0+h}\), with \(h \in \mathbb {N}\), and their number, namely the cardinality of set \(N_{x_0+h}\), is denoted by \(|N_{x_0+h}|\). Therefore, by assumptions (a–c), cohort 1 is identified by the sequence of sets \(\{N_{x_0+h}\}\) such that \(N_{x_0+h}\supseteq N_{x_0+h+1}\), where \(\{N_{x_0+{h}}\}\ne \emptyset \) with \(h\le {\overline{h}}\) and \(\{N_{x_0+{h}}\}=\emptyset \) otherwise.

2.1 Observed and estimated survival probabilities

All the following definitions are provided for each \(h\in \mathbb {N}\) and with specific reference to cohort 1. Hence, for ease of notation, we do not specify the cohort index.

Definition 1

The one-year observed probability that an individual aged \(x_0+h\) survives to at least age \(x_0+h+1\) is denoted by \({\overline{p}}_{x_0+h}\) and is defined as

$$\begin{aligned} {\overline{p}}_{x_0+h}= {\left\{ \begin{array}{ll} \frac{|N_{x_0+h+1}|}{|N_{x_0+h}|} &{} \text { if }h=0,1,\dots ,{\overline{h}} \\ 0 &{} \text { otherwise}. \end{array}\right. } \end{aligned}$$
(1)

Note that this value is known only at the end of year \(h+1\). At any time \(m<h+1\), the survival probability for one year at age \(x_0+h\) can only be estimated according to a fixed life table available at time m and will be denoted by \( {\tilde{p}}_{x_0+h}^m\). Since the value of the one-year survival probability depends on evaluation time m, the following definition is provided.

Definition 2

The one-year probability that an individual aged \(x_0+h\) survives to at least age \(x_0+h+1\) evaluated at time m is denoted by \(p_{x_0+h}^m\) and is defined as

$$\begin{aligned} p_{x_0+h}^m= {\left\{ \begin{array}{ll} {\tilde{p}}_{x_0+h}^m &{} \text {if }m\le h\\ {\overline{p}}_{x_0+h} &{} \text {otherwise}. \end{array}\right. } \end{aligned}$$

The previous definitions can be extended to the case of a k year survivorship.

Definition 3

The observed k-year probability that an individual aged \(x_0+h\) survives to at least age \(x_0+h+k\) is denoted by \(_k{\overline{p}}_{x_0+h}\) and is defined as

$$\begin{aligned} _k{\overline{p}}_{x_0+h}= {\left\{ \begin{array}{ll} \frac{|N_{x_0+h+k}|}{|N_{x_0+h}|} &{} \text { if } h+k\le {\overline{h}} \\ 0 &{} \text { otherwise} . \end{array}\right. }\quad \end{aligned}$$

Note that \(_0{\overline{p}}_{x_0+h}=1\), \(_1{\overline{p}}_{x_0+h}={\overline{p}}_{x_0+h}\), and

$$\begin{aligned} _k{\overline{p}}_{x_0+h}={\overline{p}}_{x_0+h} {\overline{p}}_{x_0+h+1}\dots {\overline{p}}_{x_0+h+k-1} \qquad \text {with } k>1; \end{aligned}$$

we also have

$$\begin{aligned} _{k+n}{\overline{p}}_{x_0+h}={_k{\overline{p}}_{x_0+h}\text { }}{_n{\overline{p}}_{x_0+h+k}} \qquad \text {with } k,n \in \mathbb {N}. \end{aligned}$$

As for the one-year case, \(_k{\overline{p}}_{x_0+h}\) is known only starting from time \(m=h+k\). At any time m such that \(h<m<h+k\), the k-year survival probability at age \(x_0+h\) is partially observed, for the number of years between h and m and estimated for the remaining years. Differently, at any time m such that \(m\le h\), the k-year survival probability at age \(x_0+h\) is totally estimated according to a fixed life table available at m. Therefore, the following definition is provided.

Definition 4

The k-year probability that an individual aged \(x_0+h\) survives to at least age \(x_0+h+k\) evaluated at time m is denoted by \(_kp_{x_0+h}^m\) and is defined as

$$\begin{aligned} _kp_{x_0+h}^m\!=\! {\left\{ \begin{array}{ll} _k{\tilde{p}}_{x_0+h}^m &{} \quad \!\text {if }\,m\le h\\ \!{_{(m-h)}{\overline{p}}_{x_0+h}}\text { }_{(h+k)-m}{\tilde{p}}_{x_0+m}^m\! &{}\quad \!\!\text {if }\, \!h\!<m\!<h+k\\ _k{\overline{p}}_{x_0+h} &{}\quad \!\text {if }\, m\ge h+k. \\ \end{array}\right. } \end{aligned}$$

By means of Definition 4, the definition of the (curtate) life expectancy at age \(x_0+h\) evaluated at m can be set: it is the number of whole years that a cohort 1 individual aged \(x_0+h\), according to the evaluation at time m, can expect to live.

Definition 5

The (curtate) life expectancy for an individual aged \(x_0+h\) evaluated at time m is denoted by \(e_{x_0+h}^{m}\) and is defined by

$$\begin{aligned} e_{x_0+h}^{m}=\sum _{k=1}^{\infty }{_kp_{x_0+h}^{m}}. \end{aligned}$$

Consistently with the adopted notation, \({\tilde{e}}_{x_0+h}^m\) denotes the (curtate) life expectancy at age \(x_0+h\) estimated at m, given by

$$\begin{aligned} {\tilde{e}}_{x_0+h}^m=\sum _{k=1}^{\infty }{_k{\tilde{p}}_{x_0+h}^{m}}\quad \text {with } m\le h. \end{aligned}$$

By means of Definition 4, it easy to verify that

$$\begin{aligned} \begin{aligned} e_{x_0+h}^m = {\left\{ \begin{array}{ll} {\tilde{e}}_{x_0+h}^m &{} \quad \text {if }\, m\le h\\ \sum _{k=1}^{m-h-1}{_k{\overline{p}}_{x_0+h}}+\\ +_{(m-h)}{\overline{p}}_{x_0+h}(1+{\tilde{e}}_{x_0+m}^m ) &{} \quad \text {if }\, h<m\le {\overline{h}}\\ \sum _{k=1}^{\infty }{_k{\overline{p}}_{x_0}} &{}\quad \text {if }\, m>{\overline{h}}. \end{array}\right. } \end{aligned} \end{aligned}$$
(2)

For example, if \(h=0\) and \(m=1\)

$$\begin{aligned} \begin{aligned} e_{x_0}^{1}&=\sum _{k=1}^{\infty }{_kp_{x_0}^{1}}={_1p_{x_0}^{1}}+{_2p_{x_0}^{1}}+{_3p_{x_0}^{1}}+... \\&={\overline{p}}_{x_0}+{\overline{p}}_{x_0}{{\tilde{p}}_{x_0+1}^{1}}+{\overline{p}}_{x_0}{_2{\tilde{p}}_{x_0+1}^{1}}+...\\&={\overline{p}}_{x_0}(1+{{\tilde{p}}_{x_0+1}^{1}}+_2{\tilde{p}}_{x_0+1}^{1}+...), \end{aligned} \end{aligned}$$

and hence

$$\begin{aligned} e_{x_0}^{1}={\overline{p}}_{x_0}(1+{\tilde{e}}_{x_0+1}^{1}). \end{aligned}$$
(3)

3 Revaluing life annuities under demographic compensation

In this section, following Angrisani and Di Palo (2006) and Di Palo (2016), the LADeC scheme is briefly reviewed in the case of a unique homogeneous cohort. Hence, this scheme is extended to the cases of: (a) a unique cohort of individuals paying varying lump sums when they join the scheme; and (b) multiple cohorts of individuals who all have all the same age and pay varying lump sums when they join the scheme.

Throughout the paper, it is assumed that: the expected present value of life annuities is at a zero interest rate, so that the annuity divisor coincides with the life expectancy value; and also that the reserves allocated for covering benefits earn an annually compounded risk-free interest rate.

3.1 The case of a unique homogeneous cohort

Let us consider that all individuals belong to the same cohort, referred to as cohort 1, and assume that all conditions set in Sect. 2 are satisfied. In addition, it is assumed that each individual in cohort 1 pays the same lump sum, \(M^0\), to buy a whole life annual annuity whose benefits are payable in arrears.

The following notation is used for the model:

  • \(R^{h+1}\) is the benefit payment actually paid to a cohort 1 individual alive at the end of year \(h+1\);

  • \(V^{h}\) is the individual reserve available at h, namely at the beginning of year \(h+1\);

  • \(r^{h+1}\) is the rate of interest to be returned on the reserve in year \(h+1\);

  • \(e^{h+1}_{x_0+h}\) is the life expectancy for an individual aged \(x_0+h\) evaluated at \(h+1\).

The annuity benefit paid at \(h+1\) is given by

$$\begin{aligned} R^{h+1}=\frac{V^{h}(1+r^{h+1})}{e^{h+1}_{x_0+h}} \qquad h=0,1,\dots {\overline{h}}-1. \end{aligned}$$
(4)

Note that formula (4) does not hold if \({e^{h+1}_{x_0+h}}=0\), that is starting from \({\overline{h}}+1\) when \({\overline{p}}_{x_0+{\overline{h}}}\) is the first observed null value. In any case, starting from \({\overline{h}}+1\) no individual in cohort 1 is still alive, and no annuity benefit has to be paid, that is \(R^{h+1}=0\) for \(h\ge {\overline{h}}\). For the detailed description of the mechanism to achieve (4), refer to Angrisani and Di Palo (2006).

Note that

$$\begin{aligned} V^{h}=R^{h}{\tilde{e}}^{h}_{x_0+h}\qquad h=0,1,\dots {\overline{h}}-1, \end{aligned}$$
(5)

where \({\tilde{e}}^{h}_{x_0+h}\) is the life expectancy at age \(x_0+h\) estimated according to the life table available at h. The recursive formula for the benefit payments is obtained by means of (5) and (4), and it is

$$\begin{aligned} R^{h+1}={R^{h}}\frac{{\tilde{e}}_{x_0+h}^{h}}{e_{x_0+h}^{h+1}}(1+r^{h+1}) \qquad h=0,1,\dots ,{\overline{h}}-1. \end{aligned}$$
(6)

Life annuities, whose benefit payments are expressed by (6), are referred to as LADeC, that is life annuities under demographic compensation. Their basic feature is that annuity benefits have to be revalued on a yearly basis either by the observed change in the life expectancy and by the realized interest rate, both of them known a posteriori.

With reference to formula (6), the following definitions are set.

Definition 6

The demographic correction factor for the benefit payment to individuals aged \(x_0+h\) at time \(h+1\) is denoted by \(cd_{x_0+h}^{h+1}\) and is defined as

$$\begin{aligned} cd_{x_0+h}^{h+1}=\frac{{\tilde{e}}_{x_0+h}^{h}}{e_{x_0+h}^{h+1}} \qquad h=0,1,\dots {\overline{h}}-1 . \end{aligned}$$

Under the assumption of non-negative interest rates, it follows that the individual in cohort 1 receives a yearly annuity benefit increase if \(cd_{x_0+h}^{h+1}>1\), namely if his/her life expectancy is evaluated, at the end of the year, to be shorter than the estimated value, based on the life table used at the beginning of the year. On the contrary, if his/her life expectancy, evaluated at the end of the year, is longer than that estimated at the beginning of the year, the cohort 1 individual has to bear a benefit decrease deriving from the change between the estimated and the evaluated values. Clearly, if no change occurs, no demographic correction is applied to the annuity payment.

By means of (3), it is easy to verify that

$$\begin{aligned} cd^{h+1}_{x_0+h}=\frac{{\tilde{p}}_{x_0+h}^{h}}{{\overline{p}}_{x_0+h}}\frac{(1+{\tilde{e}}_{x_0+h+1}^{h})}{(1+{\tilde{e}}_{x_0+h+1}^{h+1})} \qquad h=0,1,\dots {\overline{h}}-1 , \end{aligned}$$

that is the demographic correction factor includes the effects of a twofold change, the first one stemming from the shift in survival probability from estimated to observed, and the second one from the possible updating of survival probabilities estimated at the beginning and at the end of the year. Of course, if the same life table is used, then

$$\begin{aligned} cd^{h+1}_{x_0+h}=\frac{{\tilde{p}}_{x_0+h}^{h}}{{\overline{p}}_{x_0+h}} \qquad h=0,1,\dots {\overline{h}}-1 , \end{aligned}$$

where the reader can identify the definition of the Mortality Experience Adjustment, provided in Piggott et al. (2005), which can therefore be considered as a particular case of the more general definition of the demographic correction factor.

Definition 7

The demographic correction rate of the benefit payment to individuals aged \(x_0+h\) at time \(h+1\) is denoted by \({d^{h+1}_{x_0+h}}\) and is defined as

$$\begin{aligned} d^{h+1}_{x_0+h}=cd^{h+1}_{x_0+h}-1 \qquad h=0,1,\dots {\overline{h}}-1 . \end{aligned}$$

From Definition 7, it follows that

$$\begin{aligned} \begin{aligned} d^{h+1}_{x_0+h}&=\frac{{\tilde{e}}_{x_0+h}^{h}-{e}_{x_0+h}^{h+1}}{{e}_{x_0+h}^{h+1}}\\&=-\frac{\varDelta {e}_{x_0+h}^{h+1}}{{e}_{x_0+h}^{h+1}}\qquad h=0,1,\dots {\overline{h}}-1 , \end{aligned} \end{aligned}$$

namely the demographic correction rate is equal to the relative change in life expectancy, at the beginning and at the end of the year, with respect to its value at the end of the year, in opposite sign. This means that a systematic longevity, involving an increase in life expectancy, can be rendered as a negative demographic correction rate, which decreases the revaluation of the benefit payment for the year considered.

If no change in life tables occurs at the end of the year, then we have

$$\begin{aligned} \begin{aligned} d^{h+1}_{x_0+h}&=\frac{{\tilde{p}}_{x_0+h}^{h}-{\overline{p}}_{x_0+h}^{h+1}}{{\overline{p}}_{x_0+h}^{h+1}} \\&=-\frac{\varDelta {p}_{x_0+h}^{h+1}}{\overline{p}_{x_0+h}^{h+1}}\qquad h=0,1,\dots {\overline{h}}-1. \end{aligned} \end{aligned}$$

Definition 8

The interest rate under the demographic compensation for the benefit payment to individuals aged \(x_0+h\) at time \(h+1\) is denoted by \(r^{h+1}_{x_0+h}\) and is defined as the value so that

$$\begin{aligned} 1+r^{h+1}_{x_0+h}=(1+d^{h+1}_{x_0+h})(1+r^{h+1}) \qquad h=0,1,\dots {\overline{h}}-1. \end{aligned}$$

In first approximation, we have

$$\begin{aligned} r^{h+1}_{x_0+h}\approx d^{h+1}_{x_0+h}+r^{h+1} \qquad h=0,1,\dots {\overline{h}}-1. \end{aligned}$$

Using Definition 7, the LADeC benefit payment can be written in recursive terms as

$$\begin{aligned} R^{h+1}=R^{h}(1+d^{h+1}_{x_0+h})(1+r^{h+1}) \qquad h=0,1,\dots {\overline{h}}-1 , \end{aligned}$$

which is a homogeneous linear difference equation of the first order, with variable coefficients. With the initial value calculated at the beginning of the contract, \(R^0\), being fixed, there exists a unique solution given by

$$\begin{aligned} R^{h+1}=R^{0}\prod _{j=1}^{h+1}(1+d^{j}_{x_0+j-1})(1+r^{j}) . \end{aligned}$$

Following Angrisani and Di Palo (2006), the LADeC scheme is proved to be an effective and efficient strategy to tackle longevity risk; in this regard, to aid the reader, the theorem on the effectiveness and efficiency (TEE) is recalled hereinafter.

For each \(h=0,1,\dots {\overline{h}}-1\), let us denote by

  • \(\mathcal {R}^h\) the total expenditure for annuity benefits actually paid out to the cohort 1 individuals alive at time h, i.e., \(\mathcal {R}^h=|N_{x_0+h}|R^{h}\), with \(h\ge 1\);

  • \(\mathcal {M}^h\) the total fund after the benefit payments at time h ;

  • \(\mathcal {V}^h\) the total reserve allocated for the cohort 1 individuals alive at time h, i.e., \(\mathcal {V}^h=|N_{x_0+h}|V^h=|N_{x_0+h}|R^{h}{\tilde{e}}^{h}_{x_0+h}=\mathcal {R}^h {\tilde{e}}^{h}_{x_0+h}\).

Theorem 1

(on effectiveness and efficiency) In the LADeC scheme, where benefit payments are given by (6), the annuity provider is able to meet its obligations at every expiry date, namely it is

$$\begin{aligned} \mathcal {M}^h=\mathcal {V}^h \qquad h=0,1,\dots ,{\overline{h}}+1. \end{aligned}$$

Proof

See Appendix. \(\square \)

3.2 The case of a unique cohort with varying lump sums

In this subsection, the LADeC scheme is extended to the case of a unique cohort whose individuals pay varying initial lump sums to join the scheme.

To this aim, we consider cohort 1, satisfying the assumptions indicated in Sect. 2, and hence constituted by \(n^0=|N_{x_0}|\) individuals alive at time 0.

Let us assume that each individual in cohort 1 can be identified with natural number j, with \(j=1,2,\ldots n^0\), and hence is referred to as the j-th annuitant. Hence, a one-to-one correspondence between the set of individuals, \(N_{x_0}\), and the subset of the natural numbers from 1 to \(n^0\) is established at time 0, that is set \(N_{x_0}\) is identified with the subset of the first \(n^0\) natural numbers. Because of this correspondence, throughout the paper, we refer to \(N_{x_0}\) as the set of the natural numbers identifying the individuals alive at 0. In addition, the one-to-one correspondence, established at 0, is assumed to be also preserved at the subsequent dates \(h=1,2,\dots {\overline{h}}\), namely each individual in cohort 1 alive at h remains identified by the same natural number fixed at time 0. This means that set \(N_{x_0+h}\) is the subset of \(N_{x_0}\), whose elements are the natural numbers corresponding to the cohort 1 individuals still alive at time h.

Furthermore, it is assumed that at time 0 the j-th annuitant pays an initial amount, denoted by \(M^0_j\), to join the scheme, and to receive in return annuity benefit \({R}^0_j\) paid in arrears, that is

$$\begin{aligned} M^0_j={R}^0_j{{\tilde{e}}^0_{x_0}} \qquad \forall j \in N_{x_0} , \end{aligned}$$

where \({\tilde{e}}^0_{x_0}\) is the life expectancy at age \(x_0\) estimated at 0. This means that at time 0 the LADeC scheme is actuarially fair as the individual lump sum paid equals the individual reserve, thus

$$\begin{aligned} M^0_j=V^0_j \qquad \forall j \in N_{x_0}. \end{aligned}$$

At the end of the first year, that is at \(h=1\), and at the end of any other year \(h+1\), the annuity payment has to be adjusted for the survival probability updates and the actual return on the reserve, as established in the LADEC scheme. In addition, the amounts paid by annuitants, who have died during year \(h+1\), are assumed to be redistributed to those who are still alive in parts that are proportional to their own initial pay-in amount. Hence, the individual fund that is obtained at time \(h+1\), before the payment of the annuity benefit, denoted by \(\hat{{\hat{M}}}^{h+1}_j\), is given by

$$\begin{aligned} \begin{aligned} \hat{{\hat{M}}}^{h+1}_j&=\frac{\mathcal {M}^h}{\mathcal {M}^h|_{L(h+1)}}M^{h}_j(1+r^{h+1})\\&\forall j \in N_{x_0+h+1}, h=0,1,\dots ,{\overline{h}}-1, \end{aligned} \end{aligned}$$
(7)

where \(\mathcal {M}^h\) denotes the total fund at h, namely \(\mathcal {M}^h=\sum _{j\in N_{x_0+h}}M^h_j\), and \(\mathcal {M}^h|_{L(h+1)}\) denotes the total fund at h restricted for the only individuals alive at \(h+1\), namely \(\mathcal {M}^h|_{L(h+1)}=\sum _{j\in N_{x_0+h+1}}M^h_j\). The annuity benefit to be certainly paid to the annuitants alive at \(h+1\) is given by

$$\begin{aligned} \begin{aligned} R^{h+1}_j&=\frac{\hat{{\hat{M}}}^{h+1}_j}{(1+{\tilde{e}}_{x_0+h+1}^{h+1})}\\&\forall j \in N_{x_0+h+1}, h=0,1,\dots ,{\overline{h}}-1 . \end{aligned} \end{aligned}$$
(8)

We show that the annuity benefit calculated with (8) can be expressed in recursive terms using the definition of the observed survival probability. Indeed, if we consider average values

$$\begin{aligned} {\overline{M}}^h=\frac{\sum _{j\in N_{x_0+h}}M^h_j}{|N_{x_0+h}|} \quad {\overline{M}}^h|_{L(h+1)}=\frac{\sum _{j\in N_{x_0+h+1}}M^h_j}{|N_{x_0+h+1}|}, \end{aligned}$$

we can easily show that

$$\begin{aligned} \frac{\mathcal {M}^h|_{L(h+1)}}{\mathcal {M}^h}={\overline{p}}_{x_0+h}\frac{{\overline{M}}^h|_{L(h+1)}}{{\overline{M}}^h}. \end{aligned}$$
(9)

Therefore, it follows that

$$\begin{aligned} \begin{aligned} \hat{{\hat{M}}}^{h+1}_j&=\frac{{\overline{M}}^h}{{\overline{M}}^h|_{L(h+1)}}\frac{1}{{\overline{p}}_{x_0+h}}M^{h}_j(1+r^{h+1})\\&\forall j \in N_{x_0+h+1}, h=0,1,\dots ,{\overline{h}}-1 , \end{aligned} \end{aligned}$$

and the annuity benefit certainly paid to the annuitants alive at \(h+1\) is given by

$$\begin{aligned} \begin{aligned} R^{h+1}_j&=\frac{{\overline{M}}^h}{{\overline{M}}^h|_{L(h+1)}}\frac{M^{h}_j(1+r^{h+1})}{{\overline{p}}_{x_0+h}(1+{\tilde{e}}_{x_0+h+1}^{h+1})}\\&\forall j \in N_{x_0+h+1}, h=0,1,\dots ,{\overline{h}}-1. \end{aligned} \end{aligned}$$
(10)

By means of (3), it follows that

$$\begin{aligned} \begin{aligned} R^{h+1}_j&=\frac{{\overline{M}}^h}{{\overline{M}}^h|_{L(h+1)}}\frac{M^{h}_j(1+r^{h+1})}{{e}_{x_0+h}^{h+1}}\\&\forall j \in N_{x_0+h+1}, h=0,1,\dots ,{\overline{h}}-1. \end{aligned} \end{aligned}$$
(11)

It is easy to verify that if the annuity benefit is calculated according to (10), or equivalently to (11), then the individual fund, after the benefit payment, equals the individual reserve, namely

$$\begin{aligned} \begin{aligned} M^{h+1}_j&=R^{h+1}_j{\tilde{e}}_{x_0+h+1}^{h+1}=V^{h+1}_j\\&\forall j \in N_{x_0+h+1}, h=0,1,\dots ,{\overline{h}}-1. \end{aligned} \end{aligned}$$
(12)

Therefore, using (12) and Definition (6), the annuity benefit, in recursive form, is given by

$$\begin{aligned} \begin{aligned} R^{h+1}_j&=\frac{{\overline{M}}^h}{{\overline{M}}^h|_{L(h+1)}}R^{h}_j cd_{x_0+h}^{h+1}(1+r^{h+1})\\&\forall j \in N_{x_0+h+1}, h=0,1,\dots ,{\overline{h}}-1. \end{aligned} \end{aligned}$$
(13)

Hence, we find out that the annuity benefit is equal to that considered in the previous case, see (6), further adjusted by factor \(\frac{{\overline{M}}^h}{{\overline{M}}^h|_{L(h+1)}}\) stemming from the inheritance due to yearly deaths in cohort 1 in year \(h+1\). Therefore, the following definition is provided.

Definition 9

The inheritance correction factor to the benefit payment at time \(h+1\) is denoted by \(ch^{h+1}\) and is defined as

$$\begin{aligned} ch^{h+1}=\frac{{\overline{M}}^h}{{\overline{M}}^h|_{L(h+1)}} \qquad h=0,1,\dots ,{\overline{h}}-1 . \end{aligned}$$

Note that if the deaths observed in year \(h+1\) are related to individuals who held funds that were, on average, larger than the average value of the total fund at h, then it is \(ch^{h+1}>1\), otherwise the factor of the inheritance correction is lower or equal to one. Clearly, if all annuitants have paid the same initial lump sum, then it is \(ch^{h+1}=1\), and formula (6) results in being a particular case of (13).

By Definition 9, the annuity benefit can be expressed in recursive terms as

$$\begin{aligned} \begin{aligned} R^{h+1}_j&=R^{h}_jcd^{h+1}_{x_0+h}ch^{h+1}(1+r^{h+1})\\&\forall j \in N_{x_0+h+1}, h=0,1,\dots ,{\overline{h}}-1 , \end{aligned} \end{aligned}$$
(14)

namely the annuity benefit to be paid at the end of year \(h+1\) is equal to the annuity benefit paid at the end of year h, doubly adjusted for the demographic and inheritance correction factors and revalued by the yearly interest rate. Note that both correction factors are specific for the fixed cohort, and that

$$\begin{aligned} cd_{x_0+h}^{h+1}ch^{h+1}= \frac{{\tilde{e}}_{x_0+h}^h}{(1+{\tilde{e}}_{x_0+h+1}^{h+1})} \frac{\mathcal {M}^h}{\mathcal {M}^h|_{L(h+1)}}, \end{aligned}$$

that is the overall correction can be split into the product of two factors, the first one exclusively depending on the life tables adopted, and the second one strictly related to the observed evolution of the capitals held by participants.

The TEE of the LADeC scheme also holds in the case considered in this subsection. However, firstly we extend the LADeC scheme to the more general case of multiple cohorts, and then we prove that the TEE holds in both the cases considered.

3.3 The case of multiple cohorts

In this subsection, the LADeC scheme is extended to the case of more cohorts of annuitants enter the scheme at the same fixed initial age but at subsequent times and with varying initial lump sums.

As in previous subsections, cohort 1 is the cohort of individuals aged \(x_0\) who join the scheme at time 0. Let us assume that each other cohort of individuals aged \(x_0\), referred to as cohort k, with \(k=2,3,\dots \), join the scheme at the later times of \(h=k-1\). To specify the cohort, index k is added to the upper left side of the variable’s name.

For individuals in each cohort k, the annuity benefit is calculated according to rule (14) set in the LADeC scheme, namely

$$\begin{aligned} \begin{aligned}&^kR^{h+1}_j= {^{k}R^{h}_j}\text { }{^{k}cd^{h+1}_{x_0+f(h,k)}}\text { }{^{k}ch^{h+1}}(1+r^{h+1}) \end{aligned} \end{aligned}$$
(15)

where function \(f(h,k)=(h-k)+1\) provides the number of years passed in the scheme up to h for individuals in cohort k. If \(f(h,k)<0\), set \(^kN_{x_0+f(h,k)}^h\) is assumed to be empty, that is cohort k has not yet joined the scheme at time h.

If formula (15) is applied, then the effectiveness and the efficiency of the LADeC scheme are preserved since the additive property holds for the calculation of both the fund and the reserve. However, even though the application of correction factors specific for each cohort is a feasible strategy, our aim is to establish whether an adjustment factor, common for all cohorts, can be determined so that the effectiveness and efficiency of the LADeC scheme could be preserved, and, at the same time, annuity benefits for individuals could be improved. We show that such a common adjustment factor, even though it preserves the effectiveness and efficiency, is not fair because it favors younger and larger cohorts at the expense of older and smaller cohorts.

In order to determine this factor, the principle of the capital redistribution for all individuals, belonging to any cohorts and who die in the year considered, is applied, as for example in Piggott et al. (2005) and Qiao and Sherris (2013). Hence, analogously to what has been proposed in the previous subsection, the annuity benefit to be certainly paid to an individual in cohort k alive at \(h+1\) is given by

$$\begin{aligned} \begin{aligned}&{^kR^{h+1}_j}= \frac{\mathcal {M}^h}{\mathcal {M}^h|_{L(h+1)}}\frac{{^kM^h_j}(1+r^{h+1})}{(1+{\tilde{e}}^{h+1}_{x_0+f(h+1,k)})}\\&\text { }\forall j \in {^kN^{h+1}_{x_0+f(h+1,k)}},\text { }h=0,1,\dots ,\text { }k=1,2\dots , \end{aligned} \end{aligned}$$
(16)

where \(\mathcal {M}^h\) is the total fund at h, namely

$$\begin{aligned} \mathcal {M}^h=\sum _{k}\left( \sum _{j\in {^kN^h_{x_0+f(h,k)}}}{^kM^{h}_j}\right) \end{aligned}$$

and \(\mathcal {M}^h|_{L(h+1)}\) is the total funds at h for the annuitants alive at \(h+1\), namely

$$\begin{aligned} \mathcal {M}^h|_{L(h+1)}=\sum _{k}\left( \sum _{j\in ^kN^{h+1}_{x_0+f(h+1,k)}}{^kM^h_j}\right) . \end{aligned}$$

Ratio \(A^{h+1}=\)\(\frac{\mathcal {M}^h}{\mathcal {M}^h|_{L(h+1)}}\) is the total correction factor to be applied to the individual fund before the benefit payment, as a result of the inheritance in year \(h+1\).

Referring to the average values of the capital, it is easy to show that the reciprocal of \(A^{h+1}\) is given by

$$\begin{aligned} \begin{aligned}&\frac{\mathcal {M}^h|_{L(h+1)}}{\mathcal {M}^h}=\frac{{\overline{M}}^h|_{L(h+1)}}{{\overline{M}}^h} \sum _{k}{^k{\overline{p}}_{x_0+f(h,k)}}{^kw^{h}}\\&\quad h=0,1,\dots ,\text { } k=1,2\dots \end{aligned} \end{aligned}$$

with \({^kw^{h}}=\frac{|^kN^{h}_{x_0+f(h,k)}|}{\sum _{k}{|^kN^{h}_{x_0+f(h,k)}|}}\), and \(\sum _{k}{^kw^{h}}=1\). Quantity \(\sum _{k}{^k{\overline{p}}_{x_0+f(h,k)}}{^kw^{h}}\) is the weighted average of the observed survival probabilities with non-negative weights \({^kw^{h}}\), each of them equal to the weight that each cohort has over the total group of annuitants. Clearly, if only one cohort participates in the LADeC scheme, then the reciprocal of the total correction factor coincides with that defined in (9).

It follows that the annuity benefit to be certainly paid to a cohort k individual alive at \(h+1\) is given by

$$\begin{aligned} \begin{aligned}&{^kR^{h+1}_j}\\&\quad =\frac{{\overline{M}}^h}{{\overline{M}}^h|_{L(h+1)}} \frac{1}{\sum _{k}{^k{\overline{p}}_{x_0+f(h,k)}}{^kw^{h}}}\frac{{^kM^h_j}(1+r^{h+1})}{(1+{\tilde{e}}^{h+1}_{x_0+f(h+1,k)})} \\&\qquad \forall j \in {^kN^{h+1}_{x_0+f(h+1,k)}},\text { } h=0,1,\dots , \text { } k=1,2\dots . \end{aligned}\nonumber \\ \end{aligned}$$
(17)

Using property (2), the annuity benefit is given by

$$\begin{aligned} \begin{aligned}&{^kR^{h+1}_j}\\&\quad =\frac{{\overline{M}}^h}{{\overline{M}}^h|_{L(h+1)}} \frac{^k{\overline{p}}_{x_0+f(h,k)}}{\sum _{k}{^k{\overline{p}}_{x_0+f(h,k)}}{^kw^{h}}} \frac{{^kM^h_j}(1+r^{h+1})}{^k{e}^{h+1}_{x_0+f(h,k)}}\\&\qquad \forall j \in {^kN^{h+1}_{x_0+f(h+1,k)}},\text { } h=0,1, \text { } \dots , k=1,2\dots \end{aligned} \end{aligned}$$

Since \({^kM^h_j}={^kR^{h}_j}{{\tilde{e}}^{h}_{x_0+f(h,k)}}={^kV^h_j}\) and by means of both Definition 9, the (total) inheritance correction factor here extended to the whole of cohorts in the LADeC scheme, and Definition 6, the demographic correction factor, the benefit payment can also be expressed in recursive terms as

$$\begin{aligned} \begin{aligned} {^kR^{h+1}_j}&= {^kR^h_j} \text { }{^{k}cd^{h+1}_{x_0+f(h,k)}} \text { }{ch^{h+1}}\\&\quad \frac{^k{\overline{p}}_{x_0+f(h,k)}}{\sum _{k}{^k{\overline{p}}_{x_0+f(h,k)}}{^kw^{h}}}(1+r^{h+1})\\&\qquad \forall j \in {^kN^{h+1}_{x_0+f(h+1,k)}}, \text { }h=0,1,\dots , \text { }k=1,2\dots , \end{aligned} \end{aligned}$$
(18)

where, in comparison with (15), there is a further factor, \(\frac{^k{\overline{p}}_{x_0+f(h,k)}}{\sum _{k}{^k{\overline{p}}_{x_0+f(h,k)}}{^kw^{h}}}\), that expresses the weight of cohort k over all cohorts, in terms of observed survival probabilities.

Remark 1

When the pooling among cohorts is considered, that is \(A^{h+1}\) is used as the (total) fund correction factor, then the individual benefit payment is constrained to follow the observed trend in survival probabilities specific for the cohort considered, see relationship (18). This implies that the correction to the individual benefit payments for older cohorts will be lower than that applied to those for younger cohorts.

Remark 2

It should be noted that

$$\begin{aligned} \begin{aligned} A^{h+1}&=\sum _k\frac{^k\mathcal {M}^h}{\mathcal {M}^h|_{L(h+1)}}=\sum _k\frac{^k \mathcal {M}^h}{^k \mathcal {M}^h|_{L(h+1)}}\frac{^k \mathcal {M}^h|_{L(h+1)}}{\mathcal {M}^h|_{L(h+1)}}\\&=\sum _k {^k ch^{h+1}_{x_0+f(h,k)}}\frac{^k \mathcal {M}^h|_{L(h+1)}}{\mathcal {M}^h|_{L(h+1)}}\\&\quad h=0,1,\dots , \text { } k=1,2\dots \end{aligned} \end{aligned}$$

which is the linear convex combination of the inheritance correction factors for each cohort. This means that cohorts with higher capitals, that is the younger and larger ones, contribute more to the weighted average than do cohorts with low weights, that is the older and smaller ones.

4 The theorem on the effectiveness and efficiency of the LADeC scheme

The TEE of the LADeC scheme holds in the general case of multiple cohorts of individuals who join the scheme at the same initial age at subsequent times and contribute with varying initial lump sums.

For ease of reading, the notations used throughout the paper are as follows. For each cohort \(k=1, 2 ,\ldots \), and for each time \(h=0,1,\dots \)

  1. 1.

    \({^kN_{x_0+f(h,k)}^h}\) denotes the set of the cohort k annuitants alive at time h, and aged \(x_0+f(h,k)\), with \(f(h,k)=(h-k)+1\); if \(f(h,k)<0\), set \(^kN_{x_0+f(h,k)}^h\) is assumed to be empty, that is cohort k has not yet joined the scheme at time h;

  2. 2.

    \({^kn^h}\) denotes the number of annuitants in cohort k who are alive at time h and aged \(x_0+f(h,k)\), namely the cardinality of set \({^kN_{x_0+f(h,k)}^h}\);

  3. 3.

    depending on cohort k, at time h there are observed probabilities of survival if and only if \(h\ge k\); if so, their number is f(hk), and it is \({^kn^h}=({^kn^{h-1}}){^k{\overline{p}}_{x_0+f(h-1,k)}}\);

  4. 4.

    \(^k\mathcal {M}^h\), \(^k\mathcal {R}^h\), and \(^k\mathcal {V}^h\) denote the total fund, the total expenditure, and the total reserve allocated for the cohort k annuitants, whereas \(\mathcal {M}^h\), \(\mathcal {R}^h\), and \(\mathcal {V}^h\) denote the total fund, the total expenditure, and the total reserve, respectively, namely

    $$\begin{aligned} \mathcal {M}^h= & {} \sum _{k} {^k\mathcal {M}^h}= \sum _{k}\left( \sum _{j\in {^kN_{x_0+f(h,k)}^h}}{^kM^h_j}\right) ,\nonumber \\ \mathcal {R}^h= & {} \sum _{k} {^k\mathcal {R}^h} =\sum _{k}\left( \sum _{j\in {^kN_{x_0+f(h,k)}^h} }{^kR^h_j}\right) ,\\ \mathcal {V}^h= & {} \sum _{k}{^k\mathcal {V}^h}=\sum _{k}\left( \sum _{j\in {^kN_{x_0+f(h,k)}^h}}{^kV^h_j}\right) .\nonumber \end{aligned}$$
    (19)

    Since \({^kV^h_j}={^kR^h_j}{\tilde{e}}^{h}_{x_0+f(h,k)}\) for each \(j\in \!{^kN_{x_0+f(h,k)}^h}\), then it also follows that

    $$\begin{aligned} \begin{aligned} \mathcal {V}^h&=\sum _{k}\left( \sum _{j\in {^kN_{x_0+f(h,k)}^h}}{^kR^h_j}\right) {\tilde{e}}^{h}_{x_0+f(h,k)}\\&=\sum _{k}{^k\mathcal {R}^h}{\tilde{e}}^{h}_{x_0+f(h,k)}. \end{aligned} \end{aligned}$$

Theorem 2

In the LADeC scheme, where the benefit payments are given by (16), the annuity provider is able to meet its obligations at every expiry date, namely

$$\begin{aligned} \mathcal {M}^h=\mathcal {V}^h \qquad h=0,1,\dots \end{aligned}$$

Proof

At time 0, the theorem is banally satisfied by the actuarial fairness principle.

Fig. 1
figure 1

Survival functions, estimated and observed in the four scenarios considered, for years 2013, 2020, 2030, 2040

At time h, with \(h\ge 1\), the total fund held by the annuity provider after the payment of the annuity benefits can be written as

$$\begin{aligned} \begin{aligned} \mathcal {M}^{h}&=\mathcal {R}^{h}\Biggl (\frac{\mathcal {M}^{h-1}(1+r^{h})}{\mathcal {R}^{h}}-1\Biggr ) . \end{aligned} \end{aligned}$$
(20)

The total expenditure for annuity benefits, given by (19), can be expressed by means of the annuity benefit formula in the LADeC scheme, see (16), as

$$\begin{aligned} \begin{aligned} \mathcal {R}^{h}&=A^{h} {\sum _{k}\sum _{j\in {^kN_{x_0+f(h,k)}^h}}{\frac{{^kM^{h-1}_j}(1+r^{h})}{1+{\tilde{e}}^{h}_{x_0+f(h,k)}}}} , \end{aligned} \end{aligned}$$

with \(A^{h}=\)\( \frac{\mathcal {M}^{h-1}}{\mathcal {M}^{h-1}|_{L(h)}}\). Note that:

  1. (a)

    divisor \(1+{\tilde{e}}^{h}_{x_0+f(h,k)}\) depends on time h and cohort k and not on the single j-th annuitant; and

  2. (b)

    \(\sum _{j\in {^kN_{x_0+f(h,k)}^h}} {^kM^{h-1}_j}={^k\mathcal {M}^{h-1}|_{L(h)}}\).

Set \({^kx^h={\frac{^k\mathcal {M}^{h-1}|_{L(h)}}{1+{\tilde{e}}^{h}_{x_0+f(h,k)}}}}\); it follows that

$$\begin{aligned} \begin{aligned}\mathcal {R}^{h}&=A^{h}(1+r^{h}) {\sum _{k}{^kx^h}} , \end{aligned} \end{aligned}$$
(21)

and substituting (21) in (20), at the denominator, by means of algebraic calculation, it follows that

$$\begin{aligned} \begin{aligned} \mathcal {M}^{h}&= \mathcal {R}^{h}\left( \frac{\mathcal {M}^{h-1}|_{L(h)}-{\sum _{k}{^kx^h}}}{\sum _{k}{^kx^h}} \right) . \end{aligned} \end{aligned}$$

Since

$$\begin{aligned} \begin{aligned}&\mathcal {M}^{h-1}|_{L(h)}- {\sum _{k}{^kx^h}}\\&\quad =\sum _{k}{^k\mathcal {M}^{h-1}|_{L(h)}}-{\sum _{k}{\frac{^k\mathcal {M}^{h-1}|_{L(h)}}{1+{\tilde{e}}^{h}_{x_0+f(h,k)}}}}\\&\quad = \sum _{k}\frac{^k\mathcal {M}^{h-1}|_{L(h)}}{1+{\tilde{e}}^{h}_{x_0+f(h,k)}}{\tilde{e}}^{h}_{x_0+f(h,k)}= \sum _{k}{^kx^h}{\tilde{e}}^{h}_{x_0+f(h,k)}, \end{aligned} \end{aligned}$$

it follows that

$$\begin{aligned} \begin{aligned}\mathcal {M}^{h}&= \mathcal {R}^{h} \left( \frac{\sum _{k}{^kx^h}{\tilde{e}}^{h}_{x_0+f(h,k)}}{\sum _{k}{^kx^h}} \right) \end{aligned} \end{aligned}$$
(22)

that is the total fund, after the payment of the annuity benefits, is equal to the total expenditure times the weighted average of the life expectancies estimated at h at ages \(x_0+f(h,k)\), with weights \({^kx^h}\). Using (21), then it follows that

$$\begin{aligned} \begin{aligned} \mathcal {M}^{h}&= A^{h}(1+r^{h})\sum _{k}{^kx^h} {\tilde{e}}^{h}_{x_0+f(h,k)}\\&={\sum _{k} {^k\mathcal {R}^{h}}}{\tilde{e}}^{h}_{x_0+f(h,k)}={\sum _{k}{^k\mathcal {V}^{h}}}={\mathcal {V}^{h}}, \end{aligned} \end{aligned}$$
(23)

and hence the thesis. \(\square \)

Remark 3

Note that in the LADeC scheme, the fund evolution does not depend on the trend observed in survival probabilities. Indeed, from (23), it follows that

$$\begin{aligned} \mathcal {M}^{h}= & {} \frac{\mathcal {M}^{h-1}}{\mathcal {M}^{h-1}|_{L(h)}} (1+r^{h}) \sum _{k}{^k\mathcal {M}^{h-1}|_{L(h)}}\frac{{\tilde{e}}^{h}_{x_0+f(h,k)}}{(1+{\tilde{e}}^{h}_{x_0+f(h,k)})}\nonumber \\= & {} \mathcal {M}^{h-1}(1+r^{h}) \frac{\sum _{k}{^k\mathcal {M}^{h-1}|_{L(h)}}(1-\frac{1}{1+{\tilde{e}}^{h}_{x_0+f(h,k)}})}{\sum _{k}{^k\mathcal {M}^{h-1}|_{L(h)}}} , \end{aligned}$$
(24)

where we find out the weighted average of terms \((1-\frac{1}{1+{\tilde{e}}^{h}_{x_0+f(h,k)}})\) with non-negative weights \({^k\!\mathcal {M}^{h-1}|\!_{L(h)}}\).

Fig. 2
figure 2

Case a: One cohort, the same lump sum. Fund evolution and benefit payments in the LADeC scheme and in the conventional life annuity, for the four scenarios considered

5 Numerical illustration

In this section, to illustrate the proved theory, a numerical example is provided to show the effectiveness and efficiency of the LADeC scheme. The obvious choice is to parallel the fund, and the related annuity benefits, from the LADeC scheme with those from a conventional life annuity whose benefits are revalued annually at the same interest rate.

To perform the simulation, the following choices were made.

The mortality rates in EUROPOP2013 (European Population Projections, base year 2013) for Italy—male population, main scenario, see Eurostat (data downloaded 2016) (2016), were chosen as the mortality basis for the life annuity contracts. They were selected because the tables contain information on mortality rates until 2080 and the underlying assumptions account for future increases in life expectancy. The set of these life tables on calendar years \(z=2013, 2014,\dots 2080\) is used for valuing the estimated survival probabilities.

In order to simulate trends in the observed survival probabilities, we considered four different scenarios where the mortality rates, provided by the EUROPOP2013 life tables, for each calendar year \(z=2013, 2014,\dots 2080\), are adjusted by a factor \(1-\alpha \), with \(\alpha =0,+\,0.10, +\,0.20, -\,0.40\), respectively, for the first projected 25 years, and \(\alpha =0, +\,0.02, +\,0.04, -\,0.08\) for the remaining years. Adjusted mortality rates that were negative or greater than one are replaced with the original values provided by the tables. The effects of the adopted adjustments on mortality rates are illustrated in Fig. 1, where the estimated survival function and the observed survival functions in the four scenarios considered are shown at different calendar years.

Fig. 3
figure 3

Case b: One cohort, varying lump sums. Fund evolution and benefit payments in the LADeC scheme and in the conventional life annuity, in the four scenarios considered

Fig. 4
figure 4

Case c: Two cohorts, varying lump sums. Fund evolution in the LADeC scheme (star line) and in the conventional re-valuing life annuity in the four scenarios considered

All simulations in the four scenarios assume:

  1. 1.

    The first cohort joins the scheme at the beginning of year 2014, which corresponds to time \(t=0\); hence, the table life for year 2013 is used to perform the initial calculation of the annuity benefit;

  2. 2.

    The initial age is \(x_0=65\), and the maximum age attainable is 110; these values are set for all cohorts participating in the scheme;

  3. 3.

    All cohorts start with the same number of individuals which is set to 10,000. This choice was made to reduce variations in the benefit payments at older ages;

  4. 4.

    The interest rate is \(r=2\) percent per annum, equal to the average interest rate of Treasury Securities in Italy in year 2013, see MEF Dipartimento del Tesoro (2018). Even though the assumption of a constant risk-free rate of interest can be criticized as being unrealistic, it has no relevance for the purpose of illustrating our theory.

Under the adopted assumptions, the result of the TEE is illustrated showing the evolution of the fund in the three cases considered in the previous sections:

  1. (a)

    One cohort of individuals with the same initial lump sum, which is chosen to be equal to 400 money units;

  2. (b)

    One cohort of individuals with different initial lump sums; these values are chosen from a normal distribution with a mean of 400 and a standard deviation of 200, in money units;

  3. (c)

    Two cohorts of individuals entering the scheme at \(t=0\) and \(t=1\), respectively, and paying different starting lump sums. For both cohorts, these values are outcomes from a normal distribution with the first cohort having a mean of 400 and a standard deviation of 200, in money units, and the second cohort having a mean of 450 and a standard deviation of 250, in money units.

As proved in the TEE, the fund never falls below the zero level in the LADeC scheme in all cases considered (see the upper left box for cases a and b, respectively, in Figs. 2 and 3, and the star line for case c in Fig. 4).

Conversely, in the conventional life annuity scheme, the fund goes into default in the case of assumed improvements in mortality rates in the first three scenarios, whereas it overcapitalizes in the case of worsening mortality rates in Scenario 4 (see the lower left box for cases a and b, respectively, in Figs. 2, 3, and Fig. 4 for case c).

In addition, to illustrate the impact of the demographic compensation on annuity benefits to individuals in the LADeC scheme, the mean values of the simulated outcomes, at each age in the four scenarios taken into account, are shown and compared with those of a conventional re-valuable life annuity. In the LADeC scheme, versus a fund that is always sustainable, the benefit payments are negatively adjusted to take into account the gained improvement in mortality rates in the first three scenarios, whereas they are positively adjusted in the fourth scenario (see the upper right box for cases a and b, respectively, in Figs. 2 and 3, and the boxes related at each scenario for case c in Fig. 5). Compare these with the benefit payments revalued at the fixed interest rate of \(2\%\) in the conventional annuity, against a non-sustainable fund in the first three scenarios or an overcapitalized fund in the fourth scenario (see the right lower box for cases a, b, respectively, in Figs. 2, 3, Fig. 5 for case c).

Fig. 5
figure 5

Case c. Two cohorts, varying lump sums. The benefit payments in the LADeC scheme with and without the pool between the two cohorts

In Fig. 5, benefit payments are shown for all the four scenarios and the two cohorts considered in the cases of a demographic compensation working for: (a) a single cohort; and (b) for pooling cohorts. As proved by (18), the demographic compensation among pooling cohorts acts favorably for younger and larger cohorts, namely cohort 2 in our simulation, at the expense of older and smaller cohorts, namely cohort 1 in our simulation.

6 Conclusions

This paper has dealt with the problem of designing life annuities with the aim of providing an effective and efficient strategy to tackle the longevity risk. Indeed, although the improvement in life expectancy is a desirable process, influenced by socioeconomic, biological, and environmental developments, the low but persistent increase in life expectancy, which is the longevity phenomenon, gives rise to the longevity risk, that is the risk borne by annuity providers and pension funds when an individual or a group lives longer than expected.

In the framework of a large and authoritative literature on this topic, the basic idea to link annuity benefits to actual longevity has already been considered by many authors, who have designed attractive new arrangements for life annuities. This paper has extended and generalized the LADeC scheme, as proposed by Angrisani and Di Palo (2006) and Di Palo (2016), to the case of multiple cohorts. It can be suggested that this new annuity model can provide a concrete hedge against longevity risk for annuity providers and pension funds since was proved to be effective and efficient. Indeed, as the result of the TEE, it was found that at each time recurrence of the life annuity contract the annuity provider holds a fund that exactly matches its commitments, namely the reserve allocated for the future benefit payments. On the other hand, under the LADeC scheme, benefit payments are constrained to follow the observed trends in survival probabilities, and hence in life expectancy: they decrease or increase according to possible falls or rises in mortality rates, thus compensating for possible deficits suffered by the annuity provider or sharing possible profits earned by the annuity provider. Hence, from the point of view of the annuitants, this product could appear less attractive because of the possible decrease in future benefit payments. However, this aspect can be cushioned if the LADeC annuity benefits are compared to those of products that include a safety loading.

In addition, the paper has shown that the strategy for pooling among several cohorts is not a feasible one in terms of intergenerational fairness. Indeed, the LADeC scheme proved to provide more favorable benefits for younger or larger cohorts to the disadvantage of older and smaller cohorts.