La mediana de la muestra es un estadístico de orden y tiene una distribución no normal, por lo que la distribución conjunta de muestra finita de la mediana de la muestra y la media de la muestra (que tiene una distribución normal) no sería normal bivariada. Recurriendo a aproximaciones, asintóticamente se cumple lo siguiente (véase mi respuesta aquí ):
$$\sqrt n\Big [\left (\begin{matrix} \bar X_n \\ Y_n \end{matrix}\right) - \left (\begin{matrix} \mu \\ \mathbb v \end{matrix}\right)\Big ] \rightarrow_{\mathbf L}\; N\Big [\left (\begin{matrix} 0 \\ 0 \end{matrix}\right) , \Sigma \Big]$$
con
$$\Sigma = \left (\begin{matrix} \sigma^2 & E\left( |X-\mathbb v|\right)\left[2f(\mathbb v)\right]^{-1} \\ E\left(|X-\mathbb v|\right)\left[2f(\mathbb v)\right]^{-1} & \left[2f(\mathbb v)\right]^{-2} \end{matrix}\right)$$
donde $\bar X_n$ es la media de la muestra y $\mu$ la media de la población, $Y_n$ es la mediana de la muestra y $\mathbb v$ la mediana de la población, $f()$ es la densidad de probabilidad de las variables aleatorias implicadas y $\sigma^2$ es la varianza.
Así que aproximadamente para muestras grandes, su distribución conjunta es normal bivariada, por lo que tenemos que
$$E(Y_n \mid \bar X_n=\bar x) = \mathbb v + \rho\frac {\sigma_{\mathbb v}}{\sigma_{\bar X}}(\bar x -\mu)$$
donde $\rho$ es el coeficiente de correlación.
Manipulando la distribución asintótica para convertirla en la distribución conjunta aproximada de la media y la mediana muestrales (y no de las cantidades estandarizadas), tenemos $$\rho = \frac {\frac 1nE\left(|X-\mathbb v|\right)\left[2f(\mathbb v)\right]^{-1}}{\frac 1n \sigma \left[2f(\mathbb v)\right]^{-1}} = \frac {E\left(|X-\mathbb v|\right)}{\sigma }$$
Así que $$E(Y_n \mid \bar X_n=\bar x) = \mathbb v + \frac {E\left(|X-\mathbb v|\right)}{\sigma }\frac {\left[2f(\mathbb v)\right]^{-1}}{\sigma}(\bar x -\mu)$$
Tenemos que $2f(\mathbb v) = 2/\sigma\sqrt{2\pi}$ debido a la simetría de la densidad normal por lo que llegamos a
$$E(Y_n \mid \bar X_n=\bar x) = \mathbb v + \sqrt{\frac {\pi}{2}}E\left(\left|\frac {X-\mu}{\sigma}\right|\right)(\bar x -\mu)$$
donde hemos utilizado $\mathbb v = \mu$ . Ahora la variable estandarizada es una normal estándar, por lo que su valor absoluto es una distribución seminormal con valor esperado igual a $\sqrt{2/\pi}$ (ya que la varianza subyacente es la unidad). Por tanto,
$$E(Y_n \mid \bar X_n=\bar x) = \mathbb v + \sqrt{\frac {\pi}{2}}\sqrt{\frac {2}{\pi}}(\bar x -\mu) = \mathbb v + \bar x -\mu = \bar x$$
3 votos
Creo que esto es una consecuencia inmediata de la generalización que acabo de publicar en stats.stackexchange.com/a/83887 . La distribución de los residuos $x_i-\bar{x}$ es claramente simétrica respecto a $0$ por lo que su mediana tiene una distribución simétrica, por lo que su media es cero. Por tanto, la expectativa de la propia mediana (no sólo de los residuos) es igual a $0 + E(\bar{X}\ |\ \bar{X}=\bar{x}) = \bar{x}$ , QED.
0 votos
@whuber Lo siento, ¿residuos?
0 votos
Las definí en mi comentario: son las diferencias entre cada $x_i$ y su media.
0 votos
@whuber No, lo entiendo, pero todavía estoy trabajando en la comprensión de cómo su otra respuesta se relaciona con mi pregunta y cómo funciona exactamente la expectativa que ha utilizado.
0 votos
Sus residuos $x_i-\bar{x}$ son los $X_i$ en la otra pregunta. La aplicación de ese resultado muestra que la expectativa condicional de la diferencia entre la mediana y la media es cero.
2 votos
@whuber De acuerdo, entonces por favor corrígeme si me equivoco, $E(Y|\bar{X})=E(\bar{X}|\bar{X})+E(Y-\bar{X}|\bar{X})$ Y ahora el segundo término es cero porque la mediana es simétrica alrededor de $\bar{x}$ . Por lo tanto, la expectativa se reduce a $\bar{x}$
1 votos
¿Pero no es esto sólo el teorema de Rao-Blackwell?
0 votos
@kjetilbhalvorsen No veo la equivalencia. El teorema de Rao-Blackwell dice que las funciones de estadística suficiente tienen varianza mínima. Es cierto que $\bar{X}$ es un estadístico suficiente para la distribución normal, pero ¿qué relevancia tiene eso aquí?
1 votos
JohnK: Bien, necesitamos tanto a Rao-Blackwell como a Lehmann-Scheffe. Entonces el resultado es inmediato, ya que la mediana tiene la misma expectativa que la media muestral.