Suponha . Mostrar

Qual é a maneira mais fácil de ver se a afirmação a seguir é verdadeira?

Suponha . Mostre . $Y_1, \dots, Y_n \overset{\text{iid}}{\sim} \text{Exp}(1)$ $\sum_{i=1}^{n}(Y_i - Y_{(1)}) \sim \text{Gamma}(n-1, 1)$

Observe que . $Y_{(1)} = \min\limits_{1 \leq i \leq n}Y_i$

Por $X \sim \text{Exp}(\beta)$ , isso significa que $f_{X}(x) = \dfrac{1}{\beta}e^{-x/\beta} \cdot \mathbf{1}_{\{x > 0\}}$ .

É fácil ver que $Y_{(1)} \sim \text{Exponential}(1/n)$ . Além disso, também temos que $\sum_{i=1}^{n}Y_i \sim \text{Gamma}(\alpha = n, \beta = 1)$ sob a parametrização

f_{Y} (y) = \frac{1}{Γ (α) β^{α}} x^{α - 1} e^{- x / β} 1_{{x > 0}}, α, β > 0 .

$f_{Y}(y) =\dfrac{1}{\Gamma(\alpha)\beta^{\alpha}}x^{\alpha-1}e^{-x/\beta}\mathbf{1}_{\{x > 0\}}\text{, }\qquad \alpha, \beta> 0\text{.}$

Solução dada pela resposta de Xi'an : Usando a notação na pergunta original:

\begin{aligned} \sum_{i = 1}^{n} [Y_{i} - Y_{(1)}] & = \sum_{i = 1}^{n} [Y_{(i)} - Y_{(1)}] \\ = \sum_{i = 1}^{n} Y_{(i)} - n Y_{(1)} \\ = \sum_{i = 1}^{n} {Y_{(i)} - Y_{(i - 1)} + Y_{(i - 1)} - \dots - Y_{(1)} + Y_{(1)}} - n Y_{(1)} \\ = \sum_{i = 1}^{n} \sum_{j = 1}^{i} {Y_{(j)} - Y_{(j - 1)}} - n Y_{(1)} where Y_{(0)} = 0 \\ = \sum_{j = 1}^{n} \sum_{i = j}^{n} {Y_{(j)} - Y_{(j - 1)}} - n Y_{(1)} \\ = \sum_{j = 1}^{n} (n - j + 1) [Y_{(j)} - Y_{(j - 1)}] - n Y_{(1)} \\ = \sum_{i = 1}^{n} (n - i + 1) [Y_{(i)} - Y_{(i - 1)}] - n Y_{(1)} \\ = \sum_{i = 2}^{n} (n - i + 1) [Y_{(i)} - Y_{(i - 1)}] + n Y_{(1)} - n Y_{(1)} \\ = \sum_{i = 2}^{n} (n - i + 1) [Y_{(i)} - Y_{(i - 1)}] . \end{aligned}

$\begin{align} \sum_{i=1}^{n}[Y_i - Y_{(1)}] &= \sum_{i=1}^{n}[Y_{(i)}-Y_{(1)}] \\ &= \sum_{i=1}^{n}Y_{(i)}-nY_{(1)}\\ &= \sum_{i=1}^{n}\{Y_{(i)}-Y_{(i-1)}+Y_{(i-1)}-\cdots-Y_{(1)}+Y_{(1)}\}-nY_{(1)}\\ &= \sum_{i=1}^n\sum_{j=1}^{i}\{Y_{(j)}-Y_{(j-1)}\}-nY_{(1)}\text{ where } Y_{(0)} = 0 \\ &= \sum_{j=1}^n\sum_{i=j}^{n}\{Y_{(j)}-Y_{(j-1)}\}-nY_{(1)}\\ &= \sum_{j=1}^{n}(n-j+1)[Y_{(j)}-Y_{(j-1)}]-nY_{(1)}\\ &= \sum_{i=1}^{n}(n-i+1)[Y_{(i)}-Y_{(i-1)}]-nY_{(1)}\\ &= \sum_{i=2}^{n}(n-i+1)[Y_{(i)}-Y_{(i-1)}]+nY_{(1)}-nY_{(1)} \\ &= \sum_{i=2}^{n}(n-i+1)[Y_{(i)}-Y_{(i-1)}]\text{.} \end{align}$ A partir disso, obtemos que

