Next Article in Journal
The Effects of Direct Democracy on Stock Market Risk and Returns: An Event Study from Switzerland
Next Article in Special Issue
Perceived Risks of Autonomous Vehicles
Previous Article in Journal
Adversarial Artificial Intelligence in Insurance: From an Example to Some Potential Remedies
Previous Article in Special Issue
Solutions to Manage Smart Cities’ Risks in Times of Pandemic Crisis
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Valuation of Equity-Linked Death Benefits on Two Lives with Dependence

School of Economics, University of Johannesburg, Johannesburg 2006, South Africa
*
Author to whom correspondence should be addressed.
Risks 2023, 11(1), 21; https://doi.org/10.3390/risks11010021
Submission received: 8 December 2022 / Revised: 3 January 2023 / Accepted: 10 January 2023 / Published: 12 January 2023
(This article belongs to the Special Issue New Advance of Risk Management Models)

Abstract

:
The purpose of this paper is to investigate equity-linked death benefits for joint alive and last survivor individuals. Utilizing Farlie–Gumbel–Morgenstern (FGM) type dependency modeling framework, we first analyze the joint distribution of the couple (joint alive and last survival density) when marginal distributions follow mixed exponentials and weighted exponentials distributions. Then, we derive the price of the guaranteed minimum death benefit (GMDB) product. In addition, we provide closed analytical expressions of the price of some financial contingent claim contracts (classical and exotic options). Furthermore, we present some numerical results to support our theoretical results. We show in our numerical example that it is important to model the dependency between two lives (couple) since the price changes as the copula parameter changes.

1. Introduction

Consider the problem of a Guaranteed Minimum Death Benefit (GMDB) rider that guarantees the following payment to the customer’s estate when the customer dies, max S T x , K , where T x is the time-until-death random variable for a life aged x, and K is the guaranteed amount. Because
max S T x , K = S T x + K S T x + ,
the problem is equivalent to determining the price for an exotic put option when valuing such a product. Several studies have been conducted on classical European and American options with fixed maturities.
The transformation of the market and the risk appetite of investors and policyholders have made classical life contingency products less attractive to policyholders, requiring providers of insurance and financial contracts to develop more complex products than classical (traditional) products, such as variable annuities and minimum guaranteed benefit. These products combine actuarial and financial principles.
This makes the valuation of these products a complex problem that requires deep knowledge of both actuarial and financial pricing techniques (fair valuation). Examples of a new approach of fair valuation that combines both market-consistent and actuarial methods can be found in Dhaene et al. (2017).
In general, scholars have been working on developing accurate pricing models for these products over the past years. In Gerber et al. (2012), the authors addressed the Guaranteed Minimum Death Benefit pricing issue based on the assumption that the death time is exponential (mixed exponentials) and the expected discounted value of the payment was calculated. Extending further in Gerber et al. (2013), they derived the call, put, lookback, and barrier options prices based on the upward and downward stock’s movement.
The lookback option pricing problem was previously studied by Gerber and Shiu (2003). By using Laplace transform techniques, they derived the expected discounted value of dividend payments based on a standard Brownian motion model of the company’s aggregate net income. As a result, they were able to derive the price of some European lookback call and put options in both fixed and floating strike prices. The authors concluded their work by analysing the possibility of stochastic guaranteed levels. Similarly, Buchen and Konstandatos (2005) presented a new way to price lookback options using the Black and Scholes framework. They showed in their analysis that the lookback option is an integrated version of the barrier option. As a result of the work of these researchers, the portfolio present value can be used to price exotic options using an arbitrage-free framework.
Scholars find it challenging to choose a process that can adequately explain the time evolution of the underlying stock process and provide a closed tractable expression of any financial contingent contract. Stochastic process models used by researchers tend to be unrealistic (the Black–Scholes framework). According to Linetsky (2004), the price of a lookback option can be derived in terms of spectral expansion by linking the diffusion maximum and minimum to the hitting times and the spectral decomposition of diffusion hitting times. In addition, he showed that a closed analytical form can be obtained under the constant elasticity variance diffusion framework. Zhang et al. (2020) utilized the exponential Lévy process for modeling the stock price process to analyze the GMDB pricing problem. By using the Fast Fourier Transform, they derived the price of the GMDB and obtained the price for various payoffs. Their numerical results were compared to those computed using B-spline functions of different orders to demonstrate the efficiency and accuracy of their proposed algorithm.
With GMDB, Wang et al. (2021) analyzed the valuation problem of equity-linked annuities with regime-switching jump diffusion models. Their method of Fourier series expansion and Fourier transform has been used to derive closed expressions for some GMDB contracts. Their method’s effectiveness was demonstrated by numerical values that confirmed its efficiency. Accordingly, Ai and Zhang (2022) adopted an exponential regime switching Lévy process for the stock and, by using Fourier constant series expansion techniques, they derived explicit expressions for the price of life contingent lookback options embedded in variables GMDB. Unlike Wang et al. (2021), Kirkby and Nguyen (2021) focused their work on determining the payoff of equity-linked GMDBs and they were able to derive a closed form of the price of such products when the risky index process follows the exponential Lévy process.
The valuation of such an option requires a distribution that reflects the policyholder’s life expectancy or mortality well. Thus, Shevchenko and Luo (2016) assumed stochastic mortality behavior among policyholders. The authors examined the existence of a numerical pricing method via option stochastic control. They developed a method for valuing variable annuities based on Gauss–Hermite quadrature. In their analysis, both incomplete and complete markets were considered. The problem of finding the optimal fund to finance a pensioner of age ( x ) was previously analyzed by Dufresne (2007). By assuming a mixed exponential distribution of the lifetime of an individual aged ( x ) , he derived analytic expressions for the stochastic life annuity distribution.
Most of the insurance and finance research has focused on the death or survival of only one family member. Buying insurance or financial contracts is generally done to protect savings, so it is important to look at the life statuses of both the wife and the husband. As a result, “joint life or last survival” insurance contracts are used in pensions. For a comprehensive overview of annuity for a married couple, we refer the readers to Brown and Poterba (1999) and Matvejevs and Matvejevs (2001).
In this paper, we investigate the valuation problem of GMDBs as in Gerber et al. (2012). For the time to maturity of the option, we take into account both the joint life and the last survival lifetime, unlike Gerber et al. (2012). Additionally, we assume that the lifetime random variables in the married couple are interdependent. Gerber et al. (2012) results are reviewed under a specific dependency structure and a hyper and weighted exponential distributions assumption. To the best of the authors’ knowledge, this is the first study to consider married couples when pricing GMDB contracts.
The paper is structured as follows. In Section 2, we set up the model and derive the distributions of both joint life and last survival status. Then, we derive the discounted density of Brownian motion in Section 3. We go on to discuss some classical options valuations problems in Section 4 and Section 5 and analyze the impact of the dependency as well as the type of life status under consideration on the price in Section 6. Finally, in Section 7, we conclude the paper with an explanation of the limitations and possible extensions of the work.

2. Model

2.1. Multiple-Life Insurance Model

In this section, we apply the mixed exponential distributions in the context of joint-life insurance modelling. This family of distributions allows us to derive some closed-form expression for many useful actuarial quantities. The survival of the two lives is referred to as the status of interest or simply the status. There are two common types of status: the joint life status and the last survival status.

2.2. Joint Life Status

