Apresentarei condições sob as quais um estimador imparcial permanece imparcial, mesmo depois de limitado. Mas não tenho certeza de que eles representem algo interessante ou útil.
Deixe um estimador do parâmetro desconhecido de uma distribuição contínua e .θE( θ )=θθ^θE(θ^)=θ
Suponha que, por algumas razões, sob amostragem repetida, desejamos que o estimador produza estimativas que variam em . Assumimos que e, portanto, podemos escrever quando conveniente o intervalo como com números positivos, mas é claro, desconhecido. θ ∈ [ δ l , δ u ] [[δl,δu]θ∈[δl,δu]{ a , b }[θ−a,θ+b]{a,b}
Então o estimador restrito é
θ^c=⎧⎩⎨⎪⎪⎪⎪δlθ^δuθ^<δlδl≤θ^≤δuδu<θ^⎫⎭⎬⎪⎪⎪⎪
e seu valor esperado é
E(θ^c)=δl⋅P[θ^≤δl]+E(θ^∣δl≤θ^≤δu)⋅P[δl≤θ^≤δu]+δu⋅P[θ^>δu]
Defina agora as funções do indicador
Il=I(θ^≤δl),Im=I(δl≤θ^≤δl),Iu=I(θ^>δu)
e note que
Il+Iu=1−Im(1)
usando essas funções indicadoras e integrais, podemos escrever o valor esperado do estimador restrito como ( é a função de densidade de ), θf(θ^)θ^
E(θ^c)=∫∞−∞δlf(θ^)Ildθ^+∫∞−∞θ^f(θ^)Imdθ^+∫∞−∞δuf(θ^)Iudθ^
=∫∞−∞f(θ^)[δlIl+θ^Im+δuIu]dθ^
=E[δlIl+θ^Im+δuIu](2)
Decompondo os limites superior e inferior, temos
E(θ^c)=E[(θ−a)Il+θ^Im+(θ+b)Iu]
=E[θ⋅(Il+Iu)+θ^Im]−aE(Il)+bE(Iu)
e usando ,(1)
=E[θ⋅(1−Im)+θ^Im]−aE(Il)+bE(Iu)
⇒E(θ^c)=θ+E[(θ^−θ)Im]−aE(Il)+bE(Iu)(3)
Agora, já que , temosE(θ^)=θ
E[(θ^−θ)Im]=E(θ^Im)−E(θ^)E(Im)
Mas
E(θ^Im)=E(θ^Im∣Im=1)E(Im)=E(θ^)E(Im)
Portanto, e assimE[(θ^−θ)Im]=0
E(θ^c)=θ−aE(Il)+bE(Iu)=θ−aP(θ^≤δl)+bP(θ^>δu)(4)
ou alternativamente
E(θ^c)=θ−(θ−δl)P(θ^≤δl)+(δu−θ)P(θ^>δu)(4a)
Portanto, de , vemos que, para o estimador restrito também ser imparcial, devemos ter(4)
aP(θ^≤δl)=bP(θ^>δu)(5)
Qual é o problema com a condição ? Envolve os números desconhecidos , portanto, na prática, não seremos capazes de realmente determinar um intervalo para limitar o estimador e mantê-lo imparcial.(5){a,b}
Mas digamos que este seja um experimento de simulação controlada, onde queremos investigar outras propriedades dos estimadores, dada a imparcialidade. Então nós podemos "neutralizar" e , definindo , que essencialmente cria um intervalo simétrico em torno do valor de ... Neste caso, para alcançar viés, devemos mais sobre ter , ou seja, devemos ter que a massa de probabilidade do estimador irrestrito seja igual à esquerda e à direita do intervalo (simétrico em torno de ) ... b um = b θ P ( θ ≤ δ l ) = P ( θ > δ u ) θaba=bθP(θ^≤δl)=P(θ^>δu)θ
... e aprendemos que (como condições suficientes), se a distribuição do estimador irrestrito for simétrica em torno do valor verdadeiro, então o estimador restringido em um intervalo simétrico em torno do valor verdadeiro também será imparcial ... mas isso é quase trivialmente evidente ou intuitivo, não é?
Torna-se um pouco mais interessante, se percebermos que a condição necessária e suficiente (dado um intervalo simétrico) a) não exige uma distribuição simétrica , apenas massa igual de probabilidade "na cauda" (e isso, por sua vez, não implica que a a distribuição da massa em cada cauda deve ser idêntica) eb) permite que, dentro do intervalo, a densidade do estimador possa ter qualquer forma não simétrica que seja consistente com a manutenção da imparcialidade - ainda assim tornará o estimador restrito imparcial.
APLICAÇÃO: O caso do OP
Nosso estimador é e so . Então, usando enquanto escreve em termos de , temos, para o intervalo delimitador ,θ ~ N ( θ , 1 ) ( 4 ) um , b θθ^=θ+w,w∼N(0,1)θ^∼N(θ,1)(4)a,bθ,δ[0,1]
E[θ^c]=θ−θP(θ^≤0)+(1−θ)P(θ^>1)
A distribuição é simétrica em torno de . Transformação ( é o CDF normal padrão)θΦ()
E[θ^c]=θ−θP(θ^−θ≤−θ)+(1−θ)P(θ^−θ>1−θ)
=θ−θΦ(−θ)+(1−θ)[1−Φ(1−θ)]
Pode-se verificar que os termos adicionais cancelam somente se , ou seja, somente se o intervalo delimitador também for simétrico em torno de .θθ=1/2θ