ON ANALYTIC VECTORS FOR UNITARY REPRESENTATIONS OF INFINITE DIMENSIONAL LIE GROUPS

Let G be a connected and simply connected Banach-Lie group. On the complex enveloping algebra of its Lie algebra g we define the concept of an analytic functional and show that every positive analytic functional A is integrable in the sense that it is of the form lambda(D) = < d pi(D)v, v > for an analytic vector v of a unitary representation of G. 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. For the matrix coefficient pi(v, v) (g) = <pi(g)v, v > of a vector a in a unitary representation of an analytic Frechet-Lie group C we show that v is an analytic vector if and only if pi(v, v) is analytic in an identity neighborhood. Combining this insight with the results on positive analytic functionals, we derive that every local positive definite analytic function on a simply connected Frechet-BCH-Lie group C extends to a global analytic function.