#### Abstract

In the present work we give a self-contained introduction to financial mathematical models characterized by noise of Lévy type in the framework of the backward stochastic differential equations theory. Such techniques will be then used to analyse an innovative model related to insurance and death processes setting.

#### 1. Introduction

The main goal of the work consists in the analysis of problems characterizing modern financial markets which can be efficiently studied using techniques coming from the theory of stochastic differential equations in backward form (BSDEs); see, for example, [1–3]. We start giving an overview of classical approaches, for example, the standard Black-Scholes (B-S) model, Section 3.1, which are related to the use of stochastic perturbations of Brownian type. Then we will enrich the description of the relevant stock’s dynamics by considering first stochastic jumps, Section 3.3, and after full Lévy type noises, also including related Girsanov theorem and Esscher transform, Section 2.2. Such an analysis will allow us, Section 3.4, to study some original applications in particular with respect to life insurance’s problems and linked death processes.

A key ingredient of our analysis will be an extensive use of the theory of backward stochastic differential equations (BSDEs) introduced by Bismut (1973), for the linear case, and generalized by Pardoux and Peng (1990) in the general nonlinear case in the Brownian framework; see, for example [4].

In [5] Pardoux and Peng provided also a Feynman-Kac type theorem for solution of nonlinear parabolic partial differential equation (PDE). We would like to underline that BSDEs techinques provide powerful instruments to analyse a heterogeneous class of concrete problems, spanning from biology to finance, from population dynamics to particle theory, and so forth; see, for example, [2, 3, 6, 7] and references therein.

In the mathematical finance framework BSDEs techniques gained a great attention by both practitioners and academics in particular with respect to problems which arise in option pricing, portfolio hedging, market utility maximization, risk measures, and so forth. Latter interests have been increasingly developed both in financial as well in insurance frameworks, particularly under the influence of the related European directives, namely, Basilea and Solvency; see, for example, [3] for one of the first review on the subject and [1, 2] for a more extensive introduction to recent developments.

First approaches to such kind of general* quantitative economic questions* have been following the idea of Black and Scholes, hence developed in a Brownian setting, namely, allowing the dynamics of the interested quantities to be driven by Brownian measure/noise. Nevertheless empirical evidence, for example, working with stock prices’ behaviours, has pointed out that the traditional setup was based on the geometric Brownian motion; it is not fully satisfactory since it lacks an accurate description of financial data; see, for example, [8, 9]. A typical example of such type of issues arise in the study of the implied volatility surface; see, for example, [8, 10].

Moreover, by its own nature, Brownian models are not able to capture those phenomena which are characterized by abrupt changes in economic quantities of interest, changes which have become more and more frequently determining in current financial fields.

Latter issues have promoted the development of more flexible models causing an explosion of the related mathematical literature starting from the late 90s; see, for example, [1, 2, 11, 12] and references therein.

Following these impulses great improvements towards more realistic models to describe and forecast movements of relevant financial quantities have been achieved taking into account Lévy type noises, hence allowing for asset price dynamics influenced by random perturbation with both diffusive and jump components. The Lévy random jump part is a key ingredient to capture sudden variations of prices which could happen, for example, in presence of turbulent economics dynamics originated by unexpected political events, natural disasters, abrupt variations of commodities’ prices, and so forth.

Fundamental results related to BSDEs in presence of Lévy type drivers are given by Rong in [13], where BSDEs driven by a Brownian motion plus a Poisson point process are studied, and in [14], where Ouknine exploited the integral representation of a square-integrable random variable in terms of a Poisson random, to study the case of a BSDEs driven by a Poisson random measure.

Moreover, in [15], Nualart and Schoutens proved both a martingale representation theorem for Lévy processes satisfying some exponential moment condition and a Feynman-Kac formula using a Teugels type orthonormalization procedure.

In what follows, we will consider the wealth processes dynamic of a portfolio, composed by a riskless asset, for example, a bond or a bank account, and a risky security whose dynamic is modelled using a BSDE driven by a Lévy process, hence generalizing the classic approach based on Brownian stochastic driver.

