Zur Theorie der Exponentialfunktion und der Kreisfunktionen. (Q1441146)

Einfache und elementare Beweise der folgenden Sätze: (1) Diejenige nicht konstante, für alle reellen \(x\) eindeutige, reelle, endliche Funktion \(f(x)\), die der Funktionalgleichung \[ f(x+y)=f(x) \cdot f(y) \] genügt und für aller die Ableitung einer für aller eindeutigen, reellen, endlichen Funktion \(F(x)\) ist, ist die Funktion \[ f(x)=e^{kx}=\sum_{\nu=0}^\infty \frac{(kx)^\nu}{\nu !}. \] (2) Die einzige, denselben Bedingungen genügende Lösung der Funktionalgleichung \[ f(x+y)+f(x-y)=2f(x)f(y) \] ist die Funktion \[ f(x)=\sum_{\nu=0}^\infty \frac{k^\nu x^{2\nu}}{(2\nu)!}, \] wobei \(k\) eine beliebige reelle von Null verschiedene Zahl ist. (3) Die Funktion \(f(x)\) ist dann und nur dann Lösung der Funktionalgleichung \[ f(x+y)=\sum_{\nu=1}^n X_\nu(x) Y_\nu(y),\;n \geqq 1, \] in der \(f(x),X_\nu(x),Y_\nu(y)\) für alle reellen \(x\) bzw. \(y\) eindeutige, reelle, endliche Funktionen bedeuten und jedes \(X_\nu(x)\) ein unbestimmtes Integral besitzt, wenn \[ f(x)=\sum_{\varrho=1}^r \{ P_\varrho(x) \cos \varphi_\varrho x+Q_\varrho(X) \sin \varphi_\varrho x\} e^{\omega_\varrho x} \] ist Dabei sind \(P_\varrho(x), Q_\varrho(x)\) beliebige reelle Polynome in \(x,\omega_\varrho\) und \(\varphi_\varrho\) beliebige reelle Zahlen \((\varrho=1,\dots,r)\), und \(r\) ist eine beliebige natürliche Zahl. Ist die Funktion \(f(x)\) der reellen Veränderlichen \(x\) für alle \(x\) absolut monoton, d. h. sind die sukzessiven Differenzen sämtlich nicht negativ, so wird für jeden Wert von \(x\) \[ f(x) \geqq e^x, \] wenn \(f(0)=f'(0)=1\) ist.