In
mathematics, the Stieltjes
moment problem, named after
Thomas Joannes Stieltjes, seeks necessary and sufficient conditions for a
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 called ...
(''m''
0, ''m''
1, ''m''
2, ...) to be of the form
:
for some
measure ''μ''. If such a function ''μ'' exists, one asks whether it is unique.
The essential difference between this and other well-known
moment problems is that this is on a half-line
0, ∞), whereas in the Hausdorff moment problem">/nowiki>0, ∞), whereas in the one considers a Interval_(mathematics)#Terminology">bounded interval [0, 1">Hausdorff moment problem one considers a Interval_(mathematics)#Terminology">bounded interval [0, 1 and in the Hamburger moment problem one considers the whole line (−∞, ∞).
Existence
Let
:
and
:
Then is a moment sequence of some measure on with infinite support if and only if for all ''n'', both
:
is a moment sequence of some measure on with finite support of size ''m'' if and only if for all , both
:
and for all larger
:
Uniqueness
There are several sufficient conditions for uniqueness, for example, Carleman's condition, which states that the solution is unique if
:
References
*{{citation, first=Michael, last=Reed, first2=Barry, last2=Simon, title=Fourier Analysis, Self-Adjointness, year=1975, ISBN=0-12-585002-6, series=Methods of modern mathematical physics, volume=2, publisher=Academic Press, page= 341 (exercise 25)
Probability problems
Mathematical analysis
Moment (mathematics)
Mathematical problems