Exact tail asymptotics for a three dimensional Browniandriven tandem queue with intermediate inputs
Abstract
The semimartingale reflecting Brownian motion (SRBM) can be a heavy traffic limit for many server queueing networks. Asymptotic properties for stationary probabilities of the SRBM have attracted a lot of attention recently. However, many results are obtained only for the twodiemnsional SRBM. There is only little work related to higher dimensional () SRBMs. In this paper, we consider a three dimensional SRBM: A three dimensional Browniandriven tandem queue with intermediate inputs. We are interested in tail asymptotics for stationary distributions. By generalizing the kernel method and using coupla, we obtain exact tail asymptotics for the marginal stationary distribution of the buffer content in the third buffer and the joint stationary distribution.
MSC(2000): 60K25, 60J10.
Keywords: Browniandriven tandem queue, stationary distribution, kernel method, exact tail asymptotics
1 Introduction
Since Harrison and Reiman [10, 11], Varadhan and Williams[28], and Williams[29, 30] introduced the semimartingale reflecting Brownian motion, SRBM has received a lot of attention. Stationary properties of stationary distributions of SRBM when they exist, are important, especially in applications. However, except for a very limited number of special cases, a simple closed expression for the stationary distribution is not available. Hence, exact tail behaviour of stationary distributions becomes most important. Recently, many results about twodimensional SRBM have been obtained. Harrison and Hasenbein [12] presented sufficient and necessary conditions for the existence of a stationary distribution. Dai and Miyazawa [5] studied exact tail asymptotics for the marginal distributions of SRBM by using a geometric method. Dai, Dawson and Zhao [3] applied the kernel method to obtain exact tail asymptotics for the boundary measures of SRBM. Franceschi and Kurkova [7] studied exact tail asymptotics of the stationary distribution along some path by analytic methods. Franceschi and Raschel [8] studied exact tail behaviour of the boundary stationary distributions of SRBM by using the boundary value problems. However, we note that all aforementioned results are only for twodimensional SRBM. In this paper, we will consider a three dimensional SRBM.
Miyazawa and Rolski [21] generalized the result of Lieshout and Mandjes [19, 20], and studied a twodimensional Lévydriven tandem queue with an intermediate input. They obtained exact tail asymptotics for the Brownian inputs, while weaker tail asymptotic results were obtained for the general Lévy input. They also tried to discuss higherdimensional cases. However only the stationary equation was obtained in terms of moment generating functions, and tail asymptotic properties for the marginal distributions were left for a future work. In this paper, we consider a threedimensional Browniandriven tandem queue with intermediate inputs. We derive exact tail aysmptotics for the marginal stationary distribution of the third buffer content, since exact tail asymptotic results for the first two buffer content can be obtained directly from results for twodimensional SRBM. We also note that all results related to exact tail asymptotics for stationary distributions of SRBM are only for marginal stationary distributions and boundary stationary distributions. There are no results referred in the literature on asymptotic properties for the joint stationary distribution of SRBM, which is also considered in this paper.
In this paper, we apply both the Kernel method and extreme value theory to study tail asymptotics. The kernel method has been systematically applied to study random walks in the quarter plane by Li and Zhao [18] and references therein. Key steps in applying the kernel method for random walks in the quarter plane are:(i) Establishing the fundamental form:
where , and are unknown generating functions for joint and two boundary probabilities, respectively. (ii) Finding a branch such that , which leads to a relationship between the two unknown boundary generating functions:
(1.1) 
(iii) Based on (1.1), carrying out a singularity analysis for and , which leads to not only a decay rate, but also exact tail asymptotic properties of the boundary probabilities through a Tauberianlike theorem. In this paper, we will extend this method to study a threedimensional SRBM. By using the kernel method, we can get exact tail asymptotics for the marginal stationary distributions.
In this paper, we also study asymptotic properties for the joint stationary distributions. However, we cannot use the kernel method to study tail behaviours of the joint stationary distribution, since the kernel method relies on the Tauberianlike Theorem, which is valid only for univariate functions. By using the kernel method, we can get tail equivalence for the marginal distributions, from which we will further study the tail dependence of the joint stationary distribution. Tail dependence describes the amount of dependence in the upper tail or lower tail of a multivariate distributions and has been widely used in extreme value analysis and in quantitative risk management. Once we get the dependence, we can study multivariate extreme value distribution of the joint stationary distribution. The extreme value distribution is very useful since from a sample of vectors of maximum, one can make inferences about the upper tail of the stationary distribution using multivariate extreme value theory. Based on the multivariate extreme distribution, by using copula, we can get tail behaviour of the joint stationary distributions.
In this paper, we study a three dimensional SRBM and anticipate the tools developed in this paper will be useful in analyzing the general dimensional case. The rest of this paper is organized as follows: In Section 2, a threedimensional Browniandriven tandem queue with intermediate inputs is introduced. To apply the kernel method for asymptotic properties for the marginal , we study the kernel equation and the analytic continuation of moment generating functions in Section 3. We study some asymptotic properties of moment generating functions in Section 4. Asymptotic results for the marginal distributions are present in Section 5. In Section 6, we study asymptotic properties of the joint stationary distribution.
2 Model and Preliminaries
In this section, we introduce a three dimensional Browniandriven tandem queue with intermediate inputs and establish a stationary equation satisfied by stationary probabilities. This tandem queue has three nodes, numbered as 1,2, 3, each of which has exogenous input process and a constant processing rate. Outflow from the node 1 goes to node 2, and the outflow from node 2 goes to node 3. Finally, outflow from node leaves the system, see Fig.1 below.
Fig. 1 A tandem queue with 3 nodes.
We assume that the exogenous inputs are Brownian processes of the form:
(2.1) 
where is a nonnegative constant, and is a Brownian motion with variance and no drift. Without loss of generality, we assume that the correlation coefficients , , where . Denote the processing rate at node by . Let be the buffer content at node at time for , which are formally defined as
(2.2)  
(2.3) 
where is a regulator at node , that is, a minimal nondecreasing process for to be nonnegative. In fact, we can regard as a reflection mapping from the net flow processes with the reflection matrix
(2.4) 
Let and . Then
where and .
Without any difficulty, we can obtain that the tandem queue has the stationary distribution if and only if
(2.5) 
Moreover, by Harrison and Williams [13], we can get that the stationary distribution of is unique. Throughout this paper, we denote this stationary distribution by . In order to simplify the discussion, in this paper, we refine the stability condition (2.5) to assume that
(2.6) 
Remark 2.1
From the proofs of the main results of this paper, it is clear that under the more general stability condition (2.5), we can use the same argument to discuss tail asymptotics. The only difference is that we need to discuss possible relationships between the parameters and , , before we use the arguments in the proofs in this paper. For each of the possible relationships, we repeat the method applied in this paper to study tail asymptotics.
We are interested in asymptotic tail behaviour of the stationary distribution. Recall that a positive function is said to have exact tail asymptotic , if
In this paper, our main aim is to find exact tail asymptotics for various stationary distributions. Moment generating function will play an important role in determining these exact tail asymptotics. We first introduce moment generating functions for stationary distributions. Let be the stationary random vector with the stationary distribution . The moment generating function for is given by:
(2.7) 
We apply the kernel method to study tail asymptotics for stationary distributions. In order to apply the kernel method, we need establish a relationship between the moment generating function for the stationary distribution and the moment generating functions for the boundary measures defined below. For any Borel set , we define the boundary measures , , by
(2.8) 
Moreover, due to Harrison and Williams [13], we obtain that the density functions for , exist. Then, their moment generating functions are defined by
(2.9) 
where .
Next, we establish the relationship between these moment generating functions. In fact, there is a nice connection during them. The following lemma is due to Konstantopoulos, Last and Lin [14].
Lemma 2.1
From Lemma 2.1, we can prove the following lemma.
Lemma 2.2
For , we have
(2.15) 
Proof: From (2.9), we get that (2.10) makes sense for . Let with . From (2.10), we get
i.e.,
where and . Letting go to in (2), we get that the lefthand side of equation (2) equals to
(2.16) 
since . Hence,
(2.17) 
Let . Then, one can easily get that
(2.18) 
In general, it is difficult or impossible to obtain the explicit expression for the stationary distribution or its moment generating function. However in some special cases, it becomes possible. For example, if there are no intermediate inputs, that is , , Miyazawa and Rolski [21] obtained an explicit expression of . For a general case, our focus is on its tail asymptotics. There are a few aviable methods for studying tail asymptotics, for example, in terms of large deviations and boundary value problems. In this paper, we study tail asymptotics of the marginal distribution via the kernel method introduced by Li and Zhao [17] and asymptotic properties of the joint stationary distribution by extreme value theory and copula.
At the end of this section, we present a technical lemma, which plays an important role in finding the tail asymptotics of the marginal distribution .
Lemma 2.3
and have the same singularities.
Proof: Let . Then,
(2.19) 
Note that for any , since only if , we have
(2.20) 
From (4.11) below, we get that
Letting in (2.20), we obtain
i.e.,
(2.21) 
Therefore, by (2.20) and (2.21),
(2.22) 
By (2.21) and (2.22), one can easily get that is a removable singularity of . The proof of this lemma is completed.
3 Kernel Equation and Analytic Continuation
In this paper, we apply the kernel method to study tail asymptotics for the marginal stationary measure . In order to do it, we need the Tauberianlike Theorem (Theorem 5.1). For applying this theorem, we need to study the analytic properties of the moment generating function .
3.1 Kernel Equation and Branch Points
To study analyitic properties of the moment generating functions, we first focus on the kernel equation and the corresponding branch points. For this purpose, we consider the kernel equation:
(3.1) 
which is critical in our analysis.
Since tail asymptotics for is our focus, we first treat in as a variable. Inspired by the procedure of applying the kernel method, for example, see Li and Zhao [17], we first construct the relationship between and , . The kernel equation in (3.1) defines an implicit function in variables and when we only consider nonnegative values for . For convenience, let .
In view of the kernel method for the bivariate case, we locate the maximum of on . In order to do it, taking the derivative with respect to at the both side of (3.1) yields
i.e.,
(3.2) 
Let
(3.3) 
and solve the system of equations (3.2) and (3.3), we have
(3.4) 
Similarly, take the derivative with respect to ,
(3.5) 
to obtain
(3.6) 
It is easy to check that at the point , attains the maximum value . From (3.4) and (3.6), we can get that on the point , the coordinates and satisfy
(3.7) 
where
(3.8) 
Remark 3.1
Without loss of generality, we assume that in the rest of this paper. For the special case , the discussion can be carried out by using the same ideal which is much simpler than the general case due to the fact that when , the term including in most equations will disappear.
From the above arguments, we obtain the maximum on the plane . Now, we consider the new equation:
(3.9) 
From (2.6) and (3.1), we can easily know that (3.9) defines an ellipse. Thus, for fixed , there are two solutions to (3.9) for , which are given:
(3.10)  
(3.11) 
where
(3.12) 
Moreover, these two solution are distinct except . We call a point a branch point if . For branch points, we have the following property.
Lemma 3.1