In particular the paper is organized as follows. In Section 2 basic definitions for the mathematical framework within to develop BSDEs’ theory characterized by Lévy type noise are stated and the role played by both the* Girsanov theorem* and the* Esscher transform* is underlined with applications in view. In Section 3 the financial background will be set up and we will provide related examples; see Sections 3.1, 3.2, and 3.3; moreover in Section 3.4 a novel insurance application is presented.

#### 2. Mathematical Framework

In this section we will give basic definitions and results which allow to set up a suitable framework within hedging/pricing problems which will be analysed in Section 3.

Let , , be a one dimensional Brownian motion on a probability space and let be a Poisson random measure on , where we have denoted , independent of , with compensator and such that it is a -finite Lévy measure on , with representing its compensated measure. Let be the filtration generated (jointly) by and , while is the predictable -algebra on . Throughout the paper the following notations will be used.(i) is the set of random variables which are measurable and square integrable:
endowed with the scalar product
(ii) is the set of real-valued progressively measurable processes:
endowed with the scalar product
(iii) is the set of square -measurable functions
endowed with the scalar product
(iv) is the set of* predictable progressively measurable* stochastic processes
endowed with the scalar product
(v) is the set of real-valued cádlág adapted processes
endowed with the norm
(vi) is the set of stopping times , such that , a.s.

Moreover we will use the following simplified notations: , , , and , which are Hilbert spaces, with the respective scalar product, whenever it makes sense. Furthermore we set and we will omit the explicit dependence on whenever it does not cause misinterpretations.

##### 2.1. Linear BSDE

In what follows we introduce some fundamental results in the theory BSDEs; see, for example, [2, 3], for a deeper treatment on the topic. We start studying the cases of linear BSDEs for which a solution can be expressed as a conditional expectation of some specified known processes; later, in Section 3, explicit formulae for such solutions will be provided. Taking into account previous notations, we define a BSDE with jumps as follows.

*Definition 1 (BSDE). *A BSDE with jumps is an equation of the form
where is a one-dimensional Brownian motion, is the compensated Poisson random measure on defined above, and is the so-called* terminal condition*.

*Definition 2 (driver). *A function is called a* driver* for the BSDE (11), if it holds the following properties: (i) is -measurable,(ii).

*Definition 3 (Lipschitz driver). *Let be a driver of a BSDE of the form (11) in the sense of Definition 2; then is said to be a Lipschitz driver if there exists a constant such that, for each , the following holds:

*Definition 4. *A solution to a BSDE is a triplet satisfying
where is a cádlág process, is progressively measurable, and is integrable with respect to the compensated Poisson measure .

Existence and uniqueness results for the problem (11) can be established provided that suitable conditions on the terminal condition and the driver are satisfied; see, for example, [16] and references therein for details. In particular the following theorem holds.

Theorem 5. *Let be as in Definition 3 and ; then there exists a unique solution of (11).*

With financial application in mind we will consider, as a special case of the previous result, BSDEs with linear generator, hence taking of the form where and are a real-valued predictable processes, supposed to be a.s. integrable with respect to and , is a real-valued predictable process defined on , that is, -measurable, and integrable with respect to and .

The following fundamental result shows that the solution of a linear BSDE with jumps can be written as a conditional expectation via an exponential semimartingale.

Theorem 6. *Let be the solution in of the following linear BSDE:
**
then, the process satisfies
**
where the process satisfies
*

*Proof. *See, for example, [17].

##### 2.2. Girsanov Theorem and the Change of Measure

