Next Article in Journal
Linear-Time Polynomial Holographic Interactive Oracle Proofs with Logarithmic-Time Verification for Rank-1 Constraint System from Lookup Protocol
Previous Article in Journal
Bifurcation Analysis of a Class of Food Chain Model with Two Time Delays
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Price Decisions in a Two-Server Queue Considering Customer Retrial Behavior: Profit-Driven Versus Social-Driven

1
College of Management Science, Chengdu University of Technology, Chengdu 610059, China
2
School of Mathematics Sciences, Sichuan Normal University, Chengdu 610066, China
3
Department of Mathematics, Faculty 3-Mathematics and Computer Science, University of Bremen, 28359 Bremen, Germany
*
Author to whom correspondence should be addressed.
Mathematics 2025, 13(8), 1310; https://doi.org/10.3390/math13081310
Submission received: 14 March 2025 / Revised: 10 April 2025 / Accepted: 15 April 2025 / Published: 16 April 2025

Abstract

:
This study investigates price decisions in a queue with two servers, where customers exhibit retrial behavior. There is no waiting space. Arrival customers have the option to either join the system or balk; when the two servers are occupied, those who decide to enter become repeat customers. Two scenarios where the waiting lines in orbit are unobservable and observable are considered. We analyze customers’ behavior and derive their Nash equilibrium strategies under both cases. Additionally, we examine optimal pricing decisions aimed at maximizing profit and social welfare, respectively. Moreover, we demonstrate that these objectives often lead to divergent outcomes. Compared to a single-server queue, the reduction in customers’ sojourn time is more obvious when the waiting line is unobservable. Under certain conditions—such as a large potential market size, high customer impatience, or a low retrial rate—increasing the number of service personnel can enhance both profit and social welfare. Notably, a profit-maximizing manager is more incentivized to increase servers than the social planner. These findings provide valuable insights for balancing operational efficiency, profitability, and customer satisfaction in queue management systems.

1. Introduction and Literature Review

Researchers have widely adopted a queuing model as a fundamental framework for modeling congested service/production systems, with extensive studies focusing on the development and analysis of operational strategies to enhance system performance optimization (e.g., Lai et al. [1], Samanta and Rashmi [2]). In congestion-prone service or production systems, it is common for servers or producers to be occupied when customers arrive. In such scenarios, the customers whose needs are not immediately met generally make an attempt after a stochastic waiting period. Aissani [3] highlights that the advancement of information technology has significantly amplified customers’ retrial behavior. This behavior can have profound implications, including increased energy consumption and a potential decline in service quality (Tapiero [4]). For theoretical research in such systems, the primary emphasis lies on assessing performance and tackling control issues by stochastic processes and dynamic programming methodologies (Dimitriou [5]). Artalejo and Gómez-Corral [6] as well as Falin and Templeton [7] provide comprehensive overviews.

1.1. Motivation

Generally, customers can make their own decisions. Several studies have explored retrial queues from an economic perspective (e.g., Economou and Kanta [8]; Cui et al. [9]), where managers address optimization problems by considering customer behavior. In queue systems, a widely adopted strategy to enhance retrial customers’ satisfaction and loyalty is to increase the number of service personnel. For instance, in call centers, deploying multiple servers can significantly reduce customer wait times and improve satisfaction levels (Armony and Maglaras [10]). However, since multi-server systems entail higher operational costs, managers often opt for a two-server configuration (Tang et al. [11]). A practical example can be observed in amusement parks, where two ticket check channels—server-assisted and self-checkout—are typically available. Customers who need to check receive immediate service if at least one channel is free. However, if both channels are occupied, the customer may leave temporarily, perhaps to grab a refreshment, and return later to retry. Given that pricing is a critical tool for managing demand and maximizing profit, how should a manager of a two-server system set prices when dealing with customers’ retrial behavior? Do socially optimal prices align with profit-maximizing prices? Furthermore, is increasing a server always advantageous for the system? A significant research gap exists in the literature regarding the interplay between customers’ queuing behavior and the economic analysis of these systems, which motivates this work.

1.2. Literature Review

Our research is in line with the economic analysis of service/production systems that are modeled as queuing systems. In the pioneering study of this area, Naor [12] assumes that customers strategically decide to join or balk. Through analysis, he obtains customers’ equilibrium thresholds under such observable circumstances. Similarly, Edelson and Hilderbrand [13] identify the corresponding equilibrium strategy for an unobservable case. Both studies also delve into pricing decisions. Naor [12] demonstrates that the revenue-maximizing price diverges from the welfare-maximizing one in an observable case, while Edelson and Hilderbrand [13] show that these prices coincide if the queue length is unobservable. For additional details, readers are directed to the exhaustive reviews by Hassin and Haviv [14] and Hassin [15].
Several researchers have conducted economic analyses of multi-server systems. Hassin and Haviv [16] explore a two-server system where customers strategically select the shorter queue based on available system state information or randomly select a queue without such information. This study derives equilibrium policies. Hassin [17] examines a two-server queuing configuration with dedicated queues. Customers can observe the queue length in one service channel, while the other remains unobservable. The study addresses whether an observable queue consistently attracts a higher share of demand compared to an unobservable one. In a two-server system, Zhao and Wang [18] reveal that introducing a line-sitting service can significantly enhance throughput. Zhou et al. [19] investigate the interactions between private and public service providers and derive their respective optimal pricing strategies. Cattani and Schmidt [20] find that in multi-server systems, concealing the queue length information and pooling dedicated queues can alleviate congestion, reducing metrics such as average waiting time and queue length. In a two-server system with a single queue, Tang et al. [11] establish the equilibrium queuing strategies for customers in an unobservable scenario involving two distinct customer types. In addition, Yechiali [21] and Wang et al. [22] analyze customers’ joining rules in multi-server queuing systems, providing further insights into customer behavior and system performance.
A queuing system that incorporates customer retrial behavior is referred to as a retrial queue, and several studies have examined it from an economic perspective. Early contributions to this field include Kulkarni [23], Elcan [24], and Hassin and Haviv [25]. These studies concentrate on a retrial queue where there is only one server, examining the equilibrium retrial rate by assuming that balking is prohibited. For scenarios where customers’ balking behavior is allowed, Economou and Kanta [8] derive customers’ equilibrium strategies for both unobservable and observable queues in the context of a single-server configuration. Furthermore, they tackle the associated pricing problems with the target of maximizing both profit and social welfare. In a retrial model, Wang and Zhang [26] examine the equilibrium strategies adopted by customers within the framework of the classic retrial policy. Cui et al. [9] show that, by incorporating retrial costs in an observable retrial queue, the availability of the retry option can result in a decrease in customer welfare when compared to a system where retrial behavior is absent. Further studies have investigated operational strategies for various retrial queuing systems by incorporating additional features, such as information heterogeneity (Wang and Zhang [27]) or customers’ bounded rationality (Zhang and Wang [28]). Nevertheless, all aforementioned studies investigate single-server systems. This gap in the literature motivates our investigation into the economic and operational analysis of two-server retrial systems.
Since pricing is a critical factor influencing customers’ decisions, a key operational question arises: How should a manager set prices in a two-server system to effectively respond to customer behavior? How do these pricing strategies differ from those in a single-server queue? Existing studies have not fully addressed these questions, leaving gaps in the literature. We extend the work of Economou and Kanta [8] to a two-server system. This study explores customers’ retrial behavior and derives their equilibrium strategies. Furthermore, it examines pricing strategies from both the perspective of a profit-seeking server as well as that of a social planner. By addressing these issues, our research provides valuable insights into managing operations in service or production systems that encounter retrial customers, offering practical guidance for balancing profitability and customer satisfaction.
The structure of this study is as follows: The assumptions are outlined in Section 2. Section 3 formulates customers’ equilibrium strategies and examines pricing decisions in the context of an unobservable queue, followed by a parallel analysis for the observable case. Section 4 provides numerical examples to illustrate the theoretical findings. Lastly, Section 5 concludes this study by summarizing the primary findings and insights obtained. All proofs are provided in Appendix A.

2. Introduction