The joint-life status is one that requires the survival of both lives. Accordingly, the status terminates upon the first death of one of the two lives. The joint-life status of two lives ( x ) and ( y ) will be denoted by x , y , and the moment of death random variable is given by T x , y = min T x , T y . If the random variables T x and T y are dependent and model this dependency via the Farlie–Gumbel–Morgenstern (FGM) copula then, the joint distribution of T x , T y is defined as follows:
f T x , T y u , v = f T x u θ h T x u f T y v + 2 θ h T x u f T y v F ¯ T y v ,
where h T x u = f T x u 1 2 F T x u and 1 θ 1 is the FGM copula’s parameter.
Hereafter, we denote by
η λ i , λ j γ k , γ l α , β = α i α j β k β l λ i + λ j + γ k + γ l ; η λ i , λ j , γ k , γ l = λ i + λ j + γ k + γ l , η λ i , γ k α , β ( i 1 , k 1 ) = α i i 1 λ i β k k 1 γ k i 1 λ i + k 1 γ k ; η λ i , γ k ( i 1 , k 1 ) = i 1 λ i + k 1 γ k , η λ i , λ j , γ k α , β ( i 1 , j 1 , k 1 ) = α i i 1 λ i α j j 1 λ j β k k 1 γ k i 1 λ i + j 1 λ j + k 1 γ k , η λ i , γ k , γ l α , β ( i 1 , k 1 , l 1 ) = α i i 1 λ i β k k 1 β k β l l 1 γ k i 1 λ i + k 1 γ k + l 1 γ l , η λ i , λ j , γ k ( i 1 , j 1 , k 1 ) = i 1 λ i + j 1 λ j + k 1 γ k ; η λ i , γ k , γ l ( i 1 , k 1 , l 1 ) = i 1 λ i + k 1 γ k + l 1 γ l .
Proposition 1.
If T x and T y follow hyper-exponential distributions with density functions, f T x t = i = 1 n α i λ i e λ i t , f T y t = i = 1 m β i γ i e γ i t , for t 0 . Then,
f T x , y w = 1 + θ k = 1 n i = 1 m η λ k , γ i α , β ( 1 , 1 ) e η λ k , γ i ( 1 , 1 ) w θ k = 1 m i = 1 n η λ i , γ k α , β ( 2 , 1 ) e η λ i , γ k ( 2 , 1 ) w + 2 k = 1 n i = 1 m 1 j = i + 1 m η λ k , γ i , γ j α , β ( 1 , 1 , 1 ) e η λ k , γ i , γ j ( 1 , 1 , 1 ) w + 2 θ k = 1 m i = 1 n η λ i , γ k α , β ( 1 , 2 ) e η λ i , γ k ( 1 , 2 ) w + 2 k = 1 m i = 1 n 1 j = i + 1 n η λ i , λ j , γ k α , β ( 1 , 1 , 1 ) e η λ i , λ j , γ k ( 1 , 1 , 1 ) w 2 θ k = 1 m i = 1 n η λ i , γ k α , β ( 2 , 2 ) e η λ i , γ k α , β ( 2 , 2 ) w + 2 k = 1 m i = 1 n 1 j = i + 1 n η λ i , λ j , γ k α , β ( 1 , 1 , 2 ) e η λ i , λ j , γ k ( 1 , 1 , 2 ) w + 2 k = 1 n i = 1 m 1 j = i + 1 m η λ k , γ i , γ j α , β ( 2 , 1 , 1 ) e η λ k , γ i , γ j α , β ( 2 , 1 , 1 ) w + 4 k = 1 m 1 l = k + 1 m i = + 1 n 1 j = i + 1 n η λ i , λ j γ k , γ l α , β e η λ i , λ j γ k , γ l α , β w ,
where n and m represent the number of exponential distributions used to construct the hyper-exponential distribution, α i and β i represent the probability weight of the distribution and satisfy the following constraint i = 1 n α i = j = 1 m β j = 1 .
Proof. 
See Appendix A. □

2.3. The Last Survivor Status

The other common status is the last-survivor status. The last-survivor status is one that ends upon the death of both lives. That is, the status survives as long as at least one of the component members remains alive. The last-survivor status of two lives ( x ) and ( y ) will be denoted by ( x y ¯ ), and the moment of death random variable is given by T x y ¯ = max T x , T y .
Proposition 2.
If T x and T y follow hyper-exponential distributions with density functions,
f T x t = i = 1 n α i λ i e λ i t , f T y t = i = 1 m β i γ i e γ i t , for t 0 .
Then, the density of T x y ¯ is given by
f T x y ¯ w = i = 1 n η λ i , γ k α , β ( 1 , 0 ) e η λ i , γ k ( 1 , 0 ) w + 1 θ i = 1 m η λ k , γ i α , β ( 0 , 1 ) e η λ k , γ i ( 0 , 1 ) w + θ i = 1 m η λ k , γ i α , β ( 0 , 2 ) e η λ k , γ i ( 0 , 2 ) w + 2 k = 1 m 1 l = k + 1 m η λ i , γ k , γ l α , β ( 0 , 1 , 1 ) e η λ i , γ k , γ l ( 0 , 1 , 1 ) w + θ k = 1 m i = 1 n η λ i , γ k α , β ( 2 , 1 ) e η λ i , γ k ( 2 , 1 ) w + 2 k = 1 m i = 1 n 1 j = i + 1 n η λ i , λ j , γ k α , β ( 1 , 1 , 1 ) e η λ i , λ j , γ k ( 1 , 1 , 1 ) w + θ k = 1 n i = 1 m η λ k , γ i α , β ( 1 , 2 ) e η λ k , γ i ( 1 , 2 ) w + 2 i = 1 n k = 1 m 1 l = k + 1 m η λ i , γ k , γ l α , β ( 1 , 1 , 1 ) e η λ i , γ k , γ l ( 1 , 1 , 1 ) w θ k = 1 m i = 1 n η λ i , γ k α , β ( 2 , 2 ) e η λ i , γ k ( 2 , 2 ) w + 2 k = 1 m i = 1 n 1 j = i + 1 n η λ i , λ j , γ k α , β ( 1 , 1 , 2 ) e η λ i , λ j , γ k ( 1 , 1 , 2 ) w + 2 i = 1 n k = 1 m 1 l = k + 1 m η λ i , γ k , γ l α , β ( 2 , 1 , 1 ) e η λ i , γ k , γ l ( 2 , 1 , 1 ) w + 4 k = 1 m 1 l = k + 1 m i = 1 n 1 j = i + 1 n η λ i , λ j γ k , γ l α , β e η λ i , λ j γ k , γ l w .
Proof. 
See Appendix A. □

2.4. Special Case of the Weighted Exponential Distribution

The pdf of the weighted exponential (WE) distribution is unimodal (contrary to the pdf of the exponential distribution) and the corresponding hazard rate function (hrf) is increasing for all values of t. It also possesses various likelihood ratio properties. Additionally, all of its moments can be calculated explicitly—it follows that the related mean, variance, skewness, kurtosis, coefficient of variation, etc. can be computed easily. The technical details can be found in Gupta and Kundu (2001) and Das and Kundu (2016). On the practical side, the WE distribution is suitable for modelling lifetime data when wear-out or ageing is present, providing a real alternative to the exponential distribution for this aim. The success of this weighted version of the exponential distribution has inspired a generation of researchers and practitioners for more in this direction.
The following definitions can be found in Chesneau et al. (2022).
Definition 1
(Weighted Exponential distribution).
The random variable T x (respectively, T y ) is said to have W E distribution, with the shape and scale parameters as α > 0 and λ > 0 , respectively, if the P D F of T y is
f T x x ; α , λ = α + 1 α λ e λ x 1 e α λ x ; x > 0 and 0 otherwise .
Respectively,
f T y y ; α , λ = α + 1 α λ e λ y 1 e α λ y ; y > 0 and 0 otherwise .
We will denote it as W E α , λ .
Corollary 1.
If T x and T y follow hyper-exponential distributions with density functions,
f T x t = α 1 λ 1 e λ 1 t + α 2 λ 2 e λ 2 t 1 + α λ e 1 + α λ t , t 0 f T y t = β 1 γ 1 e γ 1 t + β 2 γ 2 e γ 2 t 1 + β γ e 1 + β γ t , t 0
where
α 1 = α + 1 α , λ 1 = λ , α 2 = 1 α , λ 2 = 1 + α λ , β 1 = β + 1 β ; γ 1 = γ , β 2 = 1 β and γ 2 = 1 + β γ ,
then
f T x , y w = 1 + θ k = 1 2 i = 1 2 η λ k , γ i α , β ( 1 , 1 ) e η λ k , γ i ( 1 , 1 ) w θ k = 1 2 i = 1 2 η λ i , γ k α , β ( 2 , 1 ) e η λ i , γ k ( 2 , 1 ) w + 2 k = 1 2 η γ k , λ 1 , λ 2 α , β ( 1 , 1 , 1 ) e η γ k , λ 1 , λ 2 ( 1 , 1 , 1 ) w + 2 θ k = 1 2 η λ i , γ k α , β ( 1 , 2 ) e η λ i , γ k ( 1 , 2 ) w + 2 i = 1 2 η λ i , γ 1 , γ 2 α , β ( 1 , 1 , 1 ) e η λ i , γ 1 , γ 2 ( 1 , 1 , 1 ) w 2 θ k = 1 2 i = 1 2 η λ i , γ k α , β ( 2 , 2 ) e η λ i , γ k α , β ( 2 , 2 ) w + 2 k = 1 2 η λ 1 , λ 1 , γ k α , β ( 1 , 1 , 2 ) e η λ 1 , λ 1 , γ k ( 1 , 1 , 2 ) w 4 k = 1 2 η λ k , γ 1 , γ 2 α , β ( 2 , 1 , 1 ) e η λ k , γ 1 , γ 1 α , β ( 2 , 1 , 1 ) w + 2 η λ 1 , λ 2 γ 1 , γ 2 α , β e η λ 1 , λ 2 γ 1 , γ 2 α , β w .
Proof. 
Replace the distribution of T x and T y in Proposition 1 with a weighted exponential to complete the proof. □
Corollary 2.
If T x and T y follow hyper-exponential distributions with density functions,
f T x t = α 1 λ 1 e λ 1 t + α 2 λ 2 e λ 2 t 1 + α λ e 1 + α λ t , t 0 f T y t = β 1 γ 1 e γ 1 t + β 2 γ 2 e γ 2 t 1 + β γ e 1 + β γ t , t 0 ,
where
α 1 = α + 1 α , λ 1 = λ , α 2 = 1 α , λ 2 = 1 + α λ , β 1 = β + 1 β ; γ 1 = γ , β 2 = 1 β and γ 2 = 1 + β γ ,
then
f T x y ¯ w = i = 1 2 η λ i , γ k α , β ( 1 , 0 ) e η λ i , γ k ( 1 , 0 ) w + 1 θ i = 1 2 η λ k , γ i α , β ( 0 , 1 ) e η λ k , γ i ( 0 , 1 ) w + θ i = 1 2 η λ k , γ i α , β ( 0 , 2 ) e η λ k , γ i ( 0 , 2 ) w + 2 η λ i , γ 1 , γ 2 α , β ( 0 , 1 , 1 ) e η λ i , γ 1 , γ 2 ( 0 , 1 , 1 ) w + θ k = 1 2 i = 1 2 η λ i , γ k α , β ( 2 , 1 ) e η λ i , γ k ( 2 , 1 ) w + 2 k = 1 2 η λ 1 , λ 2 , γ k α , β ( 1 , 1 , 1 ) e η λ 1 , λ 2 , γ k ( 1 , 1 , 1 ) w + θ k = 1 2 i = 1 2 η λ k , γ i α , β ( 1 , 2 ) e η λ k , γ i ( 1 , 2 ) w + 2 i = 1 2 η λ i , γ 1 , γ 2 α , β ( 1 , 1 , 1 ) e η λ i , γ 1 , γ 2 ( 1 , 1 , 1 ) w θ k = 1 2 i = 1 2 η λ i , γ k α , β ( 2 , 2 ) e η λ i , γ k ( 2 , 2 ) w + 2 k = 1 2 η λ 1 , λ 2 , γ k α , β ( 1 , 1 , 2 ) e η λ 1 , λ 2 , γ k ( 1 , 1 , 2 ) w + 2 i = 1 2 η λ i , γ 1 , γ 2 α , β ( 2 , 1 , 1 ) e η λ i , γ 1 , γ 2 ( 2 , 1 , 1 ) w + 2 η λ 1 , λ 2 γ 1 , γ 2 α , β e η λ 1 , λ 2 γ 1 , γ 2 w .
Proof. 
Replace the distribution of T x and T y in Proposition 2 with a weighted exponential to complete the proof. □

