## Expected Maximum and Minimum of Real-Valued Continuous Random Variables

### Introduction

This is a quick paper exploring the expected maximum and minimum of real-valued continuous random variables for a project that I’m working on. This paper will be somewhat more formal than some of my previous writings, but should be an easy read beginning with some required definitions, problem statement, general solution and specific results for a small handful of continuous probability distributions.

### Definitions

**Definition (1)** : Given the probability space, , consisting of a set representing the sample space, , a , , and a Lebesgue measure, , the following properties hold true:

- Non-negativity:
- Null empty set:
- Countable additivity of disjoint sets

**Definition (2)** : Given a real-valued continuous random variable such that , the event the random variable takes on a fixed value, , is the event measured by the probability distribution function . Similarly, the event that the random variable takes on a range of values less than some fixed value, , is the event measured by the cumulative distribution function . By Definition, the following properties hold true:

**Defintion (3)** : Given a second real-valued continuous random variable, , The joint event will be measured by the joint probability distribution . If and are statistically independent, then .

**Definition (4)** : Given a real-valued continuous random variable, , the expected value is .

**Definition (5)** : (Law of the unconscious statistician) Given a real-valued continuous random variable, , and a function, , then is also a real-valued continuous random variable and its expected value is provided the integral converges. Given two real-valued continuous random variables, , and a function, , then is also a real-valued continuous random variable and its expected value is . Under the independence assumption of Definition (3), the expected value becomes .

**Remark (1)** : For the remainder of this paper, all real-valued continuous random variables will be assumed to be independent.

### Problem Statement

**Theorem (1)** : Given two real-valued continuous random variables , then the expected value of the minimum of the two variables is .

**Lemma (1)** : Given two real-valued continuous random variables , then the expected value of the maximum of the two variables is

**Proof of Lemma (1)** :

(Definition (5))

(Definition (1.iii))

(Fubini’s theorem)

(Definition (2.i))

**Proof of Theorem (1)**

(Definition (4))

(Definition (1.iii))

(Fubini’s theorem)

(Definition (2.iii))

(Definition (2.i))

(Definition (4), Lemma (1))

**Remark (2)** : For real values , .

**Proof Remark (2)** : If , then , otherwise . If , then , otherwise . If , then , otherwise, . Therefore,

### Worked Continuous Probability Distributions

The following section of this paper derives the expected value of the maximum of real-valued continuous random variables for the exponential distribution, normal distribution and continuous uniform distribution. The derivation of the expected value of the minimum of real-valued continuous random variables is omitted as it can be found by applying Theorem (1).

#### Exponential Distribution

**Definition (6)** : Given a real-valued continuous exponentially distributed random variable, , with rate parameter, , the probability density function is for all and zero everywhere else.

**Corollary (6.i)** The cumulative distribution function of a real-valued continuous exponentially distributed random variable, , is therefore for all and zero everywhere else.

**Proof of Corollary (6.i)**

**Corollary (6.ii)** : The expected value of a real-valued continuous exponentially distributed random variable, , is therefore .

**Proof of Corollary (6.ii)**

The expected value is by Definition (4) and Lemma (2) .

**Lemma (2)** : Given real values , then .

**Proof of Lemma (2)** :

**Theorem (2)** : The expected value of the maximum of the real-valued continuous exponentially distributed random variables , is .

**Proof of Theorem (2)** :

(Lemma (1))

(Corollary (6.i))

(Integral linearity)

(Lemma (2), Corollary (6.ii))

#### Normal Distribution

**Definition (7)** : The following Gaussian integral is the error function for which the following properties hold true:

- Odd function:
- Limiting behavior:

**Definition (8)** : Given a real-valued continuous normally distributed random variable , , with mean parameter, . and standard deviation parameter, , the probability density function is for all values on the real line.

**Corollary (8.i)** : The cumulative distribution function of a real-valued continuous normally distributed random variable, , is therefore .

**Proof of Corollary (8.i)** :

(Definition (2.i))

(U-substitution with )

(Definition (2.iii))

(Reverse limits of integration)

(Definition (7))

(Definition (7.i))

(Definition (7.ii))

**Corollary (8.ii)** : The expected value of a real-valued continuous normally distributed random variable, , is therefore .

**Proof of Corollary (8.ii)** :

(Definition (4))

(U-substitution with )

(Integral linearity)

(Definition (1.iii))

( is odd, is even)

(Definition (7), Definition (7.ii))

