Probabilidad condicional de la suma de variables aleatorias exponenciales

Question

Sea $W_1, W_2, W_3\sim Exp(s)$ vehículos recreativos independientes. Defina $S=W_1+W_2+W_3$ . Sea $Z_1,Z_2$ sean RV independientes, no necesariamente con la misma distribución, tales que $Z_1,Z_2\mid S \sim Uniform([0,S])$ . Necesito demostrar que $\min(Z_1,Z_2)\sim Exp(s) \sim W_1$ y que $\max(Z_1,Z_2)\sim W_1 +W_2$ . Intenté utilizar un enfoque analítico utilizando $f_{x\mid Y=y}=\frac{f_{x,y}}{f_y}$ y utilizar la ley de la probabilidad total, pero no tuvo éxito. ¿Alguna idea?

Siguiendo el enfoque de Graham Kemp:

$ f_{\min\left\{ Z_{1},Z_{2}\right\} }\left(z\right) =\int_{z}^{\infty}f_{S}\left(s\right)\cdot2\cdot f_{Z_{1}\mid S}\left(z\mid s\right)\cdot\left(1-F_{Z_{1}\mid S}\left(z\mid s\right)\right)ds= \int_{z}^{\infty}f_{S}\left(s\right)\cdot2\cdot\frac{1}{s}\cdot\left[\left(1-\frac{z}{s}\right)\cdot1_{z\leq s}\right]ds= \int_{z}^{\infty}\frac{\lambda^{3}s^{3-1}\cdot e^{-\lambda s}}{\Gamma\left(3\right)}\cdot2\cdot\frac{1}{s}\cdot\left[\left(1-\frac{z}{s}\right)\cdot1_{z\leq s}\right]ds= \int_{z}^{\infty}\frac{\lambda^{3}s^{3-1}\cdot e^{-\lambda s}}{\Gamma\left(3\right)}\cdot2\cdot\frac{1}{s}\cdot\left(\frac{s-z}{s}\right)ds= \int_{z}^{\infty}\frac{\lambda^{3}\cdot e^{-\lambda s}}{\Gamma\left(3\right)=3!}\cdot2\cdot\left(s-z\right)ds= \frac{\lambda^{3}}{3}\int_{z}^{\infty}e^{-\lambda s}\cdot\left(s-z\right)ds= \frac{\lambda^{3}}{3}\left[\int_{z}^{\infty}se^{-\lambda s}ds-z\int_{z}^{\infty}e^{-\lambda s}ds\right]= \frac{\lambda^{3}}{3}\cdot-1\cdot\left[\frac{e^{-\lambda z}\cdot\left(-\lambda z+\lambda z-1\right)}{\lambda^{2}}\right]=\frac{\lambda}{3}\cdot e^{-\lambda z} $

¿Alguna idea de dónde $3$ ¿de dónde viene?

Answer 1

La clave es que los dos $Z_\star$ distribuciones debe ser condicionalmente independientes dado $S$ .

Por lo tanto, utilice primero la Ley de Probabilidad Total y, a continuación, las reglas de la estadística de orden.

$$\begin{align} f_{\min\{Z_1,Z_2\}}(z) & =\int_z^\infty f_S(s)\cdot f_{\min\{Z_1,Z_2\}\mid S}(z)~\mathrm d s \\[1ex] &= \int_z^\infty f_S(s)\cdot 2!~f_{Z_\star\mid S}(z\mid s)~\big(1-F_{Z_\star\mid S}(z\mid s)\big)~\mathrm d s \end{align}$$

Igualmente

$$\begin{align} f_{\max\{Z_1,Z_2\}}(z) & =\int_z^\infty f_S(s)\cdot f_{\max\{Z_1,Z_2\}\mid S}(z)~\mathrm d s \\[1ex] &= \int_z^\infty f_S(s)\cdot 2!~f_{Z_\star\mid S}(z\mid s)~F_{Z_\star\mid S}(z\mid s)~\mathrm d s \end{align}$$

El resto se lo dejamos a usted.