# Maximum (random variable)

## Contents

## Definition notes

Let [ilmath]X_1,\ \ldots,\ X_n[/ilmath] be *i.i.d* random variables that are sampled from a distribution, [ilmath]X[/ilmath] and additionally let [ilmath]M:\eq\Max(X_1,\ldots,X_n)[/ilmath] for short.

- [math]\P{\Max(X_1,\ldots,X_n)\le x}\eq\P{X_1\le x}\Pcond{X_2\le x}{X_1\le x}\cdots\Pcond{X_n\le x}{X_1\le x\cap\cdots\cap X_{n-1}\le x} [/math]
- [math]\eq\prod^n_{i\eq 1}\P{X_i\le x} [/math] - provided the [ilmath]X_i[/ilmath] are independent random variables
- [math]\eq\prod^n_{i\eq 1}\P{X\le x} [/math]
- [math]\eq \big(\P{X\le x}\big)^n[/math]

We shall call this [ilmath]F'(x):\eq \big(\P{X\le x}\big)^n[/ilmath] (and use [ilmath]F(x):\eq \P{X\le x} [/ilmath], as is usual for cumulative distribution functions) **Caveat:**Do not confuse the 's for derivatives, then:

- the probability density function, [math]f'(x):\eq \frac{\mathrm{d} }{\mathrm{d} x}\big[F'(x)\big]\Big\vert_{x} [/math]
^{[Note 1]}is:- [math]f'(x)\eq\ddx{\big(\P{X\le x}\big)^n}{x} [/math]
- [math]\eq\ddx{\big(F(x)\big)^n}{x} [/math]
- [math]\eq n\big(F(x)\big)^{n-1}f(x)[/math] by the chain rule, herein written [ilmath]nF(x)^{n-1}f(x)[/ilmath] for simplicity.

- so [math]f'(x)\eq nF(x)^{n-1}f(x)[/math]

- [math]f'(x)\eq\ddx{\big(\P{X\le x}\big)^n}{x} [/math]

## Expectation of the maximum

- [math]\E{M}:\eq\int^\infty_{-\infty} xf'(x)\mathrm{d}x[/math]
- [math]\eq n\int_{-\infty}^\infty xf(x)F(x)^{n-1}\mathrm{d}x[/math] - I wonder if we could use integration by parts or a good integration by substitution to clear this up

### Special cases

- For [ilmath]X\sim[/ilmath][ilmath]\text{Rect} [/ilmath][ilmath]([/ilmath][ilmath][a,b][/ilmath][ilmath])[/ilmath]:
- [math]\E{\Max(X_1,\ldots,X_n)}\eq \frac{nb+a}{n+1} [/math]
- This is actually simplified from the perhaps more useful [math]a+\frac{n}{n+1}(b-a)[/math], recognising [ilmath](b-a)[/ilmath] as the width of the uniform distribution we see that it slightly "under estimates" [ilmath]a+(b-a)\eq b[/ilmath], from this we can actually obtain a very useful unbiased estimator.

- [math]\E{\Max(X_1,\ldots,X_n)}\eq \frac{nb+a}{n+1} [/math]

#### [ilmath]a\eq 0[/ilmath] case

Suppose that [ilmath]a\eq 0[/ilmath], then to find [ilmath]b[/ilmath] we could observe that the [math]\E{X}\eq\frac{b}{2} [/math], so 2x the average of our sample would have expectation [ilmath]\eq b[/ilmath] - this is indeed true.

However note in this case that the maximum has expectation [math]\E{M}\eq \frac{n}{n+1}b[/math]

- Thus: [math]\frac{n+1}{n}\E{M}\eq b[/math] and so [ilmath]\E{\frac{n+1}{n}M}\eq b[/ilmath]

So defining: [ilmath]M'\eq \frac{n+1}{n}M[/ilmath] we do obtain an unbiased estimator for [ilmath]b[/ilmath] from our biased one

It can be shown that for [ilmath]n\ge 8[/ilmath] that [ilmath]M'[/ilmath] has lower variance (and thus is better) than the 2x average estimator, they agree for [ilmath]n\eq 1[/ilmath]. For [ilmath]2\le n\le 7[/ilmath] 2x the average has the lower variance and is thus objectively better (or the same, from the [ilmath]n\eq 1[/ilmath] case) as an estimator for b when [ilmath]n\le 7[/ilmath]
*Warning:*Only the following is known Alec (talk) 18:56, 26 November 2017 (UTC)

- This is only true when comparing the variance of [ilmath]M[/ilmath] (
*not*[ilmath]M'[/ilmath]) to that of [ilmath]\frac{1}{n}\sum^n_{i\eq 1}X_i[/ilmath], as we double the average, the variance would go up 4 times making the difference even worse. - To obtain [ilmath]M'[/ilmath] we multiply [ilmath]M[/ilmath] by a small (specifically [ilmath]\frac{n+1}{n} [/ilmath]) constant slightly bigger than 1 as [ilmath]n[/ilmath] stops being tiny, this will increase the variance by a factor of this value squared, which will still be "slightly bigger than 1" so [ilmath]M'[/ilmath] is a better estimator, it may however move the specific bound of "better for [ilmath]n\ge 8[/ilmath] further down
*probably*- this needs to be calculated

This is independent of [ilmath]b[/ilmath]

Specifically:

- [math]\text{Var}(M)\eq \left(\frac{n}{n+2}-\frac{n^2}{(n+1)^2}\right)b^2[/math] - note this is for [ilmath]M[/ilmath]
*not*[ilmath]M'[/ilmath] and - [math]\text{Var}\left(\frac{1}{n}\sum^n_{i\eq 1}X_i\right)\eq\frac{b^2}{12n} [/math]