Characterization of Hankel transformable generalized functions (Q1175434)

In this work a characterization theorem for the elements of the space \(H_ \mu'\) of generalized functions introduced by \textit{A. H. Zemanian} [J. SIAM Appl. Math. 14, 561--576 (1966; Zbl 0154.13801)] is proved. The method of proof used in this paper is analogous to that employed in structure theorems for Schwartz distributions in [\textit{E. L. Koh}, SIAM J. Math. Anal. 1, 33--36 (1970; Zbl 0201.45002)] and in [\textit{F. Trèves}, Topological vector spaces, distributions and kernels. New York: Academic Press (1967; Zbl 0171.10402)]. The author proves some new properties of the space \(H_ \mu\) of testing functions in Proposition 2: Let \(\psi\) be in \(H_ \mu\). The function \(x^ m(\frac1x D)^ n(x^{-\mu-\frac12}\psi(x))\) is a) of rapid descent as \(x\to\infty\) and b) in \(L_1(0,\infty)\) for every \(m,n\in N\) and Theorem 4: A functional \(f\in H_\mu'\) if and only if, there exist bounded measurable functions \(g_{m,n}(x)\) defined on \(I\), for \(m=0,1,\ldots,r\) and \(n=0,1,\ldots,k\), where \(r\) and \(k\) are nonnegative integers depending on \(f\), such that \[ \langle f,\psi\rangle=\langle\sum^{r,k}_{m,n}x^{-\mu-\frac12}(-D\frac1x)^ n\{x^ m(-D)g_{m,n}(x)\},\;\psi(x)\rangle \] for every \(\psi\in H_\mu\) which is the main result of the paper.