# Equilibrium and Optimal Strategies in M/M/1 Queues with Working Vacations and Vacation Interruptions.

1. IntroductionIn the past decades, there has been an emerging tendency in the literature to study queueing systems which are concerned with customers decentralized behavior and socially optimal control of arrivals. Such an economic analysis of queueing systems was pioneered by Naor [1] who studied the observable M/M/1 model with a simple linear reward-cost structure. It was assumed that an arriving customer observed the number of customers and then made his/her decision whether to join or balk. His study was complemented by Edelson and Hildebrand [2] who considered the same queueing system as that in [1] but assumed that the customers made their decisions without being informed about the state of the system. Moreover, several authors have investigated the same problem for various queueing systems incorporating diverse characteristics such as priorities, reneging, jockeying, schedules, and retrials. The fundamental results about various models can be found in the comprehensive monograph written by Hassin and Haviv [3] with extensive bibliographical references.

There are some papers in the literature that considered the strategic behavior of customers in classical vacation queueing models. Burnetas and Economou [4] studied a Markovian single-server queueing system with setup times. They derived equilibrium strategies for the customers under various levels of information and analyzed the stationary behavior of the system under these strategies. Sun and Tian [5] considered a queueing model with classical multiple vacations. They derived the equilibrium and socially optimal joining strategies in vacation and busy period of a partially observable queue, respectively. The conclusion was summarized that individual optimization led to excessive congestion without regulation. Economou and Kanta [6] considered the Markovian single-server queue that alternates between on and off periods. They derived equilibrium threshold strategies in fully observable and almost observable queues. Guo and Hassin [7] studied a vacation queue with N-policy and exhaustive service. They presented the equilibrium and socially optimal strategies for unobservable and observable queues. This work was extended by Guo and Hassin [8] to heterogenous customers and by Tian et al. [9] to M/G/1 queues. Recently, Guo and Li [10] studied strategic behavior and social optimization in partially observable Markovian vacation queues. Li et al. [11] considered equilibrium strategies in M/M/1 queues with partial breakdowns. Zhang et al. [12] studied a single-server retrial queue with two types of customers in which the server was subject to vacations along with breakdowns and repairs. They discussed and compared the optimal and equilibrium retrial rates regarding the situations in which the customers were cooperative or noncooperative, respectively.

Recently, queueing systems with working vacations have been studied extensively where the server takes vacations once the system becomes empty (i.e., exhaustive service policy) and can still serve customers at a lower rate than regular one during the vacations. Research results of the stationary system performance on various working vacation queues can be consulted in the survey given by Tian et al. [13]. As for the work studying customers behavior in queueing systems with working vacations, Zhang et al. [14] and Sun and Li [15] obtained equilibrium balking strategies in M/M/1 queues with working vacations for four cases with respect to different levels of information. Sun et al. [16] also considered the customers equilibrium balking behavior in some single-server Markovian queues with two-stage working vacations.

However, we often encounter the situation that the server can stop the vacation once some indices of the system, such as the number of customers, achieve a certain value during a vacation. In many real life congestion situations, urgent events occur during a vacation and the server must come back to work rather than continuing to take the residual vacation. For example, if the number of customers exceeds the special value during a vacation and the server continues to take the vacation, it leads to large cost of waiting customers. Therefore, vacation interruption is more reasonable to the server vacation queues. Vacation interruption was introduced by Li and Tian [17] and Li et al. [18].

In this paper, we consider an M/M/1 queueing model with working vacations and vacation interruptions. We distinguish three cases: the observable queues, the partially observable queues, and the unobservable queues, according to the information levels regarding system states. As to the observable case, a customer can observe both the state of the server and the number of present customers before making decision. In the unobservable case, a customer cannot observe the state of the system. However, for the partially observable case, a customer only can observe the state of the server at their arrival instant and does not observe the number of customers present. The customers dilemma is whether to join the system or balk. We study the balking behavior of customers in these cases and derive Nash equilibrium strategies and socially optimal strategies.

This paper is organized as follows. Descriptions of the model are given in Section 2. In Sections 3, 4, and 5, we determine the equilibrium and socially optimal strategies in observable queues, the partially observable queues, and the unobservable queues, respectively. Conclusions are given in Section 6.

2. Model Description