3. Exponential Stopping of Brownian Motion

As in Gerber et al. (2012), let us define
X t = μ t + σ W t , t 0 ,
where W t is a standard Brownian motion (Wiener process), and μ and σ > 0 are constants. Further, let M t = max X s : 0 s t denote the running maximum of the process. Let f X t , M t x , y , y max x , 0 , denote the joint probability density function of X t and M t . Then, the process X t is stopped at time T ( x , y ) or T ( x y ¯ ) , an independent random variable with density defined in Propositions (1) and (2). Hereafter, for simplicity of notation we will denote T ( x , y ) by τ and T ( x y ¯ ) by τ ¯ .
For δ < min 1 i n , 1 j m λ i , γ j , we define the following functions:
f X τ , M τ δ x , y = 0 e δ t f X t , M t x , y f τ t d t y max x , 0 ,
f X τ ¯ , M τ ¯ δ x , y = 0 e δ t f S t , M t x , y f τ ¯ t d t y max x , 0 .
Such functions are referred to as discounted density functions, in the case of negative δ , the adjective inflated might be more appropriate.
Under the conditions of Proposition 1, the joint discounted density of X ( τ ) and M ( τ ) is given by
σ 2 2 f X ( τ ) , M ( τ ) δ x , y = 1 + θ k = 1 n i = 1 m η λ k , γ i α , β ( 1 , 1 ) exp b i , k ( 1 ) x a i , k ( 1 ) b i , k ( 1 ) y θ k = 1 m i = 1 n η λ i , γ k α , β ( 2 , 1 ) exp b i , k ( 2 ) x a i , k ( 2 ) b i , k ( 2 ) y + 2 k = 1 n i = 1 m 1 j = i + 1 m η λ k , γ i , γ j α , β ( 1 , 1 , 1 ) exp b k , i , j ( 3 ) ) x a k , i , j ( 3 ) b k , i , j ( 3 ) y + 2 θ i = 1 n k = 1 m η λ i , γ k α , β ( 1 , 2 ) exp b i , k ( 4 ) x a i , k ( 4 ) b i , k ( 4 ) y + 2 k = 1 m i = 1 n 1 j = i + 1 n η λ i , λ j , γ k α , β ( 1 , 1 , 1 ) exp b k , i , j ( 5 ) ) x a k , i , j ( 5 ) b k , i , j ( 5 ) y 2 θ k = 1 m i = 1 n η λ i , γ k α , β ( 2 , 2 ) exp b k , i ( 6 ) x a k , i ( 6 ) b k , i ( 6 ) y + 2 k = 1 m i = 1 n 1 j = i + 1 n η λ i , λ j , γ k α , β ( 1 , 1 , 2 ) exp b j , k , i ( 7 ) x a j , k , i ( 7 ) b j , k , i ( 7 ) y + 2 k = 1 n i = 1 m 1 j = i + 1 m η λ k , γ i , γ j α , β ( 2 , 1 , 1 ) exp b k , i , j ( 8 ) x a k , i , j ( 8 ) b k , i , j ( 8 ) y + 4 k = 1 m 1 l = k + 1 m i = + 1 n 1 j = i + 1 n η λ i , λ j γ k , γ l α , β exp b i , j , k , l ( 9 ) x a i , j , k , l ( 9 ) b i , j , k , l ( 9 ) y ,
where a k , l , i , j ( n ) > 0 , b k , l , i , j ( n ) < 0 are solutions of quadratic equations in Formula (A2) and y max ( x , 0 ) .
Let us recall the following formulas that can be found in the books of Jeanblanc et al. (2009) and Borodin and Salminen (2002):
f X ( t ) , M ( t ) ( x , y ) = 2 y x 2 π D 3 t 3 exp μ x 1 2 μ 2 t 2 y x 2 2 t 2 D , 0 e η t a e a 2 2 t 2 π t 3 d t = e a 2 η , η 0 .
Let us prove the first term of the formula in the above result for the discounted joint density. Let D = σ 2 2 ; from Equations (2) and (4) we have
k = 1 n i = 1 m η λ k , γ i α , β ( 1 , 1 ) 0 e δ t 2 y x 2 π D 3 t 3 e μ x 1 2 μ 2 t 2 y x 2 2 t 2 D e η λ k , γ i ( 1 , 1 ) t d t = 1 D k = 1 n i = 1 m η λ k , γ i α , β ( 1 , 1 ) e μ x 2 D 0 e ϵ s a 2 π s 3 e a 2 2 s d t = 1 D k = 1 n i = 1 m η λ k , γ i α , β ( 1 , 1 ) e μ x 2 D e a 2 ϵ ,
where ϵ = μ 2 4 D 2 + η λ k , γ i ( 1 , 1 ) + δ D , a = 2 y x 2 .
Now consider the quadratic equation,
D ζ 2 + μ ζ η λ k , γ i ( 1 , 1 ) + δ = 0 ;
its solution is given by
Δ = μ 2 + 4 D η λ k , γ i ( 1 , 1 ) + δ a i , k ( 1 ) = μ + Δ 2 D , b i , k ( 1 ) = μ + Δ 2 D a i , k ( 1 ) + b i , k ( 1 ) = μ D , a i , k ( 1 ) b i , k ( 1 ) = 2 ϵ .
Hence,
1 D k = 1 n i = 1 m η λ k , γ i α , β ( 1 , 1 ) e μ x 2 D e a 2 ϵ = 1 D k = 1 n i = 1 m η λ k , γ i α , β ( 1 , 1 ) e a i , k ( 1 ) + b i , k ( 1 ) x 2 e 2 y x a i , k ( 1 ) b i , k ( 1 ) 2 = 1 D k = 1 n i = 1 m η λ k , γ i α , β ( 1 , 1 ) exp b i , k ( 1 ) x a i , k ( 1 ) b i , k ( 1 ) y .
This completes the proof.
It can similarly be proven that the discounted joint density X ( τ ¯ ) is given by
σ 2 2 f X ( τ ¯ ) , M ( τ ¯ ) δ ( x , y ) = i = 1 n η λ i , γ k α , β ( 1 , 0 ) e d i ( 1 ) x c i ( 1 ) d i ( 1 ) y + 1 θ i = 1 m η λ k , γ i α , β ( 0 , 1 ) e d i ( 2 ) x c i ( 2 ) d i ( 2 ) y + θ i = 1 m η λ k , γ i α , β ( 0 , 2 ) e d i ( 3 ) x c i ( 3 ) d i ( 3 ) y + 2 i = 1 m 1 j = i + 1 m η λ i , γ k , γ l α , β ( 0 , 1 , 1 ) e d i , j ( 4 ) x c i , j ( 4 ) d i , j ( 4 ) y + θ k = 1 m i = 1 n η λ i , γ k α , β ( 2 , 1 ) exp d k , i ( 5 ) x c k , i ( 5 ) d k , i ( 5 ) y + 2 k = 1 m i = 1 n 1 j = i + 1 n η λ i , λ j , γ k α , β ( 1 , 1 , 1 ) exp d k , i , j ( 6 ) x c k , i , j ( 6 ) d k , i , j ( 6 ) y + θ k = 1 n i = 1 m η λ k , γ i α , β ( 1 , 2 ) exp d k , i ( 5 ) x c k , i ( 7 ) d k , i ( 7 ) y + 2 k = 1 n i = 1 m 1 j = i + 1 m η λ i , γ k , γ l α , β ( 1 , 1 , 1 ) exp d k , i , j ( 8 ) x c k , i , j ( 8 ) d k , i , j ( 8 ) y θ i = 1 m j = 1 n η λ i , γ k α , β ( 2 , 2 ) exp d i , j ( 9 ) x c i , j ( 9 ) d i , j ( 9 ) y + 2 k = 1 m i = 1 n 1 j = i + 1 n η λ i , λ j , γ k α , β ( 1 , 1 , 2 ) exp d k , i , j ( 10 ) x c k , i , j ( 10 ) d k , i , j ( 10 ) y + 2 k = 1 n i = 1 m 1 j = i + 1 m η λ i , γ k , γ l α , β ( 2 , 1 , 1 ) exp d k , i , j ( 11 ) x c k , i , j ( 11 ) d k , i , j ( 11 ) y + 4 k = 1 m 1 l = k + 1 m i = 1 n 1 j = i + 1 n η λ i , λ j γ k , γ l α , β e d k , l , i , j ( 12 ) x c k , l , i , j ( 12 ) d k , l , i , j ( 12 ) y ,
where c k , l , i , j ( n ) > 0 , d k , l , i , j ( n ) < 0 are solutions of quadratic equations in Formula (A3) and y max ( x , 0 ) .
Integrating over y (respectively over x) yields the discounted densities. Below, are the formulas
f X ( τ ) δ x = 1 + θ k = 1 n i = 1 m χ i , k ( 1 ) e a i , k ( 1 ) x 𝟙 x 0 b i , k ( 1 ) x 𝟙 x < 0 θ k = 1 m i = 1 n χ i , k ( 2 ) e a i , k ( 2 ) x 𝟙 x 0 b i , k ( 2 ) x 𝟙 x < 0 + 2 k = 1 n i = 1 m 1 j = i + 1 m χ k , i , j ( 3 ) e a k , i , j ( 3 ) ) x 𝟙 x 0 b k , i , j ( 3 ) x 𝟙 x < 0 + 2 θ k = 1 n i = 1 m χ i , k ( 4 ) e a i , k ( 4 ) x 𝟙 x 0 b i , k ( 4 ) x 𝟙 x < 0 + 2 k = 1 m i = 1 n 1 j = i + 1 n χ k , i , j ( 5 ) e a k , i , j ( 5 ) ) x 𝟙 x 0 b k , i , j ( 5 ) x 𝟙 x < 0 2 θ k = 1 m i = 1 n χ k , i ( 6 ) e a i , j ( 6 ) x 𝟙 x 0 b k , i ( 6 ) x 𝟙 x < 0 4 θ k = 1 m i = 1 n 1 j = i + 1 n χ j , k , i ( 7 ) e a j , k , i ( 7 ) x 𝟙 x 0 b j , k , i ( 7 ) x 𝟙 x < 0 + k = 1 n i = 1 m 1 j = i + 1 m χ k , i , j ( 8 ) e a k , i , j ( 8 ) x 𝟙 x 0 b k , i , j ( 8 ) x 𝟙 x < 0 8 θ k = 1 m 1 l = k + 1 m i = + 1 n 1 j = i + 1 n χ i , j , k , l ( 9 ) exp a i , j , k , l ( 9 ) x 𝟙 x 0 b i , j , k , l ( 9 ) x 𝟙 x < 0 ,
and
( 1 ) × f M ( τ ) δ y = 1 + θ k = 1 n i = 1 m χ i , k ( 1 ) b i , k ( 1 ) e a i , k ( 1 ) y 𝟙 y 0 θ k = 1 m i = 1 n χ i , k ( 2 ) b i , k ( 2 ) e a i , k ( 2 ) y 𝟙 y 0 + 2 k = 1 n i = 1 m 1 j = i + 1 m χ k , i , j ( 3 ) b k , i , j ( 3 ) e a k , i , j ( 3 ) ) y 𝟙 y 0 + 2 θ k = 1 n i = 1 m χ i , k ( 5 ) b i , k ( 4 ) e a i , k ( 4 ) y 𝟙 y 0 + 2 k = 1 m i = 1 n 1 j = i + 1 n χ k , i , j ( 5 ) b k , i , j ( 5 ) e a k , i , j ( 5 ) ) y 𝟙 y 0 2 θ k = 1 m i = 1 n χ k , i ( 6 ) b k , i ( 6 ) e a k , i ( 6 ) y 𝟙 y 0 4 θ k = 1 m i = 1 n 1 j = i + 1 n χ j , k , i ( 7 ) b j , k , i ( 7 ) e a j , k , i ( 7 ) y 𝟙 y 0 + k = 1 n i = 1 m 1 j = i + 1 m χ k , i , j ( 8 ) b k , i , j ( 8 ) e a k , i , j ( 8 ) y 𝟙 y 0 8 θ k = 1 m 1 l = k + 1 m i = + 1 n 1 j = i + 1 n χ i , j , k , l ( 9 ) b i , j , k , l ( 9 ) exp a i , j , k , l ( 9 ) y 𝟙 y 0 ,
where
χ i , k ( 1 ) = 2 η λ k , γ i α , β ( 1 , 1 ) σ 2 a i , k ( 1 ) b i , k ( 1 ) , χ i , k ( 2 ) = 2 β k η λ i , γ k α , β ( 2 , 1 ) σ 2 a i , k ( 2 ) b i , k ( 2 ) , χ k , i , j ( 3 ) = 2 η λ k , γ i , γ j α , β ( 1 , 1 , 1 ) σ 2 a k , i , j ( 3 ) b k , i , j ( 3 ) , χ i , k ( 4 ) = 2 η λ i , γ k α , β ( 1 , 2 ) σ 2 a i , k ( 4 ) b i , k ( 4 ) , χ k , i , j ( 5 ) = 2 η λ i , λ j , γ k α , β ( 1 , 1 , 1 ) σ 2 a k , i , j ( 5 ) b k , i , j ( 5 ) , χ k , i ( 6 ) = 2 η λ i , γ k α , β ( 2 , 2 ) σ 2 a k , i ( 6 ) b k , i ( 6 ) , χ j , k , i ( 7 ) = 2 η λ i , λ j , γ k α , β ( 1 , 1 , 2 ) σ 2 a k , i , j ( 7 ) b k , i , j ( 7 ) , χ k , i , j ( 8 ) = 2 η λ k , γ i , γ j α , β ( 2 , 1 , 1 ) σ 2 a k , i , j ( 8 ) b k , i , j ( 8 ) , χ i , j , k , l ( 9 ) = 2 η λ i , λ j γ k , γ l α , β σ 2 a i , j , k , l ( 9 ) b i , j , k , l ( 9 ) .
Similarly, when we consider the last survival distribution, we have
f X ( τ ¯ ) δ ( x ) = i = 1 n κ i ( 1 ) e c i ( 1 ) x 𝟙 x 0 d i ( 1 ) x 𝟙 x < 0 + 1 θ i = 1 m κ i ( 2 ) e c i ( 2 ) x 𝟙 x 0 d i ( 2 ) x 𝟙 x < 0 + θ i = 1 m κ i ( 3 ) e c i ( 0 ) x 𝟙 x 0 d i ( 3 ) x 𝟙 x < 0 + 2 i = 1 m 1 j = i + 1 m κ i , j ( 4 ) e c i , j ( 4 ) x 𝟙 x 0 d i , j ( 4 ) x 𝟙 x < 0 + θ k = 1 m i = 1 n κ k , i ( 5 ) e c k , i ( 5 ) x 𝟙 x 0 d k , i ( 5 ) x 𝟙 x < 0 + 2 k = 1 m i = 1 n 1 j = i + 1 n κ k , i , j ( 6 ) e c k , i , j ( 6 ) x 𝟙 x 0 d k , i , j ( 6 ) x 𝟙 x < 0 + θ k = 1 n i = 1 m κ k , i ( 7 ) e c k , i ( 7 ) x 𝟙 x 0 d k , i ( 7 ) x 𝟙 x < 0 + 2 k = 1 n i = 1 m 1 j = i + 1 m κ k , i , j ( 8 ) e c k , i , j ( 8 ) x 𝟙 x 0 d k , i , j ( 8 ) x 𝟙 x < 0 θ i = 1 m j = 1 n κ i , j ( 9 ) e c i , j ( 9 ) x 𝟙 x 0 d i , j ( 9 ) x 𝟙 x 0 + 2 k = 1 m i = 1 n 1 j = i + 1 n κ k , i , j ( 10 ) e c k , i , j ( 10 ) x 𝟙 x 0 d k , i , j ( 10 ) x 𝟙 x < 0 + 2 k = 1 n i = 1 m 1 j = i + 1 m κ k , i , j ( 11 ) exp c k , i , j ( 11 ) x 𝟙 x 0 d k , i , j ( 11 ) x 𝟙 x < 0 + 4 k = 1 m 1 l = k + 1 m i = 1 n 1 j = i + 1 n κ k , l , i , j ( 12 ) exp c k , l , i , j ( 12 ) x 𝟙 x 0 d k , l , i , j ( 12 ) x 𝟙 x < 0
and
( 1 ) × f M ( τ ¯ ) δ ( y ) = i = 1 n κ i ( 1 ) d i ( 1 ) e c i ( 1 ) y 𝟙 y 0 + 1 θ i = 1 m κ i ( 2 ) d i ( 2 ) e c i ( 2 ) y 𝟙 x 0 + θ i = 1 m κ i ( 3 ) d i ( 3 ) e c i ( 0 ) y 𝟙 y 0 + 2 i = 1 m 1 j = i + 1 m κ i , j ( 4 ) d i , j ( 4 ) e c i , j ( 4 ) y 𝟙 y 0 + θ k = 1 m i = 1 n κ k , i ( 5 ) d k , i ( 5 ) e c k , i ( 5 ) y 𝟙 y 0 + 2 k = 1 m i = 1 n 1 j = i + 1 n κ k , i , j ( 6 ) d k , i , j ( 6 ) e c k , i , j ( 6 ) y 𝟙 y 0 + θ k = 1 n i = 1 m κ k , i ( 7 ) d k , i ( 7 ) e c k , i ( 7 ) y 𝟙 y 0 + 2 k = 1 n i = 1 m 1 j = i + 1 m κ k , i , j ( 8 ) d k , i , j ( 8 ) e c k , i , j ( 8 ) y 𝟙 y 0 θ i = 1 m j = 1 n κ i , j ( 9 ) d i , j ( 9 ) e c i , j ( 9 ) y 𝟙 y 0 + 2 k = 1 m i = 1 n 1 j = i + 1 n κ k , i , j ( 10 ) d k , i , j ( 10 ) e c k , i , j ( 10 ) y 𝟙 x 0 + 2 k = 1 n i = 1 m 1 j = i + 1 m κ k , i , j ( 11 ) d k , i , j ( 11 ) exp c k , i , j ( 11 ) y 𝟙 y 0 + 4 k = 1 m 1 l = k + 1 m i = 1 n 1 j = i + 1 n κ k , l , i , j ( 12 ) d k , l , i , j ( 12 ) exp c k , l , i , j ( 12 ) y 𝟙 y 0 ,
where
κ i ( 1 ) = 2 η λ i , γ k α , β ( 1 , 0 ) σ 2 c i ( 1 ) d i ( 1 ) , κ i ( 2 ) = 2 η λ k , γ i α , β ( 0 , 1 ) σ 2 c i ( 2 ) d i ( 2 ) , κ i ( 3 ) = 2 η λ k , γ i α , β ( 0 , 2 ) σ 2 c i ( 3 ) d i ( 3 ) , κ i , j ( 4 ) = 2 η λ i , γ k , γ l α , β ( 0 , 1 , 1 ) σ 2 c i , j ( 4 ) d i , j ( 4 ) , κ k , i ( 5 ) = 2 η λ i , γ k α , β ( 2 , 1 ) σ 2 c k , i ( 5 ) d k , i ( 5 ) , κ k , i , j ( 6 ) = 2 η λ i , λ j , γ k α , β ( 1 , 1 , 1 ) σ 2 c k , i , j ( 6 ) d k , i , j ( 6 ) , κ k , i ( 7 ) = 2 η λ k , γ i α , β ( 1 , 2 ) σ 2 c k , i ( 7 ) d k , i ( 7 ) , κ k , i , j ( 8 ) = 2 η λ i , γ k , γ l α , β ( 1 , 1 , 1 ) σ 2 c k , i , j ( 8 ) d k , i , j ( 8 ) , κ i , j ( 9 ) = 2 η λ i , γ k α , β ( 2 , 2 ) σ 2 c i , j ( 9 ) d i , j ( 9 ) , κ k , i , j ( 10 ) = 2 η λ i , λ j , γ k α , β ( 1 , 1 , 2 ) σ 2 c k , i , j ( 10 ) d k , i , j ( 10 ) , κ k , i , j ( 11 ) = 2 η λ i , γ k , γ l α , β ( 2 , 1 , 1 ) σ 2 c k , i , j ( 11 ) d k , i , j ( 11 ) , κ k , l , i , j ( 12 ) = 2 η λ i , λ j γ k , γ l α , β σ 2 c k , l , i , j ( 12 ) d k , l , i , j ( 12 ) .
(i)
By letting n = m = 2 in Equations (5) and (6), we obtain the discounted densities for weighted exponential distribution in the case of joint alive status;
(ii)
By letting n = m = 2 in Equations (8) and (9), we obtain the discounted densities for weighted exponential distribution in the case of last survival status.
As we have a closed expression of the discounted density, in both (joint life and last survival) scenarios, we are able to valuate some financial contingent claims and give a closed-analytical expressions. In the following section, we will analyse some basic options and derive some closed-expression of their prices.

