The relation "commutator equals function'' in Banach algebras

The relation $xy-yx=h(y)$, where $h$ is a holomorphic function, occurs naturally in the definitions of some quantum groups. To attach a rigorous meaning to the right-hand side of this equality, we assume that $x$ and $y$ are elements of a Banach algebra (or of an Arens–Michael algebra). We prove that the universal algebra generated by a commutation relation of this kind can be represented explicitly as an analytic Ore extension. An analysis of the structure of the algebra shows that the set of holomorphic functions of $y$ degenerates, but at each zero of $h$, some local algebra of power series remains. Moreover, this local algebra depends only on the order of the zero. As an application, we prove a result about closed subalgebras of holomorphically finitely generated algebras.