9 votos

Valor mínimo de la expectativa $\mathbb{E}[ X_1 X_2 / (X_1^2 + X_2^2) ]$

Dejemos que $X_1$ y $X_2$ sean variables aleatorias i.i.d. de una distribución $D$ en los números reales con varianza finita (y por tanto media finita). Supongamos que la probabilidad de $X_i = 0$ es $0$ . ¿Debe ser cierto que $$ \mathbb{E}\left[ \frac{X_1 X_2}{X_1^2 + X_2^2} \right] \ge 0? $$ Si no es así, ¿cuál es el mínimo sobre todas las distribuciones de esta expectativa?

Comentarios

La expectativa es siempre finita. Es posible que la expectativa sea $0$ cuando $D$ es simétrica respecto a $0$ . Mi conjetura es que esta expectativa es necesariamente no negativa. Por supuesto sin el denominador, $\mathbb{E}[X_1 X_2] = \mathbb{E}[X_1] \cdot \mathbb{E}[X_2] = \mu^2 \ge 0$ . Pero con el denominador no está tan claro.

Imagino que esto puede ser muy elemental: No soy un experto en la mayoría de las desigualdades utilizadas en la teoría de la probabilidad.

Intenté expandir la fracción con fracciones parciales sobre los números complejos, obteniendo $$ \frac{X_1 X_2}{X_1^2 + X_2^2} = \frac{\tfrac12 X_2}{X_1 + i X_2} + \frac{\tfrac12 X_2}{X_1 - i X_2}, $$ pero tampoco tengo una idea de cómo evaluar estas expectativas.

Esta pregunta es el resultado de mi pregunta anterior . En concreto, podemos escribir $$ \mathbb{E}\left[ \frac{(X_1 + X_2)^2}{X_1^2 + X_2^2}\right] = 1 + 2 \cdot \mathbb{E}\left[ \frac{X_1 X_2}{X_1^2 + X_2^2} \right], $$ y en la respuesta a mi pregunta anterior parecía que la expectativa anterior nunca baja de $1$ . Esto equivale a la presente pregunta sobre la última expectativa.

0 votos

¿Qué significa su segunda frase?

1 votos

@TedShifrin Probabilidad de $0$ en la distribución $D$ es $0$ . (Necesario para evitar la división por $0$ ). ¿Qué es lo que no está claro actualmente?

1 votos

Oh, lo siento, lo leí mal. Gracias.

2voto

kimchi lover Puntos 361

Se puede comprobar que el "núcleo $k(u,v)=uv/(u^2+v^2)$ es semidefinido positivo. Por ejemplo, observando que $$\tag{1}k(u,v)=\int_0^\infty (ue^{-u^2x})(ve^{-v^2x})\,dx.$$ Ver esta wikipedia artículo para conocer los datos básicos de estas funciones.

La desigualdad deseada es una consecuencia directa de esto: su expectativa, $\mathbb Ek(X_1,X_2)$ es una de las expresiones cuadráticas cuya no negatividad está garantizada por la propiedad PSD de $k$ o se aproxima mediante tales expresiones.

Con más detalle: Dado que las medidas de probabilidad finitamente soportadas son densas en el espacio de todas las medidas de probabilidad sobre $\mathbb R$ en la topología débil, existe una secuencia de medidas de probabilidad finitamente soportadas $P_n$ que convergen débilmente a la distribución de probabilidad de $X_1$ . Desde $k$ es continua y acotada, tenemos $$\mathbb E k(X_1,X_2) = \lim_n \iint k(u,v) P_n(du) P_n(dv).$$ Supongamos que $P_n$ asigna la medida $p_i$ a $u_i$ para un número finito de valores de $i$ (suprimo la notación de la dependencia de $n$ aquí), así que $P_n = \sum_i p_i \delta_{u_i}$ . Entonces $\iint k(u,v) P_n(du) P_n(dv)=\sum_{i,j} p_i p_j k(u_i,u_j);$ esta última cantidad es conocida como no negativa por la definición positiva de $k$ . Así que $\mathbb E k(X_1,X_2)$ es el límite de cantidades no negativas, por lo que también es no negativo.

Otra forma de utilizar la representación integral (1) anterior es observar que $$\mathbb E k(X_1,X_2)= \int_0^\infty \mathbb E(X_1\exp(-tX_1^2))\, \mathbb E(X_1\exp(-tX_2^2))\,dx = \int_0^\infty \left(\mathbb E X_1\exp(-t X_1^2)\right)^2\,dt\ge 0.$$ Hay que utilizar algo como el teorema de Tonelli para justificar la ecuación aquí.

0 votos

Gracias. Entonces: definimos $f_u: [0,\infty) \to \mathbb{R}$ por $f_u(x) = ue^{-u^2 x}$ observamos que $f_u \in L^2$ y $k(u,v) = \langle f_u, f_v \rangle$ . Entonces sabemos que cualquier función kernel definida como tal es semidefinida positiva por esta definición desde $\sum_{i,j=1}^n c_i c_j k(u_i,v_j) = \langle \sum_i c_i f_{u_i}, \sum_j c_j f_{u_j} \rangle = \| \sum_i c_i f_{u_i} \|_2^2$ . Finalmente la expectativa deseada es $\mathbb{E}[k(X_1, X_2)] = \int \int k(x_1, x_2) d \mu \; d \mu$ , ...

0 votos

... que es no negativo. ¿Tienes una referencia o nombre para este último teorema -- es decir, que se trata de "una de las expresiones cuadráticas garantizadas como no negativas por la propiedad PSD de $k$ "?

1 votos

Sí, estoy de acuerdo con su detalle en su primer comentario. He añadido cosas a mi respuesta, dando una forma de rellenar los puntos. En algún lugar hay que resoplar; espero que no sea excesivo.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X