Consider a classical M/M/1 queue with an arrival rate A and a service rate [[mu].sub.1]. Upon the completion of service, if there is no customer in the system, the server begins a vacation and the vacation time is assumed to be exponentially distributed with the parameter [theta]. During a vacation period, arriving customers can be served at a mean rate of [[mu].sub.0]. Upon the completion of a service in the vacation, if there are also customers in the queue, the server ends the vacation and comes back to the normal working level. Otherwise, he/she continues the vacation until there are customers after a service or a vacation ends. Meanwhile, when a vacation ends, if there are no customers, another vacation is taken. Otherwise, the server also switches the rate to [[mu].sub.1] and a regular busy period starts. In this service discipline, the server may come back from the vacation without completing the vacation. And the server can only go on vacations if there is no customer left in the system upon the completion of a service. Meanwhile, the vacation service rate can be only applied to the first customer that arrived during a vacation period.

We assume that the interarrival times, the service times, and the working vacation times are mutually independent. In addition, the service discipline is first in, first out (FIFO).

Denote by N(t) the number of customers in the system at time t. Let J(t) = 0 be the state that the server is on working vacation period at time t and let J(t) = 1 be the state that the server is busy at time t.

Arriving customers are assumed to be identical. Our interest is in the customers' strategic response as they can decide whether to join or balk upon arrival. Assume that a customer's utility consists of a reward for receiving service minus a waiting cost. Specifically, every customer receives a reward of R units for completing service. There is a waiting cost of C units per time unit that the customer remains in the system. Customers are risk neutral and maximize their expected net benefit. Finally, we assume that there are no retrials of balking customers nor reneging of waiting customers.

3. The Observable Queues

We begin with the fully observable case in which the arriving customers know not only the number of present customers N(t) but also the state of the server J(t) at arrival time t.

There exists a balk threshold n(i) such that an arriving customer enters the system at state i (i = 0,1) if the number of the customers present upon arrival does not exceed the specified threshold. So a pure threshold strategy is specified by a pair ([n.sub.e](0), [n.sub.e](1)) and the balking strategy has the following form: "while arriving at time t, observe (N(t), J(t)); enter if N(t) [less than or equal to] [n.sub.e](J(t)) and balk otherwise."

And we have the following result.

Theorem 1. In the observable M/M/1 queue with working vacations and vacation interruptions, there exist thresholds ([n.sub.e](0), [n.sub.e](1)) which are given by

[mathematical expression not reproducible], (1)

such that a customer who observes the system at state (N(t), J(t)) upon his arrival enters if N(t) [less than or equal to] [n.sub.e](J(t)) and balks otherwise.

Proof. Based on the reward-cost structure which is imposed on the system, we conclude that, for an arriving customer that decides to enter, his/her expected net benefit is

U(n, i) = R - CT (n, i), (2)

where T(n, i) denotes his/her expected mean sojourn time given that he/she finds the system at state (n, i) upon his/her arrival. Then, we have the following equations:

T(0, 0) = 1/[[[mu].sub.0] + [theta]] + [[theta]/[[mu].sub.0] + [theta]][1/[[mu].sub.1]], (3)

T(n, 0) = [[mu].sub.0]/[[[mu].sub.0] + [theta]](1/[[mu].sub.0] + T(n - 1, 1)) + [[theta]/[[[mu].sub.0] + [theta]]] T(n, 1), (4)

T(n, 1) = [n + 1]/[[mu].sub.1]. (5)

By iterating (4) and taking into account (5), we obtain

T(n, 0) = n/[[mu].sub.1] + [[mu].sub.1] + [theta]]/[[mu].sub.1]([[mu].sub.0] + [theta]). (6)

We can easily check that T(n, 0) is strictly increasing for n. A customer strictly prefers to enter if the reward for service exceeds the expected cost for waiting (i.e., U(n, i) > 0) and is indifferent between entering and balking if the reward is equal to the cost (i.e., U(n, i) = 0).

We assume throughout the paper that

R > C([1/[[mu].sub.0] + [theta]] + [[theta]/[[mu].sub.0] + [theta]][1/[[mu].sub.1]]), (7)

which ensures that the reward for service exceeds the expected cost for a customer who finds the system empty. By solving U(n, i) [greater than or equal to] 0 for n, using (5) and (6), we obtain that the customer arriving at time t decides to enter if and only if n [less than or equal to] [n.sub.e](J(t)), where ([n.sub.e](0), [n.sub.e](1)) are given by (1).

From Figure 1, we observe that [n.sub.e](1) is larger than [n.sub.e](0), and [n.sub.e](0) and [n.sub.e](1) are all increasing with [[mu].sub.1].

For the stationary analysis, the system follows a Markov chain and the state space is

[mathematical expression not reproducible]. (8)

And the transition diagram is illustrated in Figure 2.

Let [mathematical expression not reproducible] is the stationary distribution of the process {(N(t), J(t)), t [greater than or equal to] 0}.