There is a service or production system with two identical servers, i.e., the two servers have the same service speed. This system does not have any waiting areas. Arrivals of potential customers follow a Poisson process with a rate of λ . Upon arrival, the customers who find at least one available server immediately receive the service. However, if the two servers are busy, they can choose whether to retry or not. We suppose that those customers who decide to retry join an orbit. The server, once it becomes idle, will seek a customer from this orbit. The time required to find a customer in orbit is assumed to be exponentially distributed with rate θ . During the seeking process, a new customer may arrive. In this case, the server interrupts the seeking process and serves the new customer. The service time is exponentially distributed with service rate μ . It is assumed that all parameters are independent of each other. This model is referred to as a two-server constant retrial queue.
Denote R as the reward a customer receives upon completing the service. During the sojourn time—which includes both the time in the service area and orbit—customers have a waiting cost of c per unit of time, and they need to pay a price P after the service is completed. When there is an idle server, to encourage customers to join, we suppose
R P c μ > 0 .
If this fails to be met, all potential customers will decline to join, even when servers are idle; thus, the system’s profit will be zero. What is more, once a customer’s decision is made, it is irrevocable.
Let I ( t ) denote the server state where
I ( t ) = 0 , if two servers are idle at time t ; 1 , if only one server is idle at time t ; 2 , if two servers are busy at time t .
At an arbitrary time epoch t, N ( t ) denotes the number of customers in the retrial orbit. The system states at any time t are described by a bi-variate stochastic process { I ( t ) , N ( t ) } with state space { 0 , 1 , 2 } × { 0 , 1 , 2 , } .

3. Analysis of Customers’ Equilibrium Behavior and Optimal Price

We examine two distinct information scenarios: unobservable and observable. In both scenarios, incoming customers are informed about the current status of the servers (whether they are available or occupied). In the observable case, customers can also observe the exact number of customers waiting in orbit. By contrast, they will not obtain it in the unobservable case. This difference in information availability influences customers’ decisions.

3.1. The Unobservable Case

In this information scenario, based on the model assumptions and Equation (1), arriving customers will join the system, provided that there is at least one idle server. We now concentrate on customers’ join-or-balk decisions when both servers are occupied. Since customers cannot observe the real-time queue length of retrial customers already in orbit, we assume that they opt to join the retrial orbit with a probability of q and balk with the complementary probability. The system operates similarly to the original one, but the arrival rate is λ q when both servers are occupied. Figure 1 presents the transition diagram for this case.
Let p ( i , j ) denote the steady-state probability for state ( i , j ) . We can define p i ( z ) = j = 0 z j p ( i , j ) , i = 0 , 1 , 2 as its partial generating functions.
Lemma 1. 
In an unobservable two-server constant retrial queue, arriving customers will join the system if an idle server is available and will enter orbit with probability q if both servers are occupied. If q λ ( λ + θ ) ( λ + 2 θ ) < 2 θ μ ( λ + 2 θ + 2 μ ) , the system reaches a stable state. The stationary probabilities for the states—both servers are idle, only one server is idle, and both servers are busy—are as follows:
p 0 ( 1 ) = θ [ ψ ( q ) 2 q λ 2 ] ϕ ( q ) p ( 0 , 0 ) , p 1 ( 1 ) = λ θ ψ ( q ) μ ϕ ( q ) p ( 0 , 0 ) , p 2 ( 1 ) = λ 2 θ ( λ + 2 θ + 2 μ ) μ ϕ ( q ) p ( 0 , 0 ) ,
where ϕ ( q ) = [ 2 θ μ ( λ + 2 θ + 2 μ ) q λ ( λ + θ ) ( λ + 2 θ ) ] 2 and ψ ( q ) = 2 μ ( λ + 2 θ + 2 μ ) q λ ( λ + 2 θ ) . The average number of customers in the retrial orbit for these three states are, respectively, given by
N 0 = 2 q λ 3 θ μ ( λ + 2 θ + 2 μ + q λ ) ϕ ( q ) p ( 0 , 0 ) , N 1 = 2 q λ 3 θ ( λ + 2 θ ) ( λ + 2 θ + 2 μ + q λ ) ϕ ( q ) p ( 0 , 0 ) , N 2 = q λ 3 θ ( λ + 2 θ + 2 μ ) [ ( λ + θ ) ( λ + 2 θ ) + 2 θ μ ] μ ϕ ( q ) p ( 0 , 0 ) .
Here, p ( 0 , 0 ) = μ [ 2 θ μ ( λ + 2 θ + 2 μ ) q λ ( λ + θ ) ( λ + 2 θ ) ] θ { ( λ + 2 θ + 2 μ ) [ λ 2 ( 1 q ) + 2 λ μ + 2 μ 2 ] q λ μ ( λ + 2 θ ) } .
Customers make decisions relying on a function that takes into account the reward, the price they pay, and the expected waiting time. Initially, we derive customers’ expected sojourn time. When tagging a customer in orbit, T ( i , j ) represents this customer’s expected sojourn time, given that they are at the j-th position in orbit and the server is in state i ( = 0 , 1 , 2 ) . The following lemma offers insights into their expected sojourn times.
Lemma 2. 
In the context of an unobservable two-server constant retrial queue, if  q λ ( λ + θ ) ( λ + 2 θ ) < 2 θ μ ( λ + 2 θ + 2 μ )  and there are j 1  other customers waiting in orbit, the expected sojourn times   T ( i , j )  for state   i ( = 0 , 1 , 2 )  until service begins for the tagged customer are provided by
T ( 0 , j ) = ξ j + ( λ + 2 θ ) ( θ + μ ) μ ( λ + 2 θ + 2 μ ) ( λ + 2 θ ) , T ( 1 , j ) = ξ j + 1 μ , T ( 2 , j ) = ξ j + 3 2 μ .
Here,   ξ = 2 μ ( λ + 2 θ + μ ) + ( λ + θ ) ( λ + 2 θ ) 2 θ μ ( λ + 2 θ + 2 μ ) . When both servers are occupied, the expected sojourn time for arriving customers, whose joining probability is q, is given by
W u ( q ) = 3 2 μ 1 λ + 2 θ + 2 μ 2 μ ( λ + 2 θ + μ ) ( λ + 2 θ + 2 μ ) ( λ + θ ) ( λ + 2 θ ) + 2 μ ( λ + 2 θ + μ ) ( λ + θ ) ( λ + 2 θ ) + 1 2 θ μ + ( λ + θ ) ( λ + 2 θ ) ϕ ( q ) .
Obviously, W u ( q ) is increasing in q.
Clearly, T ( i , j ) varies with the server’s state i. If the stable condition changes into
λ ( λ + θ ) ( λ + 2 θ ) 2 θ μ ( λ + 2 θ + 2 μ ) < 1 ,
this indicates that the original system, which does not incorporate customers’ decision-making processes, is stable. Consequently, the system remains stable under any strategy q. The conclusions regarding the scenario where Condition (2) is not satisfied can be readily derived from this case, as we will elaborate later.
As discussed in Economou and Kanta [8], if the tagged customer finds that two servers are busy, his reward–cost function is
U u ( q ) = R P c W u ( q ) .
Based on this, we can outline the strategies employed by customers.
Theorem 1. 
In the unobservable two-server constant retrial queue in which Conditions (1) and (2) hold, given price P, an incoming customer will enter certainly if an idle server is available, and they will enter with a probability q e if both servers are occupied. q e is
q e = 0 , i f P R c W u ( 0 ) , q * ( 0 , 1 ) , i f R c W u ( 1 ) < P < R c W u ( 0 ) , 1 , i f P R c W u ( 1 ) ,
where q * = 2 θ μ ( λ + 2 θ + 2 μ ) λ ( λ + θ ) ( λ + 2 θ ) 2 θ μ + ( λ + θ ) ( λ + 2 θ ) λ ( λ + θ ) ( λ + 2 θ ) 2 μ ( λ + 2 θ + μ ) ( λ + θ ) ( λ + 2 θ ) + 1 R P c 3 2 μ + 1 λ + 2 θ + 2 μ + 2 μ ( λ + 2 θ + μ ) ( λ + 2 θ + 2 μ ) ( λ + θ ) ( λ + 2 θ ) .
As demonstrated in this theorem, price plays a critical role in influencing customers’ decisions. They may join or balk as the price varies.
Remark 1. 
If Condition (2) does not hold but q λ ( λ + θ ) ( λ + 2 θ ) < 2 θ μ ( λ + 2 θ + 2 μ ) holds, the probability q e is
q e = 0 , i f P R c W u ( 0 ) , q * ( 0 , 1 ) , i f R c W u ( 1 ) < P < R c W u ( 0 ) .

3.1.1. Profit-Maximizing Price in the Unobservable Case

