Power series expansion of \((1+ax)^{\frac 1x}\). (Q1551389)

Diese Function lässt sich, wie leicht erhellt, für beliebig imaginäre \(a\) und \(x\) in der Form entwickeln: \[ e^{-a} (1 + ax)^{\frac 1x} = \sum_{p=0}^{p=\infty} (-1)^p A_p x^p, \] und zwar hat \(A_p\) die Form \[ a^{p+1} \sum_{k=1}^{k=p} P_k a^{k-1}. \] Differentiirt man einmal partiell nach \(a\), so gewinnt man die recurrente Coefficientenrelation \[ A_p = a A_{p-1} + \int_0^a (a-1) A_{p-1} da. \] Auf dieselben Coefficinten \(P_k\) wird man auch geführt, wenn man die Summe aller Producte zu \(p\) ungleichen Factoren aus der Reihe 1, 2, \(\ldots\; n\), bezeichnet durch \(S_p(n)\), untersucht. Die Induction der successiven Werthe \(p= 1, 2, \ldots\) lässt erkennen, dass jene Summe die Form hat \[ S_p (n) = (n+1) n(n-1) \cdots (n-p+1) \sum_{k=1}^{k=p} P_k' (n-p)(n- p - 1) \cdots (n - p - k +2), \] wo die \(P'\) unabhängig von \(n\) sind. Die allgemeine Geltung wird durch den Schluss von \(p-1\) auf \(p\) bewiesen. Es zeigt sich nun, dass \(P_k' = P_k\). Denn, entwickelt man erst die anfänglich aufgestellte Function, \(x\) reell gesetzt, in die binomische Reihe nach Potenzen von \(a\), dann die Coefficienten nach Potenzen von \(x\), so lassen sich deren Coefficienten in den Grössen \(S\) darstellen, und man wird zu der Gleichung geführt: \[ \sum_{n=p}^{n=\infty} \frac{S_p (n) a^{n-p}}{1.2\ldots (n+1)} = e^a \sum_{k=1}^{k=p} P_k' a^{k-1}, \] woraus die behauptete Identität hervorgeht. Die Ausdrücke von \(S_1\) und \(S_n\) lassen bemerken, dass \[ S_3 (n) = \frac 16 S_1^2 (n) S_1 (n-2). \] Schliesslich wird bewiesen, dass für \(p=\infty\) \[ \lim (P_1 + P_2 + \cdots P_p) = \frac 1e \] ist.