In this section we focus our attention on the* Girsanov theorem,* a result which will be later used, Section 3, to obtain pricing relation by a* change of measure approach* when the asset prices’ behaviour is represented by geometric Itô-Lévy processes, namely, by an analogue of the* risk-neutral valuation* technique used in the Black-Scholes framework. We would like to underline that (see, for example, [3, 8, 18–20]) when assets’ dynamics are driven by jump-diffusion processes perfect hedge does not exist; namely, it is not always possible to replicate the derivative payoff by a controlled portfolio of the basic securities. However there exist particular cases, for example, when the driving process is of geometric Itô-Lévy type, which can be successfully treated by mean of the so-called* Esscher transformation* which allow for the definition of a suitable* risk-neutral density* in the form of the Doléans-Dade exponential; see below for details. In particular the following particular case for the* Girsanov theorem* holds; see, for example, [8, 18, 21].

Theorem 7 (Girsanov theorem). *Let , where is the filtration generated (jointly) by and , be a filtered probability space and let be a Geometric Itô-Lévy process of the form
**
Let one further assume that, for any , the following holds:
**
and let , be two -predictable processes such that *(i)*(ii) **the process satisfies ,*(iii) *the process defined by the solution of the following SDE:
* *where the process satisfies
* *is well defined and satisfies
**Then there exists a probability measure on which is equivalent to and such that
*

Note that in financial applications the* Girsanov theorem* is particularly useful since it allows the discounted stock price , where is the* risk-free interest rate* and is the stock price, to be a local martingale with respect to the measure . Theorem 7 straightforwardly implies the following result; see, for example, [22].

Corollary 8. *Let and be predictable processes such that the process satisfying
**
is well defined for . Suppose that
**
and define the probability measure on by
**
then *(i)*the process defined by
* *is a -Brownian motion and*(ii)*the random measure defined by
* *such that
* *is a -local martingale.*

*Remark 9. *We would like to stress that , the diffusion coefficient, and , the Poisson random measure of process jumps, do not change passing from the* original* probability to the* equivalent* measure , since they are path properties of the process. Heuristically speaking, while process’ paths do not change, the* Girsanov transformation* changes their probability to be realized.

Taking into consideration Lévy process implies that condition (20) is satisfied provided the existence of two suitable processes and and this leads to the identification of more than one equivalent martingale measure ; therefore related markets are incomplete; moreover only particular choices of the processes and allow for an equivalent measure with a* physical meaning*. In some particular cases, for example, when the driving process is an exponential Itô-Lévy type process, a meaningful choice is represented by the so-called* Esscher transformation* which is defined taking , , and it has the good physical property of minimizing the relative entropy; see, for example [23].

Considering such a transformation in relation with (25), the resulting density , solution of , where the process satisfies
is called Doléans-Dade exponential or* stochastic exponential*, and it will be denoted by . In particular if evolves according to (25), we have
where we have denoted by the continuous part of with being the quadratic variation and denoted by the jump occurring at time . We refer to [18], in particular to Sections , , and and references therein, for further details about both the* Esscher transformation* and the Doléans-Dade exponentials. Let us note that (see, for example, [18, Chapter 5]) is a local martingale since it can be rewritten as a Lévy type stochastic integral thanks to the following result.

Theorem 10. *Let one assume that for any is a predictable process such that
**
and that is a predictable process satisfying
**
then is any Lévy type stochastic integral of the form
**
then is a local martingale if and only if
*

#### 3. Financial Framework

In what follows we will use results stated in Section 2 to analyse the problem of pricing and hedging contingent claim written on underlyings subjected to a risk of both* diffusive* and* jump *type, hence allowing for underlyings’ dynamics with random discontinuities. Our financial framework will be defined as a market composed by two securities: a riskless asset, for example, a bond, a bank account, and so forth, , solution to the following deterministic differential equation:
where is the risk-free interest rate, and a risky security (or stock) solution to the following:
where and are predictable processes called respectively drift and diffusion, while is the jump component. We thus have that the stock price is a càdlàg process described by a geometric Itô-Lévy process. Thus the investor in the risky asset is exposed to a* diffusion risk*, caused by the Brownian component, as well as to a* jump component risk* given by .