Theorem 1 delineates customers’ equilibrium strategies. In this subsection, we broaden our analysis to ascertain the price that maximizes profit. For a given price P, the system’s profit function per unit of time is formulated as
Π u ( P ) = λ * ( P ) P ,
where λ * ( P ) represents the effective arrival rate.
λ * ( P ) = λ p 0 ( 1 ) + p 1 ( 1 ) + q e ( P ) λ p 2 ( 1 ) = λ μ 2 ( λ + μ ) ( λ + 2 θ + 2 μ ) q e ( P ) λ ( λ + 2 θ ) ( λ + 2 θ + 2 μ ) λ 2 ( 1 q e ( P ) ) + 2 λ μ + 2 μ 2 q e ( P ) λ μ ( λ + 2 θ ) .
There is an extreme case where q e = 0 . When P R c W u ( 0 ) , q e = 0 . The profit function of this scenario can be rewritten as
Π u ( P ) = 2 λ μ ( λ + μ ) λ 2 + 2 λ μ + 2 μ 2 P .
We define the optimal price as P m . According to (4), P m is determined by a value that closely approximates R c μ .
To encourage customers to join the orbit, the price should fulfill P < R c W u ( 0 ) . Since R c W u ( 1 ) may be less than 0, the analysis falls into R c W u ( 1 ) 0 and R c W u ( 1 ) < 0 . If the price falls within the interval max 0 , R c W u 1 , R c W u 0 , it always has q e > 0 .
Theorem 2. 
In the unobservable two-server constant retrial queue where Conditions (1) and (2) hold, the optimal price P u = arg max { Π u ( P ) ,   P { max 0 , R c W u ( 1 ) ,   P * ,   P m } } , where P * ( max { 0 , R c W u ( 1 ) } ,   R c W u ( 0 ) ) is the unique solution of P d λ * ( P ) d P + λ * ( P ) = 0 .
The optimal price may be achieved in three cases. When arriving customers find two servers busy, the three cases are all potential customers, part of the potential customers, and no customer choosing to retry. Different pricing structures create varying incentives for customer retrial decisions.
Remark 2. 
If Condition (2) does not hold but q λ ( λ + θ ) ( λ + 2 θ ) < 2 θ μ ( λ + 2 θ + 2 μ ) holds, the optimal price P u = arg max Π u ( P ) , P P * , P m .

3.1.2. Welfare-Maximizing Price in the Unobservable Case

Social welfare encompasses both the surplus of customers and servers. Given a price P and a joining probability q when customers find two busy servers, the respective surpluses per unit time for customers and servers are as follows:
C S u ( P ) = λ p 0 ( 1 ) + p 1 ( 1 ) R P c μ + q λ p 2 ( 1 ) R P c W u ( q ) , S S u ( P ) = λ p 0 ( 1 ) + p 1 ( 1 ) + q p 2 ( 1 ) P .
Therefore, the social welfare per unit of time is
S W u ( q ) = λ p 0 ( 1 ) + p 1 ( 1 ) R c μ + q λ p 2 ( 1 ) R c W u ( q ) .
Theorem 3. 
In the unobservable two-server constant retrial queue in which Conditions (1) and (2) hold, an incoming customer will enter the system certainly (Probability 1) upon finding an idle server. If the two servers are busy, the socially optimal strategy q u is
q u = 0 , i f R < c H 3 , x 1 ,   i f c H 3 R < c H , 1 ,   i f R c H .
In the above statements,
x 1 = E E 2 4 D F 2 D , H 3 = 1 μ + Δ 3 2 θ μ 2 [ ( λ + θ ) ( λ + 2 θ ) + 4 μ ( λ + μ ) ] , H = 1 μ + λ 2 Δ 1 2 λ θ ( λ + 2 θ + 2 μ ) Δ 2 + 2 θ μ ( λ + 2 θ + 2 μ ) 2 Δ 3 μ [ ( λ + 2 θ ) ( λ + 2 μ ) + 4 μ ( λ + μ ) ] [ 2 θ μ a λ ( λ + θ ) ( λ + 2 θ ) ] 2 , D = λ 2 { ( λ + θ ) ( λ + 2 θ ) 2 ( R μ c ) [ ( λ + 2 θ ) ( λ + 2 μ ) + 4 μ ( λ + μ ) ] c Δ 1 } , E = 2 λ θ ( λ + 2 θ + 2 μ ) { 2 μ ( λ + θ ) ( λ + 2 θ ) ( R μ c ) [ ( λ + 2 θ ) ( λ + 2 μ ) + 4 μ ( λ + μ ) ] c Δ 2 } , F = 2 θ μ ( λ + 2 θ + 2 μ ) 2 { 2 θ μ ( R μ c ) [ ( λ + 2 θ ) ( λ + 2 μ ) + 4 μ ( λ + μ ) ] c Δ 3 } , Δ 1 = λ ( λ + θ ) ( λ + 2 θ ) 2 λ ( λ + 2 θ ) 2 μ 2 μ                   2 μ ( λ + θ ) ( λ + 2 θ ) ( λ + 2 θ + μ ) ( λ 2 + 2 λ μ + 2 μ 2 )                   2 μ [ ( λ + μ ) ( λ + 2 θ ) + 2 λ μ ] [ ( λ + θ ) ( λ + 2 θ ) ( λ + 3 θ + μ ) + 2 θ μ ( λ + 2 θ + μ ) ] , Δ 2 = ( λ 2 + 2 λ μ + 2 μ 2 ) [ ( λ + θ ) ( λ + 2 θ ) ( λ + 2 θ ) 4 μ 2 ( λ + 2 θ + μ ) ] , Δ 3 = ( λ 2 + 2 λ μ + 2 μ 2 ) [ ( θ + 2 μ ) ( λ + 2 θ + 2 μ ) + ( λ + θ ) ( λ + 2 θ ) 2 μ 2 ] .
We are now ready to characterize the socially optimal pricing strategy, which aims to maximize social welfare. This strategy is formally outlined in the theorem below.
Theorem 4. 
In the context of an unobservable two-server constant retrial queue where Conditions (1) and (2) hold, the socially optimal price is determined by
P u s w = c ( H 3 W u ( 0 ) ) , i f R < c H 3 , R c W u ( x 1 ) ,   i f c H 3 R < c H , c ( H W u ( 1 ) ) ,   i f R c H ,
where x 1 , H 3 and H can be found in Theorem 3.
Remark 3. 
If Condition (2) fails to hold but q λ ( λ + θ ) ( λ + 2 θ ) < 2 θ μ ( λ + 2 θ + 2 μ ) holds, the probability q u is
q u = 0 ,       i f R < c H 3 , min x 1 , 2 θ μ ( λ + 2 θ + 2 μ ) λ ( λ + θ ) ( λ + 2 θ ) , i f   c H 3 R < c H .
If q u ( 0 , 1 ) , the socially optimal price P u s w = R c W u ( q u ) .
A theoretical comparison between the profit-maximizing price and the welfare-maximizing price seems challenging. We employ a numerical analysis for a comparative evaluation.

3.2. The Observable Case

Our analysis now centered on the observable case, where arriving customers can access real-time information concerning the exact number of customers waiting in an orbit. This additional information seems redundant for customers encountering idle servers, as they can be served immediately. Under the constant retrial policy, where customers in orbit are served on a first-come-first-served basis, those who find both servers occupied can leverage their precise orbital position knowledge to calculate their expected net benefit, making this information particularly valuable.
Analogous to the unobservable case, in the observable case, if arrivals find an idle server, they prefer to receive services at once. Therefore, our subsequent analysis concentrates on cases where both servers are occupied. In this observable case, customers employ a threshold-based retrial strategy: If a newly arriving customer observes that the number of customers in the retrial orbit is n 1 or fewer, they opt to join the orbit; otherwise, they balk. Correspondingly, the upper limit for the number of customers in orbit is n. Figure 2 presents the system transition diagram.
Given price P, in the observable case, we postulate that n e represents the equilibrium strategy adopted by customers. Under the assumption of Equation (1), it always has n e 0 . We first examine the special case where n e = 0 . If R P c T ( 2 , 0 ) 0 , namely P R 3 c 2 μ , we have n e = 0 . When n e > 0 , the equilibrium strategy satisfies the following conditions:
R P c T ( 2 , n e ) 0 , R P c T ( 2 , n e + 1 ) < 0 ,
where T ( 2 , n e ) = 2 μ ( λ + 2 θ + μ ) + ( λ + θ ) ( λ + 2 θ ) 2 θ μ ( λ + 2 θ + 2 μ ) n e + 3 2 μ . We obtain the threshold
n e = R P c 3 2 μ 2 θ μ ( λ + 2 θ + 2 μ ) 2 μ ( λ + 2 θ + μ ) + ( λ + θ ) ( λ + 2 θ ) .
Before analyzing the optimal decision, we investigate the steady-state probability for a given threshold n.
Lemma 3. 
In the observable two-server constant retrial queue, if both servers are occupied, an arriving customer will opt to join the retrial orbit as long as the number of customers already waiting in orbit is n 1 or fewer. In other scenarios, customers enter without any restrictions. The steady-state probability p n ( i , j ) ( ( i , j ) { 0 , 1 , 2 } × { 0 , 1 , , n } ) is given by
p n ( 0 , 0 ) = { λ 2 + 2 λ μ + 2 μ 2 + 1 2 θ + ε λ ( n + ε 1 ) λ 3 + ε ( λ 3 4 θ μ ( λ + θ + μ ) ) 1 ε n 2 ε 2 ε n 1 ε } 1 , p n ( 1 , 0 ) = λ μ p n ( 0 , 0 ) , p n ( 2 , 0 ) = λ 2 ( λ + 2 θ + 2 μ ) 4 μ 2 ( λ + θ + μ ) p n ( 0 , 0 ) ,
p n ( 0 , j ) = p n ( 0 , 0 ) 4 θ μ ( λ + θ + μ ) λ 3 + λ 3 4 θ μ ( λ + θ + μ ) ε ε j 1 ε , j = 1 , 2 , , n 1 , p n ( 1 , j ) = λ + 2 θ μ p n ( 0 , j ) , j = 1 , 2 , , n , p n ( 2 , j ) = ( λ + θ + μ ) ( λ + 2 θ ) λ μ 2 μ 2 p n ( 0 , j ) θ μ p n ( 0 , j + 1 ) , j = 1 , 2 , , n 1 , p n ( 0 , n ) = ε p n ( 0 , n 1 ) , p n ( 2 , n ) = ε [ ( λ + θ ) ( λ + 2 θ ) + 2 θ μ ] 2 μ 2 p n ( 0 , n ) ,
where ε = λ ( λ + θ + μ ) ( λ + 2 θ ) λ 2 μ 4 θ μ ( λ + θ + μ ) .

