On some questions concerning the determinate case of Hamburger's moment problem. (Q2591654)

Es sei \(\sigma(t)\) eine beliebige Lösung des Hamburgerschen Momentenproblems \[ \int\limits_{-\infty}^{+\infty} t^kd\sigma(t)=s_k, \quad (k =0,1,2,\ldots) \] \(\{D_k(x)\}\) das entsprechende orthonormierte System von Polynomen und \(E_k(x)=\int\limits_{-\infty}^{+\infty}\dfrac{D_k(x)-D_k(t)} {x-t}d\sigma(t)\). Verf. betrachtet den sogenannten unbestimmten Fall des Problems, der bekanntlich durch die Konvergenz der Reihe \(\sum\limits_0^\infty |D_k(x)|^2\) charakterisiert ist. Es werden folgende Sätze über die ganzen Funktionen \[ Q(x) = -1 + x \sum_0^\infty E_k(0)D_k(x),\quad V(x)=x\sum_0^\infty D_k(0) D_k(x) \] bewiesen: 1) \(\varphi(t)\) sei eine im Intervall \(-\infty < t < +\infty\) erklärte reelle Funktion, für welche das Integral \(\int\limits_{-\infty}^{+\infty} \varphi^2(t)d\sigma(t)\) konvergiert. Dann und nur dann ist \(\varphi(t)\) in der Form \(\varphi(t)=\sum\limits_0^\infty c_kD_k(t)\) (\(\sum c_k^2<\infty\)) darstellbar, wenn es (mindestens) einen Wert von \(\lambda\) gibt, so daß die Partialbruchzerlegung \(\dfrac{\varphi(t)}{Q(t)+\lambda V(T)}=\sum\limits_0^\infty \dfrac{\alpha_k}{t-\xi_k}\) besteht. 2) Die Ordnung \(\varrho_1\) der ganzen Funktion \(F(x)=\sum\limits_0^\infty \dfrac {x^{2k}}{s_{2k}}\) ist höchstens gleich der Ordnung \(\varrho\) von \(Q(x)\); im Falle \(\varrho_1=\varrho\) ist der Ordnungstypus \(\tau_1\) von \(F(x)\) höchstens gleich dem Ordnungstypus \(\tau\) von \(Q(x)\). 3) Es seien zwei reelle Zahlenfolgen \(\{\eta_k\}\) und \(\{\mu_k\}\) vorgelegt, wobei \(\lim \eta_k= + \infty\), \(\mu_k > 0\) und die Reihen \(s_p=\sum\limits_{k=0}^\infty \mu_k \eta_k^p\) für \(p = 0, 1, \ldots\) konvergieren. Genügt der Konvergenzexponent \(\varrho^*\) der Folge \(\{\eta_k\}\) der Ungleichung \(\varrho^* < \varlimsup \dfrac{2k\log 2k}{\log s_{2k}}\), so ist das Momentenproblem \[ \int\limits_{-\infty}^{+\infty} t^pd\sigma(t) = s_p \quad (p =0,1, 2,\ldots) \] bestimmt. Ähnliches Ergebnis über das Stieltjessche Momentenproblem, falls die \(\eta_k\) nichtnegativ sind. Als Folgerung aus Satz 3) ergibt sich ein Satz über unbeschränkt differenzierbare periodische Funktionen von \textit{S. Mandelbrojt} (Séries de Fourier et classes quasi-analytiques de fonctions, Paris 1935; JFM 61.1117.*).