Note on the iteration of functions of one variable. (Q2617033)

\(E(x)\) sei eine gegebene reelle Funktion; \[ E_0(x)=x,\^^ME_1(x)=E(x),\dots,E_{n+1}(x)=E\left (E_n(x)\right ),\dots \] seien ihre sukzessiven Iterationen. Die Definition von \(E_n(x)\) für nicht-ganzzahlige Werte von \(n\) ist von \textit{A. A. Bennett} (1915; F. d. M. 45, 636 (JFM 45.0636.*)-637) auf die Lösung der (übrigens in die \textit{Abel}sche Funktionalgleichung transformierbaren) Funktionalgleichung: \(\psi (x+1)=E\left (\psi (x)\right )\) zurückgeführt worden. Verf. gibt nun in elementarer Weise explizit die gewünschte Definition für alle \(E(x)\), die folgenden drei Bedingungen genügen: (1) \(E(x)\) sei eine reelle, eindeutige, stetige Funktion für \(a\leq x<\infty \), (2) \(E(x)>x\) für alle \(x\geq a\), (3) \(E(x_1)>E(x)\) für \(x_1>x\geq a\).