3.2.1. Profit-Maximizing Price in the Observable Case

Given customers’ equilibrium threshold n e ( P ) , similar to Section 3.1.1, profit-maximising manager aims to find an optimal price to maximize the profit, as shown below.
Π o ( P ) = λ ( 1 p n e ( P ) ( 2 , n e ( P ) ) ) P .
If the price P R 3 c 2 μ , then n e ( P ) = 0 . In this case, the profit function becomes
Π o ( P ) = λ 1 λ 2 λ 2 + 2 λ μ + 2 μ 2 P = 2 λ μ ( λ + μ ) λ 2 + 2 λ μ + 2 μ 2 P .
Equation (7) is the same as Equation (4); hence, the optimal price is still P m .
If the price P < R 3 c 2 μ , the threshed satisfies n e ( P ) > 0 . We denote the optimal price of this case by P o * if it exists. In summary, the optimal price P o is either P m or P o * .

3.2.2. Welfare-Maximizing Price in the Observable Case

In the observable scenario, the social welfare function can be formulated as follows:
S W o ( n ) = j = 0 n p n ( 0 , j ) + j = 0 n p n ( 1 , j ) R c μ + j = 0 n 1 p n ( 2 , j ) ( R c T ( 2 , j + 1 ) ) .
Arranging it, this function becomes
S W o ( n ) = λ 1 p n ( 2 , n ) R c μ c λ j = 0 n 1 p n ( 2 , j ) 1 2 μ + ( j + 1 ) 2 μ ( λ + 2 θ + μ ) + ( λ + θ ) ( λ + 2 θ ) 2 θ μ ( λ + 2 θ + 2 μ ) .
The socially optimal threshold n s w is an integer, and it must satisfy the following inequality:
S W o ( n s w ) S W o ( n s w 1 ) , S W o ( n s w ) S W o ( n s w + 1 ) .
In the observable case, let P o s w be the socially optimal price if it exists. Then, P o s w = R c T ( 2 , n s w ) if the social threshold is n s w . Due to the complexity of S W o ( n ) , deriving its analytic solution n s w for the general case appears to be extremely challenging. Consequently, obtaining a theoretical result for P o s w is tough. Hence, we ultimately resort to finding it via numerical examples.

4. Numerical Results

A numerical analysis is performed in this section to provide some managerial insights.

4.1. Sensitivity Analysis

This subsection explores the effect of the system utilization factor λ μ , the reward-to-cost ratio R θ , and the retrial rate θ of the optimal price, including the profit-maximizing price ( P u , P o ) and welfare-maximizing price ( P u s w , P o s w ). For brevity, in the first two sub-cases, we normalize μ = 6 and R = 24 . Unless otherwise specified, other parameters’ values are given as follows: c = 2 , λ = 3 , θ = 3 .
From Figure 3, we observe that the profit-maximizing price consistently equals or exceeds the welfare-maximizing price. When the parameters fall within specific ranges, such as λ [ 1.89 ,   5.50 ] , c [ 2.0 ,   3.2 ] and θ [ 1.5 ,   7.0 ] , they are the same. In these situations, retrial customers obtain zero utility, no matter the profit or welfare maximization perspective. However, beyond these parameter ranges, the social planner strategically maintains positive utility to attract and retain customers. We notice that when the parameters change, profit-maximising manager and the social planner may adopt the same strategy to control prices. For example, when λ increases, congestion in the orbit is increased, leading customers to be hesitant about joining. Consequently, the two maximisers reduce their prices to attract customers. However, when λ is sufficiently large, they will increase the price to avoid the orbit from becoming more congested. In contrast, their strategies might also be different. When customers become impatient (i.e., c increases), the profit-maximising managers initially opt to lower prices, followed by a sharp increase, and then a subsequent decrease. In contrast, the social planner reduces prices, intending to retain a larger customer base. When the retrial rate θ changes, we observe that their strategies are different. This can be understood intuitively as follows: the social planner is inclined to provide positive utility to customers, whereas profit-maximizing managers do not have this inclination. These findings highlight the complex interplay between system parameters and decision-making objectives in pricing strategy formulations, particularly in balancing congestion management with customer behavior considerations.
When comparing Figure 3 to Figure 4, the availability of information considerably influences the pricing strategies adopted by the profit maximizer and the social planner. In scenarios where customers can access real-time queue length information in the orbit (i.e., the observable case), their behavior tends to become more rational, necessitating that both decision makers adjust their pricing strategies in response to this heightened level of customer rationality. These changes lead to distinct pricing strategies that differ from those in the unobservable case.

4.2. Comparative Analysis

This subsection examines the alterations in customers’ sojourn time, profit, and social welfare when the retrial queue comprises two servers, as compared to the corresponding outcomes in a single-server system. To facilitate this comparison, we incorporate the unit service capacity κ in the objective function. Unless otherwise defined, the parameter values utilized in the analysis are R = 25 , c = 2 , λ = 2.6 , μ = 6 , θ = 4 , and κ = 0.5 .
(i) In the context of a single-server constant retrial queue (Economou and Kanta [8]), the expected sojourn times for a customer in both the unobservable and observable cases are given, respectively, by
W s u = p 0 q = q s e · 1 μ + p 1 q = q s e · λ + θ + μ μ θ q s e λ ( λ + θ ) + 1 μ , W s o = j = 0 n s e + 1 p 0 , j · 1 μ + j = 0 n s e p 1 , j · λ + θ + μ μ θ ( j + 1 ) + 1 μ ,
where p i and p i , j can be found in Propositions 3.1 and 4.2. q s e and n s e are the customers’ equilibrium strategies, as outlined in Theorems 3.1 and 4.1. In our system, we compute the expected sojourn times for a customer for both the unobservable and observable cases, as outlined below.
W u = ( p 0 ( 1 ) q = q e + p 1 ( 1 ) q = q e ) · 1 μ + q e p 2 ( 1 ) q = q e · W u ( q e ) , W o = j = 0 n e p n e ( 0 , j ) + j = 0 n e p n e ( 1 , j ) · 1 μ + j = 0 n e 1 p n e ( 2 , j ) · T ( 2 , j + 1 ) .
Let W u W s u 1 × 100 and W o W s o 1 × 100 correspond to the percentage change measure in customers’ sojourn time of the unobservable and observable cases.
By examining Figure 5, we find that W u W s u 1 × 100 < 0 and W o W s o 1 × 100 < 0 as λ , c and θ vary. Sometimes, this measure increases up to 90%. This implies that, as expected, increasing the number of servers could relieve system congestion. Notably, most of the time, W u W s u 1 × 100 is less than W o W s o 1 × 100 , which indicates that, compared to the observable case, the reduction in customers’ sojourn time is more obvious in the unobservable case. An explanation for this surprising result could be that in a two-server system, which is less congested, customers perhaps adjust their expectations and behavior based on their observations of the system state, behaving more rationally. However, if the queue length is unobservable, customers do not have the same level of information that can be used to influence their behavior.
(ii) We now present some findings related to profit and social welfare. Based on the work of Armony et al. [29], for both unobservable and observable scenarios, the profit functions outlined in Economou and Kanta [8] can be modified as follows:
Π s u ( P ) = λ μ μ + λ ( 1 q s e ) P κ μ , Π s o ( P ) = λ * ( n s e ) P κ μ ,
where λ * ( n ) = λ θ ρ n + 1 θ μ λ 2 + i = 0 n ρ i + θ λ i = 0 n + 1 ρ i 1 and ρ = λ ( λ + θ ) μ θ . The social welfare functions of the two cases are, respectively,
S W s u ( q ) = ( λ R + c ) μ μ + λ ( 1 q ) c μ θ μ θ λ q ( λ + θ ) κ μ , S W s o ( n ) = λ * ( n ) R c μ λ c ( λ + θ + μ ) μ θ j = 0 n ( j + 1 ) p 1 , j κ μ .
In our system, Equations (3) and (6) subtract 2 κ μ , which are the profit functions of unobservable and observable cases when considering the service capacity costs. Equations (5) and (8) subtract 2 κ μ , which are the social welfare functions of the two cases, when considering the service capacity costs. For the analysis, we define Π u Π s u 1 × 100 , Π o Π s o 1 × 100 and S W u S W s u 1 × 100 , S W o S W s o 1 × 100 as corresponding to the percentage change in profit and social welfare of the unobservable and observable cases, respectively (Figure 6).
An intriguing finding from each of these figures is that Π u Π s u 1 × 100 > S W u S W s u 1 × 100 and Π o Π s o 1 × 100 > S W o S W s o 1 × 100 . This suggests that the manager aiming to maximize profits has a stronger incentive to deploy additional servers compared to the social planner.

