1: \begin{abstract} Let $G$ be a connected and simply connected 

2: Banach--Lie group or, more generally, 

3: a BCH--Lie group. On the complex enveloping algebra 

4: $U_\C(\g)$ of its Lie algebra $\g$ we define the concept of an 

5: analytic functional and show that every positive analytic 

6: functional $\lambda$ is integrable in the sense that it is of the form 

7: $\lambda(D) = \la \dd\pi(D)v, v\ra$ for an analytic vector 

8: $v$ of a unitary representation of $G$. 

9: On the way to this result we derive criteria 

10: for the integrability of $*$-representations of infinite 

11: dimensional Lie algebras of unbounded operators to unitary 

12: group representations. 

13: 

14: For the matrix coefficient $\pi^{v,v}(g) = \la \pi(g)v,v\ra$ 

15: of a vector $v$ in a unitary representation of an 

16: analytic Fr\'echet--Lie group $G$ we show that $v$ is an 

17: analytic vector if and only if $\pi^{v,v}$ is analytic 

18: in an identity neighborhood. Combining this insight with the 

19: results on positive analytic functionals, we derive that 

20: every local positive definite analytic function on a 

21: $1$-connected Fr\'echet--BCH--Lie group $G$ extends to a 

22: global analytic function. 

23: 

24: {\em Keywords:} infinite dimensional Lie group, unitary representation, 

25: positive definite function, analytic vector, 

26: integrability of Lie algebra representations. 

27: {\em MSC2000:} 22E65, 22E45.  

28: \end{abstract}