Memorandum No. 1486. Families of birth-death processes with similar time-dependent behaviour



Similar documents
Memorandum No A computational approach for a fluid queue driven by a truncated birth-death process. R.B. Lenin and P.R.

Introduction to Matrix Algebra

Continuity of the Perron Root

A simple criterion on degree sequences of graphs

Inner Product Spaces

Section Inner Products and Norms

4 The M/M/1 queue. 4.1 Time-dependent behaviour

Duality of linear conic problems

MATH10212 Linear Algebra. Systems of Linear Equations. Definition. An n-dimensional vector is a row or a column of n numbers (or letters): a 1.

Continued Fractions and the Euclidean Algorithm

9.2 Summation Notation

Au = = = 3u. Aw = = = 2w. so the action of A on u and w is very easy to picture: it simply amounts to a stretching by 3 and 2, respectively.

NOTES ON LINEAR TRANSFORMATIONS

Notes on Determinant

FACTORING POLYNOMIALS IN THE RING OF FORMAL POWER SERIES OVER Z

SOLVING LINEAR SYSTEMS

The Matrix Elements of a 3 3 Orthogonal Matrix Revisited

IRREDUCIBLE OPERATOR SEMIGROUPS SUCH THAT AB AND BA ARE PROPORTIONAL. 1. Introduction

SF2940: Probability theory Lecture 8: Multivariate Normal Distribution

SHARP BOUNDS FOR THE SUM OF THE SQUARES OF THE DEGREES OF A GRAPH

No: Bilkent University. Monotonic Extension. Farhad Husseinov. Discussion Papers. Department of Economics

FINITE DIMENSIONAL ORDERED VECTOR SPACES WITH RIESZ INTERPOLATION AND EFFROS-SHEN S UNIMODULARITY CONJECTURE AARON TIKUISIS

Similarity and Diagonalization. Similar Matrices

Solving Linear Systems, Continued and The Inverse of a Matrix

A characterization of trace zero symmetric nonnegative 5x5 matrices

The Characteristic Polynomial

Math 4310 Handout - Quotient Vector Spaces

CHAPTER II THE LIMIT OF A SEQUENCE OF NUMBERS DEFINITION OF THE NUMBER e.

TOPIC 4: DERIVATIVES

Lecture L3 - Vectors, Matrices and Coordinate Transformations

10.2 ITERATIVE METHODS FOR SOLVING LINEAR SYSTEMS. The Jacobi Method

1 Introduction to Matrices

Separation Properties for Locally Convex Cones

Matrix Differentiation

F. ABTAHI and M. ZARRIN. (Communicated by J. Goldstein)

CONTINUED FRACTIONS AND PELL S EQUATION. Contents 1. Continued Fractions 1 2. Solution to Pell s Equation 9 References 12

HOMEWORK 5 SOLUTIONS. n!f n (1) lim. ln x n! + xn x. 1 = G n 1 (x). (2) k + 1 n. (n 1)!

Algebraic and Transcendental Numbers

MATH 304 Linear Algebra Lecture 9: Subspaces of vector spaces (continued). Span. Spanning set.

Multi-variable Calculus and Optimization

THE DYING FIBONACCI TREE. 1. Introduction. Consider a tree with two types of nodes, say A and B, and the following properties:

Linear Algebra Notes for Marsden and Tromba Vector Calculus

On duality of modular G-Riesz bases and G-Riesz bases in Hilbert C*-modules

Prime power degree representations of the symmetric and alternating groups

SF2940: Probability theory Lecture 8: Multivariate Normal Distribution

T ( a i x i ) = a i T (x i ).

Stationary random graphs on Z with prescribed iid degrees and finite mean connections

Systems of Linear Equations

Metric Spaces. Chapter Metrics

BANACH AND HILBERT SPACE REVIEW

1 Solving LPs: The Simplex Algorithm of George Dantzig

MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS

Bipan Hazarika ON ACCELERATION CONVERGENCE OF MULTIPLE SEQUENCES. 1. Introduction

Finite dimensional C -algebras