5. Conclusions

This study delves into pricing decisions in a retrial queue comprising two servers. Under the unobservable and observable cases, we first investigate retrial customers’ sojourn time. Based on this, we examine their equilibrium strategies and find that different prices will lead to different retrial behaviors. Also, we analyze profit and welfare maximization prices, revealing that they may differ even in the unobservable scenario. Compared with the single-server queue, the reduction in expected sojourn times is more obvious in the unobservable case. Moreover, when the market size is substantial, customers are less willing to wait. Additionally, when the retrial rate is low, the two-server system outperforms the single-server system in terms of both profit and social welfare. The manager who seeks to maximize profits has a stronger incentive to arrange multiple servers than the social planner.

Author Contributions

Methodology, X.C.; validation, M.Y. and Y.Y.; formal analysis, X.C.; writing—original draft, X.C.; writing—review and editing, M.Y. and Y.Y.; funding acquisition, M.Y. All authors have read and agreed to the published version of the manuscript.

Funding

Thisresearch was funded by the MOE Project of Humanities and Social Sciences (24YJA630121) and Sichuan Mineral Resources Research Center (SCKCZY2024-YB003).

Data Availability Statement

The original contributions presented in the study are included in the article; further inquiries can be directed to the corresponding author.

Conflicts of Interest

The authors declare no conflicts of interest.

Appendix A

