THE M/G/1 FEEDBACK RETRIAL QUEUE WITH TWO TYPES OF CUSTOMERS. Yong Wan Lee

Σχετικά έγγραφα
2 Composition. Invertible Mappings

Phys460.nb Solution for the t-dependent Schrodinger s equation How did we find the solution? (not required)

HOMEWORK 4 = G. In order to plot the stress versus the stretch we define a normalized stretch:

4.6 Autoregressive Moving Average Model ARMA(1,1)

Jesse Maassen and Mark Lundstrom Purdue University November 25, 2013

Homework 3 Solutions

5.4 The Poisson Distribution.

Math221: HW# 1 solutions

3.4 SUM AND DIFFERENCE FORMULAS. NOTE: cos(α+β) cos α + cos β cos(α-β) cos α -cos β

Areas and Lengths in Polar Coordinates

Areas and Lengths in Polar Coordinates

Section 8.3 Trigonometric Equations

Congruence Classes of Invertible Matrices of Order 3 over F 2

Απόκριση σε Μοναδιαία Ωστική Δύναμη (Unit Impulse) Απόκριση σε Δυνάμεις Αυθαίρετα Μεταβαλλόμενες με το Χρόνο. Απόστολος Σ.

forms This gives Remark 1. How to remember the above formulas: Substituting these into the equation we obtain with

Example Sheet 3 Solutions

derivation of the Laplacian from rectangular to spherical coordinates

Concrete Mathematics Exercises from 30 September 2016

Solutions to Exercise Sheet 5

Fourier Series. MATH 211, Calculus II. J. Robert Buchanan. Spring Department of Mathematics

D Alembert s Solution to the Wave Equation

Second Order Partial Differential Equations

ST5224: Advanced Statistical Theory II

Other Test Constructions: Likelihood Ratio & Bayes Tests

SCITECH Volume 13, Issue 2 RESEARCH ORGANISATION Published online: March 29, 2018

Homework 8 Model Solution Section

SOLUTIONS TO MATH38181 EXTREME VALUES AND FINANCIAL RISK EXAM

Partial Differential Equations in Biology The boundary element method. March 26, 2013

EE512: Error Control Coding

Queueing Theory I. Summary. Little s Law Queueing System Notation Stationary Analysis of Elementary Queueing Systems. M/M/1 M/M/m M/M/1/K

Matrices and Determinants

Statistical Inference I Locally most powerful tests

C.S. 430 Assignment 6, Sample Solutions

The Simply Typed Lambda Calculus

Homomorphism in Intuitionistic Fuzzy Automata

Exercises 10. Find a fundamental matrix of the given system of equations. Also find the fundamental matrix Φ(t) satisfying Φ(0) = I. 1.

Solution Series 9. i=1 x i and i=1 x i.

Ordinal Arithmetic: Addition, Multiplication, Exponentiation and Limit

Chapter 6: Systems of Linear Differential. be continuous functions on the interval

SCHOOL OF MATHEMATICAL SCIENCES G11LMA Linear Mathematics Examination Solutions

CHAPTER 25 SOLVING EQUATIONS BY ITERATIVE METHODS

Appendix to On the stability of a compressible axisymmetric rotating flow in a pipe. By Z. Rusak & J. H. Lee

Problem Set 3: Solutions

On a four-dimensional hyperbolic manifold with finite volume

6.3 Forecasting ARMA processes

CHAPTER 48 APPLICATIONS OF MATRICES AND DETERMINANTS

Every set of first-order formulas is equivalent to an independent set

( y) Partial Differential Equations

A Bonus-Malus System as a Markov Set-Chain. Małgorzata Niemiec Warsaw School of Economics Institute of Econometrics

Econ 2110: Fall 2008 Suggested Solutions to Problem Set 8 questions or comments to Dan Fetter 1

SOLUTIONS TO MATH38181 EXTREME VALUES AND FINANCIAL RISK EXAM

Srednicki Chapter 55

Bayesian statistics. DS GA 1002 Probability and Statistics for Data Science.

Finite Field Problems: Solutions

Section 7.6 Double and Half Angle Formulas

The challenges of non-stable predicates

b. Use the parametrization from (a) to compute the area of S a as S a ds. Be sure to substitute for ds!

Coefficient Inequalities for a New Subclass of K-uniformly Convex Functions

Parametrized Surfaces

