Poisson processes
[28/96%]Find the Erlang density by convolving with itself times.
Find the moment generating function (MGF) of (or find the Laplace transform of ), and use this to find the moment generating function (or Laplace transform) of . Invert your result to find .
Find the Erlang density by starting with (2.15) and then calculating the marginal density for .
Find the mean, variance, and MGF of , as given by (2.17).
Show by discrete convolution that the sum of two independent Poisson rv's is again Poisson.
Show by using the properties of the Poisson process that the sum of two independent Poisson rv's must be Poisson.
The purpose of this exercise is to give an alternative derivation of the Poisson distribution for , the number of arrivals in a Poisson process up to time . Let be the rate of the process.
Find the conditional probability for all .
Using the Erlang density for , use (a) to find .
Assume that a counting process has the independent and stationary increment properties and satisfies (2.17) (for all ). Let be the epoch of the first arrival and be the interarrival time between the th and the th arrival. Use only these assumptions in doing the following parts of this exercise.
Show that .
Let be the epoch of the th arrival. Show that .
For each , show that and that is independent of .
Argue that is independent of .
Let be a positive function of a real variable that satisfies and let .
Show that for integer , .
Show that for integer , .
Show that for all integer , .
The above parts show that is linear in positive rational numbers. For very picky mathematicians, this does not guarantee that is linear in positive real numbers. Show that if is also monotonic in , then is linear in .
Assume that a counting process has the independent and stationary increment properties and, for all , satisfies
Let and show that .
Show that , the time of the first arrival, is exponential with parameter .
Let and show that .
Argue that is exponential with parameter and independent of earlier arrival times.
For a Poisson process, let be an arbitrary time and let be the duration of the interval from until the next arrival after . Let , for each , be the interarrival time from the epoch of the th arrival after until the th arrival.
Given that , explain why for and .
Conditional on and , show that are IID.
Show that are IID.
Consider a `shrinking Bernoulli' approximation to a Poisson process as described in Subsection 2.2.5.
Show that
Let , and let be fixed for the remainder of the exercise. Explain why
where the limit on the left-hand side is taken over values of that divide .
Derive the following two equalities:
Conclude from this that for every and every , , where is a Poisson process of rate .
Let be a Poisson process of rate .
Find the joint probability mass function (PMF) of for .
Find for .
Find , where is the number of arrivals in and .
An elementary experiment is independently performed times, where is a Poisson rv of mean . Let be the set of sample points of the elementary experiment and let , , denote the probability of .
Let denote the number of elementary experiments performed for which the output is . Find the PMF for ().
Find the PMF for .
Find the conditional PMF for given that .
Find the conditional PMF for given that .
Find the conditional PMF for given that .
No calculation is necessary.
Starting from time , northbound buses arrive at 77 Mass. Avenue according to a Poisson process of rate . Customers arrive according to an independent Poisson process of rate . When a bus arrives, all waiting customers instantly enter the bus and subsequent customers wait for the next bus.
Find the PMF for the number of customers entering a bus (more specifically, for any given , find the PMF for the number of customers entering the th bus).
Find the PMF for the number of customers entering the th bus given that the interarrival interval between bus and bus is .
Given that a bus arrives at time 10:30 pm, find the PMF for the number of customers entering the next bus.
Given that a bus arrives at time 10:30 pm and no bus arrives between 10:30 and 11 pm, find the PMF for the number of customers on the next bus.
Find the PMF for the number of customers waiting at some given time, say 2:30 pm (assume that the processes started infinitely far in the past).
Find the PMF for the number of customers getting on the next bus to arrive after 2:30 pm.
Given that I arrive to wait for a bus at 2:30 pm, find the PMF for the number of customers getting on the next bus.
Think of what happens moving backward in time from 2:30 pm.
This is different from (a); look carefully at part (e).
Show that the arrival epochs of a Poisson process satisfy
Contrast this with the result of Theorem 2.5.1.
This is easy if you use only the results of Section 2.2.2.
Equation (2.42) gives , which is the density of rv conditional on for . Multiply this expression by and sum over to find ; verify that your answer is indeed the Erlang density.
Consider generalizing the bulk arrival process in Figure 2.5. Assume that the epochs at which arrivals occur form a Poisson process of rate . At each arrival epoch , the number of arrivals , satisfies , . The rv's are IID.
Let be the counting process of the epochs at which single arrivals occur. Find the PMF of as a function of . Similarly, let be the counting process of the epochs at which double arrivals occur. Find the PMF of as a function of .
Let be the counting process of the total number of arrivals. Give an expression for the PMF of as a function of .
For a Poisson counting process of rate , find the joint probability density of conditional on .
Find .
Find for .
Find the density for .
Give an explanation for the striking similarity between the condition and the condition .
For a Poisson process of rate , find for and .
Using this, find .
Check your answer against (2.41).
Consider a counting process in which the rate is a rv with probability density for . Conditional on a given sample value for the rate, the counting process is a Poisson process of rate (i.e., nature first chooses a sample value and then generates a sample path of a Poisson process of that rate ).
What is , where is the number of arrivals in the interval for some given ?
Show that , the unconditional PMF for , is given by
Find , the density of conditional on .
Find and interpret your result for very small with and for very large with large.
Find . Find for some .
Consider the distribution of conditional on and .
Use Equation (2.42) -- for -- to find .
Find the second moment and the variance of conditional on .
Assume that is odd, and consider . What is the relationship between , conditional on , and the sample median of IID uniform rv's.
Give a weak law of large numbers (WLLN) for the above median.
When you integrate , compare this integral with and use the fact that the latter expression is a probability density.
Extend the previous hint.
Suppose cars enter a one-way infinite length, infinite lane highway at a Poisson rate . The th car to enter chooses a velocity and travels at this velocity. Assume that the 's are independent positive rv's having a common distribution . Derive the distribution of the number of cars that are located in an interval at time .
Consider an M/G/ queue, i.e., a queue with Poisson arrivals of rate in which each arrival , independent of other arrivals, remains in the system for a time , where is a set of IID rv's with some given CDF .
You may assume that the number of arrivals in any interval that are still in the system at some later time is statistically independent of the number of arrivals in that same interval that have departed from the system by time .
Let be the number of customers in the system at time . Find the mean, , of and find .
Let be the number of customers that have departed from the system by time . Find the mean, , and find .
Find .
Let be the total number of arrivals up to time . Find .
Find .
The voters in a given town arrive at the place of voting according to a Poisson process of rate voters per hour. The voters independently vote for candidate and candidate each with probability . Assume that the voting starts at time and continues indefinitely.
Conditional on 1000 voters arriving during the first 10 hours of voting, find the probability that candidate receives of those votes.
Again conditional on 1000 voters during the first 10 hours, find the probability that candidate receives votes in the first 4 hours of voting.
Let be the epoch of the arrival of the first voter voting for candidate . Find the density of .
Find the PMF of the number of voters for candidate who arrive before the first voter for .
Define the th voter as a reversal if the th voter votes for a different candidate than the th. For example, in the sequence of votes , the third, fourth, and sixth voters are reversals; the third and sixth are to reversals and the fourth is a to reversal. Let be the number of reversals up to time ( in hours). Is a Poisson process? Explain.
Find the expected time (in hours) between reversals.
Find the probability density of the time between reversals.
Find the density of the time from one to reversal to the next to reversal.
Let be a Poisson counting process of rate . Assume that the arrivals from this process are switched on and off by arrivals from a second independent Poisson process of rate .
{#fig-1 width="85%"}
Let be the switched process, i.e., includes the arrivals from during periods when is even and excludes the arrivals from while is odd.
Find the PMF for the number of arrivals of the first process, , during the th period when the switch is on.
Given that the first arrival for the second process occurs at epoch , find the conditional PMF for the number of arrivals of the first process up to .
Given that the number of arrivals of the first process, up to the first arrival for the second process, is , find the density for the epoch of the first arrival from the second process.
Find the density of the interarrival time for .
This part is quite messy and is done most easily via Laplace transforms.
Let us model the chess tournament between Fisher and Spassky as a stochastic process. Let , for , be the duration of the th game and assume that is a set of IID exponentially distributed rv's each with density . Suppose that each game (independently of all other games, and independently of the length of the games) is won by Fisher with probability , by Spassky with probability , and is a draw with probability . The first player to win games is defined to be the winner, but we consider the match up to the point of winning as being embedded in an unending sequence of games.
Find the distribution of time, from the beginning of the match, until the completion of the first game that is won (i.e., that is not a draw). Characterize the process of the number of games won up to and including time . Characterize the process of the number of games won by Fisher and the number won by Spassky.
For the remainder of the problem, assume that the probability of a draw is zero, i.e., that . How many of the first games must be won by Fisher in order to win the match?
What is the probability that Fisher wins the match? Your answer should not involve any integrals.
Let be the epoch at which the match is completed (i.e., either Fisher or Spassky wins). Find the CDF of .
Find the probability that Fisher wins and that lies in the interval for arbitrarily small .
Consider the unending sequence of games and use (b).
For , find the conditional density of , conditional on and .
Use (a) to find the joint density of conditional on . Verify that your answer agrees with (2.38).
A two-dimensional Poisson process is a process of randomly occurring special points in the plane such that (i) for any region of area the number of special points in that region has a Poisson distribution with mean , and (ii) the number of special points in non-overlapping regions is independent. For such a process consider an arbitrary location in the plane and let denote its distance from its nearest special point (where distance is measured in the usual Euclidean manner). Show that:
;
.
This problem is intended to show that one can analyze the long term behavior of queueing problems by using just notions of means and variances, but that such analysis is awkward, justifying understanding the strong law of large numbers (SLLN). Consider an M/G/1 queue. The arrival process is Poisson with . The expected service time, , is and the variance of the service time is 1.
Consider , the time of the th arrival, for . With high probability, will lie within three standard deviations of its mean. Find and compare this mean and the range.
Let be the total amount of time during which the server is busy with these arrivals (i.e., the sum of service times). Find the mean and range of .
Find the mean and range of , the total amount of time the server is idle up until (take as , thus ignoring any service time after ).
An idle period starts when the server completes a service and there are no waiting arrivals; it ends on the next arrival. Find the mean and variance of an idle period. Are successive idle periods IID?
Combine (c) and (d) to estimate the total number of idle periods up to time . Use this to estimate the total number of busy periods.
Combine (e) and (b) to estimate the expected length of a busy period.
The purpose of this problem is to illustrate that for an arrival process with independent but not identically distributed interarrival intervals, , the number of arrivals in the interval can be a defective rv. In other words, the `counting process' is not necessarily a stochastic process according to our definitions. This also suggests that it might be necessary to prove that the counting rv's for a renewal process are actually rv's.
Let the CDF of the th interarrival interval for an arrival process be for some fixed . Let and show that
Sketch a `reasonable' sample path for .
Use the Markov inequality on to find an upper bound on that is smaller than 1 for all and for large enough . Use this to show that is defective for large enough .
(For those looking for a challenge) Show that is defective for all .
Use the Markov inequality to find an upper bound on for all for any fixed . Show that, for any , this is bounded below 1 for large enough . Then show that has a density that is positive for all .