# Max of $2$ independent random variables

Mathematics Asked by zestiria on December 17, 2020

Let :

• $$X_1,X_2$$ independent, with same law
• $$Var(X_1)= sigma^2$$, $$E(X_1)=0$$
• $$G$$ is their cumulative function
• Let $$X= max(X_1,X_2)$$ with cumulative function $$F$$

We want to show that $$E(X)= int_{-infty}^{infty} [1-G(t)]G(t) dt$$

My attempt :

$$F(t)=P(X_1 so $$E(X)= int_{-infty}^{infty} t 2 g(t) G(t)$$ then do an integration by parts.

Or we can use $$EZ= int_{0}^{infty}P(Z>t)dt$$ but it works only if $$Z>0$$

$$((G-G^2)^{-1})’ =- (g -2gG) frac{1}{ (G-G^2) ^2 }$$

Let's prove it backwards:

$$mathbb{E}[T]=int_{-infty}^{infty}G(t)[1-G(t)]dt=int_{-infty}^{infty}G(t)dt-int_{-infty}^{infty}G^2(t)dt=$$

$$tG(t)Bigg|_{-infty}^{infty}-int_{-infty}^{infty}tg(t)dt-tG^2(t)Bigg|_{-infty}^{infty}+int_{-infty}^{infty}2t g(t)G(t)dt=$$

$$underbrace{t[G(t)-G^2(t)]Bigg|_{-infty}^{infty}}_{=0}-underbrace{mathbb{E}[X_1]}_{=0}+int_{-infty}^{infty}2t g(t)G(t)dt$$

1. To prove that the first addend is zero you have only to calculate the limits...it's easy

2. the second addend is zero as per initial statement

3. the third addend is the result. It matches with the same result you correctly calculated by another way...the proof is finished.

Edit: further details on limit calculus:

$$lim_{t rightarrow +infty}frac{t}{frac{1}{G-G^2}} rightarrow-frac{(G-G)^2}{g-2gG}=0$$

Answered by tommik on December 17, 2020

Let $$X^+ = max(X,0)$$ and $$X^- = max(-X,0)$$. Then $$X^+ = displaystyle int_0^{infty} mathbb{1}(X>t)dt = max(a ge : X ge a)$$ and $$X^- = displaystyle int_{-infty}^0 mathbb{1}(X le t) dt = min(a le 0: X > a)$$.

Now we have: $$mathbb{E}(X) = mathbb{E}(X^+ - X^-) = mathbb{E}(X^+) - mathbb{E}(X^-) = ldots = int_0^{infty} (1-F(x))dx - int_{-infty}^0F(x)dx$$

Now for $$F(x) = G^2(x)$$ we have:

$$mathbb{E}(X) = mathbb{E}(max(X_1,X_2)) = int_0^{infty}(1-G(x))(1+G(x)) dx - int_{-infty}^0 G^2(x)dx$$

From this point it's easy to get your fact.

$$Hint$$: we have that $$mathbb{E}(X) = int_0^infty (1-G(x))G(x) dx + int_0^infty (1-G(x))dx -int_0^infty G^2(x)dx +$$ $$+int_{-infty}^0(1-G(x))G(x)dx -int_{-infty}^0(1-G(x))G(x)dx =$$ $$=int_{-infty}^{infty} (1-G(x))G(x)dx + R$$

And you need to prove: $$R = int_0^{infty}(1-G(x) )dx - int_0^{infty} G^2(x)dx-int_{-infty}^{0} (1-G(x))G(x)dx equiv 0$$

Answered by openspace on December 17, 2020

## Related Questions

### Inverse of fourth root function

3  Asked on February 28, 2021 by sean-xie

### How to solve set theory equation question

1  Asked on February 28, 2021

### Find two-index Inverse relations

1  Asked on February 27, 2021 by leox

### Computing the euler number of an oriented disc bundle over a sphere

1  Asked on February 27, 2021 by probably123

### Prove $f$ is not differentiable at $(0,0)$

2  Asked on February 27, 2021 by kelan

### Math fact family number triangles

1  Asked on February 27, 2021 by aaron-hendrickson

### A particular exact sequence of vector spaces using full rank linear maps

0  Asked on February 27, 2021 by winged-reptile

### Difference between k-algebra isomorphism and k-extension isomorphism.

0  Asked on February 26, 2021 by heman

### Show that $r^nrightarrow 0$ if $|r|<1$

3  Asked on February 26, 2021 by mary-star

### Vector equations with trigonometry

1  Asked on February 26, 2021 by elyx

### Difficulty with: If $P,Q in mathcal{L}(H)$ and $0 leq P leq Q implies ||P|| leq ||Q||$

1  Asked on February 26, 2021 by user905942

### Show that if $m^∗(E) < ∞$ and there exist intervals $I_1, . . . , I_n$ such that $m∗E(∆(∪_{i=1}^{n}I_i))< ∞$, then each of the interval are finite

1  Asked on February 26, 2021 by thedumbkid

### Two diagonals of a regular heptagon are chosen. What is the probability that they intersect inside the heptagon?

3  Asked on February 26, 2021 by noah-d

### Find all prime numbers p such that both numbers $4p^2+1$ and $6p^2+1$ are prime numbers?

3  Asked on February 25, 2021 by jenny

### Stable and unstable manifolds of a linear system

3  Asked on February 25, 2021

### Two (different ?) definitions of a Gröbner-Basis

1  Asked on February 25, 2021 by sen90

### Divergence theorem: compute triple integral over a paraboloid between two planes

1  Asked on February 25, 2021 by bobinthebox

### Determinant of a certain Toeplitz matrix

2  Asked on February 25, 2021 by srdjan-pesevic

### Counting the number of words of a fixed length, where the number of times each character appears across all words is bounded

0  Asked on February 25, 2021 by szxk