Plancherel theorem for vector valued functions and Boehmians (Q1293535): Difference between revisions

Let \({\mathcal L}^2(A)\) be the space of \(A\)-valued Borel measurable functions \(f\) on \(\mathbb{R}\) such that \(\int_{\mathbb{R}}\|f(x)\|^2 dx< \infty\), where \(A\) is a complex Hilbert space satisfying some conditions (for example, one may take \(A=\mathbb{C}^n\)), and let \(\Delta\) be the set of all sequences of \(A\)-valued test functions \((\delta_n)\in{\mathcal D}(A)\) satisfying some Dirac-type conditions. If \(f_n,g_n\in{\mathcal L}^2(A)\), \(\varphi_n,\psi_n\in \Delta\) for \(n= 1,2,\dots\), then the equivalence relation \(f_n/\varphi_n\sim g_n/\psi_n\) defined by \(f_n* \psi_n= g_n* \varphi_n\) for \(n= 1,2,\dots\) defines equivalence classes \({\mathcal B}({\mathcal L}^2(A),\Delta)\) called Boehmians. The Fourier transform \(x\) of a Boehmian \(x= [f_n/\varphi_n]\in{\mathcal B}({\mathcal L}^2(A),\Delta)\) is defined by \(\widehat x=[\widehat f_n/\widehat\varphi_n]\in {\mathcal B}({\mathcal L}^2(A), \widehat\Delta)\). It is proved that the operator \(F:{\mathcal B}({\mathcal L}^2(A), \Delta)\to{\mathcal B}({\mathcal L}^2(A), \widehat\Delta)\) defined by \(F(x)= \widehat x\) is a continuous one-to-one map from \({\mathcal B}({\mathcal L}^2(A), \Delta)\) onto \({\mathcal B}({\mathcal L}^2(A), \widehat\Delta)\). This result follows from a number of preliminary results concerning Fourier transforms and the convolution.