Schwartz kernel theorem for the Fourier hyperfunctions (Q1916082)

The purpose of this paper is to give a direct proof of the Schwartz kernel theorem for the Fourier hyperfunctions. The Schwartz kernel theorem for the Fourier hyperfunctions means that with every Fourier hyperfunction \(K\) in \({\mathcal F}(\mathbb{R}^{n_1}\times \mathbb{R}^{n_2})\) we can associate a linear map \[ {\mathcal K}:{\mathcal F}(\mathbb{R}^{n_2})\to{\mathcal F}'(\mathbb{R}^{n_1}) \] and vice versa, which is determined by \[ \langle{\mathcal K}\varphi,\psi\rangle= K(\psi\otimes\varphi), \qquad \psi\in{\mathcal F}(\mathbb{R}^{n_1}), \quad \varphi\in{\mathcal F}(\mathbb{R}^{n_2}). \] For the proof we apply the representation of the Fourier hyperfunctions as the initial values of the smooth solutions of the heat equation which implies that if a \(C^\infty\)-solution \(U(x,t)\) satisfies some growth conditions then we can assign a unique compactly supported Fourier hyperfunction \(u(x)\) to \(U(x,t)\) (see Theorem 1.4). Also we make use of the following real characterizations of the space \({\mathcal F}\) of test functions for the Fourier hyperfunctions \[ \begin{aligned} {\mathcal F}&= \biggl\{ \varphi\in C^\infty\mid \sup_{\alpha,x} {{|\partial^\alpha \varphi(x)|\exp k|x|}\over{h^{|\alpha|}\alpha!}}< \infty\text{ for some }h,k>0\biggr\}\\ &=\{\varphi\in C^\infty\mid \sup|\varphi (x)|\exp k|x|<\infty,\;\sup|\widehat{\varphi} (\xi)|\exp h|\xi|< \infty\text{ for some }h,k>0\}.\end{aligned} \] Also, we closely follow the direct proof of the Schwartz kernel theorem for the distributions as in \textit{L. Hörmander} [``The analysis of linear partial differential operators. I'' (1983; Zbl 0521.35001)].