A remark on the non-vanishing of almost periodic functions. (Q2586572)

Es sei \[ D\{f\} =\underset{-\infty< x<\infty} {\text{obere Grenze}}\, \left\{ \int\limits_x^{x+1} |f(x)|^2\,dx\right\}^{\tfrac12}. \] Wenn eine Folge von trigonometrischen Polynomen \(f_n(x)\) existiert, so daß \(\lim\limits_{n\to\infty} D\{f_n-f\}=0\) ist, dann heiße \(f (x)\) \(S^2\)-fastperiodisch. Satz: \(f (x)\) sei \(S^2\)-fastperiodisch und habe die Fourierreihe \(\sum a_ne^{i\lambda}n^x\). Es existiere ein \(N\) derart, daß \[ A(u) = \sum\limits_{-u-\tfrac12 <\lambda_k<-u+\tfrac12} |a_k| \] für jedes \(u\geqq N\) endlich und \(A(u) = O \left(\exp(-\theta(u))\right)\) ist, wo \(\theta(x)\) eine wachsende Funktion mit \(\int\limits_1^{\infty} \dfrac{\theta(x)}{x^2}\,dx=\infty\) bedeutet. Mit \(z = x + iy\) sei \(g (z)\) analytisch in \(c< x< d\), \(0< y <r\) und stetig in \(c < x< d\), \(0\leqq y <r\). Ist dann fast überall \(f (x) = g (x)\) in einem Teilintervall von \((c, d)\), so gilt dasselbe fast überall in \((c, d)\).