In what follows we will denote by the wealth stochastic process representing the total value of the investor’s portfolio at time , given an initial wealth . In particular the investor, at a given time , holds share of the risky stock, whilst the remaining part of his total wealth, , is invested in the riskless bond. Let us note that, in order to avoid an arbitrage opportunity (see, for example, [24]) we further assume the portfolio to be* self-financing*; that is, there is no exogenous infusion or withdrawal of money. This implies that the instantaneous variation of the wealth value is caused uniquely by assets’ prices variations and not by injecting or withdrawing funds from outside; hence the self-financing condition reads as follows.

*Definition 11 (self-financing strategy). *A self-financing strategy is a pair , where is a predictable process such that
with

Within the framework defined in Section 3, we have that a contingent claim, with payoff at maturity time given by , is said to be hedgeable if there exists a self-financing strategy of the form (39) that replicates its payoff, in particular the following result holds.

Proposition 12. *A self-financing strategy solves a linear Lipschitz BSDE of the form
*

*Proof. *Let us consider an asset evolving according to (38) together with a risk-less security as in (37). A straightforward substitution of (38) and (37) into equation for the self-financing strategy (39) leads to the conclusion that the self-financing strategy solves the BSDE:
Note that applying the Girsanov Theorem 7 to the stock price (39) with Radon-Nikodym density given as in (32) we have that the martingale condition (20) in Theorem 7 has to hold to have the discounted price to be a martingale under a* risk-neautral measure * equivalent to the* real world measure *; therefore substituting (20) into (42), we obtain that the self-financing strategy has to satisfy the following BSDE:
which is an equation of the form (15) with

Proposition 12 implies that we can apply Theorem 6 to obtain a formula for pricing a contingent claim in a market consisting of a risky asset driven by a jump-diffusion dynamic; indeed we have the following.

Theorem 13. *Let be the solution in of the following linear BSDE:
**
so that the assumptions of Theorem 5 are satisfied. Let one further suppose that the assumptions of the Girsanov Theorem 7 hold, so that there exists an equivalent measure with Radon-Nikodym density as in (32); then a solution of the BSDE (45) is given by
*

*Proof. *The proof is a straightforward application of Theorem 6 to the particular case of a BSDE of the form (45).

From now on we will deal mainly with a BSDE of the form of (41).

##### 3.1. The Black-Scholes Model

Let us consider the standard Black-Scholes (BS) model, where the driving process is a diffusion without jumps; see, for example, [25, 26] for details; hence the riskless bond solves
while the risky asset is the solution of
for some constant parameters , and . It is well known that the BS model describes a complete and free of arbitrage market; hence there exists a unique equivalent risk-neutral measure , and is a -martingale. Applying Girsanov Theorem 7 to the Brownian case with , we have that under the new measure , with
the stock price evolves according to
Suppose that we want to hedge a call option written on an underlying whose dynamic is described by (48), with payoff given by , where is the so-called* strike price*; then we have to construct a replicating portfolio according to Proposition 12, without jump component. The latter implies that we have to solve the following BSDE:
By Theorem 6 together with Girsanov Theorem 7 we have that the initial value of the replicating portfolio, which coincides with the fair price of the claim, is given by
a result obtained exploiting the fact that, for any given , the random variables are normally distributed; therefore we explicitly know their density functions, being the corresponding cumulative distribution function and
It can be easily checked that the fair price given in (52) coincides with the fair price obtained via standard methods; see, for example, [26, Chapter 5].

##### 3.2. Local Volatility Models

A first generalization of the model proposed in Section 3.1 is realized by the so-called* local volatility models* (LVM), where both the drift and the volatility parameters are no longer constant. Empirical evidences have shown that latter models, which in general do not have explicit solutions, fit better real data when compared to the standard BS setting, in particular with respect to the analysis of the implied volatility surface; see, for example [27, 28]. Let us then consider a riskless bond solution to
and a risky asset
where , and are -predictable processes satisfying standard Lipschitz continuity and linear growth assumptions, so that there exists a unique solution to (48); see, for example, [29]. Within this framework one of the most used models is the* constant elasticity of variance* (CEV) model, where the volatility term is of the form , for . Again applying the Girsanov theorem, with , the stock price under the risk-neutral measure evolves according to
If we want to construct a replicating portfolio to hedge a contingent claim , with terminal payoff given by , then the portfolio dynamic has to solve the following BSDE:
hence, by Theorem 13 and (46), we have that the initial value of the replicating portfolio is given by
Note that, as mentioned before, an analytic solution to (58), namely, an explicit solution for the* fair price problem*, does not exist; nevertheless effective numerical approximations can be given; see, for example, [8, Section 12].