4. Valuation of Basic Options

Hereafter, S ( t ) represents the underlying stock price process defined by
S ( t ) = S ( 0 ) e X ( t ) ,
where X ( t ) is the linear Brownian motion defined in Equation (1). As shown in Gerber et al. (2012), we have
E S ( t ) = S ( 0 ) e ν t ,
where
ν = μ + σ 2 2 .
The functions b S ( τ ) , b S ( τ ¯ ) represent the payoff of the financial contingent claim, then, valuing GMDB entails determining
E e δ τ b S ( τ ) and E e δ τ ¯ b S ( τ ¯ ) .
For a different type of option payoff, we can find the corresponding function b ( ) (see Gerber et al. 2012).
By assumption, S ( t ) and T x or T y are independent. So S ( t ) and τ or τ ¯ are also independent. Thus, Equation (13) becomes
E e δ τ b S ( τ ) = b s ( 0 ) e x f X ( τ ) δ ( x ) d x , E e δ τ ¯ b S ( τ ¯ ) = b s ( 0 ) e x f X ( τ ¯ ) δ ( x ) d x .
For the special case where b ( x ) = x we have
E e δ τ b S ( τ ) = 1 + θ k = 1 n i = 1 m η λ k , γ i α , β ( 1 , 1 ) δ + η λ k , γ i ( 1 , 1 ) ν θ k = 1 m i = 1 n η λ i , γ k α , β ( 2 , 1 ) δ + η λ i , γ k ( 2 , 1 ) ν + 2 k = 1 n i = 1 m 1 j = i + 1 m η λ k , γ i , γ j α , β ( 1 , 1 , 1 ) δ + η λ k , γ i , γ j ( 1 , 1 , 1 ) ν + 2 θ i = 1 n k = 1 m η λ i , γ k α , β ( 1 , 2 ) δ + η λ i , γ k ( 1 , 2 ) ν + 2 k = 1 m i = 1 n 1 j = i + 1 n η λ i , λ j , γ k α , β ( 1 , 1 , 1 ) δ + η λ i , λ j , γ k ( 1 , 1 , 1 ) ν 2 θ k = 1 m i = 1 n η λ i , γ k α , β ( 2 , 2 ) δ + η λ i , γ k ( 2 , 2 ) ν 4 θ k = 1 m i = 1 n 1 j = i + 1 n η λ i , λ j , γ k α , β ( 1 , 1 , 2 ) δ + η λ i , λ j , γ k ( 1 , 1 , 2 ) ν + k = 1 n i = 1 m 1 j = i + 1 m η λ k , γ i , γ j α , β ( 2 , 1 , 1 ) δ + η λ k , γ i , γ j ( 2 , 1 , 1 ) ν 8 θ k = 1 m 1 l = k + 1 m i = + 1 n 1 j = i + 1 n η λ i , λ j γ k , γ l α , β δ + η λ i , λ j γ k , γ l ν S ( 0 ) .
Proof. 
Without loss of generality, we will only prove the first part of Equation (15):
E e δ τ b S ( τ ) = b s ( 0 ) e x f X ( τ ) δ ( x ) d x = S ( 0 ) k = 1 n i = 1 m χ i , k ( 1 ) 1 1 b i , k 1 + 1 a i , k ( 1 ) 1 = S ( 0 ) k = 1 n i = 1 m η λ k , γ i α , β ( 1 , 1 ) D 1 b i , k 1 a i , k ( 1 ) 1 = S ( 0 ) k = 1 n i = 1 m η λ k , γ i α , β ( 1 , 1 ) δ + η λ k , γ i ( 1 , 1 ) × a i , k ( 1 ) b i , k ( 1 ) 1 b i , k 1 a i , k ( 1 ) 1 = S ( 0 ) k = 1 n i = 1 m η λ k , γ i α , β ( 1 , 1 ) δ + η λ k , γ i ( 1 , 1 ) ν ,
where D = σ 2 2 . □
If we consider the last survival, we get
E e δ τ ¯ b S ( τ ¯ ) = i = 1 n η λ i , γ k α , β ( 1 , 0 ) δ + η λ i , γ k ( 1 , 0 ) ν + 1 θ i = 1 m η λ k , γ i α , β ( 0 , 1 ) δ + η λ k , γ i ( 0 , 1 ) ν + θ i = 1 m 2 η λ k , γ i α , β ( 0 , 2 ) δ + η λ k , γ i ( 0 , 2 ) ν + 2 k = 1 m 1 l = k + 1 m η λ i , γ k , γ l α , β ( 0 , 1 , 1 ) δ + η λ i , γ k , γ l ( 0 , 1 , 1 ) ν + θ k = 1 m i = 1 n η λ i , γ k α , β ( 2 , 1 ) δ + η λ i , γ k α , β ( 2 , 1 ) ν + 2 k = 1 m i = 1 n 1 j = i + 1 n η λ i , λ j , γ k α , β ( 1 , 1 , 1 ) δ + η λ i , λ j , γ k α , β ( 1 , 1 , 1 ) ν + θ k = 1 n i = 1 m η λ k , γ i α , β ( 1 , 2 ) δ + η λ k , γ i ( 1 , 2 ) ν + 2 i = 1 n k = 1 m 1 l = k + 1 m η λ i , γ k , γ l α , β ( 1 , 1 , 1 ) δ + η λ i , γ k , γ l ( 1 , 1 , 1 ) ν θ k = 1 m j = 1 n η λ i , γ k α , β ( 2 , 2 ) δ + η λ i , γ k ( 2 , 2 ) ν + 2 k = 1 m i = 1 n 1 j = i + 1 n η λ i , λ j , γ k α , β ( 1 , 1 , 2 ) δ + η λ i , λ j , γ k ( 1 , 1 , 2 ) ν + 2 i = 1 n k = 1 m 1 l = k + 1 m η λ i , γ k , γ l α , β ( 2 , 1 , 1 ) δ + η λ i , γ k , γ l α , β ( 2 , 1 , 1 ) ν + 4 k = 1 m 1 l = k + 1 m i = 1 n 1 j = i + 1 n η λ i , λ j γ k , γ l α , β δ + η λ i , λ j γ k , γ l ν S ( 0 ) .
Remark 1.
(1)
An equivalent formula similar to Equations (15) and (16) can be obtained if T x and T y follow Weighted exponential distributions;
(2)
If ν = δ , it is straightforward to show that E e τ S ( τ ) = E e τ ¯ S ( τ ¯ ) = S ( 0 ) which is the result in risk neutral pricing framework when δ represents the risk-free interest rate and the market is complete.
Hereafter, we denote E e δ τ b S ( τ ) : = π 1 and E e δ τ ¯ b S ( τ ¯ ) : = π 2

