Problema de los momentos
# Problema de los momentos

El problema de los momentos es una cuestión En matemáticas que surge como resultado de intentar invertir la aplicación que relaciona una medida μ con la secuencia de momentos

    $m_{n}=\int _{-\infty }^{\infty }x^{n}\,d\mu (x)\,.$

De manera más general, se puede considerar que

    $m_{n}=\int _{-\infty }^{\infty }M_{n}(x)\,d\mu (x)\,.$

para una secuencia arbitraria de funciones $M_n.$

## Introducción

Dentro de la teoría clásica de funciones estadísticas, μ es una medida sobre la recta real y M es la secuencia ${x^n$ : n = 0, 1, 2, ...}. De esta forma, la cuestión aparece en teoría de la probabilidad, preguntando si hay una medida de probabilidad que posea la media, la varianza y los distintos momentos especificados; y si esta medida es única.

Hay tres problemas de momentos clásicos con nombre: el problema del momento de Hamburger en el que el soporte de μ se permite que sea toda la recta real; el problema del momento de Stieltjes, en el que se considera el intervalo [0, +∞); y el problema del momento de Hausdorff para un intervalo acotado, que sin pérdida de generalidad puede tomarse como [0, 1].

## Existencia

Una secuencia de números $m_n$ es la secuencia de momentos de una medida μ si y solo si se cumple una determinada condición de positividad; a saber, que la matriz de Hankel $H_n,$

    $(H_{n})_{ij}=m_{i+j}\,,$

debería ser positiva semidefinida. Esto se debe a que una matriz de Hankel semidefinida positiva corresponde a un funcional lineal $\Lambda$ tal que $\Lambda (x^{n})=m_{n}$ y $\Lambda (f^{2})\geq 0$ (no negativa para la suma de cuadrados de polinomios). Supóngase que $\Lambda$ se puede extender a $\mathbb {R} [x]^{*}$. En el caso de una sola variable, un polinomio no negativo siempre se puede escribir como suma de cuadrados. Entonces, el funcional lineal $\Lambda$ es positivo para todos los polinomios no negativos en el caso univariante. Según el teorema de Haviland, el funcional lineal tiene una forma de medida, es decir $\Lambda (x^{n})=\int _{-\infty }^{\infty }x^{n}d\mu$. Una condición de forma similar es necesaria y suficiente para la existencia de una medida $\mu$ soportada en un intervalo dado [a, b].

Una forma de probar estos resultados es considerar el funcional lineal $\varphi$ que aplica un polinomio

    $P(x)=\sum _{k}a_{k}x^{k}$

a

    Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «http://localhost:6011/es.wikipedia.org/v1/»:): {\displaystyle \sum_k a_k m_k.}

Si $m_{kn}$ son los momentos de alguna medida μ sobre [a, b], entonces evidentemente

| $\varphi (P)\geq 0$ for any polynomial P that is non-negative on [a, b]. | (1) |
| - | - |

Y viceversa, si (1) se cumple, se puede aplicar el teorema de extensión de M. Riesz y extender $\varphi$ a un funcional en el espacio de funciones continuas con soporte compacto $C_0([a,$ b ]), de modo que

| $\varphi (f)\geq 0$ for any $f\in C_{0}([a,b]),\;f\geq 0.$ | (2) |
| - | - |

Según el teorema de representación de Riesz, (2) se cumple si existe una medida μ sobre [a, b], tal que

    $\varphi (f)=\int f\,d\mu$

para cada ƒ ∈ $C_0([a,$ b]).

Así, la existencia de la medida $\mu$ equivale a (1). Usando un teorema de representación para polinomios positivos en [a, b], se puede reformular (1) como una condición en la matriz de Hankel.

Cónsultese Shohat y Tamarkin, 1943 y Krein y Nudelman, 1977 para obtener más detalles.

## Unicidad (o determinación)

La unicidad de μ en el problema del momento de Hausdorff se deriva del teorema de aproximación de Weierstrass, que establece que los polinomios son densos bajo la norma del supremo en el espacio de funciones continuas en [0, 1]. Para el problema de un intervalo infinito, la unicidad es una cuestión más delicada (consúltese la condición de Carleman, la condición de Krein y Akhiezer (1965)). Hay distribuciones, como la distribución log-normal, que tienen momentos finitos para todos los números enteros positivos, pero otras distribuciones tienen los mismos momentos.

## Solución formal

Cuando la solución existe, se puede escribir formalmente usando derivadas de la delta de Dirac, ya que

$\rho (x)=\sum _{n=0}^{\infty }{\frac {(-1)^{n}}{n!}}\delta ^{(n)}(x)m_{n}\quad \quad d\mu (x)=\rho (x)dx$

se puede derivar tomando la transformada de Fourier inversa de su función característica.

## Variaciones

Una variación importante es el problema del momento truncado, que estudia las propiedades de las medidas con los k primeros momentos fijos (para un k finito). Los resultados del problema del momento truncado tienen numerosas aplicaciones para el problema extremal, los teoremas de optimización y los límites en teoría de la probabilidad. Véase también: inecuaciones de Chebyshev-Markov-Stieltjes y Krein y Nudelman, 1977.