In steady state, we have the following system equations:

[lambda][[pi].sub.00] = [[mu].sub.0][[pi].sub.10] + [[mu].sub.1][[pi].sub.11], (9)

([lambda] + [theta] + [[mu].sub.0])[[pi].sub.n0] = [lambda][[pi].sub.n-10], n = 1, 2, ..., n(0), (10)

([theta] + [[mu].sub.0]) [[pi].sub.n(0)+1,0] = [lambda][[pi].sub.n(0),0], (11)

([lambda] + [[mu].sub.1]) [[pi].sub.11] = [[mu].sub.1][[pi].sub.21] + [theta][[pi].sub.10] + [[mu].sub.0][[pi].sub.20], (12)

[mathematical expression not reproducible], (13)

([lambda] + [[mu].sub.1]) [[pi].sub.n(0)+1,1] = [lambda][[pi].sub.n(0)1] + [[mu].sub.1][[pi].sub.n(0)+2] + [theta][[pi].sub.n(0)+1,0], (14)

([lambda] + [[mu].sub.1]) [[pi].sub.n1] = [lambda][[pi].sub.n-1,1] + [[mu].sub.1][[pi].sub.n+1,1], n = n(0) + 2, ..., n(1), (15)

[[mu].sub.1][[pi].sub.n(1)+1,1] = [lambda][[pi].sub.n(1),1]. (16)

Define

[rho] = [[lambda]/[[mu].sub.1]], [sigma] = [[lambda]/[[lambda] + [theta] + [[mu].sub.0]]]. (17)

By iterating (10) and (15), taking into account (11) and (16), we obtain

[mathematical expression not reproducible]. (18)

From (13), it is easy to obtain that {[[pi].sub.n1] | 1 [less than or equal to] n [less than or equal to] n(0) + 1} is a solution of the nonhomogeneous linear difference equation

[[mu].sub.1][x.sub.n+1] - ([lambda] + [[mu].sup.1])[x.sub.n] + [lambda][x.sub.n-1] = -[theta][[pi].sub.n0 ] - [[mu].sub.0][[pi].sub.n+l,0] = - ([theta] + [[mu].sub.0][sigma])[[sigma].sup.n][[pi].sup.00]. (19)

So its corresponding characteristic equation is

[[mu].sub.1][x.sup.2] - ([lambda] + [[mu].sub.1]) x + [lambda] = 0, (20)

which has two roots at 1 and [rho]. Assume that [rho] [not equal to] 1; then the homogeneous solution of (19) is [x.sup.hom.sub.n] = A[1.sup.n] + B[[rho].sup.n]. The general solution of the nonhomogeneous equation is given as [x.sup.gen.sub.n] = [x.sup.bom.sub.n] + [x.sup.spec.sub.n], where [x.sup.pec.sub.n] is a specific solution. We find a specific solution [x.sup.spec.sub.n] = D[[sigma].sup.n]. Substituting it into (19), we derive

D = -[[[lambda] + [theta]]/[[lambda] + [theta] + [[mu].sub.0] - [[mu].sub.1]]][[pi].sub.00]. (21)

Therefore,

[x.sup.gen.sub.n] = A + B[[rho].sup.n] + D[[sigma].sup.n], n = 1, 2, ..., n(0) + 1. (22)

Substituting (22) into (9) and (12), it follows after some rather tedious algebra that

[mathematical expression not reproducible]. (23)

Then, we obtain

A = 0, B = -[[[lambda] + [theta]]/[[[mu].sub.1] - [lambda] - [theta] - [[mu].sub.0]]] [[pi].sub.00]. (24)

Thus, from (22), we obtain

[[pi].sub.n,1] = B[[rho].sup.n] + D[[sigma].sup.n], n = 1, 2, ..., n(0) + 1. (25)

Thus, we have all the stationary probabilities in terms of [[pi].sub.00]. The remaining probability, [[pi].sub.00], can be found from the normalization condition. After some algebraic simplifications, we can summarize the results in the following.

Theorem 2. In the observable M/M/1 queues with working vacations and vacation interruptions, the stationary distribution [mathematical expression not reproducible] is given as follows:

[mathematical expression not reproducible], (26)

where [[pi].sub.00] can be solved by the normalization equation.

Because the probability of balking is equal to [[pi].sub.n(0)+1,0] + [[pi].sub.n(1)+1,1], the social benefit per time unit when all customers follow the threshold policy (n(0), n(1)) equals

[mathematical expression not reproducible]. (27)

