(a) Let λ:Rd→[0,∞) be such that Λ(A):=∫Aλ(x)dx is finite for any bounded measurable set A⊆Rd. State the properties which define a (non-homogeneous) Poisson process Π on Rd with intensity function λ.
(b) Let Π be a Poisson process on Rd with intensity function λ, and let f:Rd→Rs be a given function. Give a clear statement of the necessary conditions on the pair Λ,f subject to which f(Π) is a Poisson process on Rs. When these conditions hold, express the mean measure of f(Π) in terms of Λ and f.
(c) Let Π be a homogeneous Poisson process on R2 with constant intensity 1 , and let f:R2→[0,∞) be given by f(x1,x2)=x12+x22. Show that f(Π) is a homogeneous Poisson process on [0,∞) with constant intensity π.
Let R1,R2,… be an increasing sequence of positive random variables such that the points of f(Π) are R12,R22,… Show that Rk has density function
hk(r)=(k−1)!12πr(πr2)k−1e−πr2,r>0