Solution of a moment problem for bounded functions. (Q2607915)

Ist eine Folge von Variablen \(a_1\), \(a_2\), \dots gegeben, so wird eine Folge von Polynomen \(B_1\), \(B_2\), \dots rekursiv so definiert: \[ \begin{matrix} \r \;&&\;\l \\ B_1 &=&-a_1, \\ (r + 1)B_{r+1}&=&(-1)^{r+1}(a_{r+1}- B_1a_r + \cdots + (-1)^r B_ra_1) \quad (r = 1, 2,\ldots). \end{matrix} \] Hieraus wird eine neue Polynomfolge so gebildet: \[ \begin{matrix} \r\;& &\;\l \\ &&D_0 = 1, \quad D_1=B_1, \\ D_{2m}&=& \left| \begin{matrix} \l \quad & \l \quad & \l \quad & \l \\ 1 & B_1 & \cdots & B_m \\ B_1 & B_2 & \cdots & B_{m+1} \\ \hdotsfor 4 \\ B_m & B_{m+1} & \cdots & B_{2m} \end{matrix} \right|, \\ D_{2m+1}&=& \left| \begin{matrix} \l \quad & \l \quad & \l \quad & \l \\ B_1 & B_2 & \cdots & B_{m+1} \\ B_2 & B_3 & \cdots & B_{m+2} \\ \hdotsfor 4 \\ B_{m+1} & B_{m+2} & \cdots & B_{2m+1} \end{matrix} \right|. \end{matrix} \] Um die Variablen zum Ausdruck zu bringen, wird \(D_n = D_n(a_1, \ldots, a_n)\) geschrieben. Dann gilt folgender Satz: Notwendig und hinreichend für die Existenz einer Funktion \(f(x)\) in \((0,1)\), die bei vorgegebenen Zahlen \(c_0\), \(c_1\), \dots, \(c_k\) den Bedingungen genügt: \[ c_\nu = \int\limits_0^1 f(x)x^\nu\,dx \quad (\nu = 0,1,\ldots,k), \;\operatorname{Max}|f(x)|<1, \] ist die Gültigkeit folgender Beziehungen für \(n= 1,\ldots,k+1\): \[ \begin{gathered} D_n(\alpha_1, \ldots, \alpha_n) > 0, \;\;D_n(\beta_1, \ldots, \beta_n) > 0 \;\text{für} \;n \not\equiv 1 \pmod 4, \\ D_n(\alpha_1, \ldots, \alpha_n) < 0, \;\;D_n(\beta_1, \ldots, \beta_n) < 0 \;\text{für} \;n \equiv 1 \pmod 4, \end{gathered} \] wo \[ \alpha_r = \tfrac 12(1 -rc_{r-1}), \quad \beta_r = \tfrac 12(1 + rc_{r-1}). \]