Fourier transformation of Sato's hyperfunctions (Q2568292)

The aim of the paper under review is to introduce a space of generalized functions which contains all Gelfand-Shilov classes \(S'{^\alpha}_0(\mathbb{R}^N)\) (\(\alpha >1\)). This new space, denoted by \({\mathcal U}(\mathbb{R}^N)\), can be interpreted as the Fourier transform of the space of hyperfunctions. More precisely, given a cone \(U,\) the space \(S^0_1(U)\) is introduced as a certain weighted inductive limit of entire functions (the weights \(\omega(z)\) are defined in terms of the distance from \(z\) to \(U\)). It is shown that \(S^0_1(U)\) is non-trivial if \(U\) is a proper cone, whereas it is trivial if \(U\) contains a straight line. The space \({\mathcal U}(\mathbb{R}^N)\), whose elements are called ultrafunctionals, is obtained as the inductive limit of all duals \(S'{^0_1(U)}\) where \(U\) runs in the collection of all nonempty proper closed cones, this collection ordered by inclusion. Here inductive limit has only an algebraic meaning. For a closed proper cone \(K\), the space \(S'{^0_1(K)}\) can be identified with the space \({\mathcal U}(K)\) of all ultrafunctionals carried by \(K.\) Since \(S^0_1(K)\) (for a suitable \(K\)) contains exponentials \(e^{\langle \cdot , \xi \rangle}\), the Laplace transform can be defined for every ultrafunctional carried by \(K,\) and it is a topological isomorphism between \({\mathcal U}(K)\) and a space of analytic functions. Then, the Fourier transform of \(u \in {\mathcal U}(K)\) is defined as the boundary value in the space of hyperfunctions of the Laplace transform of \(u\). Every \(u \in {\mathcal U}(\mathbb{R}^N)\) can be expressed as a sum of ultrafunctionals carried by closed proper cones. The Fourier transform \({\mathcal F}u\) of \(u\) is defined as the sum of the Fourier transforms in the previous decomposition of \(u\), but it is shown that \({\mathcal F}u\) does not depend on the chosen decomposition of \(u.\) Finally, \({\mathcal F}\) is an algebraic isomorphism from \({\mathcal U}(\mathbb{R}^N)\) onto the space of Sato's hyperfunctions.