##### 3.3. The Black-Scholes Model with Jumps

A different generalization of the B-S model introduced in Section 3.1 is obtained considering a stock price driven by a general Lévy process instead of a standard Brownian motion. Latter generalization is motivated by empirical results (see, for example, [8]) which show the presence of leaps in the evolution of real stock markets’ quantities; hence we are in presence of discontinuities that cannot be modelled using a Brownian type approach since the Brownian paths are continuous. Latter analysis implies the need for a more general type of random processes to be used, hence allowing for jumps in the stocks’ prices dynamics. Therefore a natural improvement is to consider Lévy type drivers. Nevertheless it is crucial to underline that even if Lévy processes fit better to empirical data than the Brownian counterpart does, they are mathematically more difficult to treat. In fact not only is an analytical solution to the pricing equation no longer available, but also the market is not anymore complete. Let us then consider a riskless bond solution to and a risky asset where the Poisson component has Lévy measure . The solution to (60) can be found exploiting the stochastic exponential introduced in (32); in particular we have where is a Poisson process independent of the Brownian motion . Since we are now dealing with a Lévy process, a unique equivalent measure does not exist; see, for example, [18]; namely, it is not possible to uniquely determine the solution couple . Nevertheless, in the case of a geometric Lévy process, a suitable choice can be obtained by the so-called Esscher transform and the density takes the form of a Doléans-Dade exponential (32).

In particular if we define and (see Section 2.2) we have that the asset has mean return under the risk-neutral measure ; hence the discounted price is a -martingale; namely, it satisfies the following equation: moreover hedging the contingent claim with terminal payoff given by , we have that the portfolio satisfies the following BSDE: that is, a linear BSDE of the form (43); hence, by Theorem 13, we have that the value of the portfolio at initial time is given by

##### 3.4. Life Insurance Portfolio

Backward stochastic differential equations have a wide range of applications, from standard examples, as stated in Sections 3.1, 3.2, and 3.3, to less typical scenario as the ones characterizing actuarial applications; see, for example [2] for details. In what follows we solve a novel life insurance pricing problem. Let us assume that we are dealing with the B-S financial model described in Section 3.1; namely, we have a riskless bond which evolves according to and a risky asset satisfying Let us consider a stochastic mortality intensity , , which is modelled by the following SDE: where the process is independent of the financial market described by the couple . Since we aim at considering a life insurance liability problem, then we will analyse the dynamics of life insurance equity-linked claims. The uncertainty in this type of investments comes mainly from the fact that we cannot know how mortality rates will evolve.

Let us now assume that we are willing to construct a portfolio consisting of an arbitrary, but finite, number policies, each of which relates to a unique insured person whose lifetime is modelled via inhomogeneous Poisson process , ; that is,
where is a deterministic function representing the mortality intensity; then the insurance payment process can be modelled as follows:
where the claims , , and are measurable functions; stands for the characteristic function of the set , while is a counting measure representing a death counting process for a life insurance portfolio with policies linked to different insured persons. A classical credit default swap is modelled setting and , while a collective credit risk setting is obtained taking and so that it represents the credit loss in case of default; see, for example, [2] and references therein for more details. Heuristically the process can be seen as a stream of liabilities since it is defined by a continuous payments stream , a random payment process , which is financially defined as the* death benefits process*, and a claim , the so-called* survival benefit*, which pays off at maturity time. Latter defined claims, namely, , , and , depend upon the financial market defined by (65) and (66). During last years growing attention has been attracted by the so-called* mortality derivatives*. Such type of contracts are mainly stipulated in order to hedge mortality risk. We will show that the BSDE approach introduced in Section 2 can be usefully exploited to explicitly find a strategy which replicates a mortality bond by mean of some specific investments.

