The Parseval theorem of the Cauchy series and the inner products of certain Hilbert spaces. (Q2591562)

Für \(0\leqq x \leqq 2\pi\) sei \(\varphi(x)\) eine gegebene Funktion von beschränkter Schwankung; für eine Funktion \(f\) aus \(L^2\) bedeute: \[ l_\xi\{f(\xi)\} = \int\limits_{-0}^{2\pi+0}f(\xi)\,d\varphi(\xi). \] Die Funktion \[ G(\lambda)=l_\xi\{e^{\lambda \xi}\} \] möge folgende Forderungen erfüllen: 1) Alle Nullstellen seien einfach und rein imaginär. Werden sie mit \(\{i\lambda_n\}\) bezeichnet, so sei \[ \cdots \lambda_{-n}< \lambda_{-n+1} < \cdots <\lambda_{-1}< \lambda_0<\lambda_1 < \cdots \lambda_n < \lambda_{n+1} \cdots . \] 2) Es gibt eine Konstante \(D\), so daß \[ |\lambda_n-n|\leqq D< \frac 1{\pi^2} \;\text{ist.} \] 3) Es gibt zwei Konstanten \(\alpha\), \(\beta\), so daß \[ \beta \geqq G'(i\lambda_n) \geqq \alpha \quad \text{ausfällt.} \] Läßt man \(C_r\) eine Folge von einander umfassenden geschlossenen Kurven durchlaufen, deren Inneres mit \(r \to \infty\) gegen die ganze Ebene konvergiert, so ordnet das Integral \[ \frac 1{2\pi i} \int\limits_{C_r} \frac {e^{\lambda x}}{G(\lambda)}l_\xi \left\{ e^{\lambda\xi} \int\limits_0^\xi e^{-\lambda\eta} f(\eta)\,d\eta\right\}\,d\lambda \] nach dem Residuensatz jeder Funktion \(f(x)\) aus \(L^2\) die ``Cauchysche Reihe'' \[ f(x) \sim \sum _n a_ne^{i\lambda_nx} \] zu, mit \[ a_n=\frac 1{G'(i\lambda_n)}l_\xi \left\{ \int\limits_0^\xi e^{i\lambda_n(\xi-\eta)} f(\eta)\,d\eta\right\}. \] Die Konvergenz- und Summabilitätseigenschaften dieser Reihe sind dieselben wie die der Fourierreihe \[ \sum_{-\infty}^\infty \frac{e^{inx}}{2\pi} \int\limits_0^{2\pi} f(\xi)e^{-in\xi}\,d\xi, \] Ferner konvergiert die Reihe \[ \sum_{-\infty}^\infty a_ne^{-i\lambda_nx} \] im Mittel gegen eine für \(- 2\pi\leqq x \leqq 0\) quadratisch integrierbare Funktion. Durch diese setze man die Funktion \(f(x)\) über das Intervall \(-2\pi\leqq x \leqq 2\pi\) fort und bezeichne die so erhaltene Funktion mit \(f_1x) \) (also \(f_1=f\) für \(0\leqq x\leqq 2\pi\)). Das ``innere Produkt'' von zwei Funktionen \(f\) und \(g\) wird jetzt wie folgt erklärt: \[ (f,g) = l_\xi\left\{\int\limits_0^\xi f_1(\eta) \overline{g_1(\eta-\xi)}\,d\eta\right\}. \] Dann gilt die Parsevalsche Gleichung \[ (f,g)= \lim_{n\to \infty} \sum_{\varkappa=-n}^n a_\varkappa\bar b_\varkappa G'(i\lambda_\varkappa), \] und zu jeder Folge \(\{a_\varkappa\}\) mit konvergentem \(\sum |a_\varkappa|^2 G'(i\lambda_\varkappa)\) gehört eine Funktion \(f(x)\) aus \(L_2\), welche \(\sum a_\varkappa e^{i\lambda_\varkappa x}\) zur Cauchyschen Reihe hat. Analoge Ergebnisse zeigt Verf. im Raum \(A_\varphi\) der Funktionen, welche für \(-\infty< x < \infty\) erklärt sind, in jedem endlichen Intervall zu \(L^2\) gehören, und für die fast überall \[ \int\limits_{-0}^{2\pi+0}f(x+t)\,d\varphi(t) = 0 \] gilt.