a 11 x 1 + a 12 x a 1n x n = b 1 a 21 x 1 + a 22 x a 2n x n = b 2.

WHEN DOES A CROSS PRODUCT ON R n EXIST?

The sum of digits of polynomial values in arithmetic progressions

Some Problems of Second-Order Rational Difference Equations with Quadratic Terms

15. Symmetric polynomials

Linear Maps. Isaiah Lankham, Bruno Nachtergaele, Anne Schilling (February 5, 2007)

PRIME FACTORS OF CONSECUTIVE INTEGERS

MATH APPLIED MATRIX THEORY

DATA ANALYSIS II. Matrix Algorithms

Inner product. Definition of inner product

Solving Systems of Linear Equations

Computing divisors and common multiples of quasi-linear ordinary differential equations

LECTURE 4. Last time: Lecture outline

LS.6 Solution Matrices

ON LIMIT LAWS FOR CENTRAL ORDER STATISTICS UNDER POWER NORMALIZATION. E. I. Pancheva, A. Gacovska-Barandovska

Suk-Geun Hwang and Jin-Woo Park

Vector and Matrix Norms

Linear Algebra I. Ronald van Luijk, 2012

A STOCHASTIC MODEL FOR THE SPREADING OF AN IDEA IN A HUMAN COMMUNITY

A linear combination is a sum of scalars times quantities. Such expressions arise quite frequently and have the form

Lecture 1: Schur s Unitary Triangularization Theorem

Practical Guide to the Simplex Method of Linear Programming

MATH 423 Linear Algebra II Lecture 38: Generalized eigenvectors. Jordan canonical form (continued).

The Exponential Distribution

Methods for Finding Bases

Chapter 17. Orthogonal Matrices and Symmetries of Space

The Heat Equation. Lectures INF2320 p. 1/88

Chapter 6. Orthogonality

RINGS WITH A POLYNOMIAL IDENTITY

Performance Analysis of a Telephone System with both Patient and Impatient Customers

Settling a Question about Pythagorean Triples

MATH 425, PRACTICE FINAL EXAM SOLUTIONS.

MATH 590: Meshfree Methods

MATH 304 Linear Algebra Lecture 20: Inner product spaces. Orthogonal sets.

Modern Optimization Methods for Big Data Problems MATH11146 The University of Edinburgh

MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS. + + x 2. x n. a 11 a 12 a 1n b 1 a 21 a 22 a 2n b 2 a 31 a 32 a 3n b 3. a m1 a m2 a mn b m

Sensitivity Analysis 3.1 AN EXAMPLE FOR ANALYSIS

Math 55: Discrete Mathematics

THE NUMBER OF GRAPHS AND A RANDOM GRAPH WITH A GIVEN DEGREE SEQUENCE. Alexander Barvinok

Linear Programming in Matrix Form

4.5 Linear Dependence and Linear Independence

A note on companion matrices

MATH 4330/5330, Fourier Analysis Section 11, The Discrete Fourier Transform

The Australian Journal of Mathematical Analysis and Applications

minimal polyonomial Example

Solution of Linear Systems

Transcription:

Faculty of Mathematical Sciences University of Twente University for Technical and Social Sciences P.O. Box 217 7500 AE Enschede The Netherlands Phone: +31-53-4893400 Fax: +31-53-4893114 Email: memo@math.utwente.nl Memorandum No. 1486 Families of birth-death processes with similar time-dependent behaviour R.B. Lenin, P.R. Parthasarathy, 1 W.R.W. Scheinhardt 2 and E.A. van Doorn May 1999 ISSN 0169-2690 1 Department of Mathematics, Indian Institute of Technology, Madras Chennai 600 036, India, E-mail: prp@pallava.iitm.ernet.in 2 Department of Mathematics and Computing Science, Eindhoven University of Technology, P.O. Box 513, 5600 MB Eindhoven, E-mail: werner@win.tue.nl

