Separate and joint analyticity in Lie groups representations (Q2559571)

In this article the following result is proved: Given any real finite dimensional Lie group \(G\) and any strongly continuous unitary representation of \(G\) denoted by \(U(G)\) there exists at least one basis of the Lie algebra in the representation \(U(G)\) (the basis depending only on the structure and not on the representation) such that every vector in the representation space which is analytic for the basis is also analytic for the representation \(U(G)\). We end with three remarks: 1) Actually it is trivial to show that if there exists one basis of this type there exist infinitely many. 2) It is also shown in the article that in the compact case the result is basis-independent. 3) An open conjecture (which we believe is true but hard to show) is that our result is also basis-independent in the general case!