has two real zeros, one of which is , and the other is denoted by . Moreover, they satisfy
(3.13) 
in and in .
By properties of quadratic functions, we can get that (ii) holds. The proof of the lemma is completed now.
In order to use the Tauberianlike Theorem below, we consider the analytic continuation of the moment generating functions in the complex plane . The function plays an important role in the procedure of the analytic continuation. Hence, we first study its analytic continuation. By Lemma 3.1, is well defined for . Moreover, it is a multivalued function in the complex plane. For convenience, in the sequel, denotes the principle branch, that is for . In the follow, we continue to the cut plane . In fact, we have
Lemma 3.2
is analytic in the cut plane .
The proof of Lemma 3.2 is standard. For example, see Dai and Miyazawa [5], or Dai, Dawson and Zhao [3]. However, for the completeness of the paper, we provide a proof following the ideal used by Dai and Miyazawa [5].
Proof: Since and are two zeros of , we have
(3.16) 
Next, we rewrite (3.16) in the polar form. Let and denote the principal arguments of and , respectively. Therefore,
(3.17) 
Hence, (3.16) can be rewritten as
(3.18) 
Moreover for , the functions and are analytic. Since is the principle part, we have
(3.19) 
Thus, from (3.17) and (3.19), one can easily get that is analytic in the cut plane.
Corollary 3.1
Both and are analytic in the cut plane .
Symmetrically, we can treat the kernel equation (3.9) as a quadratic function in , and obtain parallel results to those in Lemmas 3.1 and 3.2, and Corollary 3.1. We list them below. Before stating them, we first introduce the following notation. Define
(3.20) 
For fixed , there are two solutions to (3.9), which are given by
(3.21)  
(3.22) 
Lemma 3.3
 (i)