Families of birth-death processes with similar time-dependent behaviour R.B. Lenin, P.R. Parthasarathy, W.R.W. Scheinhardt, E.A. van Doorn 1 Faculty of Mathematical Sciences University of Twente P.O. Box 217, 7500 AE Enschede, The Netherlands E-mail: {r.b.lenin, e.a.vandoorn}@math.utwente.nl Department of Mathematics Indian Institute of Technology, Madras Chennai 600 036, India E-mail: prp@pallava.iitm.ernet.in Department of Mathematics and Computing Science Eindhoven University of Technology P.O. Box 513, 5600 MB Eindhoven, The Netherlands E-mail: werner@win.tue.nl Abstract: We consider birth-death processes taking values in N {0, 1,...}, but allow the death rate in state 0 to be positive, so that escape from N is possible. Two such processes with transition functions {p ij (t)} and { p ij (t)} are said to be similar if, for all i, j N, there are constants c ij such that p ij (t) =c ij p ij (t) for all t 0. We determine conditions on the birth and death rates of a birth-death process for the process to be a member of a family of similar processes, and we identify the members of such a family. Keywords and phrases: chain sequence, transient behaviour, transition function 1991 Mathematics Subject Classification: 60J80 1 corresponding author

1 Introduction In this paper a birth-death process X {X(t), t 0}, say, will always be a process taking values in N {0, 1,...} with birth rates {λ n, n N}and death rates {µ n, n N}, all strictly positive except µ 0, which might be equal to 0. When µ 0 = 0 the process is irreducible, but when µ 0 > 0 the process may escape from N, via 0, to an absorbing state 1. The q-matrix of transition rates of X, restricted to the states in N, will be denoted by Q (q ij,i,j N), so that (λ 0 + µ 0 ) λ 0 0 0 0... µ 1 (λ 1 + µ 1 ) λ 1 0 0... Q = 0 µ 2 (λ 2 + µ 2 ) λ 2 0.... (1).................................... We shall assume that the transition functions p ij (t) Pr{X(t) =j X(0) = i}, i,j N,t 0, constitute the unique Q-function (i.e., set of transition functions having Q as q-matrix) satisfying both the Kolmogorov backward equations p ij(t) = q ik p kj (t), i,j N,t 0, (2) k N and forward equations p ij(t) = p ik (t)q kj, i,j N,t 0. (3) k N Equivalently, see Anderson [2, pp. 262-263], we assume that the potential coefficients π 0 1 and π n λ 0λ 1...λ n 1, n =1, 2,..., µ 1 µ 2...µ n satisfy the condition ( πn +(λ n π n ) 1) =. (4) n=0 The problem of solving the Kolmogorov equations explicitly for a specific set of birth and death rates has been approached in the literature in many different ways (of which the method of Karlin and McGregor [8] involving orthogonal polynomials has probably been the most successful). Our approach to the problem of finding solutions to the Kolmogorov equations will be to investigate whether a known solution to the equations for one birthdeath process can help us identify the transition functions of other birth-death processes, by establishing whether the given process belongs to a class of birth-death processes whose transition functions behave in a sense to be defined similarly. 1

Thus consider, besides X, another birth-death process X, determined by birth rates { λ n,n N}and death rates { µ n,n N}, with potential coefficients { π n } and transition functions { p ij (t)}. Definition The birth-death processes X and X are said to be similar if the transition functions of X and X differ only by a constant factor, that is, if there are constants c ij, i,j N, such that p ij (t) =c ij p ij (t), i,j N,t 0. (5) This concept of similarity is seemingly more general than that of Di Crescenzo [6], who calls the birth-death processes X and X similar if there are constants ν n, n N,such that p ij (t) = ν j p ij (t), i,j N,t 0. (6) ν i However, the next theorem shows that the two definitions actually amount to the same thing, and that birth and death parameters and transition functions of two similar birthdeath processes must be related in a very specific way. The proof of the theorem has been relegated to Section 5. Theorem 1 If X and X are similar birth-death processes, then their birth and death parameters are related as λ n + µ n = λ n + µ n, λn µ n+1 = λ n µ n+1, n N, (7) while their transition functions satisfy πi π j p ij (t) = p ij (t), i,j N, t 0. (8) π i π j One might suspect that, conversely, a birth-death process X is similar to a given birthdeath process X if the birth and death rates of X and X are related as in (7), but it is doubtful whether this is true in general unless one imposes an additional condition, as in the next theorem. Theorem 2 Let X be a birth-death process satisfying ( n 1 ) 2 π n (λ k π k ) 1 = if µ 0 > 0, (9) n=1 k=0 and let X be a birth-death process the rates of which are related to those of X as in (7). Then the processes X and X are similar. 2