4.1. Out-of-Money All-or-Nothing Call Option

The payoff of this type of contract is given by
b ( x ) = x n 0 𝟙 x > K ,
where K is the strike price.
If we consider this type of financial contract, the price of the joint life contract is given by
π 1 = 1 + θ k = 1 n i = 1 m χ i , k ( 1 ) a i , k ( 1 ) n 0 K n 0 S ( 0 ) K a i , k ( 1 ) θ k = 1 m i = 1 n χ i , k ( 2 ) a i , k ( 2 ) n 0 K n 0 S ( 0 ) K a i , k ( 2 ) + 2 k = 1 n i = 1 m 1 j = i + 1 m χ k , i , j ( 3 ) a k , i , j ( 3 ) n 0 K n 0 S ( 0 ) K a k , i , j ( 3 ) + 2 θ k = 1 n i = 1 m χ i , k ( 4 ) a i , k ( 4 ) n 0 K n 0 S ( 0 ) K a i , k ( 4 ) + 2 k = 1 m i = 1 n 1 j = i + 1 n χ k , i , j ( 5 ) a k , i , j ( 5 ) n 0 K n 0 S ( 0 ) K a k , i , j ( 5 ) 2 θ k = 1 m i = 1 n χ k , i ( 6 ) a k , i ( 6 ) n 0 K n 0 S ( 0 ) K a k , i ( 6 ) 4 θ k = 1 m i = 1 n 1 j = i + 1 n χ j , k , i ( 7 ) a j , k , i ( 7 ) n 0 K n 0 S ( 0 ) K a j , k , i ( 7 ) + k = 1 n i = 1 m 1 j = i + 1 m χ k , i , j ( 8 ) a k , i , j ( 8 ) n 0 K n 0 S ( 0 ) K a k , i , j ( 8 ) 8 θ k = 1 m 1 l = k + 1 m i = + 1 n 1 j = i + 1 n χ i , j , k , l ( 9 ) a i , j , k , l ( 9 ) n 0 K n 0 S ( 0 ) K a i , j , k , l ( 9 ) .
This formula is valid if n 0 is less than the smallest non-negative root of Equation (A2).
Similarly, if we consider the last survival case and if n 0 does not exceed the smallest non-negative root of Equation (A3) then, the price of this financial contract becomes
π 2 = i = 1 n κ i ( 1 ) c i ( 1 ) n 0 K n 0 S ( 0 ) K c i ( 1 ) + 1 θ i = 1 m κ i ( 2 ) c i ( 2 ) n 0 K n 0 S ( 0 ) K c i ( 2 ) + θ i = 1 m κ i ( 3 ) c i ( 3 ) n 0 K n 0 S ( 0 ) K c i ( 3 ) + 2 i = 1 m 1 j = i + 1 m κ i , j ( 4 ) c i , j ( 4 ) n 0 K n 0 S ( 0 ) K c i , j ( 4 ) + θ k = 1 m i = 1 n κ k , i ( 5 ) c k , i ( 5 ) n 0 K n 0 S ( 0 ) K c k , i ( 5 ) + 2 k = 1 m i = 1 n 1 j = i + 1 n κ k , i , j ( 6 ) c k , i , j ( 6 ) n 0 K n 0 S ( 0 ) K c k , i , j ( 6 ) + θ k = 1 n i = 1 m κ k , i ( 7 ) c k , i ( 7 ) n 0 K n 0 S ( 0 ) K c i ( 7 ) + 2 k = 1 n i = 1 m 1 j = i + 1 m κ k , i , j ( 8 ) c k , i , j ( 8 ) n 0 K n 0 S ( 0 ) K c k , i , j ( 8 ) θ i = 1 m j = 1 n κ i , j ( 9 ) c i , j ( 9 ) n 0 K n 0 S ( 0 ) K c i , j ( 9 ) + 2 k = 1 m i = 1 n 1 j = i + 1 n κ k , i , j ( 10 ) c k , i , j ( 10 ) n 0 K n 0 S ( 0 ) K c k , i , j ( 10 ) + 2 k = 1 n i = 1 m 1 j = i + 1 m κ k , i , j ( 11 ) c k , i , j ( 11 ) n 0 K n 0 S ( 0 ) K c k , i , j ( 11 ) + 4 k = 1 m 1 l = k + 1 m i = 1 n 1 j = i + 1 n κ k , l , i , j ( 12 ) c k , l , i , j ( 12 ) n 0 K n 0 S ( 0 ) K c k , l , i , j ( 12 ) .

