Über eine Transformation der reellen Toeplitzschen Formen und das Momentenproblem in einem endlichen Intervalle. (Q2612405)

Eine reelle \textit{Toeplitz}sche Form \[ \sum_{j,k=0}^{n-1} c_{j-k} \zeta_j \zeta_k \qquad (c_{-k}=c_k) \] kann in die Summe zweier unabhängiger \textit{Hankel}scher Formen \[ \quad \sum_{j,k=0}^{m} s_{j+k} \xi_j \xi_k, \quad \, \, \, \sum_{j,k=0}^{m-1} t_{j+k} \eta_j \eta_k, \quad \; \text{für} \; n = 2 m + 1 \] bzw. \[ \sum_{j,k=0}^{m-1} u_{j+k} x_j x_k, \quad \sum_{j,k=0}^{m-1} v_{j+k} y_j y_k, \quad \text{für} \; n = 2 m \] transformiert werden. -- Auf Grund dieser Tatsache läßt sich die von \textit{Carathéodory} und \textit{Herglotz} für die Lösbarkeit des trigonometrischen Momentenproblems aufgestellte Bedingung in eine solche für das gewöhnliche Momentenproblem im endlichen Intervall überführen, was folgenden Satz ergibt: Zu vorgeschriebenen Momenten \[ s_k = \int\limits_{-1}^{+1} x^k \, d \tau(x) \qquad (k=0,1, \ldots \!, n-1) \] existiert dann und nur dann eine in \(\langle -1,+1 \rangle\) \textit{nichtabnehmende} Belegungsfunktion \(\tau(x)\), wenn die beiden Formen \[ \quad \sum_{j,k=0}^{m} s_{j+k} \xi_j \xi_k, \quad \sum_{j,k=0}^{m-1} t_{j+k} \eta_j \eta_k, \quad \text{für} \; n = 2 m + 1. \] bzw. \[ \sum_{j,k=0}^{m-1} u_{j+k} x_j x_k, \quad \sum_{j,k=0}^{m-1} v_{j+k} y_j y_k, \quad \text{für} \; n = 2 m, \] wo \[ \quad t_k=s_k-s_{k+2}, \, u_k=\frac{s_k+s_{k+1}}{2}, \, v_k=\frac{s_k-s_{k+1}}{2}, \] nichtnegativ sind.