Again, the proof of this theorem has been relegated to Section 5. In what follows we will assume the validity of condition (9), which is stronger than condition (4) when µ 0 > 0. The questions to be answered now are under which conditions the phenomenon of similarity occurs and, if it occurs, whether one can identify all the birth-death processes which are similar to a given process. These problems were partly resolved by Di Crescenzo [6] who restricted his analysis to the case µ 0 > 0 (see Di Crescenzo [7] for related results on bilateral birth-death processes). In the next section we obtain a complete solution, in which the crucial step is the application of a result of Chihara s [5] on chain sequences. Some examples are given in Section 3 and in Section 4 we briefly discuss similarity for birth-death processes on a finite state space. As announced, Section 5 contains the proofs of Theorems 1 and 2. 2 Families of birth-death processes We will assume that the transition functions {p ij (t), i,j N}of the birth-death process X {X(t), t 0}, with birth rates {λ n,n N}and death rates {µ n,n N}satisfying (4) and (9), are known. We let α n λ n + µ n, β n+1 λ n µ n+1, n N. (10) The question posed at the end of the previous section may now be phrased as follows. Can we identify, besides {λ n, n N}and {µ n, n N}, all other sets of birth rates { λ n,n N}and death rates { µ n,n N}such that λ n + µ n = α n, λn µ n+1 = β n+1, n N. (11) This problem can be transformed into a problem involving chain sequences. Let us recall the definition and some basic results, see Chihara [3, Section III.5] and [5] for proofs and developments. A sequence {a n } n=1 is a chain sequence if there exists a second sequence {g n } n=0 such that (i) 0 g 0 < 1, 0 <g n < 1, n =1, 2,..., (ii) a n =(1 g n 1 )g n, n =1, 2,... The sequence {g n } is called a parameter sequence for {a n }. If both {g n } and {h n } are parameter sequences for {a n },then g n <h n,n=1, 2,..., if and only if g 0 <h 0. (13) Every chain sequence {a n } has a minimal parameter sequence {m n } uniquely determined by the condition m 0 =0, and it has a maximal parameter sequence {M n } characterized by the fact that M 0 >g 0 for any other parameter sequence {g n }. For every x, 0 x M 0, there is a unique parameter sequence {g n } for {a n } such that g 0 = x. (12) 3

Returning to the context of the birth-death process X,welet γ n β n, n =1, 2,..., α n 1 α n and observe that {γ n } n=1 is a chain sequence, since we can write ( ) µ n 1 µ n γ n = 1, λ n 1 + µ n 1 λ n + µ n so that {µ n /(λ n + µ n )} constitutes a parameter sequence for the chain sequence {γ n }. Our task is now to find all parameter sequences for the chain sequence {γ n }, since there is a one-to-one correspondence between parameter sequences for {γ n } and sets of birth and death rates satisfying (11). Indeed, for every parameter sequence g {g n } we can construct the corresponding birth rates {λ (g) n } and death rates {µ(g) n } by letting λ n (g) = α n (1 g n ), µ (g) n = α n g n, n N. (14) The problem of identifying all parameter sequences for a chain sequence for which one parameter sequence is known, has been solved completely by Chihara [5]. (Note that there is a slip in [5, Eq. (3.8)]). In our setting the solution may be formulated as follows. Case (i): µ 0 =0. Let n S 1 0, S n λ 0 (λ k π k ) 1,n N, and S n lim S n (15) k=0 (possibly S = ). Then all parameter sequences for {γ n } are given by {g n }, 0 x 1/S, where g 0 =x, g n = µ n 1 xs n 2, n 1. (16) λ n + µ n 1 xs n 1 It follows in particular that {µ n /(λ n + µ n )} is the only parameter sequence for {γ n } if S =. Case (ii): µ 0 > 0. Let n T 1 0, T n µ 0 (µ k π k ) 1,n N, and T n lim T n (17) k=0 (possibly T = ). Then all parameter sequences for {γ n } are given by {g n }, x 1/T, where g n = µ n 1 xt n 1, n N. (18) λ n + µ n 1 xt n It is interesting to observe that the maximal parameter sequence is obtained for x =1/T. So the sequence {µ n /(λ n + µ n )} is the maximal parameter sequence for {γ n } if T =. Translating these results in terms of birth and death rates we obtain the following theorem. 4