Let ([n.sup.*](0), [n.sup.*](1)) be the socially optimal threshold strategy. From Figure 3, we obtain ([n.sup.*](0), [n.sup.*](1)) = (3,4), while the equilibrium threshold strategy ([n.sub.e](0), [n.sub.e](1)) = (78,79). We observe that [n.sub.e](0) > [n.sup.*](0) and [n.sub.e](1) > [n.sup.*](1), which indicates that the individual optimization is inconsistent with the social optimization.

4. Partially Observable Queues

In this section, we turn our attention to the partially observable case, where arriving customers only can observe the state of the server at their arrival instant and do not observe the number of customers present.

A mixed strategy for a customer is specified by a vector ([q.sub.0], [q.sub.1]), where [q.sub.i] is the probability of joining when the server is in state i (i = 0,1). If all customers follow the same mixed strategy ([q.sub.0], [q.sub.1]), then the system follows a Markov chain where the arrival rate equals [[lambda].sub.i] = [lambda][q.sub.i] when the server is in state i (i = 0, 1). The state space is [mathematical expression not reproducible] and the transition diagram is illustrated in Figure 4.

Denote the stationary distribution as

[mathematical expression not reproducible]. (28)

Using the lexicographical sequence for the states, the transition rate matrix (generator) Q can be written as the tridiagonal block matrix:

[mathematical expression not reproducible], (29)

where

[mathematical expression not reproducible], (30)

To analyze this QBD process, it is necessary to solve for the minimal nonnegative solution of the matrix quadratic equation

[R.sup.2]B + RA + C = 0, (31)

and this solution is called the rate matrix and denoted by R.

Lemma 3. If [[rho].sub.1] = [lambda][q.sub.1]/[[mu].sub.1] < 1, the minimal nonnegative solution of (31) is given by

[mathematical expression not reproducible], (32)

where [[sigma].sub.0] = [lambda][q.sub.0]/([lambda][q.sub.0] + [theta] + [[mu].sub.0]).

Proof. Because the coefficients of (31) are all upper triangular matrices, we can assume that R has the same structure as

[mathematical expression not reproducible]. (33)

Substituting [R.sup.2] and R into (31) yields the following set of equations:

[mathematical expression not reproducible]. (34)

To obtain the minimal nonnegative solution of (31), we take [r.sub.22] = [[rho].sub.1] (the other roots are [r.sub.22] = 1) in the second equation of (34). From the first equation of (34), we obtain [r.sub.11] = [lambda][q.sub.0]/([lambda][q.sub.0] + [theta] + [[mu].sub.0]) = [[sigma].sub.0]. Substituting [[sigma].sub.0] and [[rho].sub.1] into the last equation of (34), we get [r.sub.12] = (([lambda][q.sub.0] + [theta])/[[mu].sub.1])[[sigma].sub.0]. This is the proof of Lemma 3.

Theorem 4. Assuming that [[rho].sub.1] < 1, the stationary probabilities [mathematical expression not reproducible] of the partially observable queues are as follows:

[mathematical expression not reproducible], (35)

where

K = [[[theta] + [[mu].sub.0]]/[[lambda][q.sub.0] + [theta] + [[mu].sub.0]]] (1 + [[[lambda][q.sub.0] + [theta]]/[[lambda][q.sub.0] + [theta] + [[mu].sub.0]]][[lambda][q.sub.0]/[[[mu].sub.1] + [lambda][q.sub.1]]]).sup.1]. (36)

Proof. With the matrix-geometric solution method [19], we have

[[pi].sub.n] = ([[pi].sub.n0], [[pi].sub.n1]) = ([[pi].sub.10], [[pi].sub.11]) [R.sup.n-1], n [greater than or equal to] 1. (37)

In addition, ([[pi].sub.00], [[pi].sub.10], [[pi].sub.11]) satisfies the set of equations

([[pi].sub.00], [[pi].sub.10], [[pi].sub.11])B[R] = 0, (38)

where

[mathematical expression not reproducible]. (39)

Then, from (38), we derive

[mathematical expression not reproducible]. (40)

Taking [[pi].sub.00] as a known constant, we obtain

[[pi].sub.10] = [[sigma].sub.0][[pi].sub.00], (41)

