1. Introduction
Let
N(
t) be a standard Poisson process and
be i.i.d. random variables which are independent of
N(
t) and
. The geometric compound Poisson processes
()
is a trading model in many financial applications with pure jumps [
1, page 214]. Motivated by the geometric compound Poisson processes (
1.1), Swishchuk and Islam [
2] studied the Geometric Markov renewal processes (
2.5) (see Section
2) for a security market in a series scheme. The geometric Markov renewal processes (
2.5) are also known as a switched-switching process. Averaging and diffusion approximation methods are important approximation methods for a switched-switching system. Averaging schemes of the geometric Markov renewal processes (
2.5) were studied in [
2].
The singular perturbation technique of a reducible invertible-operator is one of the techniques for the construction of averaging and diffusion schemes for a switched-switching process. Strong ergodicity assumption for the switching process means that the singular perturbation problem has a solution with some additional nonrestrictive conditions. Averaging and diffusion approximation schemes for switched-switching processes in the form of random evolutions were studied in [3, page 157] and [1, page 41]. In this paper, we introduce diffusion approximation of the geometric Markov renewal processes. We study a discrete Markov-modulated (B, S)-security market described by a geometric Markov renewal process (GMRP). Weak convergence analysis and rates of convergence of ergodic geometric Markov renewal processes in diffusion scheme are presented. We present European call option pricing formulas in the case of ergodic, double-averaged, and merged diffusion geometric Markov renewal processes.
The paper is organized as follows. In Section 2 we review the definition of the geometric Markov renewal processes (GMRP) from [2]. Moreover we present notation and summarize results such as random evolution of GMRP, Markov renewal equation for GMRP, infinitesimal operator of GMRP, and martingale property of GMRP. In Section 3 we present diffusion approximation of GMRP in ergodic, merged, and double-averaging schemes. In Section 4 we present proofs of the above-mentioned results. Section 4 contains solution of martingale problem, weak convergence, rates of convergence for GMRP, and characterization of the limit measure. In Section 5 we present merged diffusion GMRP in the case of two ergodic classes. European call option pricing formula for ergodic, merged, and diffusion GMRP are presented in Section 6.
2. The Geometric Markov Renewal Processes (GMRP)
In this section we present the Geometric Markov renewal processes. We closely follow [2].
Let (Ω,
ℬ,
ℱt,
ℙ) be a standard probability space with complete filtration
ℱt and let
be a Markov chain in the phase space (
X,
𝒳) with transition probability
P(
x,
A), where
x ∈
X,
A ∈
𝒳. Let
be a renewal process which is a sequence of independent and identically distributed (i.i.d.) random variables with a common distribution function
F(
x): =
ℙ{
w :
θk(
w) ≤
x}. The random variables
can be interpreted as lifetimes (operating periods, holding times, renewal periods) of a certain system in a random environment. From the renewal process
we can construct another renewal process
defined by
()
The random variables
τk are called renewal times (or jump times). The process
()
is called the counting process.
Definition 2.1 (see [1], [4].)A homogeneous two-dimensional Markov chain on the phase space X × ℝ+ is called a Markov renewal process (MRP) if its transition probabilities are given by the semi-Markov kernel
()
Definition 2.2. The process
()
is called a
semi-Markov process.
The ergodic theorem for a Markov renewal process and a semi-Markov process respectively can be found in [3, page 195], [1, page 66], and [4, page 113].
Let
be a Markov renewal process on the phase space
X ×
ℝ+ with the semi-Markov kernel
Q(
x,
A,
t) defined in (
2.3), and let
x(
t): =
xv(t) be a semi-Markov process where the counting process
v(
t) is defined in (
2.2). Let
ρ(
x) be a bounded continuous function on
X such that
ρ(
x)>−1. We define the geometric Markov renewal process (GMRP)
as a stochastic functional
St defined by
()
where
S0 > 0 is the initial value of
St. We call this process
a geometric Markov renewal process by analogy with the geometric compound Poisson processes
()
where
,
N(
t) is a standard Poisson process,
are i.i.d. random variables. The geometric compound Poisson processes
in (
2.6) is a trading model in many financial applications as a pure jump model [
5,
6]. The geometric Markov renewal processes
in (
2.5) will be our main trading model in further analysis.
Jump semi-Markov random evolutions, infinitesimal operators, and Martingale property of the GMRP were presented in [2]. For the convenience of readers we repeat them again in the following.
2.1. Jump Semi-Markov Random Evolutions
Let
C0(
ℝ+) be the space of continuous functions on
ℝ+ vanishing at infinity, and let us define a family of bounded contracting operators
D(
x) on
C0(
ℝ+) as follows:
()
With these contraction operators
D(
x) we define the following jump semi-Markov random evolution (JSMRE)
V(
t) of the geometric Markov renewal processes
in (
2.5):
()
Using (
2.7) we obtain from (
2.8)
()
where
St is defined in (
2.5) and
S0 =
s. Let
Q(
x,
A,
t) be a semi-Markov kernel for Markov renewal process
, that is,
Q(
x,
A,
t) =
P(
x,
A)
Gx(
t), where
P(
x,
A) is the transition probability of the Markov chain
and
Gx(
t) is defined by
Gx(
t): =
ℙ(
θn+1 ≤
t∣
xn =
x). Let
()
be the mean value of the semi-Markov random evolution
V(
t) in (
2.9).
The following theorem is proved in [1, page 60] and [4, page 38].
Theorem 2.3. The mean value u(t, x) in (2.10) of the semi-Markov random evolution V(t) given by the solution of the following Markov renewal equation (MRE):
()
where
, g(
x) is a bounded and continuous function on
X.
2.2. Infinitesimal Operators of the GMRP
Let
()
()
A detailed information about
ρT(
x) and
can be found in Section 4 of [
2]. It can be easily shown that
()
To describe martingale properties of the GMRP
in (
2.5) we need to find an infinitesimal operator of the process
()
Let
γ(
t): =
t −
τv(t) and consider the process (
x(
t),
γ(
t)) on
X ×
R+. It is a Markov process with infinitesimal operator
()
where
gx(
t): =
dGx(
t)/
dt,
, where
f(
x,
t) ∈
C(
X ×
R+). The infinitesimal operator for the process ln
S(
t) has the form:
()
where
z : = ln
S0. The process (ln
S(
t),
x(
t),
γ(
t)) is a Markov process on
R+ ×
X ×
R+ with the infinitesimal operator
()
where the operators
and
are defined in (
2.17) and (
2.18), respectively. Thus we obtain that the process
()
is an
-martingale, where
. If
x(
t): =
xv(t) is a Markov process with kernel
()
namely,
Gx(
t) = 1 −
e−λ(x)t, then
gx(
t) =
λ(
x)
e−λ(x)t,
,
, and the operator
in (
2.17) has the form:
()
The process (ln
S(
t),
x(
t)) on
R+ ×
X is a Markov process with infinitesimal operator
()
where
()
It follows that the process
()
is an
ℱt-martingale, where
ℱt : =
σ(
x(
u); 0 ≤
u ≤
t).
2.3. Martingale Property of the GMRP
Consider the geometric Markov renewal processes
()
For
t ∈ [0,
T] let us define
()
where
h(
x) is a bounded continuous function such that
()
If
ELT = 1, then geometric Markov renewal process
St in (
2.25) is an (
ℱt,
P*)-martingale, where measure
P* is defined as follows:
()
In the discrete case we have
()
Let
,
EL0 = 1, where
h(
x) is defined in (
2.27). If
ELN = 1, then
Sn is an (
ℱt,
P*)-martingale, where
dP*/
dP =
LN, and
ℱn : =
σ(
xk; 0 ≤
k ≤
n).
3. Diffusion Approximation of the Geometric Markov Renewal Process (GMRP)
Under an additional balance condition, averaging effect leads to diffusion approximation of the geometric Markov renewal process (GMRP). In fact, we consider the counting process v(t) in (2.5) in the new accelerated scale of time tT2, that is, v ≡ v(tT2). Due to more rapid changes of states of the system under the balance condition, the fluctuations are described by a diffusion processes.
3.1. Ergodic Diffusion Approximation
Let us suppose that balance condition is fulfilled for functional
:
()
where
p(
x) is ergodic distribution of Markov chain
. Then
, for all
t ∈
R+. Consider
in the new scale of time
tT2:
()
Due to more rapid jumps of
v(
tT2) the process
ST(
t) will be fluctuated near the point
S0 as
T → +
∞. By similar arguments similar to (4.3)–(4.5) in [
2], we obtain the following expression:
()
Algorithms of ergodic averaging give the limit result for the second term in (
3.3) (see [
1, page 43] and [
4, page 88]):
()
where
. Using algorithms of diffusion approximation with respect to the first term in (
3.3) we obtain [
4, page 88]:
()
where
,
R0 is a potential [
3, page 68], of
,
w(
t) is a standard Wiener process. The last term in (
3.3) goes to zero as
T → +
∞. Let
be the limiting process for
ST(
t) in (
3.3) as
T → +
∞. Taking limit on both sides of (
3.3) we obtain
()
where
and
are defined in (
3.4) and (
3.5), respectively. From (
3.6) we obtain
()
Thus,
satisfies the following stochastic differential equation (SDE):
()
In this way we have the following corollary.
Corollary 3.1. The ergodic diffusion GMRP has the form
()
and it satisfies the following SDE:
()
3.2. Merged Diffusion Approximation
Let us suppose that the balance condition satisfies the following:
()
for all
k = 1,2, …,
r where
is the supporting embedded Markov chain,
pk is the stationary density for the ergodic component
Xk,
m(
k) is defined in [
2], and conditions of reducibility of
X are fulfilled. Using the algorithms of merged averaging [
1,
3,
4] we obtain from the second part of the right hand side in (
3.3):
()
where
()
using the algorithm of merged diffusion approximation that [
1,
3,
4] obtain from the first part of the right hand side in (
3.3):
()
where
()
The third term in (
3.3) goes to 0 as
T → +
∞. In this way, from (
3.3) we obtain:
()
where
is the limit
ST(
t) as
T → +
∞. From (
3.16) we obtain
()
Stochastic differential equation (SDE) for
has the following form:
()
where
is a merged Markov process.
In this way we have the following corollary.
Corollary 3.2. Merged diffusion GMRP has the form (3.17) and satisfies the SDE (3.18).
3.3. Diffusion Approximation under Double Averaging
Let us suppose that the phase space
of the merged Markov process
consists of one ergodic class with stationary distributions
. Let us also suppose that the balance condition is fulfilled:
()
Then using the algorithms of diffusion approximation under double averaging (see [
3, page 188], [
1, page 49] and [
4, page 93]) we obtain:
()
where
()
and
and
are defined in (
3.13) and (
3.15), respectively. Thus, we obtain from (
3.20):
()
Corollary 3.3. The diffusion GMRP under double averaging has the form
()
and satisfies the SDE
()
4. Proofs
In this section we present proofs of results in Section 3. All the above-mentioned results are obtained from the general results for semi-Markov random evolutions [3, 4] in series scheme. The main steps of proof are (1) weak convergence of in Skorokhod space DR[0, +∞) [7, page 148]; (2) solution of martingale problem for the limit process ; (3) characterization of the limit measure for the limit process ; (4) uniqueness of solution of martingale problem. We also give here the rate of convergence in the diffusion approximation scheme.
4.1. Diffusion Approximation (DA)
Let
()
and the balance condition is satisfied:
()
Let us define the functions
()
where
and
are defined as follows:
()
where
()
and
A(
x): = [
ρ2(
x)/2 +
ρ(
x)(
R0 −
I)
ρ(
x)]
d2/
ds2. From the balance condition (
4.2) and equality
it follows that both equations in (
4.3) simultaneously solvable and the solutions
are bounded functions,
i = 1,2.
We note that
()
and define
()
where
and
are defined in (
4.4) and (4.5), respectively. We note, that
.
4.2. Martingale Problem for the Limiting Problem G0(t) in DA
Let us introduce the family of functions:
()
where
ϕT are defined in (
4.7) and
is defined by
()
Functions
ψT(
s,
t) are
-martingale by
t. Taking into account the expression (
4.6) and (
4.7), we find the following expression:
()
where
O(
T−2) is the sum of terms with
T−2nd order. Since
ψT(0,
t) is
-martingale with respect to measure
QT, generated by process
GT(
t) in (
4.1), then for every scalar linear continuous functional
we have from (
4.8)-(
4.10):
()
where
ET is a mean value by measure
QT. If the process
converges weakly to some process
G0(
t) as
T → +
∞, then from (
4.11) we obtain
()
that is, the process
()
is a continuous
QT-martingale. Since
is the second order differential operator and coefficient
is positively defined, where
()
then the process
G0(
t) is a Wiener process with variance
in (
4.14):
G0(
t) =
σw(
t). Taking into account the renewal theorem for
v(
t), namely,
T−1v(
tT2)→
T→+∞t/
m, and the following representation
()
we obtain, replacing [
tT2] by
v(
tT2), that process
GT(
t) converges weakly to the process
as
T → +
∞, which is the solution of such martingale problem:
()
is a continuous
QT-martingale, where
, and
is defined in (4.5)-(
4.5).
4.3. Weak Convergence of the Processes GT(t) in DA
From the representation of the process
GT(
t) it follows that
()
This representation gives the following estimation:
()
Taking into account the same reasonings as in [
2] we obtain the weak convergence of the processes
GT(
t) in DA.
4.4. Characterization of the Limiting Measure Q for QT as T → +∞ in DA
From Section
4.3 (see also Section 4.1.4 of [
2]) it follows that there exists a sequence
Tn such that measures
converge weakly to some measure
Q on
DR[0, +
∞) as
T → +
∞, where
DR[0, +
∞) is the Skorokhod space [
7, page 148]. This measure is the solution of such martingale problem: the following process
()
is a
Q-martingale for all
f(
g) ∈
C2(
R) and
()
for scalar continuous bounded functional
,
E is a mean value by measure
Q. From (
4.19) it follows that
, and it is necessary to show that the limiting passing in (
4.1) goes to the process in (
3.12) as
T → +
∞. From equality (
4.11) we find that
. Moreover, from the following expression
()
we obtain that there exists the measure
Q on
DR[0, +
∞) which solves the martingale problem for the operator
(or, equivalently, for the process
in the form (
4.12)). Uniqueness of the solution of the martingale problem follows from the fact that operator
generates the unique semigroup with respects to the Wiener process with variance
in (
4.14). As long as the semigroup is unique then the limit process
is unique. See [
3, Chapter 1].
4.5. Calculation of the Quadratic Variation for GMRP
If
, the sequence
()
is
ℱn-martingale, where
ℱn : =
σ{
xk,
θk; 0 ≤
k ≤
n}. From the definition it follows that the characteristic
of the martingale
has the form
()
To calculate
let us represent
in (
4.22) in the form of martingale-difference:
()
From representation
()
it follows that
, that is why
()
Since from (
4.22) it follows that
()
then substituting (
4.27) in (
4.23) we obtain
()
In an averaging scheme (see [
2]) for GMRP in the scale of time
tT we obtain that
goes to zero as
T → +
∞ in probability, which follows from (
4.27):
()
for all
t ∈
R+. In the diffusion approximation scheme for GMRP in scale of time
tT2 from (
4.27) we obtain that characteristic
does not go to zero as
T → +
∞ since
()
where
.
4.6. Rates of Convergence for GMRP
Consider the representation (
4.22) for martingale
. It follows that
()
In diffusion approximation scheme for GMRP the limit for the process
as
T → +
∞ will be diffusion process
(see (
3.10)). If
m0(
t) is the limiting martingale for
in (
4.22) as
T → +
∞, then from (
4.31) and (
3.10) we obtain
()
Since
, (because
and
m0(
t) are zero-mean martingales) then from (
4.32) we obtain:
()
Taking into account the balance condition ∫
Xπ(
dx)
ρ(
x) = 0 and the central limit theorem for a Markov chain [
4, page 98], we obtain
()
where
C1(
t0) is a constant depending on
t0,
t ∈ [0,
t0]. From (
4.33), (
4.2), and (
4.32) we obtain:
()
Thus, the rates of convergence in diffusion scheme has the order
T−1.
Acknowledgment
This research is partially supported by the University of Prince Edward Island major research grants (MRG) of M. S. Islam and NSERC grant of A. Swishchuk.