Theorem 3 A birth-death process X with birth rates {λ n, n N} and death rates {µ n, n N}is not similar to any other birth-death process if and only if µ 0 =0 and (λ n π n ) 1 =. (19) n=0 In the opposite case the process is similar to any member of an infinite, one-parameter family of birth-death processes. The sets of birth rates and death rates for the members of this family are given by {λ n, n N}and {µ n, n N}, respectively, where λ n =λ n + µ n µ n, and µ 0 λ 0 x, 1 xs n 2 µ n µ n, n 1, 1 xs n 1 0 x 1/S, (20) if µ 0 =0, and 1 xt n 1 µ n µ n, n 0, x 1/T, (21) 1 xt n if µ 0 > 0. The quantities S n, S, T n and T are defined in (15) and (17). Remarks: The condition (19) for nonsimilarity as well as the upper bound for µ 0 in (20) were obtained previously by Karlin and McGregor [8, Lemma 1]. The condition (19) is actually equivalent to the birth-death process X being recurrent, see, e.g., Karlin and McGregor [9]. Within the setting of similarity definition (6) the result for µ 0 > 0was obtained earlier by Di Crescenzo in [6]. For any x in the intervals given in (20) or (21) the corresponding birth and death rates are the rates of a birth-death process X, say, which is similar to X and whose transition functions can be expressed in the transition functions of X as indicated in (8). It is interesting to observe that the range of possible values for µ 0 = µ 0, the death rate in state 0 of X, can be represented as { } 1 0 µ 0 µ 0 + (λ n π n ) 1, (22) n=0 both when µ 0 = 0 and when µ 0 > 0. This can easily be verified from (20) and (21) by noting that λ n π n = µ n+1 π n+1. The minimal value µ 0 = 0 is obtained by letting x =0when µ 0 =0, and x = when µ 0 > 0, while the maximal value of µ 0 is obtained by choosing x =1/S when µ 0 =0, and x =1/T when µ 0 > 0. 3 Examples 3.1 Example 1: Constant rates We first want to make some additional remarks on the example already discussed by Di Crescenzo [6]. So let X {X(t), t 0} be the birth-death process with constant 5

birth rates λ n λ and constant death rates µ n µ, n N. Since µ 0 > 0 this process is transient. Ledermann and Reuter [11, formula (4.13)] were the first to show that its transition functions can be represented by p ij (t) = ( ) j i { λ } e (λ+µ)t I j i (2t λµ) I j+i+2 (2t λµ), t 0, (23) µ where I n (.) isthenth modified Bessel function, see, e.g., Abramowitz and Stegun [1, Sect. 9.6]. It is readily seen that the quantities T n of (17) are now given by T n = λn+1 µ n+1, n N, (24) (λ µ)λn while λ T = if λ>µ λ µ (25) if λ µ. Hence, we conclude from Theorem 3 that for each x in the interval x 1/T, the process X with rates λ n =λ + µ µ n, µ n =λµ (λ µ)λn 1 x(λ n µ n ), n N, (26) (λ µ)λ n x(λ n+1 µ n+1 ) is similar to X, in accordance with Di Crescenzo [6]. In Figure 1 we show graphs of µ n for n =0, 1,...,5inthecaseλ = 2 and µ =1. We will look more closely at the extremal cases x =1/T and x =. First, if λ µ, then T = and hence X (1/T ) = X (0) = X, the process we started with. But if λ>µ, then we have λ n (1/T )=µ, µ n (1/T )=λ, n N. (27) So the process X (1/T ) is the process we obtain by interchanging λ and µ. Since the timedependent factors of (23) are symmetric in λ and µ, itisevidentthatx (1/T ) is similar to X. Taking x = we readily obtain λ n ( ) = λn+2 µ n+2 λ n+1 µ, µ n( ) = λµ(λn µ n ), n N, (28) n+1 λ n+1 µ n+1 so that µ 0 ( ) = 0 (as it should be). A little algebra subsequently reveals that the associated transition functions p ( ) ij (t) are given by p ( ) ij (t) =λ i j λj+1 µ j+1 λ i+1 µ i+1 p ij(t), t 0. (29) 6

