Transient behavior of fractional queues and related processes

Transient behavior of fractional queues and related processes

Abstract

We propose a generalization of the classical M/M/1 queue process. The resulting model is derived by applying fractional derivative operators to a system of difference-differential equations. This generalization includes both non-Markovian and Markovian properties which naturally provide greater flexibility in modeling real queue systems than its classical counterpart. Algorithms to simulate M/M/1 queue process and the related linear birth-death process are provided. Closed-form expressions of the point and interval estimators of the parameters of the proposed fractional stochastic models are also presented. These methods are necessary to make these models usable in practice. The proposed fractional M/M/1 queue model and the statistical methods are illustrated using financial data.

Keywords: Transient analysis, Fractional M/M/1 queue, Mittag–Leffler function, Fractional birth-death process, Parameter estimation, Simulation.

1 Introduction

The M/M/1 queue is without a doubt the simplest model for a queue process. It is characterized by arrivals determined by a Poisson process and an independent service time which is negative-exponentially distributed. It is relatively simple and yet the analysis of its transient behavior leads to considerable difficulties. The main source of these difficulties is the presence of a non-absorbing boundary at zero (empty queue). This means that the analysis becomes simpler when we consider models with absorbing boundaries. As a direct result, the state probability of a linear birth-death process, that is the probability that the queue length is at a specific time , has a particularly nice form.

The aim of this paper is to study some related point processes governed by difference-differential equations containing fractional derivative operators. These processes are direct generalizations of the classical M/M/1 queue and the linear birth-death processes. It is well-known that a fractional derivative operator induces a non-Markovian behavior into a system [see 19]. Moreover, parameter estimation and path generation algorithms of these new fractional stochastic models are derived. Note that the proposed fractional point models (with Markovian and non-Markovian properties) are parsimonious which makes them desirable for modeling real-world non-Markovian queueing systems. Observe that fractional point processes driven by fractional difference-differential equations such as the fractional Poisson, the fractional birth, the fractional death, and the fractional birth-death processes have already been gaining attention more recently [see, e.g., 11, 4, 7, 14, 9].

The article is structured as follows. Section 2 presents the explicit construction of the fractional M/M/1 queue starting from the governing equations and a particular subordination relation. The main result derived in this section is the explicit form of the transient state probabilities for each value of the parameter of fractionality. Information regarding the steady-state behavior (stationary behavior) is also highlighted; in particular the fractional process shares the same steady-state behavior as the classical non-fractional case. In Section 3 we develop closed-form estimators (point and interval) for the model parameters in the case of the fractional linear birth-death process. This is preparatory for the similar subsequent analysis applied to the M/M/1 queue (Section 4). The article ends with an application which shows that our constructed estimators perform well in a real-world example.

2 Results for a fractional process related to M/M/1 queues

The classical M/M/1 queue process , , that is the queue length in time can be described by the following difference-differential equations governing the state probabilities , :

(2.1)

where is the initial number of individuals in the queue and is the Kronecker’s delta. In (2.1) and are the entrance and the service rates, respectively.

To arrive at a possible fractional model we consider the Caputo fractional derivative , , with respect to time . If , , where , is the fractional queue with parameter , the generalized difference-differential equations for the state probabilities with arrival rate , service rate and initial customers, read

(2.2)

First, we will follow Bailey [2, 3] for the derivation of the probabilities , , but adapting the method to take into considerations the presence of the Caputo derivative. The result obtained by Bailey is the so-called classical solution in terms of modified Bessel functions of the first kind. Note however that the derivation of the state probabilities in the classical case can be carried out in several equivalent ways (see for example Champernowne [8], Parthasarathy [15], Abate and Whitt [1]). In the following we will first treat the solution derived by Bailey and then we will use a simpler but lesser known form due to Sharma [17].

We indicate as the probability generating function.

Theorem 2.1.

The Laplace transform , , can be written as

(2.3)

where and are the zeros of .

Proof.

From (2.2), we can write

(2.4)

Using the equation on we have

(2.5)

and after simplifying, we obtain, for , the Cauchy problem

(2.6)

Applying the Laplace transform to (2.6) leads to

(2.7)

where . After some simple algebraic calculations we then have

(2.8)

As the above function converges in , the zeros of the numerator and the denominator should coincide. Let us indicate the zeros of the numerator as

(2.9)

with , . Note that

(2.10)

By Rouché theorem [10, Page 168] we have that the only zero in the unit circle is . Therefore it follows that

(2.11)

which gives

(2.12)

Now, by considering that

(2.13)

equation (2.8) can be rewritten as

(2.14)

In the following Theorem 2.2 we prove a subordination relation for the fractional queue , , . This is essential for our next results. Before that, let us introduce some facts on the -stable subordinator and its inverse process.

Let us call , , the -stable subordinator (see for details Bertoin [5], cap. III) and let us define its inverse process as its hitting time

(2.15)

The processes and are characterized by their Laplace transforms. For the -stable subordinator we have

(2.16)

and for its inverse process the time-Laplace transform reads

(2.17)
Theorem 2.2.

Let , , be the classical queue and let , , , be an inverse -stable subordinator (2.15) independent of . The fractional queue , , , can be represented as

(2.18)

where the equality holds for the one-dimensional distribution.

Proof.

Let us consider the initial value problem

(2.19)

which is equivalent to (2.2). Applying the Laplace transform we obtain

(2.20)

Note that if (2.18) holds we can write

(2.21)

and

(2.22)

We now show that (2.21) and (2.22) satisfy (2.20). Observe that

(2.23)

Consider the right hand side of (2.21). We can write

(2.24)

Considering that and satisfy

(2.25)

we immediately obtain that

(2.26)

This concludes the proof. ∎

Using the Laplace transform (2.3) and the calculations carried out in Bailey [3] we can gain some insights on the mean value of the process.

Theorem 2.3.

We have that

(2.27)

where

(2.28)

is the Riemann–Liouville fractional integral [16].

Proof.

By means of the Laplace transform (2.3) of the probability generating function we can write

(2.29)

Note the in the above calculation we have used the relation (2.10). Result (2.29) immediately yields

(2.30)

Remark 2.1.

The validity of Theorem 2.2 can be checked with the aid of formula (2.27) as follows.

(2.31)

Therefore the time-Laplace transform, recalling that , can be written as

(2.32)

Now, by noticing that (see formula (2.12)) we arrive at

(2.33)

which leads to formula (2.27).

Remark 2.2.

A different form of formula (2.29) can be achieved by writing

(2.34)

where we used the fact that . Furthermore, after considering

(2.35)

we arrive at

(2.36)

Let us now address the problem of finding explicit results for the state probabilities of the proposed fractional queue model. We start by using the subordination relation stated in Theorem (2.2) with the classical solution of the M/M/1 queue in terms of modified Bessel functions of the first kind. In the non-fractional case () we have [3, Page 154]

(2.37)

where is the modified Bessel function of the first kind.

The state probabilities , , , can thus be determined formally by subordination in the following way:

(2.38)

Using the time-Laplace transform we have

(2.39)

Applying the well-known Laplace transform for we get

(2.40)

Although the obtained Laplace transform has a clear structure it cannot be inverted in a simple manner. Note anyway that it should be related to the Laplace transform of some generalizations of Bessel functions.

In order to obtain more explicit results we must abandon the classical form of the state probabilities in terms of Bessel functions. We exploit instead a lesser known but certainly more appealing result due to Sharma [17, Chapter 2]. In particular we refer to equation (2.2.16) at page 17 which we recall here for the reader’s convenience. Here .

(2.41)

By means of the above formula in the next theorem we derive an explicit expression for the state probabilities , , ,