Abstract
Here, we solve an open problem raised by Harkness and Shantaramin 1969 who obtained, under sufficient conditions, a limit theorem in law for sequences of nonnegative random variables built with the iterated stationary excess operator. More precisely, they considered the distribution function (d.f.) F of a nonnegative random variable X having allmoments mu(n) = integral(infinity)(0) u(n)dF(u) finite. The stationary excess operator corresponds to the d.f. F-1(x) = mu(-1)(1) integral(x)(0) (1 - F(u)) du, x > 0, so that the iterated stationary excess operator (ISEO) at the order n >= 2 corresponds to the d.f. F-n(x) = mu(-1)(1,n-1) integral(x)(0) (1 - Fn-1(u)) du, where mu(1,n-1) = integral(infinity)(0) (1 - Fn-1(u)) du. Let the r.v. E-n(X) denotes a realization of F-n. Harkness and Shantaramprovided sufficient conditions for the existence of a normalizing sequence cn such that the sequence E-n(X)/c(n) converges in distribution or, equivalently, F-n(c(n)x) -> G(x) for some d.f. G. This raises a problem of identification the class of possible limits G. We give here a complete answer to this problem through the convergence of families built by the continuous time version of the ISEO and also by size biasing. In this context, we show that
(i) the conditions of Harkness and Shantaram are actually necessary;
(ii) continuous time convergence is equivalent to discrete time convergence; and
(iii) the only possible limits in distribution G are mixture of exponential with log-normal distributions.