Proof of Lemma 1. 
Using the transition diagram, we have
(A1) λ p ( 0 , 0 ) = μ p ( 1 , 0 ) , (A2) ( λ + μ ) p ( 1 , 0 ) = λ p ( 0 , 0 ) + 2 θ p ( 0 , 1 ) + 2 μ p ( 2 , 0 ) , (A3) ( λ + 2 θ ) p ( 0 , j ) = μ p ( 1 , j ) , j = 1 , 2 , , (A4) ( λ + μ + θ ) p ( 1 , j ) = λ p ( 0 , j ) + 2 θ p ( 0 , j + 1 ) + 2 μ p ( 2 , j ) , j = 1 , 2 , , (A5) ( q λ + 2 μ ) p ( 2 , j ) = q λ p ( 2 , j 1 ) + λ p ( 1 , j ) + θ p ( 1 , j + 1 ) , j = 0 , 1 , 2 , .
By multiplying Equations (A3) to (A5) by z j and summing across all values of j, followed by some algebraic manipulations, we obtain the following equations:
( λ + 2 θ ) p 0 ( z ) 2 θ p ( 0 , 0 ) = μ p 1 ( z ) , ( λ + θ + μ ) p 1 ( z ) θ p ( 1 , 0 ) = λ + 2 θ z p 0 ( z ) 2 θ z p ( 0 , 0 ) + 2 μ p 2 ( z ) , [ q λ ( 1 z ) + 2 μ ] p 2 ( z ) = λ + θ z p 1 ( z ) θ z p ( 1 , 0 ) .
By utilizing the aforementioned equations, we can represent p 0 ( z ) , p 1 ( z ) and p 2 ( z ) in terms of p ( 0 , 0 ) . Subsequently, by setting z = 1 and incorporating j = 0 p ( 0 , j ) + p ( 1 , j ) + p ( 2 , j ) = p 0 ( 1 ) + p 1 ( 1 ) + p 2 ( 1 ) = 1 , the expression of p ( 0 , 0 ) is
p ( 0 , 0 ) = μ [ 2 θ μ ( λ + 2 θ + 2 μ ) q λ ( λ + θ ) ( λ + 2 θ ) ] θ { ( λ + 2 θ + 2 μ ) [ λ 2 ( 1 q ) + 2 λ μ + 2 μ 2 ] q λ μ ( λ + 2 θ ) } .
Theorem 1 in Hanukov [30] states that the system is stable if and only if p ( 0 , 0 ) > 0 . Hence, the system’s stability condition is given by 2 θ μ ( λ + 2 θ + 2 μ ) > q λ ( λ + θ ) ( λ + 2 θ ) . Next, we will provide the ergodicity condition of our constructed model. In the unobservable case, the process { I ( t ) , N ( t ) } is a Markov process with state space { 0 , 1 , 2 } × { 0 , 1 , 2 , } . It has an infinitesimal generator matrix
Q = A 10 A 0 A 2 A 1 A 0 A 2 A 1 A 0 .
Matrices A 0 , A 10 , A 1 , A 2 are 3 × 3 matrices.
A 0 = 0 0 0 0 0 0 0 0 λ q ,   A 1 = ( λ + 2 θ ) λ 0 μ ( λ + θ + μ ) λ 0 2 μ ( 2 μ + λ q ) ,   A 2 = 0 2 θ 0 0 0 θ 0 0 0 .
It is easy to see from the infinitesimal generator Q that the Markov process ( I ( t ) , N ( t ) ) , t 0 is an irreducible QBD process. Now, we find the stable condition of the QBD process Q and adopt the technique from Neuts [31]. Let B = A 0 + A 1 + A 2 . Then,
B = ( λ + 2 θ ) λ + 2 θ 0 μ ( λ + μ ) λ 0 2 μ 2 μ .
Note that the Markov process B is irreducible and has finite states. Let α = ( α 1 ,   α 2 ,   α 3 ) be the stationary probability vector of the Markov process B. Then,
α B = 0 , α e = 1 ,
where 0 is a zero row vector with size 3, and e is a column vector of 1 with size 3. We obtain
α 1 = 2 μ 2 2 μ 2 + 2 μ ( λ + 2 θ ) + λ ( λ + 2 θ ) , α 2 = 2 μ ( λ + 2 θ ) 2 μ 2 + 2 μ ( λ + 2 θ ) + λ ( λ + 2 θ ) , α 3 = λ ( λ + 2 θ ) 2 μ 2 + 2 μ ( λ + 2 θ ) + λ ( λ + 2 θ ) .
( I ( t ) , N ( t ) , t 0 ) is ergodic if and only if α A 0 e α A 2 e = λ 2 q ( λ + 2 θ ) 2 θ μ ( λ + 2 θ + 2 μ ) < 1 . Obviously, λ 2 q ( λ + 2 θ ) 2 θ μ ( λ + 2 θ + 2 μ ) < ρ u . Hence, in our study, ( I ( t ) , N ( t ) , t 0 ) is also ergodic when ρ u < 1 . In the interval ( λ 2 q ( λ + 2 θ ) 2 θ μ ( λ + 2 θ + 2 μ ) , ρ u ) , although ( I ( t ) , N ( t ) , t 0 ) is ergodic, p ( 0 , 0 ) < 0 , and this does not seem very sensible for this system. Hence, 2 θ μ ( λ + 2 θ + 2 μ ) > q λ ( λ + θ ) ( λ + 2 θ ) makes sense.
Further, we can obtain equations p i ( 1 ) , i = 0 , 1 , 2 . By N 0 = d d z p 0 ( z ) | z = 1 , N 1 = d d z p 1 ( z ) | z = 1 , and N 2 = d d z p 2 ( z ) | z = 1 , after some algebraic manipulations, N i ( i = 0 , 1 , 2 ) can be obtained. □
Proof of Lemma 2. 
T ( i , j ) should fulfill the following linear equations:
(A6) T ( 1 , 0 ) = 1 μ , (A7) T ( 1 , j ) = 1 λ + θ + μ + λ λ + θ + μ T ( 2 , j ) + θ λ + θ + μ T ( 2 , j 1 ) + μ λ + θ + μ T ( 0 , j ) , (A8) T ( 2 , j ) = 1 λ + 2 μ + λ λ + 2 μ T ( 2 , j ) + 2 μ λ + 2 μ T ( 1 , j ) , (A9) T ( 0 , j ) = 1 λ + 2 θ + λ λ + 2 θ T ( 1 , j ) + 2 θ λ + 2 θ T ( 1 , j 1 ) .
From Equation (A8), we can derive
T ( 2 , j ) = 1 2 μ + T ( 1 , j ) .
By inserting Equations (A9) and (A10) into Equation (A7), we have
T ( 1 , j ) = 2 μ ( λ + 2 θ + μ ) + ( λ + θ ) ( λ + 2 θ ) 2 θ μ ( λ + 2 θ + 2 μ ) + T ( 1 , j 1 ) .
With the help of T ( 1 , 0 ) = 1 μ , we have
T ( 1 , j ) = 2 μ ( λ + 2 θ + μ ) + ( λ + θ ) ( λ + 2 θ ) 2 θ μ ( λ + 2 θ + 2 μ ) j + 1 μ .
Then, from Equations (A9) and (A10), we can obtain the expression of T ( 0 , j ) and T ( 2 , j ) .
If a new arrival finds that the two servers are busy, provided that he decides to enter the retrial orbit, their expected sojourn time is W u ( q ) = j = 0 T ( 2 , j + 1 ) p ( 2 , j ) j = 0 p ( 2 , j ) . That is,
W u ( q ) = 2 μ ( λ + 2 θ + μ ) + ( λ + θ ) ( λ + 2 θ ) 2 θ μ ( λ + 2 θ + 2 μ ) j = 0 ( j + 1 ) p ( 2 , j ) j = 0 p ( 2 , j ) + 3 2 μ = 2 μ ( λ + 2 θ + μ ) + ( λ + θ ) ( λ + 2 θ ) 2 θ μ ( λ + 2 θ + 2 μ ) ( N 2 + p 2 ( 1 ) ) p 2 ( 1 ) + 3 2 μ .
By Lemma 1, we can obtain the expression of W u ( q ) , with W u ( q ) increasing with q. □
Proof of Theorem 1. 
Since W u ( q ) increases monotonically with q, U u ( q ) decreases accordingly. Based on the work by Hassin and Haviv [14], this proof can be concluded. □
Proof of Theorem 2. 
Following customers’ equilibrium strategies, we need to consider the following three cases:
(i) If the price is P ( 0 , max { 0 , R c W u ( 1 ) } ] , the optimal price, denoted by P u , is max { 0 , R c W u ( 1 ) } .
(ii) If the price is P ( max { 0 , R c W u ( 1 ) } , R c W u ( 0 ) ) , we have
q e ( P ) = 2 θ μ ( λ + 2 θ + 2 μ ) λ ( λ + θ ) ( λ + 2 θ ) 2 θ μ + ( λ + θ ) ( λ + 2 θ ) λ ( λ + θ ) ( λ + 2 θ ) 2 μ ( λ + 2 θ + μ ) ( λ + θ ) ( λ + 2 θ ) + 1 R P c 3 2 μ + 1 λ + 2 θ + 2 μ + 2 μ ( λ + 2 θ + μ ) ( λ + θ ) ( λ + 2 θ ) ( λ + 2 θ + 2 μ ) .
Thus, we can obtain
d q e ( P ) d P = [ 2 θ μ + ( λ + θ ) ( λ + 2 θ ) ] [ 2 μ ( λ + 2 θ + μ ) + ( λ + θ ) ( λ + 2 θ ) ] c λ ( λ + θ ) 2 ( λ + 2 θ ) 2 · R P c 3 2 μ + 1 λ + 2 θ + 2 μ + 2 μ ( λ + 2 θ + μ ) ( λ + θ ) ( λ + 2 θ ) ( λ + 2 θ + 2 μ ) 2 < 0 ,
d 2 q e ( P ) d P 2 = 2 [ 2 θ μ + ( λ + θ ) ( λ + 2 θ ) ] [ 2 μ ( λ + 2 θ + μ ) + ( λ + θ ) ( λ + 2 θ ) ] c 2 λ ( λ + θ ) 2 ( λ + 2 θ ) 2 · R P c 3 2 μ + 1 λ + 2 θ + 2 μ + 2 μ ( λ + 2 θ + μ ) ( λ + θ ) ( λ + 2 θ ) ( λ + 2 θ + 2 μ ) 3 < 0 .
The first-order and second-order derivatives of λ * ( P ) are
d λ * ( P ) d P = d q e ( P ) d P λ 3 μ ( λ + 2 θ + 2 μ ) [ ( λ + 2 θ ) ( λ + 2 μ ) + 4 μ ( λ + μ ) ] { ( λ + 2 θ + 2 μ ) [ λ 2 ( 1 q e ( P ) ) + 2 λ μ + 2 μ 2 ] q e ( P ) λ μ ( λ + 2 θ ) } 2 < 0 , d 2 λ * ( P ) d P 2 = d 2 q e ( P ) d P 2 λ 5 μ ( λ + 2 θ + 2 μ ) 2 ( λ + θ ) ( λ + 2 θ ) · λ + 2 θ λ + 2 μ + 4 μ ( λ + μ ) 2 μ 2 + ( λ + 2 θ ) ( λ + θ + 2 μ ) λ + 2 θ + 2 μ λ 2 1 q e ( P ) + 2 λ μ + 2 μ 2 q e ( P ) λ μ ( λ + 2 θ ) 3 < 0 .
From the expression of Π u ( P ) , we have
d Π u ( P ) d P = P d λ * ( P ) d P + λ * ( P ) and d 2 Π u ( P ) d P 2 = P d 2 λ * ( P ) d P 2 + 2 d λ * ( P ) d P < 0 .
The second order of Π u ( P ) is less than 0. Thus, the optimal price P u is the solution of d Π u ( P ) d P = 0 .
(iii) If the price is P R c W u ( 0 ) , the optimal price P u is P m . □
Proof of Theorem 3. 
By inserting p 0 ( 1 ) , p 1 ( 1 ) , p 2 ( 1 ) and W u ( q ) into Equation (4), the social welfare function is
S W u ( q ) = λ μ [ 2 ( λ + μ ) ( λ + 2 θ + 2 μ ) q λ ( λ + 2 θ ) ] ( λ + 2 θ + 2 μ ) [ λ 2 ( 1 q ) + 2 λ μ + 2 μ 2 ] q λ μ ( λ + 2 θ ) R c μ q λ 3 λ + 2 θ + 2 μ c ( λ + 2 θ + 2 μ ) λ 2 ( 1 q ) + 2 λ μ + 2 μ 2 q λ μ ( λ + 2 θ ) [ 1 2 μ 1 λ + 2 θ + 2 μ 2 μ ( λ + 2 θ + μ ) ( λ + θ ) ( λ + 2 θ ) ( λ + 2 θ + 2 μ ) + 2 μ ( λ + 2 θ + μ ) ( λ + θ ) ( λ + 2 θ ) + 1 2 θ μ + ( λ + θ ) ( λ + 2 θ ) 2 θ μ ( λ + 2 θ + 2 μ ) q λ ( λ + θ ) ( λ + 2 θ ) ] .
By differentiating S W u ( q ) with respect to q, we obtain
d S W u ( q ) d q = D q 2 + E q + F .
d S W u ( q ) d q is a quadratic function of q. Therefore, to obtain the socially optimal strategy, we need to analyze the characteristic of the solution of d S W u ( q ) d q = 0 . d S W u ( q ) d q = 0 has two solutions, which is assumed as x 1 = E E 2 4 D F 2 D and x 2 = E + E 2 4 D F 2 D . We first consider the symbol of D, E and F, and we find that the following relationships exist:
  • If R < c H 1 , then D < 0 . If R c H 1 , then D 0 .
  • If R c H 2 , then E 0 . If R > c H 2 , then E < 0 .
  • If R < c H 3 , then F < 0 . If R c H 3 , then F 0 .