\sum_{i = 2}^{n} (n - i + 1) [Y_{(i)} - Y_{(i - 1)}] \sim Gamma (n - 1, 1)

$\sum_{i=2}^{n}(n-i+1)[Y_{(i)}-Y_{(i-1)}] \sim \text{Gamma}(n-1, 1)$ 1) .

self-study distributions exponential order-statistics jacobian Clarinetist
fonte

@MichaelChernick 1) Não tenho certeza se minha prova de independência está correta e 2) Não tenho certeza se o resultado que adivinhei acima referente à diferença de distribuições Gamma está correto. Isso parece contradizer o que é dado aqui , mas talvez essa situação seja diferente, pois essa diferença inclui uma das estatísticas da ordem? Não tenho certeza.

Clarinetist

@ Clarinetist, não tenho certeza. Talvez tente trabalhar com , o que claramente é igual à soma com a qual você está trabalhando. A resposta aqui pode ser útil: math.stackexchange.com/questions/80475/...

\sum_{i = 2}^{n} (Y_{(i)} - Y_{(1)})

$\sum_{i = 2}^n (Y_{(i)} - Y_{(1)})$

gammer

Você já tentou provar que cada - exceto um , para o qual e, em seguida, usando o fato de que a soma de iid variáveis exponenciais será distribuída gama?

(Y_{i} - Y_{(1)}) \sim Expon (1)

$(Y_i - Y_{(1)}) \sim \text{Expon}(1)$

i

$i$

Y_{i} - Y_{(1)} = 0

$Y_i - Y_{(1)} = 0$

(n - 1)

$(n-1)$

Marcelo Ventura

@jbowman Temos e condicionados a , dividimos isso por , fornecendo , portanto, temos . Agora, aqui está o que me incomodou nessa prova: eu considerava uma constante. Mas não é uma constante. Por que isso funcionaria?

f_{Z_{i}} (z_{i}) = f_{Y_{i}} (z_{i} + a) = e^{- (z_{i} + a)}

$f_{Z_i}(z_i) = f_{Y_i}(z_i + a) = e^{-(z_i + a)}$

Y_{i} \geq a

$Y_i \geq a$

e^{- a}

$e^{-a}$

e^{- z_{i}}

$e^{-z_i}$

(Z_{i} ∣ Y_{i} \geq A) \sim Exp (1)

$(Z_i \mid Y_i \geq A) \sim \text{Exp}(1)$

A

$A$

Y_{(1)}

$Y_{(1)}$

Clarinetist

O ponto é que não importa o que é! A distribuição é sempre ! Notável, não é? E a partir disso, você pode concluir que a distribuição de é sempre para , independentemente do valor real de .

a

$a$

Exp (1)

$\text{Exp}(1)$

Y_{i} - Y_{[1]}

$Y_i - Y_{[1]}$

Exp (1)

$\text{Exp}(1)$

i > 1

$i > 1$

Y_{[1]}

$Y_{[1]}$

jbowman

Respostas:

A prova é apresentada na Mãe de todos os livros de geração aleatória, a Geração de variáveis aleatórias não uniforme de Devroye , na p.211 (e é muito elegante!):

Teorema 2.3 (Sukhatme, 1937) Se definirmos , os espaçamentos exponenciais normalizados derivados do estatísticas da ordem de uma amostra de tamanho exponencial do ID são as próprias variáveis exponenciais do ID $E_{(0)}=0$
$(n - i + 1) (E_{(i)} - E_{(i - 1)})$ $(n-i+1)(E_{(i)}-E_{(i-1)})$ $E_{(1)}\le\ldots\le E_{(n)}$ $n$

Prova. Como o densidade conjunta da estatística da ordem escreve como Definindo , a alteração de variáveis de a tem uma constante jacobiana [aliás igual amas isso não precisa ser calculado] e, portanto, a densidade de

\begin{aligned} \sum_{i = 1}^{n} e_{i} & = \sum_{i = 1}^{n} e_{(i)} = \sum_{i = 1}^{n} \sum_{j = 1}^{i} (e_{(j)} - e_{(j - 1)}) \\ = \sum_{j = 1}^{n} \sum_{i = j}^{n} (e_{(j)} - e_{(j - 1)}) = \sum_{j = 1}^{n} (n - j + 1) (e_{(j)} - e_{(j - 1)}) \end{aligned}

