Renewal processes
[47/100%]The purpose of this exercise is to show that for an arbitrary renewal process, , the number of renewals in is a (non-defective) rv.
Let be a sequence of IID inter-renewal rv s. Let be the corresponding renewal epochs for each . Assume that each has a finite expectation and, for any given , use the WLLN to show that .
Use (a) to show that for each and explain why this means that is a rv, i.e., is not defective.
Now suppose that the do not have a finite mean. Consider truncating each to , where for any given , . Let be the renewal counting process for the inter-renewal intervals . Show that is non-defective for each . Show that and thus that is non-defective.
This exercise shows that, for an arbitrary renewal process, , the number of renewals in , is non-defective and has finite expectation.
Let the inter-renewal intervals have the CDF , with, as usual, . Using whatever combination of mathematics and common sense is comfortable for you, show that for any , , there is a such that . In other words, you are to show that a positive rv must lie in some range of positive values bounded away from 0 with positive probability.
Show that .
Show that .
For the of (a), show that for every integer , and thus that for any .
Use the result here to show that is non-defective.
Let be the inter-renewal intervals of a renewal process generalized to allow for inter-renewal intervals of size 0 and let , . Let be the sequence of non-zero interarrival intervals. For example, if , , , then , .
Find the CDF of each in terms of that of the .
Find the PMF of the number of arrivals of the generalized renewal process at each epoch at which arrivals occur.
Explain how to view the generalized renewal process as an ordinary renewal process with inter-renewal intervals and bulk arrivals at each renewal epoch.
When a generalized renewal process is viewed as an ordinary renewal process with bulk arrivals, what is the distribution of the bulk arrivals? (The point of this part is to illustrate that bulk arrivals on an ordinary renewal process are considerably more general than generalized renewal processes.)
Is it true for a renewal process that:
if and only if ?
if and only if ?
if and only if ?
(This shows that convergence WP1 implies convergence in probability.) Let be a sequence of rv s that converges to 0 WP1. For any positive integers and , let
Show that if for some given , then (for any given ) for some positive integer .
Show that for all
Show that, for all , . Use this (plus (1.9)) to show that
Show that if , then . Use this (plus (c)) to show that
Since is arbitrary, this shows that converges in probability.
A town starts a mosquito control program and the rv is the number of mosquitoes at the end of the th year (). Let be the growth rate of the mosquito population in year ; i.e., ; . Assume that is a sequence of IID rv s with the PMF ; ; . Suppose that , the initial number of mosquitoes, is some known constant and assume for simplicity and consistency that can take on non-integer values.
Find as a function of and find .
Let . Find and as a function of .
There is a constant such that WP1. Find and explain how this follows from the SLLN.
Using (c), show that WP1 for some and evaluate .
Explain carefully how the result in (a) and the result in (d) are compatible. What you should learn from this problem is that the expected value of the log of a product of IID rv s might be more significant than the expected value of the product itself.
In this exercise, you will find an explicit expression for . You need not be mathematically precise.
Let be a sequence of rv s. Using the definition of convergence for a sequence of numbers, justify the following set equivalences:
Explain how this shows that must be an event.
Use De Morgan's laws to show that the complement of the above equivalence is
Show that for to converge WP1, it is necessary and sufficient to satisfy
Show that for to converge WP1, it is necessary and sufficient to satisfy
Consider the event where are arbitrary events.
Show that
Show that if , then .
Show that if , then . This well-known result is called the Borel–Cantelli lemma.
The set is often referred to as the set of that are contained in infinitely many of the . Without trying to be precise about what this latter statement means, explain why it is a good way to think about .
Let be the inter-renewal intervals of a renewal process and assume that . Let be an arbitrary number and be a truncated random variable defined by if and otherwise.
Show that for any constant , there is a sufficiently large so that .
Let be the renewal counting process with inter-renewal intervals and show that for all , .
Show that for all sample functions , except a set of probability 0, for all sufficiently large . Note: Since is arbitrary, this means that with probability 1.
The first part of the proof of the SLLN showed that if , then . Here we generalize this to show that for , if , then .
For any , show that .
For any rv , show that if , then .
Let be the residual life at time of a renewal process. First consider a renewal process in which the interarrival time has density ; , and next consider a renewal process with density
For each of the above densities, use renewal-reward theory to find:
the time average of ;
the time average of (i.e., ).
For the exponential density, verify your answers by finding and directly.
Consider a variation of an M/G/1 queueing system in which there is no facility to save waiting customers. Assume customers arrive according to a Poisson process of rate . If the server is busy, the customer departs and is lost forever; if the server is not busy, the customer enters service with a service time CDF denoted by .
Successive service times (for those customers that are served) are IID and independent of arrival times. Assume that customer number 0 arrives and enters service at time .
Show that the sequence of times at which successive successful customers enter service are the renewal times of a renewal process. Show that each inter-renewal interval (where ) is the sum of two independent rv s, where is the th service time; find the probability density of .
Assume that a reward (actually a cost in this case) of one unit is incurred for each customer turned away. Sketch the expected reward function as a function of time for the sample function of inter-renewal intervals and service intervals shown below; the expectation is to be taken over those (unshown) arrivals of customers that must be turned away.
{#fig-1 width="70%"}
Let denote the accumulated reward (i.e., cost) from 0 to and find the limit as of . Explain (without any attempt to be rigorous or formal) why this limit exists with probability 1.
In the limit of large , find the expected reward from time until the next renewal. Hint: Sketch this expected reward as a function of for a given sample of inter-renewal intervals and service intervals; then find the time average.
Now assume that the arrivals are deterministic, with the first arrival at time 0 and the th arrival at time . Does the sequence of times at which subsequent customers start service still constitute the renewal times of a renewal process? Draw a sketch of arrivals, departures, and service time intervals. Again find .
Let be the age of a renewal process and be the residual life. Let be the CDF of the inter-renewal interval and find the following as a function of :
;
;
for a Poisson process.
Let be the fraction of time (over the limiting interval ) that the age of a renewal process is at most . Show that satisfies
Let be a stopping rule and be the indicator rv of the event . Show that .
Show that , i.e., show that for each , for each (except perhaps for a set of probability 0).
Use Wald's equality to compute the expected number of trials of a Bernoulli process up to and including the th success.
Use elementary means to find the expected number of trials up to and including the first success. Use this to find the expected number of trials up to and including the th success. Compare with (a).
A gambler with an initial finite capital of dollars starts to play a dollar slot machine. At each play, either his dollar is lost or is returned with some additional number of dollars. Let be his change of capital on the th play. Assume that is a set of IID rv s taking on integer values . Assume that . The gambler plays until losing all his money (i.e., the initial dollars plus subsequent winnings).
Let be the number of plays until the gambler loses all his money. Is the weak law of large numbers sufficient to argue that (i.e., that is a random variable) or is the strong law necessary?
Find .
Let be IID binary random variables with . Let be a positive integer-valued random variable defined on the above sample space of binary sequences and let . Find the simplest example you can in which is not a stopping trial for and where .
Let , where is a positive integer, is a negative integer, and . Assume that is a set of zero-mean IID rv s that can take on only the set of values , each with positive probability.
Is a stopping rule? Why or why not?
What are the possible values of ?
Find an expression for in terms of , , and , where .
Find an expression for from Wald's equality. Use this to solve for .
Show that the interchange of expectation and sum in
(from the proof of Wald's equality, Theorem 5.5.3) is valid if .
Consider a G/G/1 queue with inter-arrival sequence and service time sequence . Assume that and that .
Let and let be the sum of the intervals between 0 and during which the server is empty. Show that and explain the difference between them. Show that if arrival enters an empty system, then .
Assume that the inter-arrival distribution is bounded in the sense that for some , . Show that the duration of each idle period for the G/G/1 queue has a duration less than or equal to .
Show that the number of idle intervals for the server up to time is at least . Show that the number of renewals up to time () at which an arrival sees an empty system is at least .
Show that the renewal counting process satisfies WP1 for some . Show that the mean number of arrivals per arrival to an empty system is .
Assume everything above except to remove the assumption that for some . Use the truncation method on to establish (d) for this new case.
A company has three promising approaches to the design of a new wireless application. Unknown to the company, the first approach requires two weeks, the second, four weeks, and the third eight weeks, but only the first will be successful. The company hires one programmer after another for the design, stopping when a design is successful. Let be the time taken by the th programmer, assuming that each programmer independently chooses an approach with equal probability (i.e., for , and 8). Let be the number of the first programmer who is successful and let be the time of the first success.
Use Wald's equality to find .
Compute and show that it is not equal to .
Use (b) for a second derivation of .
Find if the company tells successive programmers which approaches have been tried unsuccessfully earlier.
Consider a renewal process for which the inter-renewal intervals have the PMF . Let and use elementary combinatorics to show that , , and .
Use elementary means to show that and . Verify (5.37) in this case (i.e., for ) and show why is not a stopping trial. Note also that the expected duration, is not equal to .
Generalize (a) so that and . Let , i.e., is 1 if an arrival occurs at time and is 0 if no arrival occurs at . Show that satisfies the difference equation for where by convention . Use this to show that
From this, solve for for and verify the result in (a).
Let be a renewal counting process generalized to allow for inter-renewal intervals of duration 0. Let each have the PMF ; .
Sketch a typical sample function of . Note that can be non-zero (i.e., is the number of zero interarrival times that occur before the first non-zero interarrival time).
Evaluate as a function of .
Sketch as a function of .
Evaluate as a function of (do this directly, and then use Wald's equality as a check on your work).
Sketch the lower bound on the same graph with (c).
Sketch as a function of and find the time average of this quantity.
Evaluate as a function of ; verify that .
Let be a renewal counting process and let be the expected number of arrivals up to and including time . Let be the sequence of inter-renewal intervals and assume that .
For all and show that .
Use (a) to show that for . This equation is the renewal equation, derived differently in (5.55).
Suppose that is an exponential rv of parameter . Evaluate from (5.57); verify that the inverse Laplace transform is ; .
Let the inter-renewal interval of a renewal process have a second-order Erlang density, . Evaluate the Laplace transform of .
Use this to evaluate for . Verify that your answer agrees with (5.59).
Evaluate the slope of at and explain why that slope is not surprising.
View the renewals here as being the even numbered arrivals in a Poisson process of rate . Sketch for the process here and show one half the expected number of arrivals for the Poisson process on the same sketch. Explain the difference between the two.
Let be the number of arrivals in the interval for a Poisson process of rate . Show that the probability that is even is .
Let be the number of even numbered arrivals in . Show that where is a random variable that is 1 if is odd and 0 otherwise.
Use (a) and (b) to find . Note that this is for a renewal process with second-order Erlang inter-renewal intervals.
Consider a function defined as follows for : For each integer and each integer , for . For all other , . Sketch this function and show that is not directly Riemann integrable.
Evaluate the Riemann integral .
Suppose is decreasing, i.e., that for all . Show that if is Riemann integrable, it is also directly Riemann integrable.
Suppose , defined for , is decreasing and Riemann integrable and that for all . Show that is Directly Riemann integrable.
Let be a nonnegative rv for which . Show that is directly Riemann integrable.
Let denote the age, residual life, and duration at time for a renewal counting process in which the interarrival time has a density given by . Find the following probability densities; assume steady state:
for given ;
;
;
for given ;
for given .
Find for a renewal counting process with inter-renewal times .
Evaluate your result for the case in which is an exponential rv (you already know what the result should be in this case).
Evaluate your result for a case in which and . Explain (very briefly) why this does not contradict the elementary renewal theorem.
Customers arrive at a bus stop according to a Poisson process of rate . Independently, buses arrive according to a renewal process with the inter-renewal interval CDF . At the epoch of a bus arrival, all waiting passengers enter the bus and the bus leaves immediately. Let be the number of customers waiting at time .
Draw a sketch of a sample function of .
Given that the first bus arrives at time , find the expected number of customers picked up; then find , again given the first bus arrival at .
Find (with probability 1). Assuming that is a non-arithmetic distribution, find . Interpret what these quantities mean.
Use (c) to find the time-average expected wait per customer.
Find the fraction of time that there are no customers at the bus stop. (Hint: this part is independent of (a), (b), and (c); check your answer for .)
Consider the same setup as in Exercise 5.31 except that now customers arrive according to a non-arithmetic renewal process independent of the bus arrival process. Let be the expected inter-renewal interval for the customer renewal process. Assume that both renewal processes are in steady state (i.e., either we look only at , or we assume that they are equilibrium processes). Given that the th customer arrives at time , find the expected wait for customer . Find the expected wait for customer without conditioning on the arrival time.
Let be a Poisson counting process of rate . Assume that the arrivals from this process are switched on and off by arrivals from a non-arithmetic renewal counting process (see figure below). The two processes are independent.
{#fig-1 width="80%"}
Let be the switched process; that is includes arrivals from while is even and excludes arrivals from while is odd.
Is a renewal counting process? Explain your answer and if you are not sure, look at several examples for .
Find and explain why the limit exists with probability 1. Hint: Use symmetry -- i.e., look at . To show why the limit exists, use the renewal-reward theorem. What is the appropriate renewal process to use here?
Now suppose that is a non-arithmetic renewal counting process but not a Poisson process and let the expected inter-renewal interval be . For any given , find and explain your reasoning. Why does your argument in (b) fail to demonstrate a time average for this case?
An M/G/1 queue has arrivals at rate and a service time distribution given by . Assume that . Epochs at which the system becomes empty define a renewal process. Let be the CDF of the inter-renewal intervals and let be the mean inter-renewal interval.
Find the fraction of time that the system is empty as a function of and . State carefully what you mean by such a fraction.
Apply Little's theorem, not to the system as a whole, but to the number of customers in the server (i.e., 0 or 1). Use this to find the fraction of time that the server is busy.
Combine your results in (a) and (b) to find in terms of and ; give the fraction of time that the system is idle in terms of and .
Find the expected duration of a busy period.
Consider a sequence of IID binary rv s with and . A renewal is said to occur at time if and .
Show that is a renewal counting process where is the number of renewals up to and including time .
What is the probability that a renewal occurs at time , ?
Find the expected inter-renewal interval; use Blackwell's theorem.
Now change the definition of renewal; a renewal now occurs at time if and . Show that is a delayed renewal counting process where is the number of renewals up to and including for this new definition of renewal.
Find for for the case in (d).
Find for the case in (d). Hint: Show that and .
Looking at your results above for the strings (0,1) and (1,1), show that for an arbitrary string , the arrival process of successive occurrences of the string is a renewal process if no proper suffix of is a prefix of . Otherwise it is a delayed renewal process.
Suppose a string of length has no proper suffixes equal to a prefix. Show that the time to the first renewal satisfies
Suppose the string has at least one proper suffix equal to a prefix, and suppose is the length of the longest such suffix. Show that the expected time until the first occurrence of is given by
where is the expected time until the first occurrence of the string .
Show that the expected time until the first occurrence of is given by
where, for , is 1 if the prefix of of length is equal to the suffix of length .
Use (i) to find, first, the expected time until the first occurrence of and, second, that of . Use (4.31) (the recursive first-occurrence-time relation , applied with a run of six 1s) to check the relationship between these answers.
A large system is controlled by identical computers. Each computer independently alternates between an operational state and a repair state. The duration of the operational state, from completion of one repair until the next need for repair, is a random variable with finite expected duration . The time required to repair a computer is an exponentially distributed random variable with density . All operating durations and repair durations are independent. Assume that all computers are in the repair state at time 0.
For a single computer, say the th, do the epochs at which the computer enters the repair state form a renewal process? If so, find the expected inter-renewal interval.
Do the epochs at which it enters the operational state form a renewal process?
Find the fraction of time over which the th computer is operational and explain what you mean by fraction of time.
Let be the probability that the th computer is operational at time and find .
The system is in failure mode at a given time if all computers are in the repair state at that time. Do the epochs at which system failure modes begin form a renewal process?
Let be the probability that the the system is in failure mode at time . Find .
For small, find the probability that the system enters failure mode in the interval in the limit as .
Find the expected time between successive entries into failure mode.
Next assume that the repair time of each computer has an arbitrary density rather than exponential, but has a mean repair time of . Do the epochs at which system failure modes begin form a renewal process?
Repeat (f) for the assumption in (i).
Let and be independent renewal counting processes. Assume that each has the same CDF for interarrival intervals and assume that a density exists for the interarrival intervals.
Is the counting process a renewal counting process? Explain.
Let be the interval from until the first arrival (from either process) after . Find an expression for the CDF of in the limit (you may assume that time averages and ensemble averages are the same).
Assume that a reward of rate 1 unit per second starts to be earned whenever an arrival from process 1 occurs and ceases to be earned whenever an arrival from process 2 occurs. Assume that exists with probability 1 and find its numerical value.
Let be the interval from until the first time after that (as in (c)) changes value. Find an expression for in the limit .
This problem provides another way of treating ensemble averages for renewal-reward problems. Assume for notational simplicity that is a continuous random variable.
Show that where and .
Show that is equal to for .
Assuming that exists for all , show that the joint density of is for .
Show that .
In this problem, we show how to calculate the distribution of the residual life as a transient in . Let where , and let the interarrival distribution have the density . Let have the density .
Show that these densities are related by the integral equation
Let and let and be the Laplace transforms of and respectively. Find as a function of and .
Consider the inter-renewal density for (as in Example 5.6.1, which derives its Laplace transform and the resulting , ). Find and for this example.
Find . Show that your answer reduces to that of (5.30) in the limit as .
Explain how to go about finding in general, assuming that has a rational Laplace transform.
This problem is designed to give you an alternate way of looking at ensemble averages for renewal-reward problems. First we find an exact expression for . We find this for arbitrary and , .
By breaking the event into subevents , explain each of the following steps:
Show that for ,
Draw a two dimensional sketch, with age and duration as the axes, and show the region of (age, duration) values corresponding to the event .
Assume that for large , can be approximated (according to Blackwell) as , where . Assuming that also has a density, use the result in parts (b) and (c) to find the joint density of age and duration.
Show that for a G/G/1 queue, the time-average wait in the system is the same as .
If one extends the definition of renewal processes to include inter-renewal intervals of duration 0, with , show that the expected number of simultaneous renewals at a renewal epoch is , and that, for a non-arithmetic process, the probability of 1 or more renewals in the interval tends to as .
The purpose of this exercise is to show why the interchange of expectation and sum in the proof of Wald's equality is justified when but not otherwise. Let , be a sequence of IID rv's, each with the CDF . Assume that .
Show that is a rv for each integer . Note: is obviously a mapping from the sample space to the real numbers, but you must show that it is finite with probability 1. Hint: Recall the additivity axiom for the real numbers.
Let be a stopping trial for . Show that is a rv. Hint: Represent as .
For the stopping trial above, let be the stopping trial truncated to integer . Explain why the interchange of sum and expectation in the proof of Wald's equality is justified in this case, so .
In parts (d), (e), and (f), assume, in addition to the assumptions above, that , i.e., that the are positive rv's. Show that if and if .
Show that
Show that if and if .
Now assume that has both negative and positive values with non-zero probability and let and . Express as where and . Show that if and that is undefined otherwise.
This is a very simple exercise designed to clarify confusion about the roles of past, present, and future in stopping rules. Let be a sequence of IID binary rv's, each with the pmf , . Let be a positive integer-valued rv that takes on the sample value of the first trial for which . That is, for each ,
Use the definition of stopping trial, Definition 5.5.1 (a stopping trial, or stopping time, for a sequence of rv's is a positive, integer-valued rv such that the indicator function of the event is a function of for each ), to show that is a stopping trial for .
Show that for any given , the rv's and are statistically dependent.
Show that for every , and are statistically dependent.
Show that for every , and are statistically independent.
Show that and are statistically independent. Give the simplest characterization you can of the event .
Show that and are statistically dependent.
Assume a friend has developed an excellent program for finding the steady-state probabilities for finite-state Markov chains. More precisely, given the transition matrix , the program returns for each . Assume all chains are aperiodic.
You want to find the expected time to first reach a given state starting from a different state for a Markov chain with transition matrix . You modify the matrix to where , for , and otherwise. How do you find the desired first-passage time from the program output given as an input? (Hint: The times at which a Markov chain enters any given state can be considered as renewals in a (perhaps delayed) renewal process).
Using the same as the program input, how can you find the expected number of returns to state before the first passage to state ?
Suppose, for the same Markov chain and the same starting state , you want to find the probability of reaching some given state before the first-passage to . Modify to some so that the above program with as an input allows you to easily find the desired probability.
Let , be an arbitrary set of initial probabilities for the same Markov chain as above. Show how to modify to some for which the steady-state probabilities allow you to easily find the expected time of the first-passage to state .
Consider a ferry that carries cars across a river. The ferry holds an integer number of cars and departs the dock when full. At that time, a new ferry immediately appears and begins loading newly arriving cars ad infinitum. The ferry business has been good, but customers complain about the long wait for the ferry to fill up.
Assume that cars arrive according to a renewal process. The IID interarrival times have mean , variance and moment generating function . Does the sequence of departure times of the ferries form a renewal process? Explain carefully.
Find the expected time that a customer waits, starting from its arrival at the ferry terminal and ending at the departure of its ferry. Note 1: Part of the problem here is to give a reasonable definition of the expected customer waiting time. Note 2: It might be useful to consider and first.
Is there a `slow truck' phenomenon (a dependence on ) here? Give an intuitive explanation. Hint: Look at and again.
In an effort to decrease waiting, the ferry managers institute a policy where no customer ever has to wait more than one hour. Thus, the first customer to arrive after a ferry departure waits for either one hour or the time at which the ferry is full, whichever comes first, and then the ferry leaves and a new ferry starts to accumulate new customers. Does the sequence of ferry departures form a renewal process under this new system? Does the sequence of times at which each successive empty ferry is entered by its first customer form a renewal process? You can assume here that is the time of the first arrival to the first ferry. Explain carefully.
Give an expression for the expected waiting time of the first new customer to enter an empty ferry under this new strategy.
Consider a (G/G/) `queueing' system. That is, the arriving customers form a renewal process, i.e., the interarrival intervals are IID. You may assume throughout that . Each arrival immediately enters service; there are infinitely many servers, so one is immediately available for each arrival. The service time of the th customer is a rv of expected value and is IID with all other service times and independent of all inter-arrival times. There is no queueing in such a system, and one can easily intuit that the number in service never becomes infinite since there are always available servers.
{#fig-1 width="70%"}
Give a simple example of distributions for and in which this system never becomes empty. Hint: Deterministic rv's are fair game.
We want to prove Little's theorem for this type of system, but there are no renewal instants for the entire system. As illustrated above, let be the renewal counting process for the arriving customers and let be the number of customers in the system (i.e., receiving service) at time . In distinction to our usual view of queueing systems, assume that there is no arrival at time 0 and the first arrival occurs at time . The th arrival occurs at time .
Carefully explain why, for each sample point and each time ,
Find the limit as of and show that this limit exists WP1.
Assume that the service time distribution is bounded between 0 and some , i.e., that . Carefully explain why
Find the limit as of and indicate why this limit exists WP1.