(i) Define a Poisson process as a Markov chain on the non-negative integers and state three other characterisations.
(ii) Let λ(s)(s⩾0) be a continuous positive function. Let (Xt,t⩾0) be a right-continuous process with independent increments, such that
P(Xt+h=Xt+1)P(Xt+h=Xt)=λ(t)h+o(h)=1−λ(t)h+o(h)
where the o(h) terms are uniform in t∈[0,∞). Show that Xt is a Poisson random variable with parameter Λ(t)=∫0tλ(s)ds.
(iii) Let X=(Xn:n=1,2,…) be a sequence of independent and identically distributed positive random variables with continuous density function f. We define the sequence of successive records, (Kn,n=0,1,…), by K0:=0 and, for n⩾0,
Kn+1:=inf{m>Kn:Xm>XKn}
The record process,(Rt,t⩾0), is then defined by
Rt:=#{n⩾1:XKn⩽t}
Explain why the increments of R are independent. Show that Rt is a Poisson random variable with parameter −log{1−F(t)} where F(t)=∫0tf(s)ds.
[You may assume the following without proof: For fixed t>0, let Y (respectively, Z ) be the subsequence of X obtained by retaining only those elements that are greater than (respectively, smaller than) t. Then Y (respectively, Z ) is a sequence of independent variables each having the distribution of X1 conditioned on X1>t (respectively, X1<t ); and Y and Z are independent.]