**Definition (9)** : Given a real-valued continuous normally distributed random variable, , the probability distribution function will be denoted as standard normal probability distribution function, , and the cumulative distribution function as the standard normal cumulative distribution function, . By definition, the following properties hold true:

- Non-standard probability density function: If , then
- Non-standard cumulative distribution function: If , then
- Complement:

**Definition (10)** : [PaRe96] Given and , the following integrals hold true:

**Theorem (3)** : The expected value of the maximum of the real-valued continuous normally distributed random variables , is .

**Lemma (3)** : Given real-valued continuous normally distributed random variables , , .

**Proof of Lemma (3)** :

(Definition (9.i), Definition (9.ii))

(U-substitution with , )

(Integral linearity)

(Definition (10.i), Definition (10.ii))

**Proof of Theorem (3)** :

(Lemma (1))

(Definition (11.i), Definition (11.ii))

(Lemma (3))

(Definition (9.iii))

#### Continuous Uniform Distribution

**Definition (11)** : Given a real-valued continuous uniformly distributed random variable, , with inclusive boundaries such that , the probability density function is for all and zero everywhere else.

**Corollary (11.i)** : The cumulative distribution function of a real-valued continuous uniformly distributed random variable, , is therefore .

**Proof of Corollary (11.i)** :

.

**Corollary (11.ii)** : The expected value of a real-valued continuous uniformly distributed random variable, , is therefore .

**Proof of Corollary (11.ii)**

**Theorem (4)** : The expected value of the maximum of real-valued continuous uniformly distributed random variables , is .

**Proof of Theorem (4)** :

(Lemma (1))

Case (1) :

Case (2) :

Case (3) :

Case (4) :

Case (5) :

Case (6) :

### Summary Table

The following summary table lists the expected value of the maximum of real-valued continuous random variables for the exponential distribution, normal distribution and continuous uniform distribution. The corresponding minimum can be obtained by Theorem (1).

Random Variables | Maximum | |
---|---|---|

### References

[GrSt01] Grimmett, Geoffrey, and David Stirzaker. *Probability and Random Processes*. Oxford: Oxford UP, 2001. Print.

[PaRe96] Patel, Jagdish K., and Campbell B. Read. *Handbook of the Normal Distribution*. 2nd ed. New York: Marcel Dekker, 1996. Print.

Can you generalize your result to the case of n R.V.’s?

T2013-05-20 at 4:32 am

T, I haven’t taken the time to generalize these results, but one could use the techniques presented -or research similar techniques- to obtain further results.

lewellen2013-05-21 at 5:26 pm

It appears that the proof of Theorem 1 is needless. You can use Remark(2) (which holds for r.v’s also), and its proof, and then apply directly the expected value operator which, due to its linearity, will give you the desired result.

Alecos Papadopoulos2013-06-13 at 1:42 pm

Thanks for the insight Alecos. At the time I wrote this, it wasn’t immediately clear to me how I could formalize that leap from real valued variables to continuous real valued random variables. Consequently, I decided to approach the problem of determining the expected maximum (minimum resp.) using the Law of the Unconscious Statistician.

lewellen2013-06-13 at 5:21 pm

We formally say “a random variable is a real-valued function”. But we never really treat it as a function, i.e. we don’t write “x is a random variable, x = g(z)”. We essentially deal with its range (and with other functions describing characteristics of its range -this is what a density and a distribution function does), not with the “function” itself as a mathematical object. So when we assume x>y, even if we say that x and y are “random variables, i.e. functions”, what we have written is translated as “the values x can take are always greater than the values y can take”, or more formally, min(x)>max(y). This is a statement in real-number space. Then max{x,y} = x (It would not be so straightforward to write x=g(z), y=h(d), g(z)>h(d) => max{g(z), h(d)} = g(z) , because this would be a statement in function space, not in real-number space). Expected values are integrals of functions that are integrated over the range of an r.v. – the r.v. as a function itself does not enter the picture.

Alecos Papadopoulos2013-06-13 at 7:12 pm

Typo in theorem 1 E(X)+E(X)… should be E(X) + E(Y)…, no?

MichaelC2015-03-26 at 7:58 pm

Certainly -but I never saw it until now. One of those instances where you read what you know to be correct, and not what is written…

Alecos Papadopoulos2015-03-26 at 8:12 pm

MichaelC, thanks for spotting the typo. It’s been fixed.

lewellen2015-03-26 at 8:20 pm

I didn’t say it in the comments but very nice work and helpful to me in a problem I’m working on. Thanks.

Sent from my iPhone

>

Michael COLACINO2015-03-27 at 7:17 am