Two-Sided First Exit Problem for Jump Diffusion Distribution Processes Having Jumps with a Mixture of Erlang

Abstract

In this paper, we consider the two-sided first exit problem for jump diffusion processes having jumps with rational Laplace transforms. We investigate the probabilistic property of conditional memorylessness, and drive the joint distribution of the first exit time from an interval and the overshoot over the boundary at the exit time.

Share and Cite:

Wen, Y. and Yin, C. (2013) Two-Sided First Exit Problem for Jump Diffusion Distribution Processes Having Jumps with a Mixture of Erlang. Applied Mathematics, 4, 1142-1153. doi: 10.4236/am.2013.48153.

1. Introduction

Consider the following jump diffusion process

(1.1)

where the constant is the starting point of, and represent the drift and the volatility of the diffusion part, respectively, is a standard Brownian motion with, is a Poisson process with rate, and the jumps sizes are assumed to be i.i.d. real valued random variables with common density. Moreover, it is assumed that the random processes, and random variables are mutually independent. In this paper we are interested in the density of following type

(1.2)

where, , , and that, for all. Moreover,

Define to be the first exit time of to two flat barriers and , i.e.

Recently, one-sided and two-sided first exit problems for processes with two-sided jumps have attracted a lot of attentions in applied probability (see [1-7]). For example, Perry and Stadje [1] studied two-sided first exit time for processes with two-sided exponential jumps; Kou and Wang [2] studied the one-sided first passage times for a jump diffusion process with exponential positive and negative jumps. Cai [3] investigated the first passage time of a hyper-exponential jump diffusion process. Cai et al. [4] discussed the first passage time to two barriers of a hyper-exponential jump diffusion process. Closed form expressions are obtained in Kadankova and Veraverbeke [5] for the integral transforms of the joint distribution of the first exit time from an interval and the value of the overshoot through boundaries at the exit time for the Poisson process with an exponential component. For some related works, see Perry et al. [8], Cai and Kou [9], Lewis and Mordecki [10] and the references therein.

Motivated by works mentioned above, the main objective of this paper is to study the first exit time of the process (1.1) with jump density (1.2) from an interval and the overshoot over the boundary at the exit time. In Section 2, we study the roots of the generalized Lundberg equation and conditional memory lessness. The main results of this paper are given in Section 3.

2. Preliminary Results

It is easy to see that the infinitesimal generator of is given by

for any twice continuously differentiable function and the Lévy exponent of is given by

By analytic continuation, the function can be extended to the complex plane except at finitely many poles. In the following, we consider the resulting extension of, i.e.,

Let us denote and.

In [11], Kuznetsov has studied the roots of the equation. However, for this particular Lévy process, we will give another simple proof for the roots of this equation.

Lemma 2.1. For fix, the generalized CramérLundberg equation

has complex roots with for and with for.

Proof. Let

Firstly, we prove that for given, has roots with negative real parts. Set

withwhere is an arbitrary positive constant. Applying Rouchés theorem on the semi-circle, consisting of the imaginary axis running from to and with radius running clockwise from to. We let and denote by the limiting semi-circle. It is known that both and are analytic in. We want to show that

Notice that for, and

is bounded for. Hence, for,

on the boundary of the half circle in. For, we have (see Lewis and Mordecki [10]). On the other hand,

Thus we have. Since

has roots with negative real parts, so equation has roots with negative real parts. Similarly, we can prove has roots with positive real parts.

In the rest of this paper, we assume all the roots of equation are distinct and denote , for notational simplicity, and denote (or in the sequel) representing the expectation (or probability) when starts from. We denote a sequence of events

,

= {: crosses at time by the th phase of th positive jump whose parameter is },

= {: crosses at time by the th phase of th negative jump whose parameter is }

for, , , , and.

Theorem 2.2. For any, we have

(2.1)

(2.2)

Furthermore, conditional on , the stopping time is independent of the overshoot (the undershoot). More precisely, for any, we have

(2.3)

(2.4)

Proof. Firstly, we prove (2.1) and (2.3). It suffices to show

(2.5)

since (2.1) can be obtained by letting in (2.5) and then dividing both sides of the resulting equation by. It is known that an Erlang(n) random variable can be expressed as an independent sum of exponential random variables with same parameters. Let the independent exponentially distributed random variables with parameter. Denote by the arrival times of the Poisson process, and let be the field generated by process,. It follows that

With, we have

Thus we have

(2.2) and (2.4) can be obtained similarly. This completes the proof.

The following results are immediate consequences of Theorem 2.2.

Corollary 2.3. For, , , , , , we have

Corollary 2.4. For any, we have

where

for, , , .

Corollary 2.5. For, , , , we have

Remark 2.6. When, , (2.1) and (2.3) reduce to Equations (8) and (9) of Cai [3], respectively.

3. Main Results

In this section, we study the distribution of the first exit problem to two barriers. We first define three vectors:

where

Let

Define a matrix .

Theorem 3.1. Consider any nonnegative measurable function such that and for, , ,. For any and, we have

(3.1)

where satisfies

(3.2)

Moreover, when is a non-singular matrix, is the unique solution of (3.2), i.e.,

(3.3)

Proof. By the law of total probability, we have

It follows from Corollary 2.4, for, , , , we have

Combining these equations, we get

