At first glance, this seems like a straightforward problem of "matching moments." But as we will see, it opens a Pandora's box of deep analysis, touching functional analysis, orthogonal polynomials, complex analysis, and even quantum mechanics. In probability and analysis, a moment is a generalization of the idea of "average power." For a real random variable $X$ with distribution $\mu$ (a positive measure on $\mathbbR$), the $n$-th moment is:

For the Hamburger problem, this condition is also sufficient (a theorem of Hamburger, 1920): A sequence $(m_n)$ is a Hamburger moment sequence if and only if the Hankel matrix is positive semidefinite.

$$ \sum_i,j=0^N a_i a_j m_i+j \ge 0 $$

For the Stieltjes problem (support on $[0,\infty)$), we need an extra condition: both the Hankel matrix of $(m_n)$ and the shifted Hankel matrix of $(m_n+1)$ must be positive semidefinite.

Imagine you are given a mysterious black box. You cannot see inside it, but you are allowed to ask for specific "moments." You ask: "What is the average position?" The box replies: $m_1 = 0$. You ask: "What is the average squared position?" It replies: $m_2 = 1$. You continue: $m_3 = 0$, $m_4 = 3$, and so on.

The central question of the is: Can you uniquely reconstruct the contents of the box—specifically, a measure or a probability distribution—from this infinite sequence of moments?

$$ m_n = \int_\mathbbR x^n , d\mu(x) $$

The Classical Moment Problem And Some Related Questions In Analysis May 2026

At first glance, this seems like a straightforward problem of "matching moments." But as we will see, it opens a Pandora's box of deep analysis, touching functional analysis, orthogonal polynomials, complex analysis, and even quantum mechanics. In probability and analysis, a moment is a generalization of the idea of "average power." For a real random variable $X$ with distribution $\mu$ (a positive measure on $\mathbbR$), the $n$-th moment is:

For the Hamburger problem, this condition is also sufficient (a theorem of Hamburger, 1920): A sequence $(m_n)$ is a Hamburger moment sequence if and only if the Hankel matrix is positive semidefinite. At first glance, this seems like a straightforward

$$ \sum_i,j=0^N a_i a_j m_i+j \ge 0 $$

For the Stieltjes problem (support on $[0,\infty)$), we need an extra condition: both the Hankel matrix of $(m_n)$ and the shifted Hankel matrix of $(m_n+1)$ must be positive semidefinite. Imagine you are given a mysterious black box

Imagine you are given a mysterious black box. You cannot see inside it, but you are allowed to ask for specific "moments." You ask: "What is the average position?" The box replies: $m_1 = 0$. You ask: "What is the average squared position?" It replies: $m_2 = 1$. You continue: $m_3 = 0$, $m_4 = 3$, and so on. You continue: $m_3 = 0$, $m_4 = 3$, and so on

The central question of the is: Can you uniquely reconstruct the contents of the box—specifically, a measure or a probability distribution—from this infinite sequence of moments?

$$ m_n = \int_\mathbbR x^n , d\mu(x) $$

Built on Unicorn Platform