$\begin{align*} \sum_{i=1}^n e_i &= \sum_{i=1}^n e_{(i)} =\sum_{i=1}^n \sum_{j=1}^i(e_{(j)}-e_{(j-1)})\\ &=\sum_{j=1}^n \sum_{i=j}^n(e_{(j)}-e_{(j-1)}) =\sum_{j=1}^n (n-j+1)(e_{(j)}-e_{(j-1)}) \end{align*}$

(E_{(1)}, \dots, E_{(n)})

$(E_{(1)},\ldots,E_{(n)})$

f (e) = n! \exp {- \sum_{i = 1}^{n} e_{(i)}} = n! \exp {- \sum_{i = 1}^{n} (n - i + 1) (e_{(i)} - e_{(i - 1)})}

$f(\mathbf{e})=n!\,\exp\left\{-\sum_{i=1}^ne_{(i)}\right\}=n!\,\exp\left\{-\sum_{i=1}^n (n-i+1)(e_{(i)}-e_{(i-1)})\right\}$

Y_{i} = (E_{(i)} - E_{(i - 1)})

$Y_i=(E_{(i)}-E_{(i-1)})$

(E_{(1)}, \dots, E_{(n)})

$(E_{(1)},\ldots,E_{(n)})$

(Y_{1}, \dots, Y_{n})

$(Y_1,\ldots,Y_n)$

1 / n!

$1/n!$

(Y_{1}, \dots, Y_{n})

$(Y_1,\ldots,Y_n)$ é proporcional a que estabelece o resultado. QED

\exp {- \sum_{i = 1}^{n} y_{i}}

$\exp\left\{-\sum_{i=1}^n y_i \right\}$

Uma alternativa sugerida por Gérard Letac para mim é verificar se tem a mesma distribuição que (em virtude da propriedade sem memória), que faz a derivação de direto.

(E_{(1)}, \dots, E_{(n)})

$(E_{(1)},\ldots,E_{(n)})$

(\frac{E_{1}}{n}, \frac{E_{1}}{n} + \frac{E_{2}}{n - 1}, \dots, \frac{E_{1}}{n} + \frac{E_{2}}{n - 1} + \dots + \frac{E_{n}}{1})

$\left(\frac{E_1}{n},\frac{E_1}{n}+\frac{E_2}{n-1},\ldots,\frac{E_1}{n}+\frac{E_2}{n-1}+\ldots+\frac{E_n}{1}\right)$

\sum_{k = 1}^{n} (E_{k} - E_{(1)}) \sim \sum_{k = 1}^{n - 1} E_{k}

$\sum_{k=1}^n(E_k-E_{(1)})\sim \sum_{k=1}^{n-1}E_k$

Xi'an
fonte

Obrigado por esta resposta! Gostaria de preencher alguns detalhes para quem estiver lendo isso no futuro: são valores observados de , e a maneira mais fácil de ver isso é escrever termo a termo. Como a densidade de é proporcional a , separe o para ver se a densidade é proporcional a , daí .

e_{i}

$e_i$

E_{i}

$E_i$

\sum_{i = 1}^{n} e_{(i)} = \sum_{i = 1}^{n} (n - i + 1) (e_{(i)} - e_{(i - 1)}) = \sum_{i = 1}^{n} e_{(i)}

$\sum_{i=1}^{n}e_{(i)} = \sum_{i=1}^{n}(n-i+1)(e_{(i)} - e_{(i-1)}) = \sum_{i=1}^{n}e_{(i)}$

\sum_{i = 1}^{n} (n - i + 1) (e_{(i)} - e_{(i - 1)})

$\sum_{i=1}^{n}(n-i+1)(e_{(i)} - e_{(i-1)})$

(Y_{1}, \dots, Y_{n})

$(Y_1, \dots, Y_n)$

\exp (- \sum_{i = 1}^{n} y_{i})

$\exp\left(-\sum_{i=1}^{n}y_i \right)$

y_{i}

$y_i$

\prod_{i = 1}^{n} e^{- y_{i}}

$\prod_{i=1}^{n}e^{-y_i}$

Y_{1}, \dots, Y_{n} \overset{iid}{\sim} Exp (1)

$Y_1, \dots, Y_n \overset{\text{iid}}{\sim} \text{Exp}(1)$

Clarinetist

