Abstract
There are three contributions to the literature in this note. Firstly, we point out that under some weak conditions the result in Swensen (1986) on the remaining loads in a GI/M/c queue with impatient customers, derived under the assumption that the distribution of inter-arrival times is Coxian, is also valid for the more general phase type distribution. From this result the distributions of the virtual and the actual waiting time can easily be obtained. Secondly, the relation to an alternative expression for the distribution of the virtual waiting time derived by Kawanishi and Takine (2015) is also clarified. Finally, we explain how the results on the remaining loads can be used to find distributions describing particular fixed servers and provide a couple of numerical examples of how this can be done.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
A queue where the customers that cannot be served within a fixed time leave the system is usually referred to as a queue with impatient customers or a queue with bounded waiting time. To describe such systems balking and reneging have also been used as denominations, see Ancker and Gafarian (1963).
The motivation for studying such queues has often been problems in telecommunication where the main challenge is to dimension the system so that on the one hand not too many calls are lost and on the other hand not having too many servers, which means that more equipment than necessary is used. An early contribution with the possibility that the customers hang up and leave the system is Palm (1957). Also notice that bounding the waiting time can act as a simple load control.
Another field where models allowing impatient customers arise is perishable inventory theory. In blood banks the supply of blood portions is random and shelf time is limited, see Perry and Stadje (2022) for some discussion and also the monographs of Nahmias (2012) and Karaesmen et al. (2011). In contrast to the previous situation the impatience time is usually less manageable and must often be considered as fixed.
The operation of call centers is a third area where impatience has to be taken into account. This is stressed in several papers by Mandelbaum and coauthors, see e.g. Mandelbaum and Zeltyn (2009). The crucial question here is to avoid that the center is understaffed, rejecting too many customers, or overstaffed such that the proportion of time the servers are unoccupied is larger than necessary.
In all areas of application mentioned above there is a trade-off between loosing too many customers and having too many idle servers. Knowledge of the distribution of the waiting times and loads is helpful for choosing an appropriate impatience time, when that is possible. For managerial decisions and design of this kind of systems, especially deciding on the number of servers, such insight is crucial.
In this note we will consider a first-come first-served queue with c servers where the service times are independent exponential random variables with expectation \(1/\mu\). The arrivals of new customers follow a renewal process where the distribution of the inter-arrival times is of the phase type. Customers whose waiting time exceeds the fixed non-random impatience time \(\tau\) leave the system. This system is often denoted as PH/M/c+D.
The main contribution of the present note is that in a PH/M/c queue with impatient customers where the impatient time is deterministic, explicit solutions, up to some matrix inversions, exist for the stationary asymptotic distribution of the remaining loads and consequently for the virtual and the actual waiting time. It turns out that the procedure proposed by Swensen (1986) with a Coxian distribution describing the renewal input process, can be extended, with some adjustments, to the more general case where a phase type distribution is used. The key result for the generalization can be found in Lemma 2 in Appendix B.
Relevant papers dealing with impatient customers are Choi et al. (2004) and Kawanishi and Takine (2016) who considered the more general Markovian arrival process, MAP/M/c queue with bounded waiting or impatience time. He and Wu (2020) treated the situation where the impatience time is not constant. Kawanishi and Takine (2015) derived the stationary distribution for the virtual waiting time in a PH/M/c queues with impatient customers. It is worth noticing that the results in Choi et al. (2004) and Kawanishi and Takine (2015, 2016) are complementary to the results in the present paper. The distribution of the virtual waiting time in those papers is derived directly by solving a second order differential equation. The distributions of the waiting times, virtual and actual, in Swensen (1986) are derived as an implication of the distribution of the loads of the servers. Thus, the results and methods of proof are different and a natural question is how they are related. We will discuss this issue. In particular we compare the density for the virtual waiting time derived by Kawanishi and Takine (2015) with the expression of the present note.
Although the distribution of the virtual waiting time is important, knowledge of the simultaneous distribution of the remaining loads of the servers represents an additional value. For example, one can focus on the simultaneous remaining loads of a particular group of servers, cf. the famous Palm-Jacobæus formula in the telecommunication literature.
It is also worth remarking that the methods for the numerical computations of the distributions in the two cases are quite different. In papers by Choi et al. (2004) and Kawanishi and Takine (2015, 2016) the expressions that are used involve matrix exponentials. On the other hand, the formula for the probability density of the remaining loads in the present paper is quite easy to evaluate when a procedure for computing matrix eigenvalues and eigenvectors is available.
The note is organized as follows. The distribution of the remaining loads for phase type distributed arrival times is derived in the next section. In section 3 the relation between the implied distribution of the virtual waiting time relying on the distribution of the remaining load and the more direct version in Kawanishi and Takine (2015) is discussed. In section 4 the solution of a linear equation which is important for finding the asymptotic distribution of the remaining loads is considered. In section 5 we discuss how the results on the distribution of the remaining loads can be used to find distributions for fixed particular servers and carry out the actual computations in an exampel. In the Appendices the necessary modifications of the Kolmogorov forward equations for the remaining loads for phase type distributed inter-arrival times are explained. The stationary solution to these equations is found and some lemmas crucial for the derivation are proved.
We use the following notation, as in Swensen (1986): a phase type distribution is described by the pair \((\boldsymbol{\gamma },T)\) where \(\boldsymbol{\gamma }= (\gamma _{1},\ldots ,\gamma _{m})\) is a probability vector, i.e. \(\gamma _{1},\ldots ,\gamma _{m} \ge 0\), \(\sum _{i=1}^m=1\), and T is a non-singular \(m \times m\) matrix with negative diagonal elements and nonnegative off-diagonal elements. The Coxian distributions define the subclass of the phase type distributions where \(\boldsymbol{\gamma } =(1,0,\ldots ,0)\) and the only nonnegative elements of the matrix \(T=\{t_{ij}\}\) are the elements \(t_{i(i+1)},\; i=1,\ldots ,m-1\).
To a large extent the arguments used in the treatment of the Coxian case carry over to the phase type case. Therefore there will be some overlap with Swensen (1986) when the arguments are verified in the phase type setup.
In the following we consider the scalar field of complex numbers and matrices whose elements also are complex numbers.
2 Distribution of Remaining Loads
Consider the process \((Y(t),V_1(t),\ldots ,V_c(t))\) where \(V_i(t)\) is the unfinished work, i.e. the remaining load, for sever \(i\;=1,\dots ,c\) and Y(t) is the phase of the arrival process. Under the assumptions that the service times are independent, exponentially distributed and that the arrival process is a renewal process where the distribution of the inter-arrival times is of the phase type, the process is Markovian.
The phase type distribution of the inter-arrival times satisfies
Assumption 1
-
(i)
The m solutions \(\{\eta _1,\ldots ,\eta _m\}\) of \(\det [c\mu \textbf{e}\cdot \boldsymbol{\gamma } +T-c\eta I_m] = 0\) are distinct and are not equal to any of the eigenvalues of T/c.
-
(ii)
The matrix \(T+\textbf{T}\cdot \boldsymbol{\gamma }\) where \(\textbf{T}=-T\textbf{e}, \textbf{e}=(1,\cdots ,1)'\), is irreducible and has distinct eigenvalues.
Remark 1. The claim in Assumption 1 that there are no equal eigenvalues of \(\mu \textbf{e}\cdot \boldsymbol{\gamma } +T/c\) and no equal eigenvalues of \(T+\textbf{T}\cdot \boldsymbol{\gamma }\) simplifies the derivations since there is only one eigenvector associated with each eigenvalue. We therefore exclude the situation where the dimension of the eigenspace of an eigenvalue is strictly less than the algebraic multiplicity of the eigenvalue, i.e. where the geometric multiplicity is less than the algebraic multiplicity, see Horn and Johnson (2013).
The m solutions \(\{\eta _1,\ldots ,\eta _m\}\) are sorted in decreasing order according to size of the moduli. For a conjugate pair the number with positive imaginary part is counted first. Also, define B as the matrix where the rows are the left normalized eigenvectors of \(T+ \textbf{T}\cdot \boldsymbol{\gamma }\). Let D be the diagonal matrix with diagonal elements \((c\mu -\kappa _{\ell })^{-1},\;\ell =1,\ldots ,m\) where \(\kappa _{\ell },\;\ell =1,\ldots ,m\) are the eigenvalues of \(T+ \textbf{T}\cdot \boldsymbol{\gamma }\) and where one, \(\kappa _1\) say, is equal to 0. Let E be the diagonal matrix with diagonal elements \(\exp (-\tau c \eta _{\ell }),\;\ell =1,\ldots ,m\).
The following theorem is a description of the density of the asymptotic distribution of the remaining loads.
Theorem 1
Consider a first-come first-served GI/M/c queuing model with waiting time bounded by \(\tau\), service rate \(\mu\) and inter-arrival distribution of the phase type \((\boldsymbol{\gamma },T)\). Under Assumption 1 the stationary asymptotic distribution of the remaining loads \(V_1,\ldots , V_c\) has density
for \(\min V_i >0\) where \(\boldsymbol{\delta }=(\delta _1,\ldots ,\delta _m)\) is the solution of
and
The matrix \(Y_{c-1}\) has rows \(\underline{y}_{c-1}^1,\ldots , \underline{y}_{c-1}^m\) where \(\underline{y}_{c-1}^k\) is the solution of the homogenous linear equation
with \(y_{c-1 1}^k =1\) and the \(m \times m\) matrix \(R_{k} =\textbf{T} \cdot \boldsymbol{\gamma } [c\eta _k I_m -T]^{-1},\; k=1,\ldots ,m\).
Furthermore, when \(c=1\), \(\underline{y}_{1}^k=c\mu \underline{y}_{0}^kR_{k}\). When \(c > 1\), \(\underline{y}_{c}^k=c\mu \underline{y}_{c-1}^k R_{k}\) and \(\underline{y}_{0}^k,\ldots ,\underline{y}_{c-2}^k,\) \(k=1,\ldots ,m\) are defined by the recursion
Remark 2. From Lemma 3 it follows that the matrices \([(c-1)\mu I_m -(c-1) \mu \textbf{e}\cdot \boldsymbol{\gamma }-T- c \mu R_{k}]\) have rank m-1 such that \(\underline{y}_{c-1}^k,\; k=1,\ldots ,m\) are determined up to a normalizing constant. Also it follows frem Lemma 1 in Neuts (1982) that when \(c>1\), the matrices \(( i\mu I_m - i \mu \textbf{e}\cdot \boldsymbol{\gamma }-T), \; i=1,\ldots ,c-2\) are nonsingular.
The proof of the theorem is an elaboration of Swensen (1986) for the case where the inter-arrival distribution is Coxian. In the first step to prove the main result we show, in Appendix A, that when \(t \rightarrow \infty\) the functions
for \(k=1,\ldots ,m\), satisfy the differential equation defined by the Kolmogorov forward equations in the region \(v_{(1)}=\min v_i \le \tau\). Since \(\eta _1,\ldots ,\eta _m\) are distinct the solutions are independent and the general solution in this region therefore has the form \(\textbf{Q} =\sum _{k=1}^m \delta _k \textbf{Q}_k\).
As a second step, the function \(\textbf{Q}\) is inserted in the Kolmogorov forward equation to obtain a differential equation for values in the region \(\min v_i > \tau\). In Appendix A it is shown that the solution has the form
where \(K= \sum _{k=1}^m \delta _k c \mu ^c\underline{y}_{c-1}^k \textbf{T}\exp (c(\mu -\eta _k)\tau )\).
Finally, in the third step the distribution of the remaining loads is determined by requiring that the solutions for \(\min v_i \le \tau\) and \(\min v_i > \tau\) are continuous at \(\min v_i = \tau\).
3 Distribution of the Virtual Waiting Time
Building on the results in Choi et al. (2004) and Kawanishi and Takine (2015) found an explicit expression for the stationary joint distribution of the phase of the arrival process and the virtual waiting time. The density of the stationary virtual waiting time has the form
where \({\hat{\textbf{v}}}=(\hat{v}_1,\ldots ,\hat{v}_m)= \boldsymbol{\gamma }(c\mu I-T)^{-1}/\boldsymbol{\gamma }(c\mu I-T)^{-1}\textbf{e}\), and p is the normalizing constant given in Kawanishi and Takine (2015).
However, an expression for the density of the stationary virtual waiting time can also be obtained from the density of the remaining loads. Differentiating the expression for the complimentary distribution function in Swensen (1986) one gets the probability density of virtual waiting time when Assumption 1 is satisfied
where \(\boldsymbol{\delta }=(\delta _1,\ldots ,\delta _m)\) is defined in Theorem 1. By the same arguments as in the next section it follows that the expression (8) has an imaginary part equal to zero.
The following proposition summarizes the relation between the two expressions of the density.
Proposition 1
If Assumption 1 holds the coefficients of (8) are given by
where \(c\eta _1,\ldots , c\eta _m\) are the eigenvalues of \(c\mu \textbf{e}\cdot \mathbf {\gamma }+T\), \(F=\{\,f_{j\ell }\}_{j,\ell =1}^m\) is the matrix where the columns are the right eigenvectors of the matrix \(c\mu \textbf{e}\cdot \mathbf {\gamma }+T\) and \(F^{-1} = \{\,f^{j\ell }\}_{j,\ell =1}^m\).
Also
Proof. Assumption 1i) implies that \(c\mu \textbf{e}\cdot \boldsymbol{\gamma } +T\) is diagonalizable, that is \(c\mu \textbf{e}\cdot \boldsymbol{\gamma } +T= F \text{ diag }(c\eta _1,\ldots ,c\eta _m ) F^{-1}\) where the m eigenvalues \(\{c\eta _1,\ldots ,c\eta _m\}\) are sorted in decreasing order according to the size of the moduli. From elementary properties of the exponential matrix it follows that
Hence by comparing the coefficients of \(\exp (-c\eta _1),\ldots , \exp (-c\eta _m),\)
which is (9). This shows how the density (8) for the virtual waiting time can be expressed using the results (7) from Kawanishi and Takine (2015).
Furthermore, summing over k, since \(\sum _{k=1}^m f_{j,k}\,f^{k\ell } =1\) if \(j=\ell\) and 0 if \(j\ne \ell\),
which is (10). \(\blacksquare\)
Remark 3. For numerical computations the representation in (8) yields an alternative to the approach using matrix exponentials suggested by Kawanishi and Takine (2015). With a procedure computing eigenvalues and eigenvectors the quantities \(\delta _1,\ldots ,\delta _m\) can be found as described in Theorem 1.
4 Solution of the Linear Equations (2) and (3)
The linear equations (2) and (3) can be solved directly by writing them on the form \(A\boldsymbol{\delta }'=e_{m+1}\) where A is a \((m+1)\times m\) matrix and \(e_{m+1}\) is a \((m+1)\)-dimensional vector with all elements equal to 0 except the last which equals 1. Then, using a QR factorization, as described in Theorem 2.1.14 in Horn and Johnson (2013), there exist a \((m+1)\times m\) matrix Q with orthonormal columns and an upper triangular \(m\times m\) matrix R such that the linear equations may be expressed as \(QR\boldsymbol{\delta }'=e_{m+1}\) from which \(\boldsymbol{\delta }\) is easily found.
But there is an alternative way to obtain a solution starting with solving
which is determined up to a normalization by Lemma 4. Normalizing the first element of \(\boldsymbol{\phi }\) as 1, it follows from Lemma 1 that all elements of \(\boldsymbol{\phi }\) are real.
Lemma 1
The solutions of Eq. (11) have real elements.
Proof. If \(\boldsymbol{\kappa }\) is the diagonal matrix with diagonal elements \(\kappa _1,\ldots ,\kappa _m\),
\(B(T+ \textbf{T}\cdot \boldsymbol{\gamma })B^{-1}= \boldsymbol{\kappa }\). Furthermore, \(B c\mu I_m B^{-1} = c\mu I_m\). Subtracting \(B(-T- \textbf{T}\cdot \boldsymbol{\gamma }+c\mu I_m)B^{-1}= c\mu I_m-\boldsymbol{\kappa }\). Then \(B(c\mu I_m -T- \textbf{T}\cdot \boldsymbol{\gamma })^{-1}B^{-1}= (c\mu I_m-\boldsymbol{\kappa })^{-1}\) and \((c\mu I_m -T- \textbf{T}\cdot \boldsymbol{\gamma })^{-1}= B^{-1}(c\mu I_m-\boldsymbol{\kappa })^{-1}B=B^{-1}DB\). Thus since the matrix \((c\mu I_m -T- \textbf{T}\cdot \boldsymbol{\gamma })\) has real elements, so has the matrix \(B^{-1}DB\) and the matrix \(c\mu \textbf{T}\cdot \boldsymbol{\gamma } B^{-1}DB-(c-1)\mu I_m+(c-1)\mu \textbf{e} \cdot \boldsymbol{\gamma } + T\). Therefore also the solutions of (11) must be real. \(\blacksquare\)
Remark that \(\boldsymbol{\phi }=\boldsymbol{\delta }EY_{c-1}\). The matrix \(Y_{c-1}\) defined in Theorem 1 has rows corresponding to \(\eta _1,\ldots ,\eta _m\). Then \(\bar{Y}_{c-1}\) is the rows corresponding to \(\bar{\eta }_1,\ldots ,\bar{\eta }_m\) where \(\bar{\eta }_i\) is the conjugate of \(\eta _i\) if this number is not real. Let \(\boldsymbol{\delta }\) and \({\tilde{\boldsymbol{\delta}}}\) be the solutions of equation (2). Since the elements of \(\boldsymbol{\phi }\) are real
The matrices \(\bar{Y}_{c-1}\) and \(\bar{E}\) are nonsingular, such that \({\bar{\boldsymbol{\delta}}}= {\tilde{\boldsymbol{\delta}}}\). This means that in the solutions of equation (3) the complex elements occur in conjugate pairs. But then
must be a real number, since conjugate pairs of \(\delta _i\) correspond to conjugate pairs of other terms in the sum (12).
But the sum of a complex number and its conjugate must be real. Therefore (12) is real and can be used for normalizing \(\boldsymbol{\delta }\).
5 Computation of the Loads for a Particular Group of Servers
Theorem 1 describes the distribution of the remaining load of the c servers on the open set \(<0,\infty >^c\). As pointed out in Remark 1 in Swensen (1986) the distribution on \([0,\infty >^c\) can easily be obtained. This result can be used to find expressions for probabilities and distributions for particular fixed servers. In addition to the distribution of the load we will consider two such probabilities as a function of the threshold \(\tau\): the probability that a particular server is occupied and the probability that customers are rejected at the particular server. Denote the load of this server by \(V_{p1}\). The main argument for finding the distribution is, for \(V_{p2}\) the load at another fixed particular server,
The probabilities on the right-hand side follow from Theorem 1. More details can be found in Lemma A.7 in Swensen (1986).
In Fig. 1 the probability that a particular server is busy, i.e. \(P(V_{p1}>0)\), is shown as a function of the bound \(\tau\) for a queue with 4 servers.
The distributions of the inter-arrival distributions which are considered are an exponential distribution and three phase type distributions with intensity matrix
The case with \(a=0.4, b=c=d=0.0\) corresponds to the Coxian distribution considered in Swensen (1986).
The probability is plotted in Fig. 1 for four distributions which all have expectation 0.3125. In addition to the exponential distribution there are 3 phase type distributions; PH1: \(a=0.346, b=d=0.0, c=0.5\) with coefficient of variation 2.98, PH2: \(a=0.07, b=0.5, c=0.8, d=0.0\) with coefficient of variation 2.84, PH3: \(a=0.05, b=0.5, c=0.0,d=0.8\) with coefficient of variation 2.59. The intensity of the server distribution, \(\mu\), is taken equal to 1.
As one can see in Fig. 1, \(P(V_{p1}>0)\), the probability of server 1 being busy, is, not surprisingly, increasing in \(\tau\). This follows from the fact that larger value of \(\tau\) means that there are more customers in the system. Therefore the probability that the server is idle is less and the probability of being busy is larger.
In Fig. 2 the probability that a particular server has a load such that no new customer is allowed at this server, i.e. \(P(V_{p1}>\tau )\), is shown as a function of the bound \(\tau\) for the a queue with 4 servers for the same queuing systems as those used in Fig. 1. The decreasing probability is due to the fact that as \(\tau\) increases fewer customer are rejected, and the probability of being rejected therefore becomes smaller.
As \(\tau \rightarrow 0\), \(\lim P(V_{p1}>\tau ) =P(V_{p1}>0)\) for all inter-arrival distributions. In particular, in the situation displayed in Figs. 1 and 2 for the exponential distribution, the system reduces to Erlang’s loss system when \(\tau =0\). The probability that a fixed server is busy is then given by the Palm-Jacobæus formula which in this case equals 0.617, see page 63 in Asmussen (1987).
The calculations were done using the software package R, R Core Team (2020).
Data Availability
There are no data in this article.
References
Ancker CJ, Gafarian AV (1963) Some queuing problems with balking and reneging. Oper Res 11:88–100. https://doi.org/10.1287/opre.11.1.88
Asmussen S (1987) Applied probability and queues. Wiley, New York. https://doi.org/10.1007/b97236
Choi B, Kim B, Zhu D (2004) MAP/M/c queue with constant impatient time. Math Oper Res 29:309–325. https://doi.org/10.1287/moor.1030.0081
He Q-M, Wu H (2020) Multi-layer MMFF processes and the MAP/PH/K+GI queue: Theory and algorithms. Queueing Models Serv Manage 3:37–87
Horn RA, Johnson CR (2013) Matrix analysis, 2nd edn. Cambridge University Press, New York
Karaesmen I, Scheller-Wolf A, Deniz B (2011) Managing perishable and aging inventories: Review and future research directions. In: Kempf K, Keskinocak A, Uzsoy P (eds.) Handbook of Production Planning, vol. 1, pp 393–436. Kluwer, Academic Publishers. https://doi.org/10.1007/978-1-4419-6485-4-15
Kawanishi K, Takine T (2015) A note on the virtual waiting time in the stationary PH/M/c+D queue. J Appl Probab 52:899–903. https://doi.org/10.1239/jap/1445543855
Kawanishi K, Takine T (2016) MAP/M/c and M/PH/c queues with constant impatience times. Queuing Syst 82:381–420. https://doi.org/10.1007/s11134-015-9455-9
Mandelbaum A, Zeltyn S (2009) Staffing many-server queues with impatient customers: Constraint satisfaction in call centers. Oper Res 57:1189–1205. https://doi.org/10.1287/opre.1080.0651
Nahmias S (2012) Perishable inventory systems. International Series in Operations Research, Springer, New York
Neuts MF (1982) Explicit steady-state solutions to some elementary queuing models. Oper Res 30:480–489. https://doi.org/10.1287/opre.30.3.480
Palm RCA (1957) Research on telephone traffic carried by full availability groups. Tele 1
Perry D, Stadje W (2022) Perishable inventories and queues with impatience. Queuing Syst 100:237–239. https://doi.org/10.1007/s11134-022-09787-2
R Core Team (2020) R: A language and environment for statistical computing. R Foundation for Statistical Computing, Vienna, Austria. https://www.R-project.org/
Swensen AR (1986) On a GI/M/c queue with bounded waiting times. Oper Res 34:895–908. https://doi.org/10.1287/opre.34.6.895
Funding
Open access funding provided by University of Oslo (incl Oslo University Hospital).
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of Interest
The author has no competing interests to declare that are relevant to the content of this article.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix
Appendix
1.1 A. Stationary Solutions of the Kolmogorov Forward Equations
We will use the following notation \(T=\{ t_{jl }\}_{j,l=1}^m\), \(t_{jj}=-\lambda _j\), \(t_{jl} = \lambda _j \beta _{jl},\, j\ne l\) for \(j,l=1\ldots ,m\). Also \(\beta _{jj}=0\) and \(\alpha _j=1-\sum _{l=1}^m \beta _{jl}\) for \(j=1,\ldots ,m\) such that \(\textbf{T}=(\lambda _1\alpha _1,\ldots , \lambda _m\alpha _m)'\).
The forward Kolmogorov equations are a generalization of those used in Swensen (1986). Due to the restrictions on \(\boldsymbol{\gamma }\) and T in the Coxian case some modifications are necessary when a general phase type distribution is used to describe the arrival process.
Let \(p_{ij}(t+h,v_1,\ldots ,v_i)\) be the density of the remaining load for i occupied servers, \(i,\;i=0,\ldots ,c\), and arrival process in state \(j,\;j=1,\ldots ,m\) at time \(t+h\). Letting first \(t \rightarrow \infty\) and then \(h \rightarrow 0\) it follows that the following equations must be satisfied by the stationary solutions
for \(i=1,\ldots ,c-1\) when \(c>1\) and
for \(j=1,\ldots ,m\).
Firstly, we claim that a solution of the previous equations has the form defined by the Eqs. (4)–(6) in the region \(\min v_i \le \tau\). As in Swensen (1986) where the similar situation is treated for the Coxian distributions the verification is by straight forward insertion in (13) and (14) for \(i=1,\ldots ,c-1\).
For the case \(i=c\) the insertion of Eqs. (5) and (6) in the left- and right-hand side of Eq. (15) yields that the following equations must be satisfied for \(k=1,\ldots ,m\)
and
It follows from Lemma 2 that \(\eta _k\) is a solution of \((\mu -\eta _k)/\mu = \boldsymbol{\gamma } [c\eta _k I_m -T]^{-1} \textbf{T}\). Therefore the Eq. (16) may be written
where the last equality follows from the definition of \(R_{k}\). But the definition of \(\underline{y}_c^k\) and \(\underline{y}_{c-1}^k\) implies (18).
To verify (17) note that from the definition of \(\underline{y}_{c-1}^k\) and \(R_{k}\) it follows that
such that the Eq. (17) may be written, using the definition of \(\underline{y}_{c-1}^k\) and \(\underline{y}_{c}^k\)
But from the definition of \(\underline{y}_{c}^k\), \(\underline{y}_{c-1}^k\) and Lemma 2 it follows that
which implies (19) and therefore (17). Thus the proposed solutions given by Eqs. (4)–(6) satisfy the requirements from Eqs. (13)–(15) in the area \(\min v_i \le \tau\) for each \(\eta _1,\ldots ,\eta _m\).
Secondly, the general solution will be a linear combination of these solutions. Inserting such a solution in the Eq. (15) one gets when \(\min v_i > \tau\) the following equation on vector form
where by using (20)
Let \(\kappa _1,\ldots ,\kappa _m\) be the eigenvalues of \(T + \textbf{T}\cdot \boldsymbol{\gamma }\), \(B=(b_1',\ldots ,b_m')'\) be the matrix with the normalized left eigenvectors of \(T + \textbf{T}\cdot \boldsymbol{\gamma }\) as rows and let D be the diagonal matrix with diagonal elements \(1/(c\mu -\kappa _1),\ldots ,1/(c\mu -\kappa _m)\). Since \(T + \textbf{T}\cdot \boldsymbol{\gamma }\) is a generator the Perron-Frobenius theorem implies that one eigenvalue, \(\kappa _1=0\) say, is equal to zero and that the other eigenvalues have strictly negative real parts. Also by Assumption 1ii) \(\kappa _1,\ldots ,\kappa _m\) are distinct. Since \(\kappa _2,\ldots ,\kappa _m\) have negative real parts they are not equal to \(c\mu > 0\).
As in Swensen (1986) one can show that
where \(\phi _1,\ldots ,\phi _m\) are arbitrary differentiable functions in one variable and \(\psi _j(v_1+\ldots +v_c)= b_j\exp (-\kappa _j v_1)\phi (-(c-1)v_1+v_2+\cdots +v_c),\; j=1,\ldots ,m\). Therefore \(\psi _1,\ldots ,\psi _m\) are m independent solutions of the homogenous differential equation corresponding to (21).
Now define,
Then
Thus, if \(\boldsymbol{\kappa }\) is the diagonal matrix with diagonal elements \(\kappa _1,\ldots , \kappa _m\),
such that \(\psi _0\) is a particular solution of (21) and the general solution is \(\psi _0 + \sum _{l=1}^m \nu _l \psi _l\).
Since \(\kappa _1=0\) and \(\kappa _2,\ldots ,\kappa _m\) have strictly negative real parts, \(\nu _1=\cdots =\nu _m=0\) because \(p_{cj} \rightarrow 0, \; j=1,\ldots m\) as \(\sum _{l=1}^c v_l^2 \rightarrow \infty .\)
Finally, from the Kolmogorov forward equations it follows that
such that for \((v_1,\ldots ,v_c) \in \{(v_1,\ldots ,v_c) : \min v_i =\tau \}\)
Using the definition of \(\underline{y}_{c}^k\) and letting \(Y_{c-1}\) be the matrix with rows \(\underline{y}_{c-1}^k,\;k=1,\ldots ,m\) this equals
The matrix E has full rank and so has \(Y_{c-1}\) by Lemma 5. Hence it follows from Lemma 4 that Eq. (22) has a solution up to a multiplicative constant, which is found by normalization.
1.2 B. Some Lemmas
Lemma 2
Under Assumption 1i) the set of solutions \(\eta _1,\ldots ,\eta _m\) of the equation
is contained in the set of solutions of
Proof. Let \(\eta\) be a solution of Eq. (23). From Assumption 1 i) \(\eta\) is different from the eigenvalues of T/c so that \((c\eta I_m -T)\) is invertible. Then
Using Cauchy’s formula for the determinant of a rank-one perturbation, see Horn and Johnson (2013) p. 26, the relation
implies that
Hence
Lemma 3
The matrices
have rank m-1.
Proof. As pointed out in Swensen (1986) it suffices to prove that the matrix (24) is singular. The case where \(R_{k}-I\) is non-singular is proved as in Swensen (1986). To deal with the case where \(R_{k}-I\) is singular note that from Lemma 2 it follows that \(R_{k}\textbf{T} =\textbf{T} \cdot \boldsymbol{\gamma }[c\eta _k I_m -T]^{-1}\textbf{T} =[(\mu -\eta _k)/\mu ] \textbf{T}\) so \(\textbf{T}\) is a right eigenvector of \(R_{k}\) and \((\mu -\eta _k)/\mu\) is the non-zero eigenvalue. When \(R_{k}-I\) is singular, 1 has to be the non-zero eigenvalue of \(R_{k}\) such that \(1=(\mu -\eta _k)/\mu\) and \(\eta _k=0\). Furthermore, for \(\eta _k=0\) and using Cauchy’s formula for the determinant of a rank-one perturbation
such that \(c\mu \boldsymbol{\gamma } T{^{-1}} \textbf{e}=-1\) and
which shows that the matrix (24) must be singular also when \(R_{k}-I\) is singular. \(\blacksquare\)
Lemma 4
Let \(\kappa _1,\ldots ,\kappa _m\) be the eigenvalues of \(T + \textbf{T}\cdot \boldsymbol{\gamma }\) and B the matrix with rows as normalized left eigenvectors of \(T + \textbf{T}\cdot \boldsymbol{\gamma }\) and let D be the diagonal matrix with diagonal elements \(1/(c\mu -\kappa _1),\ldots ,1/(c\mu -\kappa _m)\). Under Assumption 1ii) the matrix
has rank m-1.
Proof. From Lemma 1 in Neuts (1982) it follows that the matrix \((c-1)\mu I_m -(c-1) \mu \textbf{e}\cdot \boldsymbol{\gamma } -T\) has rank m. The matrix \(c\mu \textbf{T}\cdot \boldsymbol{\gamma } B^{-1}DB - (c-1)\mu I_m +(c-1) \mu \textbf{e}\cdot \boldsymbol{\gamma } +T\) therefore has rank at least m-1. Hence, it suffices to show that it is singular.
Let \(\boldsymbol{\kappa }\) be the diagonal matrix with diagonal elements \(\kappa _1,\ldots ,\kappa _m\). Without loss of generality we can assume \(\kappa _1=0\). Then
but \(\kappa _i \ne 0\) such that \(b_i\textbf{e} =0\) for the ith row of B, \(b_i\), \(i=2,\ldots ,m\) and \(B\textbf{e}= (\textbf{e}' b_1',0,\cdots ,0)' =a(1,0,\cdots ,0)'=a \textbf{e}_1\). This implies that \(\textbf{e}=B^{-1}B \textbf{e}=aB^{-1}\textbf{e}_1\) and
Also,
Hence,
by (25), which shows that \(c\mu \textbf{T}\cdot \boldsymbol{\gamma } B^{-1}DB - (c-1)\mu I_m +(c-1) \mu \textbf{e}\cdot \boldsymbol{\gamma } +T\) is singular. \(\blacksquare\)
Lemma 5
The vectors \(y_{c-1}^k,\; k=1\ldots ,m\) are linearly independent.
Proof. See Lemma A.6 in Swensen (1986). The argument for the Coxian distributions is also valid for phase type distributions. \(\blacksquare\)
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Swensen, A.R. Remaining Loads in a PH/M/c Queue with Impatient Customers. Methodol Comput Appl Probab 25, 25 (2023). https://doi.org/10.1007/s11009-023-10019-0
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11009-023-10019-0