PutThis 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 givesOn this probability-one event,Dividing by and using givesBoth outside expressions tend to , soThis is the renewal counting law of large numbers.
The size-biased distribution associated with is defined byfor every bounded measurable . Thus, if has density , then has density .
Now suppose that is exponential with rate . The renewal epochs form a Poisson process. Writeso 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 isThe size-biased density of is likewiseHence the exponential renewal interval limit is
Let be the distribution function of , write , and fix . SetConditioning on the first interarrival givesIndeed, if , the first interval contains and must also have length at least ; if , the process starts afresh at time .
Put and . ThenwhereIn particular . Iterating the renewal equation yieldsFor fixed , the last term tends to zero in absolute value because is bounded andIt follows thatThus the stochastic length bias of a renewal interval givesfor every .
Articles by others on the same topic
There are currently no matching articles.