On conditions guaranteeing that mappings are elements of iteration groups (Q540307)

In this paper, the author proves that if \(\mathfrak{F}=\{f^v: I\to I, v\in V\}\) is a suitable iteration group on an open interval \(I\) and a function \(g: I\to I\) is continuous at least at one point and commutes with two mappings \(f^a, f^b\in\mathfrak{F}\) with \(\frac{b}{a}\) being irrational, then \(g\in\mathfrak{F}\). Moreover, if \(f^a<\operatorname{id}<f^b\), then the commutativity of \(g\) with \(f^a\) and \(f^b\) can be replaced by the inequalities \(g\circ f^a\leq f^a\circ g\) and \(g\circ f^b\leq f^b \circ g\). On the basis of the obtained results, the author gives a contribution to a problem posed by Schwaiger concerning iteration groups which are commuting in pairs.