Note sur les transformations linéaires et les transformations de Fourier des fonctions de plusieurs variables. (Q2600734)

Wenn \(f (x) = f(x_1,\ldots, x_n)\) im \(n\)-dimensionalen Raum \(\mathfrak R^n\) quadratisch integrabel ist, so existiert im Sinne der Konvergenz im quadratischen Mittel die \textit{Fourier}-Transformierte \[ F(y)\sim \int\limits_{\mathfrak R^n} f(x)e^{-i(x,y)}\,dx \] mit \[ (x,y) = \sum_{\nu=1}^n x_\nu y_\nu. \] \(F(y)\) läßt sich in gewissem Sinn durch iterierte Integration ausrechnen: Setzt man \(x' = (x_1,\ldots, x_p)\), \(x'' = (x_{p+1},\ldots, x_n)\) und \[ (x',y') = \sum_{\nu=1}^p x_\nu y_\nu,\quad (x'',y'') =\sum_{\nu=p+1}^n x_\nu y_\nu, \] so ist \[ F(y)\sim \int\limits_{\mathfrak R^p} F_{n-p}(x',y'')e^{-i(x',y')}\,dx' \] mit \[ F_{n-p}(x', y'') \sim \int\limits_{\mathfrak R^{n-p}} f(x', x'') e^{-i(x'',y'')}\, dx''. \] Dieser Satz ergibt sich als Spezialfall eines allgemeineren Satzes über beschränkte lineare Transformationen des \textit{Hilbert}schen Raumes, deren Theorie zum Zweck des Beweises noch einmal in knapper und übersichtlicher Form entwickelt wird.