ω ω ω ω ω ω+2 ω ω+2 + ω ω ω ω+2 + ω ω+1 ω ω+2 2 ω ω ω ω ω ω ω ω+1 ω ω2 ω ω2 + ω ω ω2 + ω ω ω ω2 + ω ω+1 ω ω2 + ω ω+1 + ω ω ω ω2 + ω

Fractional Colorings and Zykov Products of graphs

ANSWERSHEET (TOPIC = DIFFERENTIAL CALCULUS) COLLECTION #2. h 0 h h 0 h h 0 ( ) g k = g 0 + g 1 + g g 2009 =?

Second Order RLC Filters

Mock Exam 7. 1 Hong Kong Educational Publishing Company. Section A 1. Reference: HKDSE Math M Q2 (a) (1 + kx) n 1M + 1A = (1) =

Probability and Random Processes (Part II)

Approximation of distance between locations on earth given by latitude and longitude

Section 9.2 Polar Equations and Graphs

6.1. Dirac Equation. Hamiltonian. Dirac Eq.

Practice Exam 2. Conceptual Questions. 1. State a Basic identity and then verify it. (a) Identity: Solution: One identity is csc(θ) = 1

Chapter 6: Systems of Linear Differential. be continuous functions on the interval

ES440/ES911: CFD. Chapter 5. Solution of Linear Equation Systems

CHAPTER 101 FOURIER SERIES FOR PERIODIC FUNCTIONS OF PERIOD

w o = R 1 p. (1) R = p =. = 1

ΚΥΠΡΙΑΚΗ ΕΤΑΙΡΕΙΑ ΠΛΗΡΟΦΟΡΙΚΗΣ CYPRUS COMPUTER SOCIETY ΠΑΓΚΥΠΡΙΟΣ ΜΑΘΗΤΙΚΟΣ ΔΙΑΓΩΝΙΣΜΟΣ ΠΛΗΡΟΦΟΡΙΚΗΣ 19/5/2007

k A = [k, k]( )[a 1, a 2 ] = [ka 1,ka 2 ] 4For the division of two intervals of confidence in R +

The k-α-exponential Function

Lecture 2: Dirac notation and a review of linear algebra Read Sakurai chapter 1, Baym chatper 3

[1] P Q. Fig. 3.1

Uniform Convergence of Fourier Series Michael Taylor

Inverse trigonometric functions & General Solution of Trigonometric Equations

Potential Dividers. 46 minutes. 46 marks. Page 1 of 11

The Probabilistic Method - Probabilistic Techniques. Lecture 7: The Janson Inequality

Higher Derivative Gravity Theories

Differential equations

Strain gauge and rosettes

Lecture 2. Soundness and completeness of propositional logic

Problem Set 9 Solutions. θ + 1. θ 2 + cotθ ( ) sinθ e iφ is an eigenfunction of the ˆ L 2 operator. / θ 2. φ 2. sin 2 θ φ 2. ( ) = e iφ. = e iφ cosθ.

6. MAXIMUM LIKELIHOOD ESTIMATION

DERIVATION OF MILES EQUATION FOR AN APPLIED FORCE Revision C

Statistics 104: Quantitative Methods for Economics Formula and Theorem Review

Additional Results for the Pareto/NBD Model

PROPERTIES OF CERTAIN INTEGRAL OPERATORS. a n z n (1.1)

Econ Spring 2004 Instructor: Prof. Kiefer Solution to Problem set # 5. γ (0)

New bounds for spherical two-distance sets and equiangular lines

2. THEORY OF EQUATIONS. PREVIOUS EAMCET Bits.

A Note on Intuitionistic Fuzzy. Equivalence Relation

ECE Spring Prof. David R. Jackson ECE Dept. Notes 2

Math 6 SL Probability Distributions Practice Test Mark Scheme

Reminders: linear functions

A Two-Sided Laplace Inversion Algorithm with Computable Error Bounds and Its Applications in Financial Engineering

Transcript:

Bull. Korean Math. Soc. 42 (2005), No. 4, pp. 875 887 THE M/G/1 FEEDBACK RETRIAL QUEUE WITH TWO TYPES OF CUSTOMERS Yong Wan Lee Abstract. In M/G/1 retrial queueing system with two types of customers and feedback, we derived the joint generating function of the number of customers in two groups by using the supplementary variable method. It is shown that our results are consistent with those already known in the literature when δ k = 0(k = 1, 2), λ 1 = 0 or λ 2 = 0. 1. Introduction In recent years there have been significant contributions to the retrial queueing system. Choi and Park3 investigated an M/G/1 retrial queue with two types of customers in which the service distributions for both types of customers are the same. Thereafter, Falin et al.7 investigate much the same model of Choi and Park3, in which they assumed different service distributions for both types of customers. Recently Choi et al.1 studied an M/G/1 retrial queueing system with two types of calls and finite capacity. In this paper we deal with feedback retrial queue with two types of customers where after being served each customer either joins the retrial group or departs the system permanently. The phenomena of feedback in the retrial queueing systems are occurred in many practical situation; for instance telecommunication system where message turned out error at destination sends again. In section 2, we describe the model. In section 3, we use the supplementary variable method to derive the joint generating function of the number of customers in the two groups and the mean queue size. Received November 11, 2004. 2000 Mathematics Subject Classification: 60K25, 90B22. Key words and phrases: feedback retrial queue, supplementary variable method, retrial time, stationary distribution. This work was supported by a grant from 2003 Research Fund of Andong National University.

876 Yong Wan Lee In section 4 we show that our results are consistent with those already known in the literature when δ k = 0 (k = 1, 2), λ 1 = 0 or λ 2 = 0. 2. Mathematical model We consider a single server queueing system in which two different types of customers arrive according to independent Poisson streams with rates λ 1 and λ 2, respectively. See the block diagram of feedback retrial queue with two types of customers in Figure 1. δ 1 Priority queue Poisson arrival(λ 1 ) Poisson arrival(λ 2 ) Server b 1 (x) b 2 (x) exp(ν) Retrial group Figure 1. M/G/1 feedback retrial queue with two types δ 2 1 δ 1 1 δ 2 Customers from the Poisson flow with rate λ 1 (the Poisson flow with rate λ 2, respectively) can be identified as priority customers (non-priority customers, respectively) in the system. If an arriving priority customer finds the server idle, he immediately starts to receive service. If he finds the server busy, he is queued in the priority group and then served in accordance with some discipline such as FCFS or random order. On the other hand, when an arriving non-priority customer finds the server idle, he obtains service immediately. If he finds the server busy, he joins the retrial group in order to seek service again after a random amount of time. He persists this way until he is eventually served. All the customers in the retrial group behave independently of each other. The retrial time (the time interval between two consecutive attempts made by a customer in the retrial group) is exponentially distributed with mean 1 ν and is independent of all previous retrial times and all other stochastic process in the system.

