HOME

TheInfoList



OR:

In
mathematics Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...
, the Hausdorff moment problem, named after Felix Hausdorff, asks for necessary and sufficient conditions that a given sequence be the sequence of moments :m_n = \int_0^1 x^n\,d\mu(x) of some
Borel measure In mathematics, specifically in measure theory, a Borel measure on a topological space is a measure that is defined on all open sets (and thus on all Borel sets). Some authors require additional restrictions on the measure, as described below. F ...
supported on the closed unit interval . In the case , this is equivalent to the existence of a
random variable A random variable (also called random quantity, aleatory variable, or stochastic variable) is a mathematical formalization of a quantity or object which depends on random events. It is a mapping or a function from possible outcomes (e.g., the po ...
supported on , such that . The essential difference between this and other well-known moment problems is that this is on a bounded interval, whereas in the
Stieltjes moment problem In mathematics, the Stieltjes moment problem, named after Thomas Joannes Stieltjes, seeks necessary and sufficient conditions for a sequence (''m''0, ''m''1, ''m''2, ...) to be of the form :m_n = \int_0^\infty x^n\,d\mu(x) for some measure ''μ ...
one considers a half-line , and in the Hamburger moment problem one considers the whole line . The Stieltjes moment problems and the Hamburger moment problems, if they are solvable, may have infinitely many solutions (indeterminate moment problem) whereas a Hausdorff moment problem always has a unique solution if it is solvable (determinate moment problem). In the indeterminate moment problem case, there are infinite measures corresponding to the same prescribed moments and they consist of a convex set. The set of polynomials may or may not be dense in the associated Hilbert spaces if the moment problem is indeterminate, and it depends on whether measure is extremal or not. But in the determinate moment problem case, the set of polynomials is dense in the associated Hilbert space.


Completely monotonic sequences

In 1921, Hausdorff showed that is such a moment sequence if and only if the sequence is completely monotonic, that is, its difference sequences satisfy the equation :(-1)^k(\Delta^k m)_n \geq 0 for all . Here, is the difference operator given by :(\Delta m)_n = m_ - m_n. The necessity of this condition is easily seen by the identity :(-1)^k(\Delta^k m)_n = \int_0^1 x^n (1-x)^k d\mu(x), which is non-negative since it is the integral of a non-negative function. For example, it is necessary to have :(\Delta^4 m)_6 = m_6 - 4m_7 + 6m_8 - 4m_9 + m_{10} = \int x^6 (1-x)^4 d\mu(x) \geq 0.


See also

* Total monotonicity


References

* 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. Probability problems Moment (mathematics) Mathematical problems