On Analytic Vectors for Unitary Representations of Infinite Dimensional Lie Groups
Let be a connected and simply connected Banach–Lie group. On the complex enveloping algebra of its Lie algebra we define the concept of an analytic functional and show that every positive analytic functional is integrable in the sense that it is of the form for an analytic vector of a unitary representation of . On the way to this result we derive criteria for the integrability of -representations of infinite dimensional Lie algebras of unbounded operators to unitary group representations. ...