The M/G/1 feedback retrial queue with two types of customers 877 The service times of both types of customers are independent of each other. The service time B k has a general distribution with p.d.f. b k (x) and mean b k, k = 1, 2, where k = 1 is related to the priority customers and k = 2 is related to the non-priority customers. Let b k (θ) = 0 e θx b k (x)dx be the Laplace transform of service time B k, k = 1, 2. A priority customer who has received service departs the system with probability 1 δ 1 or return to the priority group for more service with probability δ 1. A non-priority customer who has received service leaves the system with probability 1 δ 2 or rejoins the retrial group with probability δ 2. 3. The joint distribution of queue sizes We define the following random variables in order to characterize our system at an arbitrary time; N 1 (t) = the number of customers in the priority group (excluding the customer in the service) at time t, N 2 (t) = the number of customers in the retrial group at time t, X(t) = the residual service time of the customer in the service at time t, 0, when serve is idle at time t, ξ(t) = 1, when server services the priority customer at time t, 2, when server services the non-priority customer at time t. Then the stochastic process X(t) = (ξ(t), N 1 (t), N 2 (t), X(t); t 0) is the Markovian process with state space {0, 1, 2} Z 2 + R + and denote by (ξ, N 1, N 2, X) the limiting random variable of (ξ(t), N 1 (t), N 2 (t), X(t)). We define the related probabilities; q j = P {ξ = 0, N 2 = j}, j = 0, 1, 2,... ; p kij (x)dx = P {ξ = k, N 1 = i, N 2 = j, X (x, x + dx}, k = 1, 2, i, j = 0, 1, 2,..., and x 0; and their Laplace transforms p kij (θ) = e θx p kij (x)d x, k = 1, 2, i, j = 0, 1, 2,.... 0 Note that p kij (0) = 0 p kij (x)d x = P {ξ = k, N 1 = i, N 2 = j} is the steady state probability that there are i customers in the priority

878 Yong Wan Lee group, j customers in the retrial group and the server services the k- type customer. The usual arguments lead to the following system of difference equations; (1a) (1b) (1c) (1d) (λ 1 + λ 2 + jν)q j = (1 δ 1 )p 10j (0) + (1 δ 2 )p 20j (0) + δ 2 p 20j 1 (0), p 10j(x) = (λ 1 + λ 2 )p 10j (x) + λ 1 b 1 (x)q j + λ 2 p 10j 1 (x) + δ 1 b 1 (x)p 10j (0) + (1 δ 1 )b 1 (x)p 11j (0) + δ 2 b 1 (x)p 21j 1 (0) + (1 δ 2 )b 1 (x)p 21j (0), p 1ij(x) = (λ 1 + λ 2 )p 1ij (x) + λ 1 p 1i 1j (x) + λ 2 p 1ij 1 (x) + δ 1 b 1 (x)p 1ij (0) + (1 δ 1 )b 1 (x)p 1i+1j (0) + δ 2 b 1 (x)p 2i+1j 1 (0) + (1 δ 2 )b 1 (x)p 2i+1j (0), p 20j(x) = (λ 1 + λ 2 )p 20j (x) + λ 2 b 2 (x)q j + (j + 1)νb 2 (x)q j+1 + λ 2 p 20j 1 (x), (1e) p 2ij(x) = (λ 1 + λ 2 )p 2ij (x) + λ 1 p 2i 1j (x) + λ 2 p 2ij 1 (x) + λ 2 p 2ij 1 (x), where i = 1, 2,..., j = 0, 1, 2,..., p kij = 0 for i, j < 0, k = 1, 2 and any x 0. By taking Laplace transform (1b) (1e), we obtain (2b) (2c) (2d) {θ (λ 1 + λ 2 )}p 10j(θ) + λ 2 p 10j 1(θ) = p 10j (0) λ 1 b 1(θ)q j δ 1 b 1(θ)p 10j (0) (1 δ 1 )b 1(θ)p 11j (0) δ 2 b 1(θ)p 21j 1 (0) (1 δ 2 )b 1(θ)p 21j (0), {θ (λ 1 +λ 2 )}p 1ij(θ) + λ 1 p 1i 1j(θ) + λ 2 p 1ij 1(θ) = p 1ij (0) δ 1 b 1(θ)p 1ij (0) (1 δ 1 )b 1(θ)p 1i+1j (0) δ 2 b 1(θ)p 2i+1j 1(0) (1 δ 2 )b 1(θ)p 2i+1j (0), {θ (λ 1 + λ 2 )}p 20j(θ) + λ 2 p 20j 1(θ) = p 20j (0) λ 2 b 2(θ)q j (j + 1)νb 2(θ)q j+1, (2e) {θ (λ 1 + λ 2 )}p 2ij(θ) + λ 1 p 2i 1j(θ) + λ 2 p 2ij 1(θ) = p 2ij (0).

The M/G/1 feedback retrial queue with two types of customers 879 We introduce the following generating function for complex z with z 1, Q( ) = q j z j 2, P ki (θ, ) = P ki (0, ) = j=0 j=0 j=0 p kij (θ)zj 2, k = 1, 2, p kij (0)z j 2, k = 1, 2. Multiplying equations (1a) and (2b) (2e) by z j 2 and summing over all j, we obtain the following basic system equations; (3a) (λ 1 + λ 2 )Q( ) + ν Q ( ) = (1 δ 1 )P 10 (0, ) + (1 δ 2 + δ 2 )P 20 (0, ), (3b) (3c) (3d) {θ (λ 1 + λ 2 ) + λ 2 }P10(θ, ) = (1 δ 1 b 1(θ))P 10 (0, ) λ 1 b 1(θ)Q( ) (1 δ 1 )b 1(θ)P 11 (0, ) (1 δ 2 + δ 2 )b 1(θ)P 21 (0, ), {θ (λ 1 +λ 2 ) + λ 2 }P1i(θ, ) + λ 1 P1i 1(θ, ) = (1 δ 1 b 1(θ))P 1i (0, ) (1 δ 1 )b 1(θ)P 1i+1 (0, ) (1 δ 2 + δ 2 )b 1(θ)P 2i+1 (0, ), {θ (λ 1 + λ 2 )+λ 2 }P20(θ, ) = P 20 (0, ) λ 2 b 2(θ)Q( ) νb 2(θ)Q ( ), (3e) {θ (λ 1 + λ 2 ) + λ 2 }P2i(θ, ) + λ 1 P2i 1(θ, ) = P 2i (0, ). Define the generating functions of Pk (θ,, ) and P k (0,, ) for k = 1, 2 as follows; Pk (θ,, ) = Pki (θ, )z1, i i=0 P k (0,, ) = P ki (0, )z1. i i=0 Note that Pk (0,, ) = E(z N 1 1 zn 2 2 ; ξ = k) which is the joint generating function of (N 1, N 2 ) when the server services the k-type customer.

880 Yong Wan Lee Multiplying equations (3b) (3e) by z1 i obtain and summing over all i, we (4a) (4b) {θ λ 1 (1 ) λ 2 (1 )}P 1 (θ,, ) = {1 δ 1 b 1(θ) (1 δ 1)b 1 (θ) }P 1 (0,, ) (1 δ 2 + δ 2 )b 1 (θ) P 2 (0,, ) + (1 δ 1)b 1 (θ) P 10 (0, ) + (1 δ 2 + δ 2 )b 1 (θ) P 20 (0, ) λ 1 b z 1(θ)Q( ), 1 {θ λ 1 (1 ) λ 2 (1 )}P 2 (θ,, ) = P 2 (0,, ) λ 2 b 2(θ)Q( ) νb 2(θ)Q ( ). By choosing θ = λ 1 (1 ) + λ 2 (1 )into (4a) and (4b), we eliminate P 1 (θ,, ) and P 2 (θ,, ) from (4a) and (4b) respectively and obtain (5) { (1 δ 1 + δ 1 )β 1 (, )}P 1 (0,, ) = β 1 (, ){(1 δ 2 + δ 2 )P 2 (0,, ) + λ 1 Q( ) (1 δ 1 )P 10 (0, ) (1 δ 2 + δ 2 )P 20 (0, )}, (6) P 2 (0,, ) = β 2 (, ){λ 2 Q( ) + νq ( )}, where β k (, ) = b k (λ 1(1 ) + λ 2 (1 )), k = 1, 2. Now we consider the function (7) h(, ) = (1 δ 1 + δ 1 )β 1 (, ). By using Rouche s theorem it follows that for each with < 1, there is a unique solution = φ( ) of the equation h(, ) = 0 in the unit circle, i.e., h(φ( ), ) = φ( ) (1 δ 1 + δ 1 φ( ))β 1 (φ( ), ) = 0. On the other hand, since h(, ) = 1 (δ 1 + λ 1 b 1 ) > 0, z1 = =1 we conclude that = φ( ) is analytic on < 1 and is continuous at = 1 and φ(1) = 1 by the implicit function theorem. It is necessary

The M/G/1 feedback retrial queue with two types of customers 881 to know the first and second derivatives of φ( ) at = 1 for late use. These are derived as follows φ λ 2 b 1 (1) = 1 (δ 1 + λ 1 b 1 ), (8) φ (1) = 2δ 1(1 δ 1 )λ 2 2 b2 1 + (1 δ 1) 2 λ 2 2 E(b2 1 ) {1 (δ 1 + λ 1 b 1 )} 3. By substituting = φ( ) into (5), P 1 (0,, ) is eliminated, and we get (9) (1 δ 2 + δ 2 )P 2 (0, φ( ), ) + λ 1 φ( )Q( ) = (1 δ 1 )P 10 (0, ) + (1 δ 2 + δ 2 )P 20 (0, ). By substituting = φ( ) into (6), we obtain (10) P 2 (0, φ( ), ) = β 2 (φ( ), ){λ 2 Q( ) + νq ( )}. From (9) and (10), we obtain (11) (1 δ 1 )P 10 (0, ) + (1 δ 2 + δ 2 )P 20 (0, ) = {λ 1 φ( ) + (1 δ 2 + δ 2 )λ 2 β 2 (φ( ), )}Q( ) + (1 δ 2 + δ 2 )νβ 2 (φ( ), )Q ( ). By equating (3a) and (11), we obtain the differential equation (12) Q 1 ( ) = ν{(1 δ 2 + δ 2 )β 2 (φ( ), ) } λ 1 (1 φ( )) + λ 2 {1 (1 δ 2 + δ 2 )β 2 (φ( ), )} Q( ), whose solution is (13) 1 1 1 ν (1 δ 2 + δ 2 x)β 2 (φ(x), x) x Q( ) = C exp {λ 1 (1 φ(x)) + λ 2 {1 (1 δ 2 + δ 2 x)β 2 (φ(x), x)}}d x. Substituting (12) into (6) yields (14) P 2 (0,, ) = {λ 1(1 φ( )) + λ 2 (1 )}β 2 (, ) (1 δ 2 + δ 2 )β 2 (φ( ), ) Q( ).

882 Yong Wan Lee Substituting (11), (12), and (14) into (5) yields (15) (1 δ 2 + δ 2 ) P 1 (0,, ) = β 1 (, ) (1 δ 2 + δ 2 )β 2 (φ( ), ) {λ 1(1 φ( )) + λ 2 (1 )}{β 2 (φ( ), ) β 2 (, )} (1 δ 1 + δ 1 )β 1 (, ) λ 1 (φ( ) ) + Q( ). (1 δ 1 + δ 1 )β 1 (, ) Finally, we will calculate P k (0,, ). Letting θ = 0 in (4a) and (4b) gives (16) {λ 1 (1 ) + λ 2 (1 )}P1 (0,, ) ( = 1 δ 1 1 δ ) 1 P 1 (0,, ) 1 δ 2 + δ 2 P 2 (0,, ) + 1 δ 1 P 10 (0, ) + 1 δ 2 + δ 2 P 20 (0, ) λ 1 Q( ), (17) {λ 1 (1 ) + λ 2 (1 )}P 2 (0,, ) = P 2 (0,, ) λ 2 Q( ) νq ( ). We obtain from (16) using (11), (14), and (15) (18) P1 β 1 (, ) 1 λ 1 (φ( ) ) (0,, ) = λ 1 ( 1) + λ 2 ( 1) (1 δ 1 + δ 1 )β 1 (, ) + (1 δ 2 + δ 2 ){λ 1 (1 φ( )) + λ 2 (1 )} (1 δ 2 + δ 2 )β 2 (φ( ), ) β 2(φ( ), ) β 2 (, ) Q( ). (1 δ 1 + δ 1 )β 1 (, ) From (12), (14), and (17), we obtain (19) P2 (0,, ) = {λ 1(1 φ( )) + λ 2 (1 )}{1 β 2 (, )} (1 δ 2 + δ 2 )β 2 (φ( ), ) Q( ) λ 1 (1 ) + λ 2 (1 ). To determine C, we need to find P k (0, 1, 1), k = 1, 2. First letting 1 and then 1 in (18) and (19). Using φ(1) = 1 and (8) we obtain by

The M/G/1 feedback retrial queue with two types of customers 883 the L Hospital rule that (20) P1 (0, 1, 1) = lim C β(z 1, 1) 1 λ 1 (1 ) z1 1 λ 1 ( 1) (1 δ 1 + δ 1 )β 1 (, 1) 1 β 2 (, 1) λ 1 φ (1) λ 2 + (1 δ 1 + δ 1 )β 1 (, 1) δ 2 + (λ 1 φ (1) + λ 2 )b 2 1 = C λ 1 b 1 (1 δ 2 ){1 (δ 1 + λ 1 b 1 )} {1 (δ 1 + λ 1 b 1 )}(1 δ 2 ){1 (δ 1 + λ 1 b 1 )} λ 2 b 2 (1 δ 1 ), (21) P2 (0, 1, 1) = lim C 1 β 2(, 1) λ 1 φ (1) λ 2 z1 1 λ 1 (1 ) δ 2 + (λ 1 φ (1) + λ 2 )b 2 1 λ 2 b 2 (1 δ 1 ) = C (1 δ 2 ){1 (δ 1 + λ 1 b 1 )} λ 2 b 2 (1 δ 1 ). From the total probability Q(1) + P1 (0, 1, 1) + P 2 (0, 1, 1) = 1, we obtain C = (1 δ 2){1 (δ 1 + λ 1 b 1 )} λ 2 b 2 (1 δ 1 ) (1 δ 1 ){1 (δ 1 + λ 1 b 1 )} + λ 1 b 1 (1 δ 2 ), that is, the probability that the server is idle, and P 1 (0, 1, 1) + P 2 (0, 1, 1) = (1 δ 1){1 (δ 1 + λ 1 b 1 ) + λ 2 b 2 } (1 δ 2 )(1 δ 1 2λ 1 b 1 ) (1 δ 1 ){1 (δ 1 + λ 1 b 1 )} + λ 1 b 1 (1 δ 2 ) as the probability that the server is busy. Thus we have the theorem. Theorem 3.1. The stationary distribution of (ξ, N 1, N 2 ) has the following generating functions (22) Q( ) = E(z N 2 2 ; ξ = 0) = (1 δ 2){1 (δ 1 + λ 1 b 1 )} λ 2 b 2 (1 δ 1 ) (1 δ 1 ){1 (δ 1 + λ 1 b 1 )} + λ 1 b 1 (1 δ 2 ) exp 1 1 ν 1 (1 δ 2 + δ 2 x)β 2 (φ(x), x) x { λ 1 (1 φ(x)) + λ 2 {1 (1 δ 2 + δ 2 x)β 2 (φ(x), x)} } d x,

884 Yong Wan Lee (23) P 1 (0,, ) = E(z N 1 1 zn 2 2 ; ξ = 1) = (1 δ 2){1 (δ 1 + λ 1 b 1 )} λ 2 b 2 (1 δ 1 ) (1 δ 1 ){1 (δ 1 + λ 1 b 1 )} + λ 1 b 1 (1 δ 2 ) β 1 (, ) 1 λ 1 (φ( ) ) λ 1 ( 1) + λ 2 ( 1) (1 δ 1 + δ 1 )β 1 (, ) + (1 δ 2 + δ 2 ){λ 1 (1 φ( )) + λ 2 (1 )} {(1 δ 1 + δ 1 )β 1 (, ) )} {β 2 (φ( ), ) β 2 (, )} {(1 δ 2 + δ 2 )β 2 (φ( ), ) } exp 1 1 λ 1 (1 φ(x)) + λ 2 {1 (1 δ 2 + δ 2 x)β 2 (φ(x), x)} d x, ν (1 δ 2 + δ 2 x)β 2 (φ(x), x) x (24) P 2 (0,, ) = E(z N 1 1 zn 2 2 : ξ = 2) = (1 δ 2){1 (δ 1 + λ 1 b 1 )} λ 2 b 2 (1 δ 1 ) (1 δ 1 ){1 (δ 1 + λ 1 b 1 )} + λ 1 b 1 (1 δ 2 ) {λ 1 (1 φ( )) + λ 2 (1 )}{1 β 2 (, )} {λ 1 (1 ) + λ 2 (1 )}{(1 δ 2 + δ 2 )β 2 (φ( ), ) } exp 1 1 λ 1 (1 φ(x)) + λ 2 {1 (1 δ 2 + δ 2 x)β 2 (φ(x), x)} d x. ν (1 δ 2 + δ 2 x)β 2 (φ(x), x) x 4. Special cases (a) When δ k = 0 k = 1, 2, our model becomes the M/G/1 retrial queueing system with priority customers studied by Falin, Artalejo and Martin7. In this case, equations (22), (23), and (24) reduce to Q( ) = E(z N 2 2 ; ξ = 0) = {1 (λ 1b 1 + λ 2 b 2 )} exp 1 1 λ 1 (1 φ(x)) + λ 2 (1 b 2 (λ 1 + λ 2 λ 1 φ(x) λ 2 x)) ν b 2 (λ d x, 1 + λ 2 λ 1 φ(x) λ 2 x) x P1 (0,, ) = E(z N 1 1 zn 2 2 ; ξ = 1) λ 1 (φ( ) ) = b 1 (λ + λ 1(1 φ( )) + λ 2 (1 ) 1 + λ 2 λ 1 λ 2 ) b 1 (λ 1 + λ 2 λ 1 λ 2 ) b 2 (λ 1 + λ 2 λ 1 φ( ) λ 2 ) b 2 (λ 1 + λ 2 λ 1 λ 2 ) b 2 (λ Q( ), 1 + λ 2 φ( ) λ 2 )

