Problema del momento de Hamburger

El problema del momento de Hamburger se puede resolver (es decir, (m_n) es una secuencia de momentos) si y solo si el núcleo de Hankel correspondiente en los números enteros no negativos

${\displaystyle A=\left({\begin{matrix}m_{0}&m_{1}&m_{2}&\cdots \\m_{1}&m_{2}&m_{3}&\cdots \\m_{2}&m_{3}&m_{4}&\cdots \\\vdots &\vdots &\vdots &\ddots \end{matrix}}\right)}$

es definido positivo, es decir,

${\displaystyle \sum _{j,k\geq 0}m_{j+k}c_{j}{\overline {c_{k}}}\geq 0}$

para cada secuencia arbitraria (c_j)_{j ≥ 0} de números complejos que son finitas (es decir, c_j = 0 excepto por un número finito de valores de j).

Para la parte del sólo si del enunciado simplemente debe tenerse en cuenta que

${\displaystyle \sum _{j,k\geq 0}m_{j+k}c_{j}{\overline {c_{k}}}=\int _{-\infty }^{\infty }\left|\sum _{j\geq 0}c_{j}x^{j}\right|^{2}\,d\mu (x)}$

que no es negativo si ${\displaystyle \mu }$ no es negativo.

Se esboza un argumento a favor de lo contrario. Sean Z⁺ los números enteros no negativos y F₀(Z⁺) denota la familia de secuencias de valores complejos con soporte finito. El núcleo positivo de Hankel A induce un producto sesquilineal (posiblemente degenerado) en la familia de secuencias de valores complejos con soporte finito. Esto a su vez genera un espacio de Hilbert

${\displaystyle ({\mathcal {H}},\langle \;,\;\rangle )}$

cuyo elemento típico es una clase de equivalencia denotada por [f].

Sea e_n el elemento en F₀(Z⁺) definido por e_n(m) = δ_nm. Entonces

${\displaystyle \langle [e_{n+1}],[e_{m}]\rangle =A_{m,n+1}=m_{m+n+1}=\langle [e_{n}],[e_{m+1}]\rangle .}$

Por lo tanto, el operador "cambio" T en ${\displaystyle {\mathcal {H}}}$, con T[e_n] = [e_{n + 1}], es simétrico.

Por otra parte, la expresión buscada

${\displaystyle m_{n}=\int _{-\infty }^{\infty }x^{n}\,d\mu (x)}$

sugiere que μ es la medida espectral de un operador autoadjunto (dicho más precisamente, μ es la medida espectral para un operador ${\displaystyle {\overline {T}}}$ definido a continuación y el vector [1],(Reed y Simon, 1975, p. 145)). Si se puede encontrar un modelo de función tal que el operador simétrico T sea la multiplicación por x, entonces la resolución espectral de una extensión autoadjunta de T prueba la afirmación.

Un modelo de función viene dado por el isomorfismo natural de F₀(Z⁺) sobre la familia de polinomios en una sola variable real y coeficientes complejos: para n≥  0, se identifica e_n con xⁿ. En el modelo, el operador T es la multiplicación por x y un operador simétrico densamente definido. Se puede demostrar que T siempre tiene extensiones autoadjuntas. Sea ${\displaystyle {\overline {T}}}$ uno de ellos y μ sea su medida espectral. Entonces

${\displaystyle \langle {\overline {T}}^{n}[1],[1]\rangle =\int x^{n}d\mu (x).}$

Por otro lado,

${\displaystyle \langle {\overline {T}}^{n}[1],[1]\rangle =\langle T^{n}[e_{0}],[e_{0}]\rangle =m_{n}.}$

Para obtener una prueba alternativa de la existencia que solo utiliza integrales de Stieltjes, consúltese también [1], en particular el teorema 3.2.

Se puede ver que el problema del momento de Hamburger está íntimamente relacionado con los polinomios ortogonales en la recta real. El procedimiento del proceso de ortogonalización de Gram-Schmidt proporciona una base de polinomios ortogonales en los que el operador ${\displaystyle {\overline {T}}}$ tiene una representación matricial de Jacobi tridiagonal. Esto a su vez conduce a un modelo tridiagonal de núcleos de Hankel positivos.

Un cálculo explícito de la transformación de Cayley de T muestra la conexión con lo que se llama clase Nevanlinna de funciones analíticas en el semiplano izquierdo. Pasando al escenario no conmutativo, esto motiva la fórmula de Krein, que parametriza las extensiones de isometrías parciales.

La función de distribución acumulativa y la función de densidad de probabilidad a menudo se pueden encontrar aplicando la transformada de Laplace inversa a la función generadora de momentos.

${\displaystyle m(t)=\sum _{n=0}m_{n}{\frac {t^{n}}{n!}},}$

siempre que esta función converja.

• Chihara, T.S. (1978), An Introduction to Orthogonal Polynomials, Gordon and Breach, Science Publishers, ISBN 0-677-04150-0.
• Reed, Michael; Simon, Barry (1975), Fourier Analysis, Self-Adjointness, Methods of modern mathematical physics 2, Academic Press, pp. 145, 205, ISBN 0-12-585002-6.
• Shohat, J. A.; Tamarkin, J. D. (1943), The Problem of Moments, New York: American mathematical society, ISBN 0-8218-1501-6..