Problema del momento de Hausdorff

El problema del momento de Hausdorff es una cuestión matemática que lleva el nombre de Felix Hausdorff. Establece las condiciones necesarias y suficientes para que una sucesión dada Plantilla:Math sea la secuencia de momentos

$m_n=\underset{0}{\overset{1}{\int }}{x}^{n}d\mu (x)$

de alguna medida de Borel Plantilla:Mvar soportada en el intervalo unidad cerrado Plantilla:Math. En el caso Plantilla:Math, esto equivale a la existencia de una variable aleatoria Plantilla:Mvar soportada en Plantilla:Math, tal que Plantilla:Math.

La diferencia esencial entre este y otros problemas de momentos conocidos es que el problema de Hausdorff considera un intervalo acotado; mientras que en el problema del momento de Stieltjes se considera una semirrecta Plantilla:Math, y en el problema del momento de Hamburger se considera la recta real completa Plantilla:Math. Los problemas de momentos de Stieltjes y los problemas de momentos de Hamburger, si son solucionables, pueden tener infinitas soluciones (problemas de momento indeterminado), mientras que un problema de momento de Hausdorff siempre tiene una solución única si es solucionable (problema de momento determinado). En el caso del problema de momentos indeterminados, existen infinitas medidas correspondientes a los mismos momentos prescritos y constan de un conjunto convexo. El conjunto de polinomios puede ser denso o no en los espacios de Hilbert asociados si el problema de momentos es indeterminado, y depende de si la medida es extrema o no. Pero en el caso del problema del momento determinado, el conjunto de polinomios es denso en el espacio de Hilbert asociado.

Secuencias completamente monótonas

En 1921, Hausdorff demostró que Plantilla:Math es una secuencia de momentos si y solo si la secuencia es completamente monótona, es decir, sus diferentes secuencias satisfacen la ecuación

$(-1{)}^k({\mathrm{\Delta }}^{k}m{)}_n\ge 0$

para todos los Plantilla:Math. Aquí, Plantilla:Math es la relación de recurrencia dada por

$(\mathrm{\Delta }m{)}_n=m_{n+1}-m_n.$

La necesidad de esta condición se ve fácilmente por la identidad

$(-1{)}^k({\mathrm{\Delta }}^{k}m{)}_n=\underset{0}{\overset{1}{\int }}{x}^n(1-x{)}^{k}d\mu (x),$

que es no negativa, ya que es la integral de una función no negativa, como se muestra en el siguiente ejemplo:

$({\mathrm{\Delta }}^{4}m{)}_6=m_6-4m_7+6m_8-4m_9+m_{10}=\int x^6(1-x{)}^{4}d\mu (x)\ge 0.$

Véase también

• Monotonicidad total

Bibliografía

• Hausdorff, F. "Summationsmethoden und Momentfolgen. I." Mathematische Zeitschrift 9, 74–109, 1921.
• Hausdorff, F. "Summationsmethoden und Momentfolgen. II." Mathematische Zeitschrift 9, 280–299, 1921.
• Feller, W. "An Introduction to Probability Theory and Its Applications", volume II, John Wiley & Sons, 1971.
• Shohat, J.A.; Tamarkin, J. D. The Problem of Moments, American mathematical society, New York, 1943.