Let Y1,Y2,… be i.i.d. random variables with values in {1,2,…} and E[Y1]=μ<∞. Moreover, suppose that the greatest common divisor of {n:P(Y1=n)>0} is 1 . Consider the following process
Xn=inf{m⩾n:Y1+…+Yk=m, for some k⩾0}−n.
(a) Show that X is a Markov chain and find its transition probabilities.
(b) Let T0=inf{n⩾1:Xn=0}. Find E0[T0].
(c) Find the limit as n→∞ of P(Xn=0). State carefully any theorems from the course that you are using.