Moment Problem - Existence

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,

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 .

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

to

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

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

(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, so that

(2)

such that ƒ ≥ 0 on .

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

for every ƒ ∈ C0.

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

See Refs. 1–3. for more details.

Read more about this topic:  Moment Problem

Famous quotes containing the word existence:

    “It is because everything is relative
    That we shall never see in that sphere of pure wisdom and
    Entertainment much more than groping shadows of an incomplete
    Former existence so close it burns like the mouth that
    Closes down over all your effort like the moment
    Of death”
    —John Ashbery (b. 1927)

    “The existence of good bad literature—the fact that one can be amused or excited or even moved by a book that one’s intellect simply refuses to take seriously—is a reminder that art is not the same thing as cerebration.”
    —George Orwell (1903–1950)

    “Reasoning from the common course of nature, and without supposing any new interposition of the Supreme Cause, which ought always to be excluded from philosophy; what is incorruptible must also be ingenerable. The soul, therefore, if immortal, existed before our birth: And if the former existence noways concerned us, neither will the latter.”
    —David Hume (1711–1776)