2 1.8 1.6 1.4 1.2 1 0.8 µ 5 µ 2 µ 1 0.6 0.4 µ 0 0.2 25 20 15 10 5 0 x Figure 1: µ n, n=0, 1,...,5, for λ = 2 and µ =1 3.2 Example 2: Linear rates We next look at the birth-death process X {X(t), t 0} with birth rates λ n n + a, for some a>0, and death rates µ n n, n N, so that µ 0 =0. The transition functions for X can be represented by p ij (t) = i! Γ(a + i) where Γ(.) denotes the gamma function 0 e x(t+1) L (a 1) i L (a 1) j x a 1 dx, t 0, (30) Γ(z) e x x z 1 dx, 0 and L (α) n isthenth Laguerre polynomial, normalized such that L (α) n (0) = ( ) n+α n,see Karlin and McGregor [10] where X is said to be of type B. The integrals (30) can easily be evaluated explicitly, yielding p ij (t) = t i (1 + t) a+i i k=0 ( i k ) (1 t t ) k ( ) t j k (a + i) j k, t 0, (31) 1+t (j k)! for i j, see [10, p. 656], while it is obvious from (30) that p ij (t) = i! (a) j p ji (t), t 0. (32) j! (a) i Here n Γ(x + n)/γ. It is not difficult to see that condition (19) for nonsimilarity is satisfied if and only if a 1, so in what follows we will assume a>1. 7

11 10 µ 10 µ 9 9 µ 8 8 7 µ 7 µ 6 6 µ 5 5 µ 4 4 µ 3 3 µ 2 2 µ 1 1 µ 0 0 0 0.1 0.2 0.3 0.4 0.5 0.6 x Figure 2: µ n, n=0, 1,...,10, for a =2 The quantities S n of (15) are now given by n k! S n = = 1 ( ) (n +1)! a, k=0 (a +1) k a 1 (a +1) n n N, (33) as can easily be verified by induction. As a consequence, S = k=0 k! = a (a +1) k a 1. (34) Hence, we conclude from Theorem 3 that for each x in the interval 0 <x 1 1/a, the process X with rates µ 0 =ax, µ n =n(n + a 1) (a 1) n ax[(a) n 1 (n 1)!], n 1, (35) (a 1) n+1 ax[(a) n n!] and λ n =2n + a µ n, n N, is similar to X X (0). In Figure 2 we show graphs of µ n forn =0, 1, 2,...,10 in the case a =2. Looking more closely at the extremal case x =1 1/a, we have λ n (1 1/a) =n +1, µ n (1 1/a) =n + a 1, n N. (36) Karlin and McGregor [10] have found explicit expressions for the transition functions of the process X (1 1/a) (which they call of type A), which are indeed similar to those of X X (0) and given by ij (t) = j! (a) i p ij (t). (37) i! (a) j p (1 1/a) 8

