Sulle funzioni che ammettono una formula d'addizione del tipo \(f(x + y) = \sum^n_1{}_i X_i(x) Y_i(y)\). (Q1477093)

Es wird der Lehrsatz bewiesen, daß alle eindeutigen Funktionen \(f(x)\), für die ein Additionstheorem der Form \[ f(x+y)=\sum^n_{i=1} X_i(x)Y_i(y) \] gilt, sich als Summen einer endlichen Anzahl von Ausdrücken der Form \(P(x)e^{\omega x}\) darstellen lassen, wo \(P(x)\) ein Polynom, \(\omega\) eine reelle oder komplexe Konstante bedeutet. Nach einer Bemerkung, die der Berichterstatter \textit{W. Blaschke} verdankt, ergibt sich dieser Satz sofort, wenn man bedenkt, daß nach dem Additionstheorem zwischen den \(n + 1\) Funktionen \(Y_1(y), Y_2(y),\dots,Y_n(y)\) und \(f(x+y)\) von \(y\) eine lineare homogene Gleichung besteht, mithin deren \textit{Wronski}sche Determinante verschwindet. Setzt man darin \(y = 0\) (was unbeschadet der Allgemeinheit erlaubt ist), so erhält man für \(f(x)\) eine lineare Differentialgleichung \(n\)-ter Ordnung mit konstanten Koeffizienten. Der Berichterstatter selbst hat (Rom. Acc. L. Rend. \(22_2\), Referat S. 396) einen Beweis gegeben, der insofern weniger voraussetzt, als im Unterschiede gegen \textit{Levi-Civita} und \textit{Blaschke} nur die Existenz von Ableitungen erster Ordnung der betrachteten Funktionen benutzt wird.