Section 8.3 Exponential Distribution
Once again, consider a Poisson Process where you start with an interval of variable length X so that X measures the interval needed in order to obtain a first success with \(R = (0,\infty)\text{.}\) The resulting distribution of X will be called an Exponential distribution.
To derive the probability function for this distribution, consider finding f(x) by first considering F(x).
For an exponential random variable \(X\text{,}\) where \(\lambda\) is a given parameter. (Note that we will find later that \(\lambda = \frac{1}{\mu}\) or the reciprocal of the theoretical mean.) where the discrete Poisson Probability Function is used to answer the probability of exactly no changes in the "fixed" interval [0,x]. Using this distribution function and taking the derivative yields
Theorem 8.3.1. Exponential Probability Function.
Proof.
We found that if \(\lambda\) is the parameter for the Poisson process, then the Poisson distribution had mean \(\lambda T\) or if one presumed that T=1, then for that distribution, the mean is just \(\lambda\text{.}\) We will find out below that the mean for the exponential distribution will be \(\frac{1}{\lambda}\text{.}\) Therefore, we will eventually present this formula using the exponental mean \(\mu = \frac{1}{\lambda}\) rather than using \(\lambda\) in the actual formula.
You will also often find that exercises in other textbooks and in online WeBWorK will just provide \(\lambda\) for the underlying Poisson process and that the time interval T will be presumed to be T=1. For those problems, if the exercise asks for a Poisson probability, use \(\mu = \lambda\) while if the exercise asks for an Exponential probability, use \(\mu = \frac{1}{\lambda}\text{.}\)
Theorem 8.3.2. Verification of Exponential Probability Function.
Proof.
where we used the substitution \(u = \lambda x\text{.}\)
Theorem 8.3.3. Derivation of Statistics for Exponential Distribution and Plotting.
Proof.
For the mean, use integration by parts with \(u = x\) and \(dv = \lambda e^{-\lambda \cdot x}\) to get (eventually)
and so the use of \(\lambda = \frac{1}{\mu}\) in f(x) is warranted.
The remaining statistics are derived similarly using repeated integration by parts. The interactive Sage cell below calculates those for you automatically.
Given a Poisson process and a constant \(\mu = \frac{1}{\lambda}\text{,}\) suppose \(X\) measures the variable interval length needed until you get a first success. Then \(X\) has an exponential distribution with probability function
Corollary 8.3.4. Alternate Form for the Exponential Distribution Probability Function.
Proof.
Simply replace the mean as derived above in the original function.
Theorem 8.3.5. Distribution function for Exponential Distribution.
Proof.
Using \(f(x) = \frac{1}{\mu} e^{-\frac{x}{\mu}}\text{,}\) note
Once again, let's consider a router which, over time, has been shown to receive on average 1000 such requests in any given 10 minute period during regular working hours. This would mean that, on average, it would take \(\mu = \frac{10}{1000} = \frac{1}{100} = 0.01\) minutes (i.e., less than a second) to receive the first request. If X were to measure the time interval until the first actual request comes in, then the Exponential distribution would be a good model using Let's determine the probability that a first request arrives in the next two seconds. First, note that since X is a continuous variable that f(x) is NOT the probability of exactly X minutes but you must integrate to compute all probabilities. Also, the next 2 seconds is actually the next \(\frac{2}{60} = \frac{1}{30}\) of a minute. Therefore, F(x) is what you need in general and you find
Example 8.3.6. Router Requests Revisited.
Checkpoint 8.3.7. WebWork - Exponential.
Theorem 8.3.8. The Exponential Distribution yields a continuous memoryless model..
If X has an exponential distribution and a and b are nonnegative integers, then
Proof.
Using the definition of conditional probability,