2 votos

Existencia de un mínimo para $\inf_{k \in \mathbb{R}} E[|X-k|^p]$

Supongamos que $E[|X|^p ]< \infty$ para el $p \in \mathbb{R}^{+}$ .

Cómo demostrar que la siguiente expresión tiene un mínimo \begin{align} \inf_{k \in \mathbb{R}} E[|X-k|^p] \end{align}

Es decir $\inf_{k \in \mathbb{R}} E[|X-k|^p]=\min_{k \in \mathbb{R}} E[|X-k|^p]$ y la minimización $k$ existe. Observe que no estoy buscando lo que $k$ es simplemente que existe. Sin embargo, saber qué $k$ es una ventaja.

Es evidente que el infimo existe ya que \begin{align} 0 \le \inf_{k \in \mathbb{R}} E[|X-k|^p] \le E[|X-0|^p]=E[|X|^p] < \infty \end{align}

Esta es mi solución para cuando $p$ es un número entero par

\begin{align} \inf_{k \in \mathbb{R}} E[|X-k|^p]&=\inf_{k \in \mathbb{R}} E[(X-k)^p] \text{ used the fact that $p$ is even}\\ &= \inf_{k \in \mathbb{R}} E \left[ \sum_{n=0}^p { p \choose n} X^{p-n}k^{n} \right] \text{ Binomial formula}\\ &=\inf_{k \in \mathbb{R}} \sum_{n=0}^p { p \choose n} E\left[ X^{p-n} \right] k^{n} \end{align} donde la expectativa $E\left[ X^{p-k} \right]$ existe desde $E\left[ |X|^{p} \right]$ existe.

Ahora el $\inf_{k \in \mathbb{R}} \sum_{n=0}^p { p \choose n} E\left[ X^{p-n} \right] k^{n}$ es un polinomio de grado par y por tanto tiene un mínimo. Así, para $p$ incluso \begin{align} \inf_{k \in \mathbb{R}} \sum_{n=0}^p { p \choose n} E\left[ X^{p-n} \right] k^{n}=\min_{k \in \mathbb{R}} \sum_{n=0}^p { p \choose n} E\left[ X^{p-n} \right] k^{n} \end{align}

y existe una minimización $k$ .

Mi pregunta es cómo extender esta prueba a cualquier $k>0$ .

Gracias, espero su aportación.

Editar

Basado en la discusión en los comentarios: Hemos podido demostrar que para $p \ge 1$ la función $f(y)=E[|X-y|^p]$ es continua. Para ello se utiliza el teorema de convergencia dominada.

Otra, propiedad que hemos podido demostrar es que si $y_n$ es tal que \begin{align} \lim_{n\to \infty} E[(X-y_n)^p]=\inf_{y}E[|X-y|^p] \end{align} entonces $y_n$ está acotado.

Sin embargo, todavía no estoy seguro de cómo esto implica que existe $y_0$ que minimiza $f(y)=E[|X-y|^p]$ ? Por favor, ayuda.

3voto

zhoraster Puntos 5893

Recogido de los comentarios.

Hecho 1. $f(y) = E[|X-y|^p]$ es continua. En efecto, para cualquier secuencia $\{y_n,n\ge 1\}$ tal que $y_n\to y_0$ , $n\to\infty$ tenemos $f(y_n)\to f(y_0)$ en vista del teorema de convergencia dominada (gracias a la convergencia, $\{|y_n|\}$ está limitada por algún $k$ ).

Hecho 2. $f\to+\infty$ , $f\to\pm\infty$ . Sugerencia: utilice el lema de Fatou. Por lo tanto, existe algún $R$ tal que $f(y) > f(0)$ siempre que $|y|>R$ . Así, $\inf_{y\in\mathbb{R}} f(y) = \inf_{|y|\le R} f(y) = \min_{|y|\le R} f(y)$ gracias a la continuidad.

De estos dos hechos se deduce la existencia del mínimo.

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