4.2. At-the-Money All-or-Nothing Call Option

At-the-money option, the stock price at time 0 equal the strike price. Under this condition, Equations (18) and (19) become
π 1 = 1 + θ k = 1 n i = 1 m χ i , k ( 1 ) K n 0 a i , k ( 1 ) n 0 θ k = 1 m i = 1 n χ i , k ( 2 ) K n 0 a i , k ( 2 ) n 0 + 2 k = 1 n i = 1 m 1 j = i + 1 m χ k , i , j ( 3 ) a k , i , j ( 3 ) n 0 + 2 θ k = 1 n i = 1 m χ i , k ( 4 ) K n 0 a i , k ( 4 ) n 0 + 2 k = 1 m i = 1 n 1 j = i + 1 n χ k , i , j ( 5 ) a k , i , j ( 5 ) n 0 2 θ k = 1 m i = 1 n χ k , i ( 6 ) K n 0 a k , i ( 6 ) n 0 4 θ k = 1 m i = 1 n 1 j = i + 1 n χ j , k , i ( 7 ) K n 0 a j , k , i ( 7 ) n 0 + k = 1 n i = 1 m 1 j = i + 1 m χ k , i , j ( 8 ) K n 0 a k , i , j ( 8 ) n 0 2 k = 1 m 1 l = k + 1 m i = 1 n 1 j = i + 1 n χ i , j , k , l ( 9 ) K n 0 a i , j , k , l ( 9 ) n 0 ,
and
π 2 = i = 1 n κ i ( 1 ) K n 0 c i ( 1 ) n 0 + 1 θ i = 1 m κ i ( 2 ) K n 0 c i ( 2 ) n 0 + θ i = 1 m κ i ( 3 ) K n 0 c i ( 3 ) n 0 + 2 i = 1 m 1 j = i + 1 m κ i , j ( 4 ) K n 0 c i , j ( 4 ) n 0 + θ k = 1 m i = 1 n κ k , i ( 5 ) K n 0 c k , i ( 5 ) n 0 + 2 k = 1 m i = 1 n 1 j = i + 1 n κ k , i , j ( 6 ) K n 0 c k , i , j ( 6 ) n 0 + θ k = 1 n i = 1 m κ k , i ( 7 ) K n 0 c k , i ( 7 ) n 0 + 2 k = 1 n i = 1 m 1 j = i + 1 m κ k , i , j ( 8 ) K n 0 c k , i , j ( 8 ) n 0 θ i = 1 m j = 1 n κ i , j ( 9 ) K n 0 c i , j ( 9 ) n 0 + 2 k = 1 m i = 1 n 1 j = i + 1 n κ k , i , j ( 10 ) K n 0 c k , i , j ( 10 ) n 0 + 2 k = 1 n i = 1 m 1 j = i + 1 m κ k , i , j ( 11 ) K n 0 c k , i , j ( 11 ) n 0 + 4 k = 1 m 1 l = k + 1 m i = 1 n 1 j = i + 1 n κ k , l , i , j ( 12 ) K n 0 c k , l , i , j ( 12 ) n 0 .