The M/G/1 feedback retrial queue with two types of customers 885 P 2 (0,, ) = E(z N 1 1 zn 2 2 ; ξ = 2) = λ 1(1 φ( )) + λ 2 (1 ) λ 1 (1 ) + λ 2 (1 ) 1 b 2 (λ 1 + λ 2 λ 1 λ 2 ) b 2 (λ Q( ), 1 + λ 2 λ 1 φ( ) λ 2 ) which agree with Theorem 3 in Falin, Artalejo and Martin7. (b) When b k (x) = b(x) and δ k = 0, k = 1, 2, our model becomes the M/G/1 retrial queue with Bernoulli schedule with λ 1 = qλ and λ 2 = pλ(q = 1 p) studied by Choi and Park3. In this case φ( ) = b (λ λqφ( ) λp ), equations (22), (23), and (24) reduce to E(z N 2 2 ; ξ = 0) = (1 λb) exp λ 1 1 φ(x) ν φ(x) x d x, E(z N 1 1 zn 2 2 ; ξ 0) = (1 (λ qλ pλ ) 1 λb)b q + p 1 φ( ) b (λ qλ pλ ) 1 φ( ) exp which agree with Theorem in Choi and Park 3. λ ν 1 1 φ(x) φ(x) x d x, (c) When λ 1 = 0 and δ k = 0, k = 1, 2, our model becomes the M/G/1 retrial queue. In this case N 1 = 0. Equations (22), (23), and (24) reduce to E(z N 2 2 ; ξ = 0) = (1 λ 2b 2 ) exp λ 1 2 1 b 2 (λ 2 λ 2 x) ν b 2 (λ 2 λ 2 x) x d x, E(z N 2 2 ; ξ = 2) = (1 λ 2b 2 ) 1 b 2 (λ 2 λ 2 ) b 2 (λ 2 λ 2 ) exp λ 2 ν 1 1 b 2 (λ 2 λ 2 x) b 2 (λ 2 λ 2 x) x d x which agree with Theorem 6 in Falin5. The generating function of queue length in the system is E(z N 2 2 ; ξ = 0) + E(z N 2 2 ; ξ = 2) which equals (1 λ 2 b 2 )(1 )b 2 (λ 2 λ 2 ) b 2 (λ exp λ 1 2 1 b 2 (λ 2 λ 2 x) 2 λ 2 ) ν b 2 (λ 2 λ 2 x) x d x. This result agree with (3.11) in Yang and Templeton9. (d) When λ 2 = 0 and δ k = 0, k = 1, 2, our model becomes the ordinary M/G/1 queue. In this case φ( ) = b 1 (λ 1 λ 1 ), N 2 = 0. Equations (22) and (23) reduce to,

