Bivariate dependence, stochastic orders and conditional tails of the recurrence times in a renewal process

The structure of dependence between the forward and the backward recurrence times in a renewal process is considered. Monotonicity properties, as a function of time, for the tail of the bivariate distribution for the recurrence times are discussed, as well as their link with aging properties of the interarrival distribution F. A necessary and sufficient condition for the renewal function to be concave is also obtained. Finally, some properties of the conditional tail for one of the two recurrence times, given some information on the other, are studied. The results are illustrated by some numerical examples.