Some uniqueness theorems for functions of class \(L_p\). (Q2602259)

Es seien die Funktionen \(f(x)\) und \(\varPhi_n(x)\) (\(n= 0, 1, 2,\ldots\)) im \textit{Lebesgue}schen Sinne integrierbar und \(a, b\) endlich. Verf. untersucht das Verhalten der Funktionale \[ c_n(f) = \int\limits_a^bf(x)\varPhi_n(x)\, dx \;\text{ für } \;n\to\infty, \] wenn die Folge \(\varPhi_n(x)\) mit ganzen Funktionen zusammenhängt. Der Beweis semer Resultate beruht auf bekannten Wachstumseigenschaften ganzer Funktionen und auf dem Hilfssatz (\textit{Hille, Tamarkin}, Acta math., Uppsala, 57 (1931), 1-76 (JFM 57.0458.*) insbesondere S. 70): Gilt für eine vollständige ganze Funktion \(g(z)\) (d. h. die Summe der reziproken Indices der nicht verschwindenden Koeffizienten divergiert) \[ G(z)\equiv\int\limits_a^bf(x)g(zx)\, dx\equiv 0, \] so ist \(f(x)\) eine Nullfunktion, d. h. verschwindet fast überall. Für den Fall, daß \(g(z)\) eine vollständige ganze Funktion von der Ordnung \(\varrho\) und dem Typus \(\leqq 1\) und \(\{\lambda_n\}\) eine meßbare Folge von der Ordnung \(\varrho\) der Dichte \(D\) und dem Kondensationsindex \(0\) ist, beweist Verf. im wesentlichen Folgendes: Für \[ c_n(f) = \int\limits_{-a}^af(x)g(\lambda_nx)\, dx \qquad (n=0,1,2,\ldots), \] gilt \[ \limsup\limits_{n\to\infty}\dfrac{1}{\lambda_n^\varrho}\log |c_n(f)|\geqq\begin{cases} -\pi D\text{ cosec}\, \pi\varrho &\!\!\!\!\!\!, \;0<\varrho < \frac{1}{2}, \\ -\pi D &\!\!\!\!\!\!, \;\varrho\geqq\frac{1}{2}, \end{cases} \] sofern \(f(x)\) keine Nullfunktion und \[ a^\varrho < \begin{cases} \pi D\text{ cosec}\, \pi\varrho &\!\!\!\!\!\!, \;0<\varrho < \frac{1}{2} \\ \pi D &\!\!\!\!\!\!, \;\varrho\geqq\frac{1}{2} \end{cases} \] ist. Für \(g(z) = e^{iz}\) und \(\lambda_n = n\) ergibt sich speziell \[ \limsup\limits_{n\to\infty}\dfrac{1}{n}\log\, |c_n(f)|\geqq -\pi, \;\text{ für } \;a<\pi. \] Letzteres ist eine Verschärfung des \textit{Riemann-Lebesgue}schen Satzes über \textit{Fourier}koeffizienten.