Let us assume that the mortality bond is already priced; hence we already are within the risk-neutral framework with respect to a certain risk-neutral measure ; therefore, taking into account definitions given in Section 2.2, the density is given as in (32) and the processes and are as in Section 3.3. Our goal is to solve a hedging problem; namely, we aim at finding a replicating strategy for the insurance payment process (69). Exploiting Proposition 12, we obtain that the replicating portfolio evolves according to the following BSDE: and we are in position to apply Theorem 13 to find that a solution of (70) is given by

Proposition 14. *In a market such that the unsystematic mortality risk can be diversified, a solution to the BSDE
**
when the claim to hedge is given by and the mortality rate is constant, is given by
**
where is the cumulative distribution of the standard Gaussian random variable and is given as in (53).*

*Proof. *We are interested in hedging the claim , which is a call option, with strike price , written on a given fund (see Section 3.1) which collects insured persons. In the present case , moreover since we have assumed that the market believes that the unsystematic mortality risk can be diversified, then ; see, for example, [2, Section 9.4], for details. It follows that the replicating portfolio for the claim (see (70)) turns out to be described by the following BSDE:
or equivalently, under the risk-neutral measure , by the following:
which is an equation of the form (41) and since assumptions of Theorem 5 are satisfied, it admits a unique solution. Moreover, exploiting Theorem 13, we can compute such a solution from the standard B-S model stated in Section 3.1. In particular by the B-S pricing formula (51), the BS price denoted by reads as follows:
therefore a solution to (75) is given by

In particular the fair price of the claim , regardless of the initial wealth of the portfolio, is given by

#### 4. Conclusion

The theory of backward stochastic differential equations has been characterized by an impressive growth of interest from the applicative point of view under the pushing of a wide variety of different scientific communities, spanning from pure mathematicians to engineers and from biologists to risk management’s practitioners. A key ingredient behind such an increasing interest relies in the flexibility of the BSDEs approach which can be further improved allowing to include a rather general type of stochastic perturbations.

In the present paper we have showed how BSDEs setting (see Section 2) and related results (see, for example, the* predictable representation theorem*, Theorem 13, and the* Girsanov theorem*, Theorem 7) can be fruitfully exploited to obtain concrete results in a wide set of problems which arise in modern theory of quantitative finance, with a focus on those related to option pricing/hedging (see Section 3). In particular, after having recalled standard results about classical Brownian framework (see, for example, Section 3.1) we moved to the more recent settings characterized by the BSDEs’ approach with perturbations of Lévy type (see Section 2) whose related techniques are then exploited (see Section 3.4) to develop an innovative model focusing our attention on a less standard life insurance scenario. We would like to note that, despite the fact that the mathematical literature about such kind of problems is not so developed, insurance contracts actually constitute a large market share within the set of all the traded contract nowadays. Let us note that even if the generalizations of the Black-Scholes model to nonconstant volatility models plus jump perturbations (see Sections 3.2 and 3.3) better fit empirical time series, they miss analytical solutions: therefore numerical evaluation is necessary; see, for example [8, 18].

We would like to underline that BSDEs’ field of potential applications is much wider than it has been stated in the present paper. As examples there are recent applications concerning the so-called* dynamic risk measures* which are based upon nonlinear expectations (*g-expectations*) developed by Peng (see, for example [2, 30, 31]) BSDEs with time-delayed generator (see, for example, [2, 32]) where the problem of a big investor who can influence the market prices is treated, and BSDE with reflecting barriers (see, for example, [2]) also in connection with applications to exotic American options pricing and portfolio with consumption problems (see, for example, [33]).

#### Conflict of Interests

The authors declare that they have no conflict of interests regarding the publication of this paper.

#### Acknowledgment

The authors would like to thank the anonymous referee for his comments and suggestions.