[[pi].sub.11] = [[rho].sub.1][[[lambda][q.sub.0] + [theta]]/[[lambda][q.sub.0] + [theta] + [[[mu].sub.00]]][[pi].sub.00]. (42)

Note that

[mathematical expression not reproducible]. (43)

By [[pi].sub.10], [[pi].sub.11], [R.sup.n-1], and (37), we get (35). Finally, [[pi].sub.00] can be determined by the normalization condition. This is the proof of Theorem 4.

Let [p.sub.i] be the steady-state probability when the server is at state i (i = 0,1); we have

[p.sub.0] = [[infinity].summation over (n=0)] [[pi].sub.n0] = K[[[lambda][q.sub.0] + [theta] + [[mu].sub.0]]/[[theta] + [[mu].sub.0]]], (44)

[p.sub.1] = [[infinity].summation over (n=1)] [[pi].sub.n1] = K[[[lambda][q.sub.0]([lambda][q.sub.0] + [theta])]/[([[mu].sub.1] - [lambda][q.sub.1])([theta] + [[mu].sub.0])]], (45)

So the effective arrival rate [bar.[lambda]] is given by

[bar.[lambda]] = [lambda]([p.sub.0][q.sub.0] + [p.sub.1][q.sub.1]). (46)

We now consider a customer who finds the server at state i upon arrival. The conditional mean sojourn time of such a customer that decides to enter given that the others follow the same mixed strategy ([q.sub.0], [q.sub.1]) is given by

[W.sub.i]([q.sub.0], [q.sub.1]) = [[[summation].sup.[infinity].sub.n=1] T(n, i) [[pi].sub.ni]]/[[summation].sup.[infinity].sub.n=i] [[pi].sub.ni]. (47)

By substituting (5)-(6) and (35) into (44), we obtain

[mathematical expression not reproducible]. (48)

Based on the reward-cost structure, the expected net benefit of an arriving customer if he/she finds the server at state i and decides to enter is given by

[mathematical expression not reproducible]. (49)

We now can proceed to determine mixed equilibrium strategies of a customer in the partially observable case and have the following.

Theorem 5. For the partially observable case, there exists a unique mixed equilibrium strategy ([q.sup.e.sub.0], [q.sup.e.sub.1]), where the vector ([q.sup.e.sub.0], [q.sup.e.sub.1]) is given as follows:

[mathematical expression not reproducible]. (50)

[mathematical expression not reproducible], (51)

where

[mathematical expression not reproducible]. (52)

Proof. To prove Theorem 5, we first focus on [U.sub.0]([q.sub.0]). Condition (1) assures that [q.sup.e.sub.0] is positive. Therefore, we have two cases.

Case 1 ([U.sub.0](0) > 0 and [U.sub.0](1) [less than or equal to] 0). That is, C([theta] + [[mu].sub.1])/[[mu].sub.1] ([theta] + [[mu].sub.0]) < R [less than or equal to] C([lambda] + [theta] + [[mu].sub.1])/[[mu].sub.1]([theta] + [[mu].sub.0])).In this case, if all customers who find the system empty enter the system with probability [q.sup.e.sub.0] = 1, then the tagged customer suffers a negative expected benefit if he/she decides to enter. Hence, [q.sup.e.sub.0] = 1 does not lead to an equilibrium. Similarly, if all customers use [q.sup.e.sub.0] = 0, then the tagged customer receives a positive benefit from entering; thus, [q.sup.e.sub.0] = 0 also cannot be part of an equilibrium mixed strategy. Therefore, there exists unique [q.sup.e.sub.0] satisfying

R - C[[[lambda][q.sup.e.sub.0] + [theta] + [[mu].sub.1]]/[[[mu].sub.1]([theta] + [[mu].sub.0])]] = 0, (53)

for which customers are indifferent between entering and balking. This is given by

[q.sup.e.sub.0] = [1/[lambda]]([[R[[mu].sub.1]([theta] + [[mu].sub.0])]/C] - [theta] - [[mu].sub.1]) = [x.sub.1]. (54)

In this situation, the expected benefit [U.sub.1] is given by

[U.sub.1]([q.sup.e.sub.0], [q.sub.1]) = C([[mu].sub.1] - [[mu].sub.0])/[[mu].sub.1]([theta] + [[mu].sub.0]) - C/[[mu] - [lambda][q.sub.1]]. (55)

Using the standard methodology of equilibrium analysis in unobservable queueing models, we derive from (55) the following equilibria:

(1) If [U.sub.1]([q.sup.e.sub.0], 0) < 0, then the equilibrium strategy is [q.sup.e.sub.1] = 0.

(2) If [U.sub.1]([q.sup.e.sub.0], 0) [greater than or equal to] 0 and [U.sub.1]([q.sup.e.sub.0], 1) [less than or equal to] 0, there exists unique [q.sup.e.sub.1], satisfying