The expressions for, , and can be determined as follows. Let denote the set of functions

such that is twice continuously differentiable and bounded for with and bounded for. By applying Itô formula to the process, we have that for and,

where is a martingale with. Note that we have as.

For any, we can easily obtain from the above equation that

where the last term of the above equation is a mean-0 martingale. This implies that

(3.4)

By simple calculation, the function with and satisfies for. It follows from (3.4) that the process

is a martingale. Then

(3.5)

Setting for and for in (3.5), we have the following linear equations:

and

Then the vector satisfies and we have (3.1). If is non-singular, we have . This completes the proof.

Corollary 3.2. For any

, we have

(3.6)

where

and

Remark 3.3. When, , (3.1) and (3.6) reduce to equation (6) and (15) of [4], respectively.

From Theorem 3.1, choosing to be,

, , , , and respectively, we can obtain the following corollaries.

Corollary 3.4. 1) For any, we have

(3.7)

where

is determined by the linear system. Here

2) For any, we have

(3.8)

where

is determined by the linear system. Here

Corollary 3.5. 1) For and any, , we have

(3.9)

where

is determined by the linear system. Here

2) For and any, , we have

(3.10)

where

is determined by the linear system. Here

Note that the difference of and is exactly . Thus we obtain the following results.

Corollary 3.6. 1) For, and for any, we have

(3.11)

where

is determined by the linear system. Here

2) For and any, , we have

(3.12)

where

is determined by the linear system. Here

To end the paper, we give an example.

Example 3.7. When,

and

, the equation has real roots:, , and . Let

Denote by

Then we have

where

We define (, ,) and (, ,) as follows: let (, ,) be obtained from (, ,) by changing to in (,); let (, ,) be obtained from (, ,) by changing to in (, ,).

• If, then we have

where

• If, then we have

where

• If, then we have

where

• If, , then we have

• If, , then we have

where

• If, then we have

where

• If, then we have

where

When, we have

Therefore, we have

These results are all consistent with that of Theorem 3.1 of Kou and Wang [2] for the one-sided exit problem of the doubly exponential jump diffusion process.

NOTES

#Corresponding author.

Conflicts of Interest

The authors declare no conflicts of interest.

References

[1] D. Perry and W. Stadje, “Risk Analysis for a Stochastic Cash Management Model with Two Types of Custom ers,” Insurance: Mathematics and Economics, Vol. 26, No. 1, 2000, pp. 25-36. doi:10.1016/S0167-6687(99)00037-2
[2] S. G. Kou and H. Wang, “First Passage Times of a Jump Diffusion Process,” Advances in Applied Probability, Vol. 35, No. 2, 2003, pp. 504-531. doi:10.1239/aap/1051201658
[3] N. Cai, “On First Passage Times of a Hyper-Exponential Jump Diffusion Process,” Operations Research Letters, Vol. 37, No. 2, 2009, pp. 127-134. doi:10.1016/j.orl.2009.01.002
[4] N. Cai, N. Chen and X. W. Wan, “Pricing Double-Barrier Options under a Flexible Jump Diffusion Model,” Opera tions Research Letters, Vol. 37, No. 3, 2009, pp. 163-167. doi:10.1016/j.orl.2009.02.006
[5] T. Kadankova and N. Veraverbeke, “On Several Two Bondary Problems for a Particular Class of Lévy Proc esses,” Journal of Theoretical Probability, Vol. 20, No. 4, 2007, pp. 1073-1085. doi:10.1007/s10959-007-0088-8
[6] S. Fourati, “Explicit Solutions of the Exit Problem for a Class of Lévy Processes; Applications to the Pricing of Double-Barrier Options,” Stochastic Processes and their Applications, Vol. 122, No. 3, 2012, pp. 1034-1067. doi:10.1016/j.spa.2011.09.008
[7] M. Jacobsen, “The Time to Ruin for a Class of Markov Additive Risk Process with Two-Sided Jumps,” Advances in Applied Probability, Vol. 37, No. 4, 2005, pp. 963-992. doi:10.1239/aap/1134587749
[8] D. Perry, W. Stadje and S. Zacks, “Contributions to the Theory of First-Exit Times of Some Compound Processes in Queueing Theory,” Queueing Systems, Vol. 33, No. 4, 1999, pp. 369-379. doi:10.1023/A:1019140616021
[9] N. Cai and S. G. Kou, “Option Pricing under a Mixed-Ex ponential Jump Diffusion Model,” Management Science, Vol. 57, No. 11, 2011, pp. 2067-2081. doi:10.1287/mnsc.1110.1393
[10] A. L. Lewis and E. Mordecki, “Wiener-Hopf Factoriza tion for Lévy Processes Having Positive Jumps with Ra tional Transforms,” Journal of Applied Probability, Vol. 45, No. 1, 2008, pp. 118-134. doi:10.1239/jap/1208358956
[11] A. Kuznetsov, “On the Distribution of Exponential Func tionals for Lévy Processes with Jumps of Rational Trans form,” Stochastic Processes and their Applications, Vol. 122, No. 2, 2012, pp. 654-663. doi:10.1016/j.spa.2011.09.007

Copyright © 2024 by authors and Scientific Research Publishing Inc.

Creative Commons License

This work and the related PDF file are licensed under a Creative Commons Attribution 4.0 International License.