On two functional equations which occur in the theory of clock-graduation. (Q2590797)

Überlegungen von Milne über die Beziehung zwischen den Zeitsystemen zweier Beobachter, die nur durch Lichtsignale in Verbindung stehen, haben auf die Funktionalgleichung \[ \varPhi(f(t))=\lambda \varPhi (t)\tag{1} \] geführt, in der \(f\) gegeben und \(\varPhi\) gesucht ist. Wenn die Funktionalgleichung eine Lösung \(\varPhi = \varPhi_1>0\) hat, so ist offenbar auch \(\varPhi_1(t)P(\log \varPhi_1 (t))\) eine Lösung, falls \(P\) eine periodische Funktion mit der Periode \(\log \lambda\) ist. Verf. beweist darüber hinaus: Es sei \(f(t)\) für \(0 \leqq t\leqq a\) stetig differenzierbar, \(f(0) = 0,\) \(f(t) > t\) für \(0 < t \leqq a\), \(f'(0) > 1\), \(f'(t)>0\) für \(0\leqq t\leqq a\) und \[ |f' (t)-f'(0)|\leqq Ct^\alpha \] für gewisse positive Zahlen \(C, \alpha, \alpha'\) in dem Intervall \(0\leqq t\leqq a'\). Ist \(\lambda=f' (0)\), so hat (1) für \(0 \leqq t \leqq a\) genau eine Lösung \(\varPhi(t)\), die eine gegebene positive Ableitung \(\varPhi'(0)\) hat, und diese Funktion \(\varPhi (t)\) hat eine stetige positive Ableitung für \(0\leqq t \leqq a\). Ist \(\lambda \neq f' (0)\), so gibt es keine solche Lösung. Über die Funktionalgleichung \[ \varTheta(\varTheta (t))=g(t), \tag{2} \] wo \(g(t)\) die Umkehrfunktion zu dem obigen \(f(t)\) sein soll, wird gezeigt: (2) hat genau eine Lösung \(\varTheta (t)\), so daß \(\varTheta' (0)\) existiert und \(0 \leqq \varTheta(t)\leqq t\) ist.