Arithmetical discontinuity factors. (Q1514228)

Wenn \(a\) und \(m\) beliebig, \(n\) und \(r\) positiv ganzzahlig sind, so ist \[ \begin{multlined}\{D_x^r e^{ax}(e^{mx}-1)^n\}_{x=0} = (mn+a)^r - \binom n1(m\overline{n-1}+a)^r + \binom n2(m\overline{n-2}+a)^r -\cdots\\ + (-1)^{n-1}\binom n{n-1}(m+a)^r + (-1)^n\binom nn a^r\end{multlined}\tag{1} \] \[ \begin{aligned}\text{gleich } &0\text{ für }0\leqq r<n,\\ \;\;`` &m^nn!\text{ für }r=n,\\ &> 0\text{ für }r>n,\\ &= (n+1)!m^n\left(a+\frac{mn}2\right),\text{ für }r=n+1.\end{aligned} \] Ist \(g(x)\) eine ganze rationale Function \((n-1)\)ten Grades, so besteht, weil der vorstehende Ausdruck (1) für \(r=0\) bis \(n-1\) verschwindet, für diese Werte auch die Identität: \[ g(mn+a) - \binom n1 g(m\overline{n-1}+a) + \binom n2 g(m\overline{n-2}+a) +\cdots \] \[ +(-1)^{n-1}\binom n{n-1} g(m+a) + (-1)^n\binom nn1 g(a) = 0, \] welche mit der zwischen den \((n+1)\) Elementen \(u_0\), \(u_1\), \(u_3\), ..., \(u_n\) einer arithmetischen Reihe von höchstens \((n-1)\)ter Ordnung identisch ist. Bezeichnet \(\triangle^r u_m = \triangle^{r-1}u_{m-1}\triangle^{r-1}u_m\) das erste Glied der \(r\)ten Differenzenreihe, so verschwindet, da für ihre Elemente auch \(u_i\), \(u_{i+1}\), ..., \(u_{i+n}\) gesetzt werden können, für alle \(r<n\) der Ausdruck \[ \triangle^r u_0 = u_0 - \binom n1 u_1 + \binom n2 u_2 +\cdots+(-1)^{n-1}\binom n{n-1} u_{n-1} + (-1)^n\binom nn u_n.\tag{2} \] Bezeichnet man ihn durch \(\left[{n\atop r}\right]\), so ist, wenn \(a_r\) den Coefficienten von \(x^r\) in der die arithmetische Reihe erzeugenden Function \(g(mx)\) bedeutet, \[ \left[{n\atop r}\right] = \begin{cases} 0,\,r<n,\\ >0,\,r>n,\\ a_rn!m^n,\,r=n.\end{cases}\tag{3} \] Mittels dieser Identität wird noch eine ganze Reihe von Discontinuitätsfactoren construirt.