has two real zeros, denoted by and , respectively, satisfying
(3.23)  (ii)

in and in .
 (iii)

are analytic in the cut plane .
In order to get the analytic continuation of the moment generating functions, we need some technical lemmas. Before we introduce these lemmas, we first present an important notation. Define
where , and .
For the function , we have the following properties.
Lemma 3.4
For , we have

for .

for with some .
Proof: It follows from (3.10) and (3.16) that
(3.24) 
By (3.1), in order to prove case (i), we only need to show
(3.25) 
We also note that and are real parts of and , respectively, since and are real. Therefore,
So,
(3.26) 
Similarly, we have
Thus,
Hence,
(3.27) 
Since for ,
(3.28)  
(3.29)  
(3.30) 
From (3.26) to (3.30), in order to prove (3.25), we only need to prove
(3.31) 
which directly follows from Dai and Miyazawa [5].
3.2 Analytic Continuation
The analytic continuation of the moment generating function plays an important role in our analysis, which is the focus in this subsection. In order to carry out this, we need the following technical lemma.
Lemma 3.5
For the moment generating functions ,, we have

is finite on some region with .

is finite on some region with .

is finite on some region with .

is finite on some region with .
Proof: We first prove case (i). In order to prove it, we first prove
(3.36) 
for some , and
(3.37) 
for some .
In fact,
(3.38) 
which suggests that we may restrict our analysis to the twodimensional tandem queue