The expressions of H 1 , H 2 and H 3 are, respectively,
H 1 = 1 μ + Δ 1 μ ( λ + θ ) 2 ( λ + 2 θ ) 2 [ ( λ + 2 θ ) ( λ + 2 μ ) + 4 μ ( λ + μ ) ] , H 2 = 1 μ + Δ 2 2 μ 2 ( λ + θ ) ( λ + 2 θ ) [ ( λ + 2 θ ) ( λ + 2 μ ) + 4 μ ( λ + μ ) ] , H 3 = 1 μ + Δ 3 2 θ μ 2 [ ( λ + 2 θ ) ( λ + 2 μ ) + 4 μ ( λ + μ ) ] .
After performing some algebra, we find that H 1 < H 2 < H 3 .
Next, we discuss the relationship between x 1 , x 2 and 1. When D 0 , if x 1 = E E 2 4 D F 2 D 1 , we obtain E 2 4 D F 2 D + E . If x 2 = E + E 2 4 D F 2 D 1 , we obtain E 2 4 D F 2 D + F . When D < 0 , if x 1 = E E 2 4 D F 2 D 1 , we obtain E 2 4 D F 2 D + F . If x 2 = E + E 2 4 D F 2 D 1 , we obtain E 2 4 D F 2 D + E . Then, we need to determine the symbol of D + E + F . Define H to be the threshold of D + E + F . Hence, if R < c H , then D + E + F < 0 . If R c H , then D + E + F 0 . We next prove H > H 3 . It is tough to obtain this, so we adopt an indirect method. Let H 4 be the threshold of E + 2 F = 0 , with its expression being
H 4 = λ Δ 2 + 2 μ ( λ + 2 θ + 2 μ ) Δ 3 2 μ 2 λ + 2 θ λ + 2 μ + 4 μ λ + μ [ 2 θ μ λ + 2 θ + 2 μ λ λ + θ λ + 2 θ ] + 1 μ .
If R < c H 4 , then E + 2 F < 0 . If R c H 4 , then E + 2 F 0 . Moreover, we find that H 4 H < 0 . Thereby, if c H 2 < R < c H 3 , then E + 2 F < 0 . It should be noted that E + 2 F increases with R c . Therefore, H 4 > H 3 . Thus, H 1 < H 2 < H 3 < H 4 < H . Based on the symbols of D, E, F and D + E + F , we need to consider the following five scenarios:
Case 1. If R < c H 1 , then D < 0 , E 0 , F < 0 , D + E + F < 0 . We can obtain 0 < x 2 < x 1 . From D + E + F < 0 and 2 D + E > 0 , we have
2 D + E > E 2 4 D F , 2 D + E > E 2 4 D F .
Then, 1 < x 2 < x 1 . Hence, S W u ( q ) decreases with q, and the unique maximum is attained at q u = 0 .
Case 2. If c H 1 R < c H 2 , then D 0 , E 0 , F < 0 , D + E + F < 0 . Obviously, x 1 < 0 < x 2 . From D + E + F < 0 , we can obtain x 2 > 1 . Therefore, S W u ( q ) decreases with q in [ 0 , 1 ] , and the optimal strategy is q u = 0 .
Case 3. If c H 2 R < c H 3 , then D 0 , E < 0 , F < 0 , D + E + F < 0 . Obviously, x 1 < 0 < x 2 . From D + E + F < 0 , we have x 2 > 1 . Following a similar analysis as in Case 2, we can obtain the optimal solution, with it being q u = 0 .
Case 4. If c H 3 R < c H , then D 0 , E < 0 , F 0 , D + E + F < 0 . Obviously, 0 < x 1 < x 2 . From D + E + F < 0 , we have x 1 < 1 < x 2 . Thus, S W u ( q ) increases with q in [ 0 , x 1 ] and decreases with q in [ x 1 , x 2 ] . Based on this, the optimal strategy is attained at q u = x 1 .
Case 5. If R c H , then D 0 , E < 0 , F 0 , D + E + F 0 . Obviously, 1 < x 1 < x 2 . Thereby, S W u ( q ) increases with q in [ 0 , 1 ] and achieves its maximum at q u = 1 .
Based on the aforementioned results, we can deduce the socially optimal strategy as stated in the theorem. □
Proof of Theorem 4. 
If R < c H 3 , the socially optimal strategy is q u = 0 . When the price P u s w = c ( H 3 W u ( 0 ) ) , then R P < c W u ( 0 ) , which is the condition of q e = 0 .
If R c H , following a similar analysis, the optimal price is P u s w = c ( H W u ( 1 ) ) .
If c H 3 R < c H , the socially optimal strategy is x 1 . According to the customers’ utility function, in equilibrium, the optimal price is P u s w = R c W u ( x 1 ) . □
Proof of Lemma 3. 
The balance equations for stationary distribution can be expressed as
(A11) λ p n ( 0 , 0 ) = μ p n ( 1 , 0 ) , (A12) ( λ + μ ) p n ( 1 , 0 ) = λ p n ( 0 , 0 ) + 2 θ p n ( 0 , 1 ) + 2 μ p n ( 2 , 0 ) , (A13) ( λ + 2 μ ) p n ( 2 , 0 ) = λ p n ( 1 , 0 ) + θ p n ( 1 , 1 ) , (A14) ( λ + 2 θ ) p n ( 0 , j ) = μ p n ( 1 , j ) , j = 1 , 2 , , n , (A15) ( λ + θ + μ ) p n ( 1 , j ) = λ p n ( 0 , j ) + 2 θ p n ( 0 , j + 1 ) + 2 μ p n ( 2 , j ) , j = 1 , 2 , , n 1 , (A16) ( λ + 2 μ ) p n ( 2 , j ) = λ p n ( 2 , j 1 ) + λ p n ( 1 , j ) + θ p n ( 1 , j + 1 ) , j = 1 , 2 , , n 1 , (A17) ( λ + θ + μ ) p n ( 1 , n ) = λ p n ( 0 , n ) + 2 μ p n ( 2 , n ) , (A18) 2 μ p n ( 2 , n ) = λ p n ( 1 , n ) + λ p n ( 2 , n 1 ) .
The calculations for determining the stationary distribution can be carried out similarly to the proof of Lemma 1. Specifically, using Equation (A14), we obtain
p n ( 1 , j ) = λ + 2 θ μ p n ( 0 , j ) , j = 1 , 2 , , n .
By combining this with Equation (A16), we have
p n ( 2 , j ) = ( λ + θ + μ ) ( λ + 2 θ ) λ μ 2 μ 2 p n ( 0 , j ) θ μ p n ( 0 , j + 1 ) , j = 1 , 2 , , n 1 .
Inserting Equations (A19) and (A20) into Equation (A15) yields the following recursive equations:
p n ( 0 , j + 1 ) p n ( 0 , j ) = λ ( λ + θ + μ ) ( λ + 2 θ ) λ 2 μ 4 θ μ ( λ + θ + μ ) ( p n ( 0 , j ) p n ( 0 , j 1 ) ) , j = 1 , 2 , , n 1 .
For convenience, define ε λ ( λ + θ + μ ) ( λ + 2 θ ) λ 2 μ 4 θ μ ( λ + θ + μ ) . Taking this into account, we can rewrite Equation (A21) as
p n ( 0 , j ) = p n ( 0 , 1 ) + p n ( 0 , 1 ) p n ( 0 , 0 ) ε ( 1 ε j 1 ) 1 ε , j = 1 , 2 , , n 1 .
In Equation (A14), p n ( 1 , n ) = λ + 2 θ μ p n ( 0 , n ) when j = n . In Equation (A15), when j = n 1 , we have
p n ( 2 , n 1 ) = ( λ + θ + μ ) ( λ + 2 θ ) λ μ 2 μ 2 p n ( 0 , n 1 ) θ μ p n ( 0 , n ) .
Substituting the two special cases into Equation (A18) yields
2 μ p n ( 2 , n ) = λ ( λ + θ ) μ p n ( 0 , n ) + λ [ ( λ + θ + μ ) ( λ + 2 θ ) λ μ ] 2 μ 2 p n ( 0 , n 1 ) .
Moreover, inserting the above equation into Equation (A17) implies that
p n ( 0 , n ) = λ [ ( λ + θ + μ ) ( λ + 2 θ ) λ μ ] 4 θ μ ( λ + θ + μ ) p n ( 0 , n 1 ) = ε p n ( 0 , n 1 ) .
From Equations (A11)–(A13), we obtain
p n ( 2 , 0 ) = θ ( λ + 2 θ + 2 μ ) λ μ p n ( 0 , 1 ) , p n ( 0 , 1 ) = λ 3 4 θ μ ( λ + θ + μ ) p n ( 0 , 0 ) , p n ( 1 , 0 ) = λ μ p n ( 0 , 0 ) .
The expression of p n ( 0 , 0 ) can be determined using the normalization equation. □

