Le problème des moments et les polynômes de S. Bernstein. (Q2596606)

Ist eine Folge \(\{ C_k \}\) gegeben, so werde zu jedem Polynom \(a_0+a_1x+ \cdots + a_kx^k\) ein Funktional \(M\) so definiert: \[ M \{ a_0+a_1x+ \cdots + a_kx^k \} = a_0 \,C_0+a_1 \,C_1+ \cdots +a_k \,C_k. \] Das Symbol \(\varDelta\) sei definiert durch \[ M \left\{ \left( \frac{x}{h} \right)^k \, \left( 1-\frac{x}{h} \right)^p \right\} = \varDelta_h^p \,C_k. \] Die Folge \(\{ C_k \}\) wird nun in üblicher Weise ``absolut monoton'' im Intervall \((0, \,h)\) genannt, wenn alle \(\varDelta_h^p \,C_k \geqq 0\) sind, und ``fast absolut monoton'', wenn es eine Matrix \(\{ C_{k, \,n} \}\) gibt, derart, daß (1) die \(n\)-te Zeile in einem Intervall \((0, \,h_n)\) absolut monoton ist, (2) \(C_{kn} \to C_k\), (3) \(\dfrac{h_n}{n} \to 0\) für \(n \to \infty\). \textit{Existenzsatz}: Die \(C_k\) sind dann und nur dann die Momente \(\int\limits_{0}^{\infty} x^k \,d \varphi(x)\) einer nicht abnehmenden Funktion \(\varphi(x)\), wenn sie eine fast absolut monotone Folge bilden. Bekanntlich (\textit{Hausdorff}) gibt es zu der absolut monotonen Zeile \(\{ C_{k, \,n} \}\) genau eine nicht abnehmende Funktion \(\psi_n(x)\), die die Bedingungen \[ \psi_n(0)=0, \quad \psi_n(x)=\tfrac{1}{2} [\psi_n(x-0) + \psi_n(x+0)], \quad C_{kn}=\int\limits_{0}^{h_n} x^k \,d \psi_n(x) \] erfüllt. \textit{Eindeutigkeitssatz}. Das obige Momentenproblem ist dann und nur dann eindeutig lösbar, wenn die Folge \(\{ \psi_n(x) \}\) fast überall konvergiert.