4.3. Out-of-Money Call Option

The payoff of this type of contract is given by
b ( x ) = x K + = x 𝟙 ( x > K ) K 𝟙 ( x > K ) .
As the option is out-of money, S ( 0 ) < K . Then applying, Equation (18) yields the following when we consider the joint life contract.
π 1 = 1 + θ k = 1 n i = 1 m K χ i , k ( 1 ) a i , k ( 1 ) a i , k ( 1 ) 1 S ( 0 ) K a i , k ( 1 ) θ k = 1 m i = 1 n K χ i , k ( 2 ) a i , k ( 2 ) a i , k ( 2 ) 1 S ( 0 ) K a i , k ( 2 ) + 2 k = 1 n i = 1 m 1 j = i + 1 m K χ k , i , j ( 3 ) a k , i , j ( 3 ) a k , i , j ( 3 ) 1 S ( 0 ) K a k , i , j ( 3 ) + 2 θ k = 1 n i = 1 m K χ i , k ( 4 ) a i , k ( 4 ) a i , k ( 4 ) 1 S ( 0 ) K a i , k ( 4 ) + 2 k = 1 m i = 1 n 1 j = i + 1 n K χ k , i , j ( 5 ) a k , i , j ( 5 ) a k , i , j ( 5 ) 1 S ( 0 ) K a k , i , j ( 3 ) 2 θ k = 1 m i = 1 n K χ k , i ( 6 ) a k , i ( 6 ) a k , i ( 6 ) 1 S ( 0 ) K a k , i ( 6 ) 4 θ k = 1 m i = 1 n 1 j = i + 1 n K χ j , k , i ( 7 ) a j , k , i ( 7 ) a j , k , i ( 7 ) 1 S ( 0 ) K a j , k , i ( 7 ) + k = 1 n i = 1 m 1 j = i + 1 m K χ k , i , j ( 8 ) a k , i , j ( 8 ) a k , i , j ( 8 ) 1 S ( 0 ) K a k , i , j ( 8 ) 8 θ k = 1 m 1 l = k + 1 m i = + 1 n 1 j = i + 1 n K χ i , j , k , l ( 9 ) a i , j , k , l ( 9 ) a i , j , k , l ( 9 ) 1 S ( 0 ) K a i , j , k , l ( 9 ) .
Similarly, we consider the last survival contract, the price of out-of-money call option is
π 2 = i = 1 n K κ i ( 1 ) c i ( 1 ) c i ( 1 ) 1 S ( 0 ) K c i ( 1 ) + 1 θ i = 1 m K κ i ( 2 ) c i ( 2 ) c i ( 2 ) 1 S ( 0 ) K c i ( 2 ) + θ i = 1 m K κ i ( 3 ) c i ( 3 ) c i ( 3 ) 1 S ( 0 ) K c i ( 3 ) + 2 i = 1 m 1 j = i + 1 m K κ i , j ( 4 ) c i , j ( 4 ) c i , j ( 4 ) 1 S ( 0 ) K c i , j ( 4 ) + θ k = 1 m i = 1 n K κ k , i ( 5 ) c k , i ( 5 ) c k , i ( 5 ) 1 S ( 0 ) K c k , i ( 5 ) + 2 k = 1 m i = 1 n 1 j = i + 1 n K κ k , i , j ( 6 ) c k , i , j ( 6 ) c k , i , j ( 6 ) 1 S ( 0 ) K c k , i , j ( 6 ) + θ k = 1 n i = 1 m K κ k , i ( 7 ) c k , i ( 7 ) c k , i ( 7 ) 1 S ( 0 ) K c i ( 7 ) + 2 k = 1 n i = 1 m 1 j = i + 1 m K κ k , i , j ( 8 ) c k , i , j ( 8 ) c k , i , j ( 8 ) 1 S ( 0 ) K c k , i , j ( 8 ) θ i = 1 m j = 1 n K κ i , j ( 9 ) c i , j ( 9 ) c i , j ( 9 ) 1 S ( 0 ) K c i , j ( 9 ) + 2 k = 1 m i = 1 n 1 j = i + 1 n K κ k , i , j ( 10 ) c k , i , j ( 10 ) c k , i , j ( 10 ) 1 S ( 0 ) K c k , i , j ( 10 ) + 2 k = 1 n i = 1 m 1 j = i + 1 m K κ k , i , j ( 11 ) c k , i , j ( 11 ) c k , i , j ( 11 ) 1 S ( 0 ) K c k , i , j ( 11 ) + 4 k = 1 m 1 l = k + 1 m i = 1 n 1 j = i + 1 n K κ k , l , i , j ( 12 ) c k , l , i , j ( 12 ) c k , l , i , j ( 12 ) 1 S ( 0 ) K c k , l , i , j ( 12 ) .

4.4. At-the Money Call Option

