Infinite dimensional Fock spaces and associated creation and annihilation operators (Q1823436)

Traditionally, Fock space over \({\mathbb{R}}^{3n}\) is the Hilbert-space direct sum \(H_ 0\oplus H_ 1\oplus H_ 2\oplus..\). where \(H_ 0={\mathbb{C}}\) and \(H_ q=L^ 2({\mathbb{R}}^{3nq})\). A vector in \(H_ q\) represents a quantum-mechanical system of q particles moving in \({\mathbb{R}}^{3n}\). Certain unbounded operators mapping \(H_ 1\to H_{q+1}\) are called ``creation operators'', and their formal adjoints, mapping \(H_{q+1}\to H_ q\), are called ``annihilation operators.'' These have been the subject of extensive efforts to define them in mathematically rigorous ways. This paper resembles those of \textit{P. Kristensen}, \textit{L. Mejlbo}, and \textit{E. T. Poulsen} [Commun. Math. Phys. 1, 175-214 (1965), Math. Scand. 14, 129-150 (1964; both reviewed in Zbl 0131.120)]. It begins with the definition of a family of spaces of nonlinear, but differentiable, functions \(\Phi\) whose domain is the distribution space \({\mathcal S}'({\mathbb{R}}^{3n};{\mathbb{R}})\). In fact, \(\Phi\) is an entire function on \({\mathcal S}'({\mathbb{R}}^{3n},{\mathbb{R}})\) and is determined by its Taylor series expansion at 0; the qth term of this is a q-multilinear symmetric continuous functional \(a_ q\) on \({\mathcal S}'({\mathbb{R}}^{3n};{\mathbb{R}})\). A space of such functions \(\Phi\) is characterized by a family of seminorms, each of which involves all of the \(a_ q.\) In this framework, creation and annihilation operators are defined, and shown to be continuous on the given function spaces. There is an annihilation operator \(D_ h\) for every tempered distribution h; however, a creation operator \(Q_{\phi}\) is defined only if \(\phi\) is a test function in \({\mathcal S}({\mathbb{R}}^{3n})\).