4.II.26J

Applied Probability
Part II, 2007

A population of rare Monarch butterflies functions as follows. At the times of a Poisson process of rate λ\lambda a caterpillar is produced from an egg. After an exponential time, the caterpillar is transformed into a pupa which, after an exponential time, becomes a butterfly. The butterfly lives for another exponential time and then dies. (The Poissonian assumption reflects the fact that butterflies lay a huge number of eggs most of which do not develop.) Suppose that all lifetimes are independent (of the arrival process and of each other) and let their rate be μ\mu. Assume that the population is in an equilibrium and let CC be the number of caterpillars, RR the number of pupae and BB the number of butterflies (so that the total number of insects, in any metamorphic form, equals N=C+R+B)N=C+R+B). Let π(c,r,b)\pi_{(c, r, b)} be the equilibrium probability P(C=c,R=r,B=b)\mathbb{P}(C=c, R=r, B=b) where c,r,b=0,1,c, r, b=0,1, \ldots

(a) Specify the rates of transitions (c,r,b)(c,r,b)(c, r, b) \rightarrow\left(c^{\prime}, r^{\prime}, b^{\prime}\right) for the resulting continuous-time Markov chain (Xt)\left(X_{t}\right) with states (c,r,b)(c, r, b). (The rates are non-zero only when c=cc^{\prime}=c or c=c±1c^{\prime}=c \pm 1 and similarly for other co-ordinates.) Check that the holding rate for state (c,r,b)(c, r, b) is λ+μn\lambda+\mu n where n=c+r+bn=c+r+b.

(b) Let QQ be the Q-matrix from (a). Consider the invariance equation πQ=0\pi Q=0. Verify that the only solution is

π(c,r,b)=(3λ/μ)n3nc!r!b!exp(3λμ),n=c+r+b\pi_{(c, r, b)}=\frac{(3 \lambda / \mu)^{n}}{3^{n} c ! r ! b !} \exp \left(-\frac{3 \lambda}{\mu}\right), \quad n=c+r+b

(c) Derive the marginal equilibrium probabilities P(N=n)\mathbb{P}(N=n) and the conditional equilibrium probabilities P(C=c,R=r,B=bN=n)\mathbb{P}(C=c, R=r, B=b \mid N=n).

(d) Determine whether the chain (Xt)\left(X_{t}\right) is positive recurrent, null-recurrent or transient.

(e) Verify that the equilibrium probabilities P(N=n)\mathbb{P}(N=n) are the same as in the corresponding M/GI/M / G I / \infty system (with the correct specification of the arrival rate and the service-time distribution).