On the closure of \(\{e^{i\lambda _n x}\}\). (Q2607369)

Eine Funktionenfolge \(\{e^{i\lambda _n x}\}\), \(-\infty <n<\infty \), heißt geschlossen für Funktionen aus der Klasse \(L^p\,(-\pi, \pi )\), wenn jede solche Funktion, die den Gleichungen \[ \displaylines{\rlap{\qquad\!(1)} \hfill \textstyle\int\limits_{-\pi }^{\pi } \!f(x)\,e^{i\lambda _n x} \,dx=0\qquad(-\infty <n<\infty )\hfill} \] (1) genügt, identisch verschwindet. Verf. beweist hierüber folgenden allgemeinen Satz: Genügt die Folge \(\{\lambda _n\}\) den Bedingungen \[ \displaylines{\rlap{\qquad\!(2)} \hfill \lim_{|\,n\,|\to\infty }\frac{n}{\lambda _n}=1 \hfill} \] und \[ \displaylines{\rlap{\qquad\!(3)} \hfill \int\limits_{0}^{v}\frac{\varLambda \,(u)}{u}\,du>2v-\frac{p-1}{p}\,\log\,v-C, \hfill} \] wo \(\varLambda(u)\) die Anzahl der \(\lambda _n\) mit \(|\,\lambda _n\,|\leqq u\) und \(C\) irgendeine Konstante bedeutet, so ist die Folge \(\{e^{i\lambda _n x}\}\) geschlossen für die Funktionenklasse \(L^p\,(-\pi, \pi )\), \(p\geqq 1\). Methode: Sei \(f(x)\not\equiv0\). Die Voraussetzungen (1), (2), (3) unter Verwendung der \textit{Jensen}schen Formel ergeben, daß die beiden ganzen Funktionen \[ H(w)=\textstyle\int\limits_{-\pi }^{\pi }\!f(x)\,e^{iwx}\,dx\;\;\text{und}\;\;F(w)=\prod\limits_{-\infty }^{\infty }\displaystyle \biggl(1-\frac{w}{\lambda _n}\biggr)\,e^{w/\lambda _n} \] dieselben Nullstellen besitzen, daß also \(H(w)=ae^{cw}\cdot F(w)\). Eine genauere Untersuchung des Anwachsens von \(H(w)\) und \(F(w)\) auf der imaginären Achse führt mit der letzten Gleichung zu einem Widerspruch. Als Korollar des Satzes ergibt sich, daß die Bedingung \[ \displaylines{\rlap{\qquad\!(4)} \hfill |\,\lambda _n-n\,| \leqq \frac{p-1}{2p},\;\,p\geqq 1,\hfill} \] hinreichend ist für die Geschlossenheit der Folge \(\{e^{i\lambda _n x}\}\) bezüglich der Klasse \(L^p\,(-\pi, \pi )\). Die rechte Seite von Bedingung (4) kann nicht durch \(\dfrac{p-1}{2p}+\delta \), \(\delta >0\), ersetzt werden.