Expansion in Bernoulli functions. (Q1514233)

Gleichwertige Entwickelungen nach den Bernoulli'schen Functionen sind identisch. Es sei \(f(x)\) eine nach dem Taylor'schen Satze entwickelbare Function; setzt man \[ f^r(k) = f_r,\,f^r(k+h) - f^r(k) = \Delta^r,\,\frac xh = u, \] so ist \[ \begin{split} f(x+k) &= f(k) + \frac{h^0}{1!}\Delta B_1(u) + \frac{h^1}{2!}\Delta_1B_2(u) + \frac{h^2}{3!}\Delta_2B_3(u) +\cdots\\ &\qquad + \frac{h^{2n-2}}{(2n-1)!}\Delta_{2n-2}B_{2n-1}(u)\\ &+ 2\frac{h^{2n-1}}{(2n)!}\Delta_{2n-1}B_{2n}(u) - \frac{h^{2n- 1}}{(2n)!}u^{2n-1}\Delta_{2n-1}(u-n)\\ &+ \frac{h^{2n}}{(2n)!}\int_0^1[B_{2n}(t) - B_{2n}(t-u)]f^{2n}(k+ht)dt\\ &\qquad+ \frac{x^{2n}}{(2n-1)!}\int_0^1(1-w)^{2n- 1}f^{2n}(k+xw)dw.\end{split} \] Die Betrachtung der Restglieder führt zu dem Schlusse, dass \[ \begin{aligned} &\lim_{n=\infty}\frac{h^{2n-1}}{(2n)!}\Delta_{2n-1}B_{2n}(u) = 0,\\&\lim_{n=\infty}\int_0^1[B_{2n}(t) - B_{2n}(t-u)]f^{2n}(k+ht)dt = 0.\end{aligned} \] die Bedingungen der Entwickelbarkeit von \(f(x+k)\) nach Bernoulli'schen Functionen sind. Diese Bedingungen kann man auch durch die folgenden ersetzen: \[ \lim_{n=\infty}\frac{h^{2n}}{(2n)!}B_{2n}(u)f^{2n}(k+\mu h) = 0,\,0<\mu<1, \] \[ \lim_{n=\infty}\frac{h^{2n}}{(2n)!}(\varepsilon hB_nf^{2n+1}(k+\vartheta h) - (-1)^nu^{2n}f^{2n}(k+\theta h) = 0, \] \[ 0<\varepsilon<1,\,0<\theta<1,\,-\frac12\leqq u\leqq0.\,\text{---} \] Eine Reihe von der Form \(\sum a_m B_m(u)\) convergirt zwischen \(u=0\) und \(u=1\), wenn bei geradem \(m\) \(|a_m|<\frac{(2\pi)^m}{m!}\) und bei ungeradem \(m\) \(|a_m|<\frac{(2\pi)^{m-1}}{(m-1)!}\) ist. Die Convergenzgrenzen einer als convergent erkannten Reihe \(\sum a_m B_m(u)\) sind \(-g\) und \(+g+1\), wenn diejenigen der Reihe \(\sum a_mu^m\) und \(-g\) und \(+g\) sind. Die für \(f(x+h)\) gefundene Entwickelung nach den Bernoulli'schen Functionen \(B_m(u)\) ist sicher unbedingt convergent, wenn sämtliche Coefficienten positiv sind und \[ \int_0^x[f(x+h+k) - f(x+k)]dx \] sich nach den Functionen \(B_m(u)\) entwickeln lässt. Diejenige Reihe, welche durch gliedweises Differentiiren der sich für die stetige, endliche differentirbare Function \(f(x+k)\) ergebenden convergenten Reihe nach den \(B_m\) entsteht, hat nur dann \(f(x+k)\) zur Summe, wenn letzteres sich ebenfalls durch die \(B_m\) darstellen lässt und ausserdem \[ \lim\frac{h^{2n}}{(2n)!}\int_0^1 B_{2n}(t)f^{2n+1}(k+ht)dt = 0 \] ist. Als Beispiele werden behandelt a) \(f(x)=x^m\), b) Kugelfunctionen erster Art, c) Hermite'sche Polynome, d) Exponentialfunctionen.