[U.sub.1]([q.sup.e.sub.0], [q.sup.e.sub.1] = 0; (56)

then the equilibrium strategy is [q.sup.e.sub.1] = [x.sub.2].

(3) If [U.sub.1]([q.sup.e.sub.0], 1) [greater than or equal to] 0, then the equilibrium strategy is [q.sup.e.sub.1] = 1.

Case 2 ([U.sub.0](1) [greater than or equal to] 0). That is, C([lambda] + [theta] + [[mu].sub.1])/[[mu].sub.1]([theta] + [[mu].sub.0]) < R). In this case, for every strategy of the other customers, the tagged customer has a positive expected net benefit if he/she decides to enter. Hence, [q.sup.e.sub.0] = 1.

In this situation, the expected benefit [U.sub.1] is given by

[U.sub.1](1, [q.sub.1]) = R - [C/[[mu] - [lambda][q.sub.1]]] - [[C([lambda] + [theta] + [[mu].sub.0])]/[[mu].sub.1]([theta] + [[mu].sub.0])]]. (57)

To find [q.sup.e.sub.1] in equilibrium, we also consider the following subcases:

(1) If [U.sub.1] (1, 0) < 0, then the equilibrium strategy is [q.sup.e.sub.1] = 0.

(2) If [U.sub.1](1, 0) [greater than or equal to] 0 and [U.sub.1](1, 1) [less than or equal to] 0, there exists unique [q.sup.e.sub.1], satisfying

[U.sub.1](1, [q.sup.e.sub.1]) = 0; (58)

then the equilibrium strategy is [q.sup.e.sub.1] = [x.sub.3].

(3) If [U.sub.1](1,1) > 0, then the equilibrium strategy is [q.sup.e.sub.1] = 1.

By rearranging Cases 1 and 2, we can obtain the results of Theorem 5. This completes the proof.

From Theorem 5, we can compare [q.sup.e.sub.0] with [q.sup.e.sub.1]. Figure 5 shows that [q.sup.e.sub.0] is not always less than [q.sup.e.sub.1]. Namely, sometimes the information that the server takes a working vacation does not make the customers less willing to enter the system, because in the vacation the server provides a lower service to customers. But when the vacation time and waiting time become longer, customers do not want to enter the system in vacation.

Then, from Theorem 4, the mean queue length is given by

[mathematical expression not reproducible]. (59)

And the social benefit when all customers follow a mixed policy ([q.sub.0], [q.sub.1]) can now be easily computed as follows:

[mathematical expression not reproducible]. (60)

The goal of a social planner is to maximize overall social welfare. Let ([q.sup.*.sub.0], [q.sup.*.sub.1]) be the socially optimal mixed strategy. Figure 6 compares customers equilibrium mixed strategy ([q.sup.e.sub.0], [q.sup.e.sub.1]) and their socially optimal mixed strategy ([q.sup.*.sub.0], [q.sup.*.sub.1]). We also observe that [q.sup.e.sub.0] > [q.sup.*.sub.0] and [q.sup.e.sub.1] > [q.sup.*.sub.1]. This ordering is typical when customers make individual decisions maximizing their own profit. Then, they ignore those negative externalities that they impose on later arrivals, and they tend to overuse the system. It is clear that these externalities should be taken into account when we aim to maximize the total revenue.

5. The Unobservable Queues

In this section, we consider the fully unobservable case, where arriving customers cannot observe the system state.

There are two pure strategies available for a customer, that is, to join the queue or not to join the queue. A pure or mixed strategy can be described by a fraction q (0 [less than or equal to] q [less than or equal to] 1), which is the probability of joining, and the effective arrival rate, or joining rate, is [lambda]q. The transition diagram is illustrated in Figure 7.

To identify the equilibrium strategies of the customers, we should first investigate the stationary distribution of the system when all customers follow a given strategy q, which can be obtained by Theorem 4 by taking [q.sub.0] = [q.sub.1] = q. So we have

[mathematical expression not reproducible], (61)

where [[rho].sub.q] = [lambda]q/[[mu].sub.1], [[sigma].sub.q] = [lambda]q/([lambda]q + [theta] + [[mu].sub.0]), and