4 Birth-death processes with finite state space Let us now consider a birth-death process X {X(t), t 0} taking values in the finite set N {0, 1,...,N} with birth rates {λ n, n N}and death rates {µ n, n N},all strictly positive except µ 0 and λ N, which may be equal to 0. When µ 0 > 0 the process may escape from N, via 0, to an absorbing state 1, and when λ N > 0 the process may escape from N,viaN, to an absorbing state N +1. Again we can ask the question of whether there exist birth-death processes which are similar in the sense of Section 1 to X. This problem may be analysed in a way which is similar to that of Section 2, but now involving finite chain sequences, that is, numerical sequences {a n } N n=1 for which there exists a sequence {g n} N n=0 aparameter sequence for {a n } such that (i) 0 g 0 < 1, 0 <g n < 1, n=1, 2,...,N 1, 0 <g N 1, (38) (ii) a n =(1 g n 1 )g n, n =1, 2,...,N. We will not give the details of the analysis leading to the following analogue of Theorem 3. Theorem 4 A birth-death process X with finite state space N {0, 1,...,N}, birth rates {λ n, n N}and death rates {µ n, n N}is not similar to any other birth-death process if and only if µ 0 = λ N =0. (39) In the opposite case the process is similar to an infinite, one-parameter family of birth-death processes. The sets of birth rates and death rates for the members of this family are given by {λ n, n N}and {µ n, n N}, respectively, where λ n =λ n + µ n µ n, and µ 0 λ 0 x, 1 xs n 2 µ n µ n,n=1, 2,...,N, 1 xs n 1 0 x (S N 1 +λ 0 D) 1,(40) if µ 0 =0, and 1 xt n 1 µ n µ n, n =0, 1,...,N, x (T N + µ 0 D) 1, (41) 1 xt n if µ 0 > 0. Here D (λ N π N ) 1, which should be interpreted as when λ N =0, and the quantities S n and T n are as in (15) and (17), respectively. It is easy to see that the ranges of possible values of µ 0 = µ 0 and λ N = λ N are given by { } N 1 1 0 µ 0 µ 0 + λ N π N 1+λ N π N (λ n π n ) 1, (42) and 0 λ N λ N + µ 0 π 1 N n=0 N 1 {1+µ 0 n=0 (λ n π n ) 1 } 1, (43) for µ 0 0andλ N 0. Moreover, when µ 0 attains its minimal value 0 then λ N attains its maximal value and vice versa. 9

5 Proofs Proof of Theorem 1. It will be convenient to let P (t) (p ij (t), i,j N), and write the Kolmogorov equations (2) and (3) in matrix notation as P (t) =QP (t) =P (t)q, t 0. (44) With superscript (n) denoting (elementwise) nth derivative we then have P (n) (0+) = Q n, so if X and X are similar, that is, if (5) holds true, then ( Q n ) ij = c ij (Q n ) ij, i,j N,n=0, 1,... (45) Taking n = i j it now follows readily that λ i λi+1... λ j 1 j>i λ i λ i+1...λ j 1 c ij = 1 j = i µ j+1 µ j+2... µ i j<i. µ j+1 µ j+2...µ i (46) Hence, choosing n = 1 and j = i in (45) immediately gives us λ i + µ i = λ i + µ i, i N. (47) The forward equations for X imply p i+2,i+1(t) = λ i p i+2,i (t) ( λ i+1 + µ i+1 ) p i+2,i+1 (t)+ µ i+2 p i+2,i+2 (t), i N, which, upon substitution of (5), (46) and (47), leads to p i+2,i+1 (t) = λ i µ i+1 µ i+1 p i+2,i (t) (λ i+1 + µ i+1 )p i+2,i+1 (t)+µ i+2 p i+2,i+2 (t), i N. But the forward equations for X tell us that the coefficient of p i+2,i (t) should be λ i, so we must have λ i µ i+1 = λ i µ i+1, i N, (48) as required. Moreover, as a consequence of (46) we have c ij = π i π j π i π j c ji, (49) while (46) and (48) imply c ij = c 1 ji for all i, j N. Combining these results gives us (8), completing the proof of Theorem 1. 10