Apresento aqui o que foi sugerido nos comentários por @jbowman.

Deixe uma constante . Deixe seguir um e considere . Então $a\geq 0$ $Y_i$ $\text{Exp(1)}$ $Z_i = Y_i-a$

Pr (Z_{i} \leq z_{i} ∣ Y_{i} \geq a) = Pr (Y_{i} - a \leq z_{i} ∣ Y_{i} \geq a)

$\Pr(Z_i\leq z_i \mid Y_i \geq a) = \Pr(Y_i-a\leq z_i \mid Y_i \geq a)$

⟹ Pr (Y_{i} \leq z_{i} + a ∣ Y_{i} \geq a) = \frac{Pr (Y_{i} \leq z_{i} + a, Y_{i} \geq a)}{1 - Pr (Y_{i} \leq a)}

$\implies \Pr(Y_i\leq z_i+a \mid Y_i \geq a) = \frac {\Pr(Y_i\leq z_i+a,Y_i \geq a)}{1-\Pr(Y_i\leq a)}$

⟹ \frac{Pr (a \leq Y_{i} \leq z_{i} + a)}{1 - Pr (Y_{i} \leq a)} = \frac{1 - e^{- z_{i} - a} - 1 + e^{- a}}{e^{- a}} = 1 - e^{- z_{i}}

$\implies \frac {\Pr(a\leq Y_i\leq z_i+a)}{1-\Pr(Y_i\leq a)} = \frac {1-e^{-z_i-a}-1+e^{-a}}{e^{-a}}=1-e^{-z_i}$

que é a função de distribuição de . $\text{Exp(1)}$

Vamos descrever isso: a probabilidade de um rv cair em um intervalo específico (o numerador na última linha), uma vez que excederá o limite inferior do intervalo (o denominador), depende apenas do comprimento do intervalo e não onde esse intervalo é colocado na linha real. $\text{Exp(1)}$ Esta é uma encarnação da propriedade " sem memória " da distribuição exponencial, aqui em um cenário mais geral, livre de interpretações de tempo (e vale para a distribuição exponencial em geral)

Agora, condicionando forçamos a não ser negativo e, crucialmente, o resultado obtido mantém . Portanto, podemos afirmar o seguinte: $\{Y_i \geq a\}$ $Z_i$ $\forall a\in \mathbb R^+$

Se , então . $Y_i\sim \text{Exp(1)}$ $\forall Q\geq 0 : Z_i = Y_i-Q \geq 0$ $\implies$ $Z_i\sim \text{Exp(1)}$

Podemos encontrar um livre para assumir todos os valores reais não negativos e para os quais a desigualdade exigida sempre se mantém (quase certamente)? Se pudermos, podemos dispensar o argumento do condicionamento. $Q\geq 0$

E de fato podemos. É a estatística de ordem mínima , , . Então nós obtivemos $Q=Y_{(1)}$ $\Pr(Y_i \geq Y_{(1)})=1$

Y_{i} \sim Exp(1) ⟹ Y_{i} - Y_{(1)} \sim Exp(1)

$Y_i\sim \text{Exp(1)} \implies Y_i-Y_{(1)} \sim \text{Exp(1)}$

Isso significa que

Pr (Y_{i} - Y_{(1)} \leq y_{i} - y_{(1)}) = Pr (Y_{i} \leq y_{i})

$\Pr(Y_i-Y_{(1)} \leq y_i-y_{(1)}) = \Pr(Y_i \leq y_i)$

Portanto, se a estrutura probabilística de permanecer inalterada se subtrairmos a estatística de ordem mínima, segue-se que as variáveis aleatórias e onde independente, também são independentes, pois o possível vínculo entre eles, , não afeta a estrutura probabilística. $Y_i$ $Z_i=Y_i-Y_{(1)}$ $Z_j=Y_j-Y_{(1)}$ $Y_i, Y_j$ $Y_{(1)}$

Então a soma contém iid variáveis aleatórias (e um zero), e assim $\sum_{i=1}^{n}(Y_i - Y_{(1)})$ $n-1$ $\text{Exp(1)}$

\sum_{i = 1}^{n} (Y_{i} - Y_{(1)}) \sim Gamma (n - 1, 1)

$\sum_{i=1}^{n}(Y_i - Y_{(1)}) \sim \text{Gamma}(n-1, 1)$

Alecos Papadopoulos
fonte