Let , , …, be independent random variables with an exponential distribution. We have already found the expression of the distribution of the random variable Y = + + …+ when , , …, have pairwise distinct parameters (here). The reader will easily recognize that the formula we found in that case has no meaning when the parameters are all equal to λ. I will derive here the law of Y in this circumstance. This can be done with a demonstration by induction, with no particular effort, but I will follow a longer proof. Why? Perhaps because I like pain? Yes, this might be true; but the main reason is that, to me, this longer demonstration is quite interesting and it gives us the chance to introduce the following proposition. In this blog post, we will use some of the results from the previous one on the same topic and we will follow the same enumeration for propositions.
PROPOSITION 8 (sum of m independent random variables). Let , , …, be independent random variables. The law of Y = + + …+ is given by:
Proof. We know that the thesis is true for m=2 (PROP. 1). Consider now that:
But we know that , , …, are independent. So we have:
We now operate the substitution
And we obtain:
But this has to be true for any possible interval [a, b], which means that:
This is one of the equations in the thesis. The other ones can be derived in the same way ♦
Guessing the solution
I will solve the problem for m = 2, 3, 4 in order to have an idea of what the general formula might look like.
PROPOSITION 9 (m=2). Let , be independent exponential random variables with the same parameter λ. The law of = + is given by:
for y > 0. It is zero otherwise.
Proof. We just have to substitute , in Prop. 1. We obtain:
And we find the thesis by solving the integral ♦
PROPOSITION 10 (m=3). Let , , be independent exponential random variables with the same parameter λ. The law of Y = + + is given by:
for y>0. It is zero otherwise.
Proof. If we define = + and = , then we can say – thanks to Prop. 2 – that and are independent. This means that – according to Prop. 1 – we have
And the proof is concluded ♦
PROPOSITION 11 (m=4). Let , , , be independent exponential random variables with the same parameter λ. The law of Y = + + + is given by:
Proof. We can demonstrate the thesis in the same way we did in Prop. 10. We can draw the same conclusion by directly applying Prop. 8:
The domain of integration is the tetrahedron in Figure 1. The generic point P within the tetrahedron has to belong to the segment AC that, in turns, belongs to the triangle shaded grey. This means that the domain of integration can be written [0, y]×[0, y – ]×[0, y – – ]. Thus, we calculate:
and the proof is concluded ♦
The reader has now likely guessed what the density of Y looks like when m is the generic integer number. But before we can rigorously demonstrate that formula, we need to calculate an integral.
PROPOSITION 12 (lemma). It is true that:
Proof. We have already found that the thesis is true when m = 4. Let us now assume that it is true for m – 1; if we write the thesis for the m – 2 variables , , … , we have:
Now we put η = y – :
By integrating both members in [0, y] we obtain:
and the proof is concluded ♦
PROPOSITION 13. Let , , …, be independent random variables. The law of Y = + + …+ is given by:
Proof. By directly applying Prop. 8 we have:
Thus, we can write:
The domain of integration can be written in a more proper way (as we did in Prop. 11) as follows:
But this is the integral calculated in Prop. 12, and the proof is concluded ♦
A numerical application
The reader might have recognized that the density of Y in Prop. 13 is, in fact, a Gamma distribution: it is the distribution Γ(m, λ), also known as Erlang’s distribution. There might even be a reader who perhaps remembers that I have discussed that distribution in a post of mine (here) and that I have coded a program that plots both the density and the distribution of such a law. In Figure 2 we see the density of Y (left) and the distribution function (right) for λ = 1.5 and for m that goes from 1 to 3 (note that m is indicated with α in that picture).