886 Yong Wan Lee P (ξ = 0) = 1 λ 1 b 1, E(z N 1 1 ; ξ = 1) = (1 λ 1b 1 ) b 1 (λ 1 λ 1 ) 1 b 1 (λ 1 λ 1 ). The generating function of the queue length in the system is Q(1) + P (0,, 1) which equals (1 λ 1 b 1 )( 1)b 1 (λ 1 λ 1 ) b 1 (λ. 1 λ 1 ) This is the Pollaczek-Khinchin formula. (e) When λ 1 = 0, our model becomes the M/G/1 feedback retrial queue. In this case φ( ) = b 1 (λ 2 λ 2 ), N 1 = 0. Equation (22) and (23) reduce to E(z N 2 2 ; ξ = 0) = {1 (δ 2 + λ 2 b 2 )} exp λ 1 2 1 (1 δ 2 + δ 2 x)b 2 (λ 2 λ 2 x) ν (1 δ 2 + δ 2 x)b 2 (λ 2 λ 2 x) x d x, E(z N 2 2 ; ξ = 2) = {1 (δ 2 + λ 2 b 2 )}{1 b 2 (λ 2 λ 2 )} (1 δ 2 + δ 2 )b 2 (λ 2 λ 2 ) exp λ 2 ν 1 1 (1 δ 2 + δ 2 x)b 2 (λ 2 λ 2 x) (1 δ 2 + δ 2 x)b 2 (λ 2 λ 2 x) x d x. References 1 B. D. Choi, K. B. Choi, and Y. W. Lee, M/G/1 retrial queueing system with two types of calls and finite capacity, Queueing Systems 19 (1995), 215 229. 2 B. D. Choi and V. G. Kulkarni, Feedback retrial queueing system, Stochastic Model Related field (1992), 93 105. 3 B. D. Choi and K. K. Park, The M/G/1 retrial queue with Bernoulli schedule, Queueing Systems 7 (1990), 219 227. 4 B. D. Choi, K. K. Park, and Y. W. Lee, Retrial queues with Bernoulli feedback, Proc. Workshops Math. Phys. 2 (1990), 65 78. 5 G. I. Falin, A single-line system with secondary orders, Engineering Cybernet. 17 (1979), no. 2, 76 83. 6 G. I. Falin, A survey of retrial queues, Queueing systems 7 (1990), 127 168. 7 G. I. Falin, J. R. Artalejo, and M. Martin, On the single server retrial queue with priority customers, Queueing systems 14 (1993), 439 455. 8 D. Gross and C. M. Harris, Foundamentals of Queueing Theory, John Wiley and Sons, 1985.

The M/G/1 feedback retrial queue with two types of customers 887 9 T. Yang and J. G. C. Templeton, A survey on retrial queues, Queueing systems 2 (1987), 201 233. Department of Mathematics Education, Andong National University, Kyungbuk 760-749, Korea E-mail: ywlee@andong.ac.kr