Over eenige identiteiten. (Q572866)

Verf. sagt, die Funktionen \(A_n(x)\;(n = 0, 1, 2, \ldots )\) besitzen die Eigenschaft \(E\), wenn \[ \begin{aligned} &A_0(x)=\dfrac{1}{x}, \tag{1}\\ &\text{jedes} \;\;A_n (x)\;\text{mit} \;n\geqq 1 \;\text{ein Polynom in} \;x \;\text{vom Grade} \;\leqq n-1 \;\text{ist, und}\tag{2}\\ &xy \sum\limits_{m=0}^n A_m (x) A_{n-m} (y) = (x + y) A_n (x + y)\tag{3} \end{aligned} \] für jede nicht negative ganze Zahl \(n\) und für jedes Paar \(x, y\) mit \(x \neq 0, y\neq 0, x+y\neq 0\) gilt. Mit Hilfe dieser Ausdrucksweise werden folgende Sätze bewiesen: I. Besitzen die Funktionen \(A_n(x)\) und \(B_n(x)\) die Eigenschaft \(E\), und gilt \[ \lim_{h\to\infty}\root h \of{|B_h(1)|} =0,\tag{*} \] dann besitzen bei willkürlichen Konstanten \(\alpha, \beta, \gamma, \delta \) die Funktionen \[ C_0(x) = \dfrac{1}{x}, \] \[ C_n (x) = \alpha A_n (\alpha x +\beta n) + \alpha\delta n\sum_{h=1}^\infty A_n(\alpha x+\beta n+\gamma h)B_h(\delta n) \] die Eigenschaft \(E\). Dabei folgt die Konvergenz der \(C_n(x)\) darstellenden unendlichen Reibe aus der Voraussetzung \((*)\). Ein Spezialfall von I (alle \(B_n(x) =0\)) liefert: II. Besitzen die Funktionen \(A_n(x)\) die Eigenschaft \(E\), dann besitzen auch die Funktionen \(\alpha A_n (\alpha x + \beta n)\) mit willkürlichen Konstanten \(\alpha, \beta\) die Eigenschaft \(E\). III. Besitzen die Funktionen \(A_n(x)\) die Eigenschaft \(E\), dann gilt für jede natürliche Zahl \(n \geqq 2\) die Beziehung: \[ \sum_{m=1}^{n-1}A_m(0)A_{n-m}(0)=2A_n'(0). \] Als Anwendung leitet Verf. unter anderm Formeln zwischen Binomialkoeffizienten her, die \textit{E. Bessel-Hagen} und \textit{H. Hasse} (1928; F. d. M. 54, 103 (JFM 54.0103.*)) angegeben haben.