Note on quasi-analytic functions. (Q1453561)

Sind \(A_0\), \(A_1\), \dots, \(A_k\), \dots gegebene positive Konstanten, so werde mit \(\mathfrak{A}\) die Klasse derjenigen geraden, mit \(2\pi\) periodischen Funktionen \(f(x)\) verstanden, für die \(\sum\,A_k^2f_k^2\) konvergiert, wenn \(\scriptstyle\frac{1}{2}f_0\), \(f_1\),\dots, \(f_k\),\dots die Fourierkonstanten von \(f(x)\) sind. \(\mathfrak{A}\) heiße unbeschränkt differenzierbar, wenn für jedes positive \(h\; k^h=o(A_k)\) ist, und quasi-analytisch, wenn \(\mathfrak{A}\) unbeschränkt differenzierbar und wenn jedes \(f(x)\) aus \(\mathfrak{A}\), das nebst seinen sämtlichen Ableitungen in 0 verschwindet, notwendig identisch verschwindet. Es gelten dann Sätze wie diese: \textit{Satz} 4. Eine unbeschränkt differenzierbare Klasse \(\mathfrak{A}\) ist dann und nur dann quasi-analytisch, wenn die Folge der Funktionen \(A^{(2n)}(x)\) im Sinne der Theorie der Orthogonalsysteme abgeschlossen ist. Dabei ist \[ A(x)=\frac{1}{2A_0}+\frac{\cos \,x}{A_1}+\cdots+\frac{\cos \,kx}{A_k}+\cdots. \] \textit{Satz} 6. Die notwendige und hinreichende Bedingung dafür, daß es in der quasianalytischen Klasse \(\mathfrak{A}\) eine Funktion \(f_(x)\) gibt, für die die Werte \(f^{(2n)}(0)=\alpha_n\), \(n=0\), 1,\dots vorgegeben sind, besteht darin, daß \[ \sum_{n=1}^\infty\left\{\sum_{\nu=0}^{n-1}\, A_{n\nu}\alpha_\nu\right\}^2 \] konvergiert. Dabei sind die \(A_{n\nu}\) gewisse Konstanten, die sich bei der Normierung des Systems der \(A^{(2n)}(x)\) ergeben. (IV 3 C.)