HOME

TheInfoList



OR:

In mathematics, the Hausdorff moment problem, named after
Felix Hausdorff Felix Hausdorff ( , ; November 8, 1868 – January 26, 1942) was a German mathematician who is considered to be one of the founders of modern topology and who contributed significantly to set theory, descriptive set theory, measure theory, an ...
, asks for necessary and sufficient conditions that a given
sequence In mathematics, a sequence is an enumerated collection of objects in which repetitions are allowed and order matters. Like a set, it contains members (also called ''elements'', or ''terms''). The number of elements (possibly infinite) is calle ...
be the sequence of moments :m_n = \int_0^1 x^n\,d\mu(x) of some Borel measure supported on the closed
unit interval In mathematics, the unit interval is the closed interval , that is, the set of all real numbers that are greater than or equal to 0 and less than or equal to 1. It is often denoted ' (capital letter ). In addition to its role in real analysis ...
. In the case , this is equivalent to the existence of a random variable supported on , such that . The essential difference between this and other well-known moment problems is that this is on a
bounded interval In mathematics, a (real) interval is a set of real numbers that contains all real numbers lying between any two numbers of the set. For example, the set of numbers satisfying is an interval which contains , , and all numbers in between. Other ...
, whereas in the Stieltjes moment problem one considers a half-line , and in the
Hamburger moment problem In mathematics, the Hamburger moment problem, named after Hans Ludwig Hamburger, is formulated as follows: given a sequence (''m''0, ''m''1, ''m''2, ...), does there exist a positive Borel measure ''μ'' (for instance, the measure determined by t ...
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 In mathematics, a recurrence relation is an equation according to which the nth term of a sequence of numbers is equal to some combination of the previous terms. Often, only k previous terms of the sequence appear in the equation, for a parameter ...
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 In mathematics, an integral assigns numbers to functions in a way that describes displacement, area, volume, and other concepts that arise by combining infinitesimal data. The process of finding integrals is called integration. Along wit ...
of a non-negative
function Function or functionality may refer to: Computing * Function key, a type of key on computer keyboards * Function model, a structured representation of processes in a system * Function object or functor or functionoid, a concept of object-oriente ...
. 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 In real analysis, a branch of mathematics, Bernstein's theorem states that every real-valued function on the half-line that is totally monotone is a mixture of exponential functions. In one important special case the mixture is a weighted average ...


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