Proof of Theorem 2. We let (λ 0 + µ 0 ) λ0 µ 1 0 0 0... λ0 µ 1 (λ 1 + µ 1 ) λ1 µ 2 0 0... A 0 λ1 µ 2 (λ 2 + µ 2 ) λ2 µ 3 0..., (50).................................... and note that A can be represented as A =Π 1/2 QΠ 1/2, (51) where Π 1/2 and Π 1/2 denote the diagonal matrices with entries πn 1/2,n N, and π 1/2 n,n N, respectively, on the diagonals. It now follows from (44) that so that Π 1/2 P (t)π 1/2 = AΠ 1/2 P (t)π 1/2 =Π 1/2 P (t)π 1/2 A, R P (t) Π 1/2 P (t)π 1/2, t 0, (52) is a solution to the system { R (t) =AR(t) =R(t)A, t 0, R(0) = I, where I denotes the infinite identity matrix. When the birth and death rates of X are related to those of X as in (7) we have (53) Π 1/2 Q Π 1/2 =Π 1/2 QΠ 1/2 = A. (54) Consequently, arguing as before, we find that R P (t) Π 1/2 P (t) Π 1/2 is also a solution to (53). If the solution to (53) is unique, we must therefore have Π 1/2 P (t) Π 1/2 =Π 1/2 P (t)π 1/2, and hence P (t) = Π 1/2 Π 1/2 P (t)π 1/2 Π1/2, (55) so that X and X are similar. So it remains to be shown that the solution to (53) is unique. Obviously, we are only interested in solutions R(t) (r ij (t), i,j N), t 0, to (53) which can be represented in terms of the rates and transition functions of some birth-death process, as in (52). Following the approach of Karlin and McGregor [8] it is not difficult to see that such a solution can also be written as r ij (t) = 0 e xt q i q j ψ(dx), i,j N,t 0, where ψ is a solution of the Stieltjes moment problem (Smp) associated with the matrix A of (51), and q i are the corresponding orthonormal polynomials. As a consequence, 11

there is a unique (relevant) solution to (53) if and only if the Smp associated with A is determined. From Karlin and McGregor [8, Ch. IV] or Chihara [4] we know that this is the case if and only if either µ 0 = 0 and (4) holds true, or, µ 0 > 0 and (9) holds true. This completes the proof of Theorem 2. As an aside we note that when µ 0 > 0, condition (9) must be equivalent to ( πn +( λ n π n ) 1) =, (56) n=0 where λ n and µ n,n N, constitute the (unique) solution of (11) satisfying µ 0 =0. References [1] Abramowitz, M. and Stegun, I.A. (eds.) (1972). Handbook of Mathematical Functions. Dover, New York. [2] Anderson, W.J. (1991). Continuous-Time Markov Chains. Springer, New York. [3] Chihara, T.S. (1978). An Introduction to Orthogonal Polynomials. Gordon and Breach, New York. [4] Chihara, T.S. (1982). Indeterminate symmetric moment problems. J. Math. Anal. Appl. 85, 331-346. [5] Chihara, T.S. (1990). The parameters of a chain sequence. Proc. Amer. Math. Soc. 108, 775-780. [6] Di Crescenzo, A. (1994). On certain transformation properties of birth-and-death processes. pp. 839-846 in: Cybernetics and Systems 94, R. Trappl (ed.). World Scientific, Singapore. [7] Di Crescenzo, A. (1994). On some transformations of bilateral birth-and-death processes with applications to first passage time evaluations. pp. 739-742 in: SITA 94 Proc. 17th Symposium on Information Theory and Its Applications. Hiroshima, Japan. [8] Karlin, S. and McGregor, J.L. (1957). The differential equations of birth-and-death processes, and the Stieltjes moment problem. Trans. Amer. Math. Soc. 85, 489-546. [9] Karlin, S. and McGregor, J.L. (1957). The classification of birth and death processes. Trans. Amer. Math. Soc. 86, 366-400. [10] Karlin, S. and McGregor, J. (1958). Linear growth, birth and death processes. J. Math. Mech. 7, 643-662. [11] Ledermann, W. and Reuter, G.E.H. (1954). Spectral theory for the differential equations of simple birth and death processes. Philos. Trans. Roy. Soc. London, A 246, 321-369. 12