Moment problem


Moment problem

In mathematics, a moment problem arises as the result of trying to invert the mapping that takes a measure μ to the sequences of moments

m_n = \int_{-\infty}^\infty x^n \,d\mu(x)\,.\,\!

More generally, one may consider

m_n = \int_{-\infty}^\infty M_n(x) \,d\mu(x)\,\!

for an arbitrary sequence of functions Mn.

Contents

Introduction

In the classical setting, μ is a measure on the real line, and M is in the sequence { xn : n = 0, 1, 2, ... } In this form the question appears in probability theory, asking whether there is a probability measure having specified mean, variance and so on, and whether it is unique.

There are three named classical moment problems: the Hamburger moment problem in which the support of μ is allowed to be the whole real line; the Stieltjes moment problem, for [0, +∞); and the Hausdorff moment problem for a bounded interval, which without loss of generality may be taken as [0, 1].

Existence

A sequence of numbers mn is the sequence of moments of a measure μ if and only if a certain positivity condition is fulfilled; namely, the Hankel matrices Hn,

(H_n)_{ij} = m_{i+j}\,,\,\!

should be positive semi-definite. A condition of similar form is necessary and sufficient for the existence of a measure μ supported on a given interval [ab].

One way to prove these results is to consider the linear functional \scriptstyle\varphi that sends a polynomial

P(x) = \sum_k a_k x^k \,\!

to

\sum_k a_k m_k.\,\!

If mkn are the moments of some measure μ supported on [ab], then evidently

φ(P) ≥ 0 for any polynomial P that is non-negative on [ab].

 

 

 

 

(1)

Vice versa, if (1) holds, one can apply the M. Riesz extension theorem and extend ϕ to a functional on the space of continuous functions with compact support C0([ab]), so that

\qquad \varphi(f) \ge 0\text{ for any } f \in C_0([a,b])

 

 

 

 

(2)

such that ƒ ≥ 0 on [ab].

By the Riesz representation theorem, (2) holds iff there exists a measure μ supported on [ab], such that

 \phi(f) = \int f \, d\mu\,\!

for every ƒ ∈ C0([ab]).

Thus the existence of the measure μ is equivalent to (1). Using a representation theorem for positive polynomials on [ab], one can reformulate (1) as a condition on Hankel matrices.

See Refs. 1–3. for more details.

Uniqueness (or determinacy)

The uniqueness of μ in the Hausdorff moment problem follows from the Weierstrass approximation theorem, which states that polynomials are dense under the uniform norm in the space of continuous functions on [0, 1]. For the problem on an infinite interval, uniqueness is a more delicate question; see Carleman's condition, Krein's condition and Ref. 2.

Variations

An important variation is the truncated moment problem, which studies the properties of measures with fixed first k moments (for a finite k). Results on the truncated moment problem have numerous applications to extremal problems, optimisation and limit theorems in probability theory. See also: Chebyshev–Markov–Stieltjes inequalities and Ref. 3.

References

1. Shohat, James Alexander; Tamarkin, J. D.; The Problem of Moments, American mathematical society, New York, 1943.
2. Akhiezer, N. I., The classical moment problem and some related questions in analysis, translated from the Russian by N. Kemmer, Hafner Publishing Co., New York 1965 x+253 pp.
3. Krein, M. G.; Nudelman, A. A.; The Markov moment problem and extremal problems. Ideas and problems of P. L. Chebyshev and A. A. Markov and their further development. Translated from the Russian by D. Louvish. Translations of Mathematical Monographs, Vol. 50. American Mathematical Society, Providence, R.I., 1977. v+417 pp.

Wikimedia Foundation. 2010.

Look at other dictionaries:

  • Hamburger moment problem — In mathematics, the Hamburger moment problem, named after Hans Ludwig Hamburger, is formulated as follows: given a sequence { αn : n = 1, 2, 3, ... }, does there exist a positive Borel measure μ on the real line such that:alpha n = int {… …   Wikipedia

  • Hausdorff moment problem — In mathematics, the Hausdorff moment problem, named after Felix Hausdorff, asks for necessary and sufficient conditions that a given sequence { mn : n = 0, 1, 2, ... } be the sequence of moments of… …   Wikipedia

  • Stieltjes moment problem — In mathematics, the Stieltjes moment problem, named after Thomas Joannes Stieltjes, seeks necessary and sufficient conditions that a sequence { mu; n , : n = 0, 1, 2, ... } be of the form:mu n=int 0^infty x^n,dF(x),for some nondecreasing function …   Wikipedia

  • Trigonometric moment problem — In mathematics, the trigonometric moment problem is formulated as follows: given a finite sequence { α 0, ... αn }, does there exist a positive Borel measure mu; on the interval [0, 2 pi; ] such that:alpha k = frac{1}{2 pi}int 0 ^{2 pi} e^{… …   Wikipedia

  • Moment (mathematics) — Second moment redirects here. For the technique in probability theory, see Second moment method. See also: Moment (physics) Increasing each of the first four moments in turn while keeping the others constant, for a discrete uniform distribution… …   Wikipedia

  • Moment (mathématiques) — Pour les articles homonymes, voir Moment. En probabilités (mathématiques, statistiques), on définit le moment d ordre n>0 d une variable aléatoire X, s il existe, le nombre . Sommaire 1 …   Wikipédia en Français

  • Problem of evil — Part of a series on God General conceptions …   Wikipedia

  • problem — {{Roman}}I.{{/Roman}} noun 1 sth that causes difficulties ADJECTIVE ▪ acute, big, enormous, grave, great, huge, important, major, serious, significant …   Collocations dictionary

  • Moment of inertia — This article is about the moment of inertia of a rotating object, also termed the mass moment of inertia. For the moment of inertia dealing with the bending of a beam, also termed the area moment of inertia, see second moment of area. In… …   Wikipedia

  • moment — mo|ment [ moumənt ] noun count *** 1. ) a very short period of time: I see your problem, said George after a moment s reflection. He paused for a few moments before giving his answer. brief moment: For a brief moment their eyes met. spare moment… …   Usage of the words and phrases in modern English