At-the-money option, the stock price at time 0 equal the strike price. Under this condition, Equations (21) and (22) become
π 1 = 1 + θ k = 1 n i = 1 m S ( 0 ) χ i , k ( 1 ) a i , k ( 1 ) a i , k ( 1 ) 1 θ k = 1 m i = 1 n S ( 0 ) χ i , k ( 2 ) a i , k ( 2 ) a i , k ( 2 ) 1 + 2 k = 1 n i = 1 m 1 j = i + 1 m S ( 0 ) χ k , i , j ( 3 ) a k , i , j ( 3 ) a k , i , j ( 3 ) 1 + 2 θ k = 1 n i = 1 m S ( 0 ) χ i , k ( 4 ) a i , k ( 4 ) a i , k ( 4 ) 1 + 2 k = 1 m i = 1 n 1 j = i + 1 n S ( 0 ) χ k , i , j ( 5 ) a k , i , j ( 5 ) a k , i , j ( 5 ) 1 2 θ k = 1 m i = 1 n S ( 0 ) χ k , i ( 6 ) a k , i ( 6 ) a k , i ( 6 ) 1 4 θ k = 1 m i = 1 n 1 j = i + 1 n S ( 0 ) χ j , k , i ( 7 ) a j , k , i ( 7 ) a j , k , i ( 7 ) 1 + k = 1 n i = 1 m 1 j = i + 1 m S ( 0 ) χ k , i , j ( 8 ) a k , i , j ( 8 ) a k , i , j ( 8 ) 1 8 θ k = 1 m 1 l = k + 1 m i = 1 n 1 j = i + 1 n S ( 0 ) χ i , j , k , l ( 9 ) a i , j , k , l ( 9 ) a i , j , k , l ( 9 ) 1 .
π 2 = i = 1 n S ( 0 ) κ i ( 1 ) c i ( 1 ) c i ( 1 ) 1 + 1 θ i = 1 m S ( 0 ) κ i ( 2 ) c i ( 2 ) c i ( 2 ) 1 + θ i = 1 m S ( 0 ) κ i ( 3 ) c i ( 3 ) c i ( 3 ) 1 + 2 i = 1 m 1 j = i + 1 m S ( 0 ) κ i , j ( 4 ) c i , j ( 4 ) c i , j ( 4 ) 1 + θ k = 1 m i = 1 n S ( 0 ) κ k , i ( 5 ) c k , i ( 5 ) c k , i ( 5 ) 1 + 2 k = 1 m i = 1 n 1 j = i + 1 n S ( 0 ) κ k , i , j ( 6 ) c k , i , j ( 6 ) c k , i , j ( 6 ) 1 + θ k = 1 n i = 1 m S ( 0 ) κ k , i ( 7 ) c k , i ( 7 ) c k , i ( 7 ) 1 + 2 k = 1 n i = 1 m 1 j = i + 1 m S ( 0 ) κ k , i , j ( 8 ) c k , i , j ( 8 ) c k , i , j ( 8 ) 1 θ i = 1 m j = 1 n S ( 0 ) κ i , j ( 9 ) c i , j ( 9 ) c i , j ( 9 ) 1 + 2 k = 1 m i = 1 n 1 j = i + 1 n S ( 0 ) κ k , i , j ( 10 ) c k , i , j ( 10 ) c k , i , j ( 10 ) 1 + 2 k = 1 n i = 1 m 1 j = i + 1 m S ( 0 ) κ k , i , j ( 11 ) c k , i , j ( 11 ) c k , i , j ( 11 ) 1 + 4 k = 1 m 1 l = k + 1 m i = 1 n 1 j = i + 1 n S ( 0 ) κ k , l , i , j ( 12 ) c k , l , i , j ( 12 ) c k , l , i , j ( 12 ) 1 .

4.5. Out-of-Money All-or-Nothing Put Option

For such a financial contingent, the function b ( ) is defined by
b ( x ) = x n 0 𝟙 x < K ,
where n 0 N and K < S ( 0 ) .
By considering the joint live status, one can show that the price of such a contingent claim can be expressed as follows:
π 1 = 1 + θ k = 1 n i = 1 m χ i , k ( 1 ) K n 0 n 0 b i , k ( 1 ) K S ( 0 ) b i , k ( 1 ) θ k = 1 m i = 1 n χ i , k ( 2 ) K n 0 n 0 b i , k ( 2 ) K S ( 0 ) b i , k ( 2 ) + 2 k = 1 n i = 1 m 1 j = i + 1 m χ k , i , j ( 3 ) K n 0 n 0 b k , i , j ( 3 ) K S ( 0 ) b k , i , j ( 3 ) + 2 θ k = 1 n i = 1 m χ i , k ( 4 ) K n 0 n 0 b i , k ( 4 ) K S ( 0 ) b i , k ( 4 ) + 2 k = 1 m i = 1 n 1 j = i + 1 n χ k , i , j ( 5 ) K n 0 n 0 b k , i , j ( 5 ) K S ( 0 ) b k , i , j ( 5 ) 2 θ k = 1 m i = 1 n χ k , i ( 6 ) K n 0 n 0 b k , i ( 6 ) K S ( 0 ) b k , i ( 6 ) 4 θ k = 1 m i = 1 n 1 j = i + 1 n χ j , k , i ( 7 ) K n 0 n 0 b j , k , i ( 7 ) K S ( 0 ) b j , k , i ( 7 ) + k = 1 n i = 1 m 1 j = i + 1 m χ k , i , j ( 8 ) K n 0 n 0 b k , i , j ( 8 ) K S ( 0 ) b k , i , j ( 8 ) 8 θ k = 1 m 1 l = k + 1 m i = + 1 n 1 j = i + 1 n χ i , j , k , l ( 9 ) K n 0 n 0 b i , j , k , l ( 9 ) K S ( 0 ) b i , j , k , l ( 9 ) .
Proof. 
Without loss of generality, let us show the first part of the formula.
Let k = ln K S ( 0 ) , since the contract is a put option, k < 0 . Hence we have:
χ i , k ( 1 ) k S ( 0 ) e x n 0 e b i , k ( 1 ) x d x = χ i , k ( 1 ) S ( 0 ) n 0 e b i , k ( 1 ) n 0 k b i , k ( 1 ) n 0 = χ i , k ( 1 ) K n 0 n 0 b i , k ( 1 ) K S ( 0 ) b i , k ( 1 ) .
We complete the proof by using the linearity of the integral. □
Similarly, when the contract is written on the last survival status, we have
π 2 = i = 1 n κ i ( 1 ) K n 0 n 0 d i ( 1 ) K S ( 0 ) d i ( 1 ) + 1 θ i = 1 m κ i ( 2 ) K n 0 n 0 d i ( 2 ) K S ( 0 ) d i ( 2 ) + θ i = 1 m κ i ( 3 ) K n 0 n 0 d i ( 3 ) K S ( 0 ) d i ( 3 ) + 2 i = 1 m 1 j = i + 1 m κ i , j ( 4 ) K n 0 n 0 d i , j ( 4 ) K S ( 0 ) d i , j ( 4 ) + θ k = 1 m i = 1 n κ k , i ( 5 ) K n 0 n 0 d k , i ( 5 ) K S ( 0 ) d k , i ( 5 ) + 2 k = 1 m i = 1 n 1 j = i + 1 n κ k , i , j ( 6 ) K n 0 n 0 d k , i , j ( 6 ) K S ( 0 ) d k , i , j ( 6 ) + θ k = 1 n i = 1 m κ k , i ( 7 ) K n 0 n 0 d k , i ( 7 ) K S ( 0 ) c i ( 7 ) + 2 k = 1 n i = 1 m 1 j = i + 1 m κ k , i , j ( 8 ) K n 0 n 0 d k , i , j ( 8 ) K S ( 0 ) d k , i , j ( 8 ) θ i = 1 m j = 1 n κ i , j ( 9 ) K n 0 n 0 d i , j ( 9 ) K S ( 0 ) d i , j ( 9 ) + 2 k = 1 m i = 1 n 1 j = i + 1 n κ k , i , j ( 10 ) K n 0 n 0 d k , i , j ( 10 ) K S ( 0 ) d k , i , j ( 10 ) + 2 k = 1 n i = 1 m 1 j = i + 1 m κ k , i , j ( 11 ) K n 0 n 0 d k , i , j ( 11 ) K S ( 0 ) d k , i , j ( 11 ) + 4 k = 1 m 1 l = k + 1 m i = 1 n 1 j = i + 1 n κ k , l , i , j ( 12 ) K n 0 n 0 d k , l , i , j ( 12 ) K S ( 0 ) d k , l , i , j ( 12 ) .
Remark 2.
(1)
When we let K = S ( 0 ) in Equations (24) and (25), we obtain the price when the option is at-the money;
(2)
When n = 2 and m = 2 , we obtain the formula for the option price when individual lifetime follows weighted exponential distribution.

4.6. Out-of-Money Put Option

For this specific financial contingent contract we have
b ( x ) = K x + = K 𝟙 ( x < K ) x 𝟙 ( x < K ) .
Applying Equation (24) for n 0 = 0 and n 0 = 1 twice, we have for joint life status,
π 1 = 1 + θ k = 1 n i = 1 m χ i , k ( 1 ) K b i , k ( 1 ) b i , k ( 1 ) 1 K S ( 0 ) b i , k ( 1 ) θ k = 1 m i = 1 n χ i , k ( 2 ) K b i , k ( 2 ) b i , k ( 2 ) 1 K S ( 0 ) b i , k ( 2 ) + 2 k = 1 n i = 1 m 1 j = i + 1 m χ k , i , j ( 3 ) K b k , i , j ( 3 ) b k , i , j ( 3 ) 1 K S ( 0 ) b k , i , j ( 3 ) + 2 θ k = 1 n i = 1 m χ i , k ( 4 ) K b i , k ( 4 ) b i , k ( 4 ) 1 K S ( 0 ) b i , k ( 4 ) + 2 k = 1 m i = 1 n 1 j = i + 1 n χ k , i , j ( 5 ) K b k , i , j ( 5 ) b k , i , j ( 5 ) 1 K S ( 0 ) b k , i , j ( 5 ) 2 θ k = 1 m i = 1 n χ k , i ( 6 ) K b k , i ( 4 ) b k , i ( 6 ) 1 K S ( 0 ) b k , i ( 6 ) 4 θ k = 1 m i = 1 n 1 j = i + 1 n χ j , k , i ( 7 ) K b j , k , i ( 7 ) b j , k , i ( 7 ) 1 K