[K.sub.1] = [[[theta] + [[mu].sub.0]]/[[lambda]q + [theta] + [[mu].sub.0]][(1 + [[[lambda]g + [theta]]/[[lambda]q + [theta] + [[mu].sub.0][[mu].sub.1] [lambda]q]]).sup.-1]. (62)

Then, the mean number of the customers in the system is

[mathematical expression not reproducible]. (63)

Hence, the mean sojourn time of a customer who decides to enter upon his/her arrival can be obtained by using Little's law:

[mathematical expression not reproducible]. (64)

And if [lambda] < [[mu].sub.1], E[W] is strictly increasing for q [member of] [0, 1].

We consider a tagged customer. If he/she decides to enter the system, his/her expected net benefit is

[mathematical expression not reproducible]. (65)

We note that U(q) is strictly decreasing in q, and it has a unique root [q.sup.*.sub.e]. So there exists a unique mixed equilibrium strategy [q.sub.e] and [q.sub.e] = min{[q.sup.*.sub.0], 1}.

We now turn our attention to social optimization. The social benefit per time unit can now be easily computed as

[mathematical expression not reproducible]. (66)

As for the equilibrium social welfare per time unit [U.sub.s]([q.sub.e]), Figure 8 shows that [U.sub.s]([q.sub.e]) first increases and then decreases with [lambda], and the social benefit achieves a maximum for intermediate values of this parameter. The reason for this behavior is that when the arrival rate is small, the system is rarely crowded; therefore, as more customers arrive, they are served and the social benefit improves. However, with any small increase of the arrival rate [lambda], the expected waiting time increases, which has a detrimental effect on the social benefit.

Let [x.sup.*] be the root of the equation S'(q) = 0, and let [q.sup.*] be the optimal joining probability. Then, we have the following conclusions: if 0 < [x.sup.*] < 1 and S"(q) [less than or equal to] 0, then [q.sup.*] = [x.sup.*]; if 0 < [x.sup.*] < 1 and S"(q) > 0 or [x.sup.*] [greater than or equal to] 1, then [q.sup.*] = 1.

From Figure 9, we observe that [q.sub.e] > [q.sup.*]. As a result, individual optimization leads to queues that are longer than socially desired. Therefore, it is clear that the social planner wants a toll to discourage arrivals.

6. Conclusion

In this paper, we analyzed the customer strategic behavior in the M/M/1 queueing system with working vacations and vacation interruptions where arriving customers have option to decide whether to join the system or balk. Three different cases with respect to the levels of information provided to arriving customers have been investigated extensively and the equilibrium strategies for each case were derived. And we found that the equilibrium joining probability of the busy period may be smaller than that in vacation time. We also compared the equilibrium strategy with the socially optimal strategy numerically, and we observed that customers make individual decisions maximizing their own profit and tend to overuse the system. For the social planner, a toll will be adopted to discourage customers from joining.

Furthermore, an interesting extension would be to incorporate the present model in a profit maximizing framework, where the owner or manager of the system imposes an entrance fee. The problem is to find the optimal fee that maximizes the owners total profit subject to the constraint that customers independently decide whether to enter or not and take into account the fee, in addition to the service reward and waiting cost. Another direction for future work is to concern the non-Markovian queues with various vacation policies.

http://dx.doi.org/10.1155/2016/9746962

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

Acknowledgments

This work is partially supported by the Natural Foundation of Hebei Province (nos. A2014203096 and C2014203212), China, and the Young Faculty Autonomous Research Project of Yanshan University (nos. 13LGB032, 13LGA017, and 13LGB013), China.

References

[1] P. Naor, "The regulation of queue size by levying tolls," Econometrica, vol. 37, no. 1, pp. 15-24, 1969.

[2] N. M. Edelson and D. K. Hildebrand, "Congestion tolls for Poisson queuing processes," Econometrica, vol. 43, no. 1, pp. 81-92, 1975.

[3] R. Hassin and M. Haviv, Equilibrium Behavior in Queueing Systems: To Queue or Not to Queue, Kluwer Academic Publishers, Dordrecht, The Netherlands, 2003.

[4] A. Burnetas and A. Economou, "Equilibrium customer strategies in a single server Markovian queue with setup times," Queueing Systems, vol. 56, no. 3-4, pp. 213-228, 2007.

[5] W. Sun and N. Tian, "Contrast of the equilibrium and socially optimal strategies in a queue with vacations," Journal of Computational Information Systems, vol. 4, no. 5, pp. 2167-2172, 2008.

[6] A. Economou and S. Kanta, "Equilibrium balking strategies in the observable single-server queue with breakdowns and repairs," Operations Research Letters, vol. 36, no. 6, pp. 696-699, 2008.

[7] P. Guo and R. Hassin, "Strategic behavior and social optimization in Markovian vacation queues," Operations Research, vol. 59, no. 4, pp. 986-997, 2011.

[8] P. Guo and R. Hassin, "Strategic behavior and social optimization in Markovian vacation queues: the case of heterogeneous customers," European Journal of Operational Research, vol. 222, no. 2, pp. 278-286, 2012.

[9] R. Tian, D. Yue, and W. Yue, "Optimal balking strategies in an M/G/1 queueing system with a removable server under N-policy," Journal of Industrial and Management Optimization, vol. 11, no. 3, pp. 715-731, 2015.

[10] P. Guo and Q. Li, "Strategic behavior and social optimization in partially-observable Markovian vacation queues," Operations Research Letters, vol. 41, no. 3, pp. 277-284, 2013.

[11] L. Li, J. Wang, and F. Zhang, "Equilibrium customer strategies in Markovian queues with partial breakdowns," Computers & Industrial Engineering, vol. 66, no. 4, pp. 751-757, 2013.

[12] F. Zhang, J. Wang, and B. Liu, "On the optimal and equilibrium retrial rates in an unreliable retrial queue with vacations," Journal of Industrial and Management Optimization, vol. 8, no. 4, pp. 861-875, 2012.

[13] N. Tian, J. Li, and Z. G. Zhang, "Matrix analysis method and working vacation queuesa survey," International Journal of Information and Management Sciences, vol. 20, pp. 603-633, 2009.

[14] F. Zhang, J. Wang, and B. Liu, "Equilibrium balking strategies in Markovian queues with working vacations," Applied Mathematical Modelling, vol. 37, no. 16-17, pp. 8264-8282, 2013.

[15] W. Sun and S. Li, "Equilibrium and optimal behavior of customers in Markovian queues with multiple working vacations," TOP, vol. 22, no. 2, pp. 694-715, 2014.

[16] W. Sun, S. Li, and Q.-L. Li, "Equilibrium balking strategies of customers in Markovian queues with two-stage working vacations," Applied Mathematics and Computation, vol. 248, pp. 195-214, 2014.

[17] J. Li and N. Tian, "The M/M/1 queue with working vacations and vacation interruptions," Journal of Systems Science and Systems Engineering, vol. 16, no. 1, pp. 121-127, 2007.

[18] J.-H. Li, N.-S. Tian, and Z.-Y. Ma, "Performance analysis of GI/M/1 queue with working vacations and vacation interruption," Applied Mathematical Modelling, vol. 32, no. 12, pp. 2715-2730, 2008.

[19] M. Neuts, Matrix-Geometric Solution in Stochastic Models, Johns Hopkins University Press, Baltimore, Md, USA, 1981.

Ruiling Tian, (1) Linmin Hu, (1) and Xijun Wu (2)

(1) College of Sciences, Yanshan University, Hebei, Qinhuangdao 066004, China

(2) Measurement Technology and Instrumentation Key Lab of Hebei Province, Yanshan University, Hebei, Qinhuangdao 066004, China

Correspondence should be addressed to Ruiling Tian; tianrl@ysu.edu.cn

Received 6 October 2015; Accepted 5 January 2016

Academic Editor: Kishin Sadarangani

Caption: Figure 1: Equilibrium threshold strategies for observable case when R = 5, C = 1, [lambda] = 1, [[mu].sub.0] = 0.5, and [theta] = 0.1.

Caption: Figure 2: Transition rate diagram for the observable queues.

Caption: Figure 3: Social welfare for the observable case when R = 40, C = 1, [lambda] = 1.5, [[mu].sub.1] = 2, [[mu].sub.0] = 0.5, and [theta] = 0.5.

Caption: Figure 4: Transition rate diagram for the partially observable queues.

Caption: Figure 5: Equilibrium mixed strategies for the partially observable case when R = 5, [[mu].sub.1] = 2, and [[mu].sub.0] = 0.5.

Caption: Figure 6: Equilibrium and socially optimal mixed strategies for the partially observable case when R = 5, C = 2, [[mu].sub.1] = 2, [[mu].sub.0] = 0.5, and [theta] = 0.1.

Caption: Figure 7: Transition rate diagram for the unobservable queues.

Caption: Figure 8: Equilibrium social welfare for the unobservable case when R = 10, C = 1, [[mu].sub.1] = 2, [[mu].sub.0] = 1, and [theta] = 1.

Caption: Figure 9: Equilibrium and socially optimal strategies for the unobservable case when R = 3, C = 2, [[mu].sub.1] = 2, [[mu].sub.0] = 0.5, and [theta] = 0.01.

Printer friendly Cite/link Email Feedback | |

Title Annotation: | Research Article |
---|---|

Author: | Tian, Ruiling; Hu, Linmin; Wu, Xijun |

Publication: | Mathematical Problems in Engineering |

Date: | Jan 1, 2016 |

Words: | 5970 |

Previous Article: | A Novel Hybrid MCDM Procedure for Achieving Aspired Earned Value Project Performance. |

Next Article: | Formulations, Features of Solution Space, and Algorithms for Line-Pure Seru System Conversion. |