References

  1. Lai, C.; Kasim, E.; Muhammadhaji, A. Dynamic Analysis of a Standby System with Retrial Strategies and Multiple Working Vacations. Mathematics 2024, 12, 3999. [Google Scholar] [CrossRef]
  2. Samanta, S.K.; Rashmi, K.M. Analytical and computational aspects of a batch arrival retrial queue with a constant retrial policy. In Quality Technology & Quantitative Management; Taylor & Francis: Abingdon-on-Thames, UK, 2025; pp. 1–28. [Google Scholar]
  3. Aissani, A. An MX/G/1 energetic retrial queue with vacations and control. IMA J. Manag. Math. 2011, 21, 13–32. [Google Scholar] [CrossRef]
  4. Tapiero, C.S. Energy consumption and environmental pollution: A stochastic model. IMA J. Manag. Math. 2009, 20, 263–273. [Google Scholar] [CrossRef]
  5. Dimitriou, I. A single server retrial queue with event-dependent arrival rates. Ann. Oper. Res. 2023, 331, 1053–1088. [Google Scholar] [CrossRef]
  6. Artalejo, J.R.; Gómez-Corral, A. Retrial Queueing Systems: A Computational Approach; Springer: Berlin/Heidelberg, Germany, 2008. [Google Scholar]
  7. Falin, G.; Templeton, J.G. Retrial Queues; CRC Press: Boca Raton, FL, USA, 1977. [Google Scholar]
  8. Economou, A.; Kanta, S. Equilibrium customer strategies and social–profit maximization in the single-server constant retrial queue. Nav. Res. Log. 2011, 58, 107–122. [Google Scholar] [CrossRef]
  9. Cui, S.; Su, X.; Veeraraghavan, S. A model of rational retrials in queues. Oper. Res. 2019, 67, 1699–1718. [Google Scholar] [CrossRef]
  10. Armony, M.; Maglaras, C. Contact centers with a call-back option and real-time delay information. Oper. Res. 2004, 52, 527–545. [Google Scholar] [CrossRef]
  11. Tang, Y.; Guo, P.; Wang, Y. Equilibrium queueing strategies of two types of customers in a two-server queue. Oper. Res. Lett. 2018, 46, 99–102. [Google Scholar] [CrossRef]
  12. Naor, P. The regulation of queue size by levying tolls. Econometrica 1969, 37, 15–24. [Google Scholar] [CrossRef]
  13. Edelson, N.M.; Hilderbrand, D.K. Congestion tolls for Poisson queuing processes. Econometrica 1975, 43, 81–92. [Google Scholar] [CrossRef]
  14. Hassin, R.; Haviv, M. To Queue or Not to Queue: Equilibrium Behavior in Queueing Systems; Springer Science and Business Media: Berlin, Germany, 2003. [Google Scholar]
  15. Hassin, R. Rational Queueing; CRC Press: Boca Raton, FL, USA, 2016. [Google Scholar]
  16. Hassin, R.; Haviv, M. Equilibrium strategies and the value of information in a two line queueing system with threshold jockeying. Stoch. Model. 1994, 10, 415–435. [Google Scholar] [CrossRef]
  17. Hassin, R. On the advantage of being the first server. Manage. Sci. 1996, 42, 618–623. [Google Scholar] [CrossRef]
  18. Zhao, C.; Wang, Z. The impact of line-sitting on a two-server queueing system. Eur. J. Oper. Res. 2023, 74, 748–761. [Google Scholar] [CrossRef]
  19. Zhou, W.; Huang, W.; Hsu, V.N.; Guo, P. On the benefit of privatization in a mixed duopoly service system. Manag. Sci. 2023, 69, 1486–1499. [Google Scholar] [CrossRef]
  20. Cattani, K.; Schmidt, G.M. The pooling principle. Informs Trans. Edu. 2005, 5, 17–24. [Google Scholar] [CrossRef]
  21. Yechiali. Customers’ optimal joining rules for the GI/M/s queue. Manag. Sci. 1972, 18, 434–443. [Google Scholar]
  22. Wang, J.; Zhang, Y.; Zhang, Z.G. Strategic joining in an M/M/K queue with asynchronous and synchronous multiple vacations. J. Oper. Res. Soc. 2021, 72, 161–179. [Google Scholar] [CrossRef]
  23. Kulkarni, V.G. On queueing systems by retrials. J. Appl. Probab. 1983, 20, 380–389. [Google Scholar] [CrossRef]
  24. Elcan, A. Optimal customer return rate for an M/M/1 queueing system with retrials. Probab. Eng. Inform. Sci. 1994, 8, 521–539. [Google Scholar] [CrossRef]
  25. Hassin, R.; Haviv, M. On optimal and equilibrium retrial rates in a queueing system. Probab. Eng. Inform. Sci. 1994, 10, 223–227. [Google Scholar] [CrossRef]
  26. Wang, J.; Zhang, F. Strategic joining in M/M/1 retrial queues. Eur. J. Oper. Res. 2013, 230, 76–87. [Google Scholar] [CrossRef]
  27. Wang, Z.; Wang, J. Information heterogeneity in a retrial queue: Throughput and social welfare maximization. Queueing Syst. 2019, 92, 131–172. [Google Scholar] [CrossRef]
  28. Zhang, Y.; Wang, J. Managing retrial queueing systems with boundedly rational customers. J. Oper. Res. Soc. 2023, 74, 748–761. [Google Scholar] [CrossRef]
  29. Armony, M.; Plambeck, E.; Seshadri, S. Sensitivity of optimal capacity to customer impatience in an unobservable M/M/S queue (Why you shouldn’t shout at the DMV). Manuf. Serv. Oper. Manag. 2009, 11, 19–32. [Google Scholar] [CrossRef]
  30. Hanukov, G. Improving efficiency of service systems by performing a part of the service without the customer’s presence. Eur. J. Oper. Res. 2022, 302, 606–620. [Google Scholar] [CrossRef]
  31. Neuts, M.F. Matrix-Geometric Solutions in Stochastic Models: An Algorithmic Approach; Courier Corporation: Chelmsford, MA, USA, 1994. [Google Scholar]
Figure 1. Transition diagram for the unobservable scenario.
Figure 1. Transition diagram for the unobservable scenario.
Mathematics 13 01310 g001
Figure 2. Transition diagram of the observable scenario.
Figure 2. Transition diagram of the observable scenario.
Mathematics 13 01310 g002
Figure 3. The optimal prices versus different parameters in the observable case.
Figure 3. The optimal prices versus different parameters in the observable case.
Mathematics 13 01310 g003
Figure 4. The optimal prices versus different parameters in the observable case.
Figure 4. The optimal prices versus different parameters in the observable case.
Mathematics 13 01310 g004
Figure 5. Two measures, W u W s u 1 × 100 and W o W s o 1 × 100 versus λ , c and θ , respectively.
Figure 5. Two measures, W u W s u 1 × 100 and W o W s o 1 × 100 versus λ , c and θ , respectively.
Mathematics 13 01310 g005
Figure 6. Π u Π s u 1 × 100 , Π o Π s o 1 × 100 and S W u S W s u 1 × 100 , S W o S W s o 1 × 100 vs. λ , c and θ , respectively.
Figure 6. Π u Π s u 1 × 100 , Π o Π s o 1 × 100 and S W u S W s u 1 × 100 , S W o S W s o 1 × 100 vs. λ , c and θ , respectively.
Mathematics 13 01310 g006
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Cai, X.; Yu, M.; Yang, Y. Price Decisions in a Two-Server Queue Considering Customer Retrial Behavior: Profit-Driven Versus Social-Driven. Mathematics 2025, 13, 1310. https://doi.org/10.3390/math13081310

AMA Style

Cai X, Yu M, Yang Y. Price Decisions in a Two-Server Queue Considering Customer Retrial Behavior: Profit-Driven Versus Social-Driven. Mathematics. 2025; 13(8):1310. https://doi.org/10.3390/math13081310

Chicago/Turabian Style

Cai, Xiaoli, Miaomiao Yu, and Yunling Yang. 2025. "Price Decisions in a Two-Server Queue Considering Customer Retrial Behavior: Profit-Driven Versus Social-Driven" Mathematics 13, no. 8: 1310. https://doi.org/10.3390/math13081310

APA Style

Cai, X., Yu, M., & Yang, Y. (2025). Price Decisions in a Two-Server Queue Considering Customer Retrial Behavior: Profit-Driven Versus Social-Driven. Mathematics, 13(8), 1310. https://doi.org/10.3390/math13081310

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop