A Gårding domain for representations of the canonical commutation relations (Q1080106)

\textit{L. Gårding} [Proc. Natl. Acad. Sci. USA 33, 331-332 (1947; Zbl 0031.05703)] and \textit{I. M. Gel'fand} [Dokl. Akad. Nauk SSSR 25, 713-718 (1939; Zbl 0022.35802)] proposed a method for constructing a representation of the Lie algebra corresponding to a given unitary representation of a locally compact Lie group. The necessary relations between the (generally unbounded) operators of the representation of the Lie algebra are satisfied on a Gårding domain - a dense set consisting of finite linear combinations of vectors of the form \[ (*)\quad \phi_ t=\int_{G}f(g)U(g)\phi dg,\quad \phi \in {\mathcal H},\quad f\in C_ 0^{\infty}(G), \] where \(G\ni g\to U(g)\in U(H)\) is the given strongly continuous representation of the group G in the separable Hilbert space \({\mathcal H}\), dg is the Haar measure on G, and \(C_ 0^{\infty}(G)\) designates the set of infinitely differentiable functions on G with compact support. For unitary representations of nonlocally compact groups a Gårding domain does not always exist. The attempt to repeat Gårding's construction for representations of nonlocally compact groups encounters obstacles connected with the absence of invariant measures on such groups. The author and \textit{Yu. S. Samoilenko} [Ukr. Mat. Zh. 35, No. 4, 427-434 (1983; Zbl 0524.22004)] gave a construction of a Gårding domain analogous to (*) for unitary representations of the commutative nonlocally compact group \({\mathbb{R}}_ 0^{\infty}\) of finitely supported sequences of real numbers. This construction uses, instead of an invariant measure, a Gaussian measure on the group (whose correlation operator depends on representation), and replaces the space of infinitely differentiable functions on the group with a space of entire functions of the type of the space \({\mathcal A}({\mathbb{R}}^{\infty}).\) In the present paper this construction is generalized to the representations of a non-commutative nonlocally compact group, the infinite dimensional Heisenberg-Weyl group, connected with the representations of the canonical commutation relations with an infinite number of degrees of freedom.