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 Garding domain on which we differentiate the group representation to a representation of a dense subalgebra of $$\mathfrak{G}$$ .