Put
This is the renewal process generated by the interarrival times. Since the variables have a density and positive finite mean, almost surely, so is finite and tends to infinity with . The strong law gives
On this probability-one event,
Dividing by and using gives
Both outside expressions tend to , so
This is the renewal counting law of large numbers.
The size-biased distribution associated with is defined by
for every bounded measurable . Thus, if has density , then has density .
Now suppose that is exponential with rate . The renewal epochs form a Poisson process. Write
so that . Independent stationary increments and the exponential waiting-time law show that is exponential with rate , independent of the history up to and hence of . For fixed and ,
Consequently converges in distribution to another rate- exponential variable, independent of . Therefore converges to the sum of two independent rate- exponentials, whose density is
The size-biased density of is likewise
Hence the exponential renewal interval limit is
Let be the distribution function of , write , and fix . Set
Conditioning on the first interarrival gives
Indeed, if , the first interval contains and must also have length at least ; if , the process starts afresh at time .
Put and . Then
where
In particular . Iterating the renewal equation yields
For fixed , the last term tends to zero in absolute value because is bounded and
It follows that
Thus the stochastic length bias of a renewal interval gives
for every .

Articles by others on the same topic (0)

There are currently no matching articles.