A Garding domain for representations of some Hilbert Lie groups

Given a Banach representation of a Hilbert Lie group, the Lie algebra (mathfrak{G}) of which is the closure of the union of an increasing sequence of finite dimensional subalgebras, we construct a Gårding domain on which we differentiate the group representation to a representation of a dense subalgebra of (mathfrak{G}) .