Abstract
In this paper we study the jump-diffusion CIR process (shorted as JCIR), which is an extension of the classical CIR model. The jumps of the JCIR are introduced with the help of a pure-jump Lévy process \((J_t, t \ge 0)\). Under some suitable conditions on the Lévy measure of \((J_t, t \ge 0)\), we derive a lower bound for the transition densities of the JCIR process. We also find some sufficient conditions under which the function \(V(x)=x\), \(x\ge 0\), is a Forster-Lyapunov function for the JCIR process. This allows us to prove that the JCIR process is exponentially ergodic.
You have full access to this open access chapter, Download conference paper PDF
Similar content being viewed by others
Keywords
- CIR model with jumps
- Exponential ergodicity
- Forster-Lyapunov functions
- Stochastic differential equations
MSC:
1 Introduction
The Cox-Ingersoll-Ross model (or CIR model) was introduced in [1] by Cox et al. in order to describe the random evolution of interest rates. The CIR model captures many features of the real world interest rates. In particular, the interest rate in the CIR model is non-negative and mean-reverting. Because of its vast applications in mathematical finance, some extensions of the CIR model have been introduced and studied, see e.g. [2, 5, 15].
In this paper we study an extension of the CIR model including jumps, the so-called jump-diffusion CIR process (shorted as JCIR). The JCIR process is defined as the unique strong solution \(X:=(X_t, t\ge 0)\) to the following stochastic differential equation
where \(a,\sigma >0\), \(\theta \ge 0\) are constants, \((W_{t},t\ge 0)\) is a 1-dimensional Brownian motion and \((J_t,t\ge 0)\) is a pure-jump Lévy process with its Lévy measure \(\nu \) concentrated on \((0,\infty )\) and satisfying
independent of the Brownian motion \((W_{t},t\ge 0)\). The initial value \(X_0\) is assumed to be independent of \((W_{t},t\ge 0)\) and \((J_t,t\ge 0)\). We assume that all the above processes are defined on some filtered probability space \((\varOmega , \mathscr {F}, (\mathscr {F})_{t \ge 0}, P)\). We remark that the existence and uniqueness of strong solutions to (1) are guaranteed by [7, Theorem 5.1].
The term \(a(\theta -X_{t})\) in (1) defines a mean reverting drift pulling the process towards its long-term value \(\theta \) with a speed of adjustment equal to a. Since the diffusion coefficient in the SDE (1) is degenerate at 0 and only positive jumps are allowed, the JCIR process \((X_t, t\ge 0)\) stays non-negative if \(X_0\ge 0\). This fact can be shown rigorously with the help of comparison theorems for SDEs, for more details we refer the readers to [7].
The JCIR defined in (1) includes the basic affine jump-diffusion (or BAJD) as a special case, in which the Lévy process \((J_t,t\ge 0)\) takes the form of a compound Poisson process with exponentially distributed jumps. The BAJD was introduced by Duffie and Gârleanu [2] to describe the dynamics of default intensity. It was also used in [5, 12] as a short-rate model. Motivated by some applications in finance, the long-time behavior of the BAJD has been well studied. According to [12, Theorem 3.16] and [10, Proposition 3.1], the BAJD possesses a unique invariant probability measure, whose distributional properties were later investigated in [9, 11]. We remark that the results in [10, 11] are very general and hold for a large class of affine process with state space \(\mathbf {R}_+\), where \(\mathbf {R}_+\) denotes the set of all non-negative real numbers. The existence and some approximations of the transition densities of the BAJD can be found in [6]. A closed formula of the transition densities of the BAJD was recently derived in [9].
In this paper we are interested in two problems concerning the JCIR defined in (1). The first one is to study the transition density estimates of the JCIR. Our first main result of this paper is a lower bound on the transition densities of the JCIR. Our idea to establish the lower bound of the transition densities is as follows. Like the BAJD, the JCIR is also an affine processes in \(\mathbf {R}_+\). Roughly speaking, affine processes are Markov processes for which the logarithm of the characteristic function of the process is affine with respect to the initial state. Affine processes on the canonical state space \(\mathbf {R}^m_+\times \mathbf {R}^{n}\) have been investigated in [3, 5, 13, 14]. Based on the exponential-affine structure of the JCIR, we are able to compute its characteristic function explicitly. Moreover, this enables us to represent the distribution of the JCIR as the convolution of two distributions. The first distribution is known and coincides with the distribution of the CIR model. However, the second distribution is more complicated. We will give a sufficient condition such that the second distribution is singular at the point 0. In this way we derive a lower bound estimate of the transition densities of the JCIR.
The other problem we consider in this paper is the exponential ergodicity of the JCIR. According to the main results of [10] (see also [12]), the JCIR has a unique invariant probability measure \(\pi \), given that some integrability condition on the Lévy measure of \((J_t,t\ge 0)\) is satisfied. Under some sharper assumptions we show in this paper that the convergence of the law of the JCIR process to its invariant probability measure under the total variation norm is exponentially fast, which is called the exponential ergodicity. Our method is the same as in [9], namely we show the existence of a Forster-Lyapunov function and then apply the general framework of [16–18] to get the exponential ergodicity.
The remainder of this paper is organized as follows. In Sect. 2 we collect some key facts on the JCIR and in particular derive its characteristic function. In Sect. 3 we study the characteristic function of the JCIR and prove a lower bound of its transition densities. In Sect. 4 we show the existence of a Forster-Lyapunov function and the exponential ergodicity for the JCIR.
2 Preliminaries
In this section we use the exponential-affine structure of the JCIR process to derive its characteristic functions.
We recall that the JCIR process \((X_t, t\ge 0)\) is defined to be the solution to (1) and it depends obviously on its initial value \(X_0\). From now on we denote by \((X^x_t, t\ge 0)\) the JCIR process started from an initial point \(x \ge 0\), namely
Since the JCIR process is an affine process, the corresponding characteristic functions of \((X^x_t, t\ge 0)\) is of exponential-affine form:
where \(\mathfrak {R}u\) denotes the real part of u and the functions \(\phi (t,u)\) and \(\psi (t,u)\) in turn are given as solutions of the generalized Riccati equations
with the functions F and R given by
Solving the system (5) gives \(\phi (t,u)\) and \(\psi (t,u)\) in their explicit forms:
and
Here the complex-valued logarithmic function \(\log (\cdot )\) is understood to be its main branch defined on \(\mathbf {C}\setminus \{0\}\). For \(t \ge 0\) and \(u \in \mathscr {U}\) we define
where the complex-valued power function \(z^{-2a\theta /\sigma ^2}:=\exp \big (-(2a\theta /\sigma ^2) \log z\big )\) is also understood to be its main branch defined on \(\mathbf {C}\setminus \{0\}\). One can notice that \(\varphi _2(t,u)\) resembles the characteristic function of a compound Poisson distribution.
It follows from (4), (6) and (7) that the characteristic functions of \((X^x_t, t\ge 0)\) is given by
where \(\varphi _1(t,u,x)\) and \(\varphi _2(t,u)\) are defined by (8).
According to the parameters of the JCIR process we look at two special cases:
2.1 Special Case (i): \(\nu = 0\), No Jumps
Notice that the case \(\nu =0\) corresponds to the classical CIR model \((Y_t, t\ge 0)\) satisfying the following stochastic differential equation
It follows from (9) that the characteristic function of \((Y^x_t, t\ge 0)\) coincides with \(\varphi _1(t,u,x)\), namely for \(u \in \mathscr {U}\)
It is well known that the classical CIR model \((Y^x_t, t\ge 0)\) has transition density functions f(t, x, y) given by
for \(t>0, x>0\) and \(y\ge 0\), where
and \(I_{q}(\cdot )\) is the modified Bessel function of the first kind of order q. For \(x=0\) the formula of the density function f(t, x, y) is given by
for \(t>0\) and \(y \ge 0\).
2.2 Special Case (ii): \(\theta =0\) and \(x=0\)
We denote by \((Z_t, t\ge 0)\) the JCIR process given by
In this particular case the characteristic functions of \((Z_t, t\ge 0)\) is equal to \(\varphi _2(t,u)\), namely for \(u \in \mathscr {U}\)
3 A Lower Bound for the Transition Densities of JCIR
In this section we will find some conditions on the Lévy measure \(\nu \) of \((J_t, t\ge 0)\) such that an explicit lower bound for the transition densities of the JCIR process given in (3) can be derived. As a first step we show that the law of \(X^x_t, t >0\), in (3) is absolutely continuous with respect to the Lebesgue measure and thus possesses a density function.
Lemma 1
Consider the JCIR process \((X^x_t, t\ge 0)\) (started from \(x \ge 0\)) that is defined in (3). Then for any \(t>0\) and \(x\ge 0\) the law of \(X^x_t\) is absolutely continuous with respect to the Lebesgue measure and thus possesses a density function \(p(t,x,y), \ y\ge 0\).
Proof
As shown in the previous section, it holds
therefore the law of \(X^x_t\), denoted by \(\mu _{X^x_t}\), is the convolution of the laws of \(Y^x_t\) and \(Z_t\). Since \((Y^x_t, t\ge 0)\) is the well-known CIR process and has transition density functions \(f(t,x,y), t>0, x,y\ge 0\) with respect to the Lebesgue measure, thus \(\mu _{X^x_t}\) is also absolutely continuous with respect to the Lebesgue measure and possesses a density function.
In order to get a lower bound for the transition densities of the JCIR process we need the following lemma.
Lemma 2
Suppose that \(\int _{(0,1)} \xi \ln (1/\xi ) \nu (d\xi )<\infty \). Then \({\varphi _2}\) defined by (8) is the characteristic function of a compound Poisson distribution. In particular, \(P(Z_t=0)>0\) for all \(t>0\), where \((Z_t, t\ge 0)\) is defined by (14).
Proof
It follows from (6), (8) and (15) that
where \(u \in \mathscr {U}\). Define
If we rewrite
where
then we recognize that the right-hand side of (16) is the characteristic function of a Bessel distribution with parameters \(\alpha \) and \(\beta \). Recall that a probability measure \(\mu _{\alpha ,\beta }\) on \(\big (\mathbf {R}_+,\mathscr {B}(\mathbf {R}_+)\big )\) is called a Bessel distribution with parameters \(\alpha \) and \(\beta \) if
where \(\delta _0\) is the Dirac measure at the origin and \(I_1\) is the modified Bessel function of the first kind, namely
For more properties of Bessel distributions we refer the readers to [8, Sect. 3] (see also [4, p. 438] and [9, Sect. 3]). Let \(\displaystyle {\hat{\mu }_{\alpha ,\beta }}\) denote the characteristic function of the Bessel distribution \(\displaystyle {\mu _{\alpha ,\beta }}\) with parameters \(\alpha \) and \(\beta \) which are defined in (17). It follows from [9, Lemma 3.1] that
Therefore
Set
If \(\lambda < \infty \), then
The fact that \(\lambda <\infty \) will be shown later in this proof.
Next we show that the term \((1/\lambda )\int _0^t \int _{(0,\infty )} \big (\exp \big (\alpha u/(\beta -u)\big )-\exp (-\alpha )\big ) \nu (d\xi )ds\) can be viewed as the characteristic function of a probability measure \(\rho \). To define \(\rho \), we first construct the following measures
where \(I_1\) is the modified Bessel function of the first kind. Noticing that the measure \(m_{\alpha ,\beta }\) is the absolute continuous component of the measure \(\mu _{\alpha ,\beta }\) in (18), we easily get
where \(\hat{m}_{\alpha ,\beta }(u):= \int _0^{\infty }e^{ux}m_{\alpha , \beta }(dx)\) for \(u\in \mathscr {U}\). Recall that the parameters \(\alpha \) and \(\beta \) defined by (17) depend on the variables \(\xi \) and s. We can define a measure \(\rho \) on \(\mathbf {R}_+\) as follows:
By the definition of the constant \(\lambda \) in (19) we get
i.e. \(\rho \) is a probability measure on \(\mathbf {R}_+\), and for \(u \in \mathscr {U}\)
Thus \(\displaystyle {\varDelta =\lambda (\hat{\rho }(u)-1)}\) and \(\displaystyle {E[e^{uZ_t}]=e^{\lambda (\hat{\rho }(u)-1)}}\) is the characteristic function of a compound Poisson distribution.
Now we verify that \(\lambda < \infty \). Noticing that
we introduce the change of variables \(\displaystyle {\frac{2a\xi }{\sigma ^2(e^{as}-1)}}:=y\) and then get
Therefore
where \(\displaystyle {\delta :=\frac{\sigma ^2(e^{at}-1)}{2a}}\). Define
Then \(M(\xi )\) is continuous on \((0,\infty )\). As \(\xi \rightarrow 0\) we get
Since
for sufficiently small \(\xi \), we conclude that
If \(\xi \rightarrow \infty \), then
Therefore,
With the help of the Lemma 2 we can easily prove the following proposition.
Proposition 1
Let \(p(t,x,y), \ t>0, x, y\ge 0\) denote the transition density of the JCIR process \((X^x_t, t\ge 0)\) defined in (3). Suppose that \(\int _{(0,1)} \xi \ln (\frac{1}{\xi }) \nu (d\xi )<\infty \). Then for all \(t>0, x, y\ge 0\) we have
where \(P(Z_t=0)>0\) for all \(t>0\) and f(t, x, y) are transition densities of the CIR process (without jumps).
Proof
According to Lemma 2, we have \(P(Z_t=0)>0\). Since
the law of \(X^x_t\), denoted by \(\mu _{X^x_t}\), is the convolution of the laws of \(Y^x_t\) and \(Z_t\). Thus for all \( A \in \mathscr {B}(\mathbf {R}_+)\)
where f(t, x, y) are the transition densities of the classical CIR process given in (12). Since \( A \in \mathscr {B}(\mathbf {R}_+)\) is arbitrary, we get
for all \(t>0, x, y\ge 0\).
4 Exponential Ergodicity of JCIR
In this section we find some sufficient conditions such that the JCIR process is exponentially ergodic. We have derived a lower bound for the transition densities of the JCIR process in the previous section. Next we show that the function \(V(x)=x\), \(x\ge 0,\) is a Forster-Lyapunov function for the JCIR process.
Lemma 3
Suppose that \(\int _{(1,\infty )}\xi \nu (d\xi )<\infty .\) Then the function \(V(x)=x\), \(x\ge 0,\) is a Forster-Lyapunov function for the JCIR process defined in (3), in the sense that for all \(t>0\), \(x\ge 0\),
where \(0<M<\infty \) is a constant.
Proof
We know that \(\mu _{X^x_t}=\mu _{Y^x_t}*\mu _{Z_t}\), therefore
Since \((Y^x_t, t\ge 0)\) is the CIR process starting from x, it is known that \(\mu _{Y^x_t}\) is a non-central Chi-squared distribution and thus \(E[Y^x_t]<\infty \). Next we show that \(E[Z_t]<\infty \).
Let \(u\in (-\infty ,0)\). By using Fatou’s Lemma we get
Recall that
Then we have for all \(u\le 0\)
and further
Thus \(\varDelta (u)\) is differentiable in u and
It follows that
Therefore under the assumption \(\displaystyle {\int _{(0,\infty )}\xi \nu (d\xi )<\infty }\) we have proved that \(E[Z_t]<\infty \). Furthermore,
On the other hand,
With a similar argument as above we get
Altogether we get
namely
Remark 1
If \(\int _{(1,\infty )}\xi \nu (d\xi )<\infty \), then there exists a unique invariant probability measure for the JCIR process. This fact follows from [12, Theorem 3.16] and [10, Proposition 3.1].
Let \(\Vert \cdot \Vert _{TV}\) denote the total-variation norm for signed measures on \(\mathbf {R}_+\), namely
Let \(P^{t}(x,\cdot ):=P(X^x_t\in \cdot )\) be the distribution of the JCIR process at time t started from the initial point \(x \ge 0\). Now we prove the main result of this paper.
Theorem 1
Assume that
Let \(\pi \) be the unique invariant probability measure for the JCIR process. Then the JCIR process is exponentially ergodic, namely there exist constants \(0<\beta <1 \) and \(0<B<\infty \) such that
Proof
Basically, we follow the proof of [18, Theorem 6.1]. For any \(\delta >0\) we consider the \(\delta \)-skeleton chain \(\eta ^x_n:=X^x_{n\delta }, \ n \in \mathbf {Z}_+\), where \(\mathbf {Z}_+\) denotes the set of all non-negative integers. Then \((\eta ^x_n)_{ n \in \mathbf {Z}_+}\) is a Markov chain on the state space \(\mathbf {R}_+\) with transition kernel \(P^{\delta }(x,\cdot )\) and starting point \(\eta ^x_0=x\). It is easy to see that the measure \(\pi \) is also an invariant probability measure for the chain \((\eta ^x_n)_{ n \in \mathbf {Z}_+}\), \(x \ge 0\).
Let \(V(x)=x\), \(x \ge 0\). It follows from the Markov property and Lemma 3 that
where M is a positive constant. If we set \(V_0:=V\) and \(V_n:=V(\eta ^x_n)\), \(n\in \mathbf {N}\), then
and
Now we proceed to show that the chain \((\eta ^x_n)_{ n \in \mathbf {Z}_+}\), \(x \ge 0\), is \(\lambda \)-irreducible, strong aperiodic, and all compact subsets of \(\mathbf {R}_+\) are petite for the chain \((\eta ^x_n)_{ n \in \mathbf {Z}_+}\).
“\(\lambda \) -irreducibility”: We show that the Lebesgue measure \(\lambda \) on \(\mathbf {R}_+\) is an irreducibility measure for \((\eta ^x_n)_{ n \in \mathbf {Z}_+}\). Let \(A\in \mathscr {B}(\mathbf {R}_+)\) and \(\lambda (A)>0\). Then it follows from Proposition 1 that
since \(f(\delta ,x,y)>0\) for any \(x \in \mathbf {R}_+\) and \(y>0\). This shows that the chain \((\eta ^x_n)_{ n \in \mathbf {Z}_+}\) is irreducible with \(\lambda \) being an irreducibility measure.
“Strong aperiodicity”(see [16, p. 561] for a definition): To show the strong aperiodicity of \((\eta ^x_n)_{n \in \mathbf {Z}_0}\), we need to find a set \(B \in \mathscr {B}(\mathbf {R}_+)\), a probability measure m with \(m(B)=1\), and \(\varepsilon >0\) such that
and
where \(L(x,B):=P(\eta ^x_n \in B \ \mathrm {for} \ \mathrm {some} \ {n} \in \mathbf {N})\). To this end set \(B:=[0,1]\) and \(g(y):=\inf _{x \in [0,1]} f(\delta ,x,y)\), \(y>0\). Since for fixed \(y>0\) the function \(f(\delta ,x,y)\) is strictly positive and continuous in \(x \in [0,1]\), thus we have \(g(y)>0\) and \(0<\int _{(0,1]}g(y)dy\le 1\). Define
Then for any \(x\in [0,1]\) and \(A \in \mathscr {B}(\mathbf {R}_+)\) we get
so (22) holds with \(\varepsilon :=P(Z_{\delta }=0)\int _{(0,1]}g(y)dy\).
Obviously
for all \(x \in \mathbf {R}_+\), which verifies (21).
“Compact subsets are petite”: We have shown that \(\lambda \) is an irreducibility measure for \((\eta ^x_n)_{ n \in \mathbf {Z}_+}\). According to [16, Theorem 3.4(ii)], to show that all compact sets are petite, it suffices to prove the Feller property of \((\eta ^x_n)_{ n \in \mathbf {Z}_+}\), \(x \ge 0\). But this follows from the fact that \((\eta ^x_n)_{ n \in \mathbf {Z}_+}\) is a skeleton chain of the JCIR process, which is an affine process and possess the Feller property.
According to [16, Theorem 6.3] (see also the proof of [16, Theorem 6.1]), the probability measure \(\pi \) is the only invariant probability measure of the chain \((\eta ^x_n)_{ n \in \mathbf {Z}_+}\), \(x \ge 0\), and there exist constants \(\beta \in (0,1) \) and \(C\in (0,\infty )\) such that
Then for the rest of the proof we can proceed as in [18, p. 536] and get the inequality (20).
References
Cox, J.C., Ingersoll Jr, J.E., Ross, S.A.: A theory of the term structure of interest rates. Econometrica 53(2), 385–407 (1985)
Duffie, D., Gârleanu, N.: Risk and valuation of collateralized debt obligations. Financ. Anal. J. 57(1), 41–59 (2001)
Duffie, D., Filipović, D., Schachermayer, W.: Affine processes and applications in finance. Ann. Appl. Probab. 13(3), 984–1053 (2003)
Feller, W.: An Introduction to Probability Theory and Its Applications, vol. II, 2nd edn. Wiley, New York (1971)
Filipović, D.: A general characterization of one factor affine term structure models. Finance Stoch. 5(3), 389–412 (2001)
Filipović, D., Mayerhofer, E., Schneider, P.: Density approximations for multivariate affine jump-diffusion processes. J. Econometrics 176(2), 93–111 (2013)
Fu, Z., Li, Z.: Stochastic equations of non-negative processes with jumps. Stochast. Process. Appl. 120(3), 306–330 (2010)
Grigelionis, B.: Thorin classes of Lévy processes and their transforms. Lith. Math. J. 48(3), 294–315 (2008)
Jin, P., Rüdiger, B., Trabelsi, C.: Positive Harris recurrence and exponential ergodicity of the basic affine jump-diffusion. ArXiv e-prints. http://arxiv.org/abs/1501.03638 (2015). Accessed 5 May 2015
Keller-Ressel, M.: Moment explosions and long-term behavior of affine stochastic volatility models. Math. Finance 21(1), 73–98 (2011)
Keller-Ressel, M., Mijatović, A.: On the limit distributions of continuous-state branching processes with immigration. Stochast. Process. Appl. 122(6), 2329–2345 (2012)
Keller-Ressel, M., Steiner, T.: Yield curve shapes and the asymptotic short rate distribution in affine one-factor models. Finance Stoch. 12(2), 149–172 (2008)
Keller-Ressel, M., Schachermayer, W., Teichmann, J.: Affine processes are regular. Probab. Theor. Relat. Fields 151(3–4), 591–611 (2011)
Keller-Ressel, M., Steiner, T.: Yield curve shapes and the asymptotic short rate distribution in affine one-factor models. Finance Stoch. 12(2), 149–172 (2008)
Li, Z., Ma, C.: Asymptotic properties of estimators in a stable Cox-Ingersoll-Ross model. Stochast. Process. Appl. 125(8), 3196–3233 (2015)
Meyn, S.P., Tweedie, R.L.: Stability of Markovian processes. I. Criteria for discrete-time chains. Adv. Appl. Probab. 24(3), 542–574 (1992)
Meyn, S.P., Tweedie, R.L.: Stability of Markovian processes. II. Continuous-time processes and sampled chains. Adv. Appl. Probab. 25(3), 487–517 (1993)
Meyn, S.P., Tweedie, R.L.: Stability of Markovian processes. III. Foster-Lyapunov criteria for continuous-time processes. Adv. Appl. Probab. 25(3), 518–548 (1993)
Acknowledgments
We gratefully acknowledge the suggestions of the editors and the anonymous referee. Their valuable comments have led to a significant improvement of this manuscript. The research was supported by the Research Program “DAAD—Transformation: Kurzmaßnahmen 2012/13 Program”. This research was also carried out with the support of CAS—Centre for Advanced Study, at the Norwegian Academy of Science and Letter, research program SEFE.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Open Access This chapter is distributed under the terms of the Creative Commons Attribution Noncommercial License, which permits any noncommercial use, distribution, and reproduction in any medium, provided the original author(s) and source are credited.
Copyright information
© 2016 The Author(s)
About this paper
Cite this paper
Jin, P., Rüdiger, B., Trabelsi, C. (2016). Exponential Ergodicity of the Jump-Diffusion CIR Process. In: Benth, F., Di Nunno, G. (eds) Stochastics of Environmental and Financial Economics. Springer Proceedings in Mathematics & Statistics, vol 138. Springer, Cham. https://doi.org/10.1007/978-3-319-23425-0_11
Download citation
DOI: https://doi.org/10.1007/978-3-319-23425-0_11
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-23424-3
Online ISBN: 978-3-319-23425-0
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)