Bernoulli polynomials of the second kind

Template:Use American English Template:Short description The Bernoulli polynomials of the second kind Template:Math, also known as the Fontana–Bessel polynomials, are the polynomials defined by the following generating function: $$\frac{z(1+z{)}^x}{\ln (1+z)}=\sum _{n=0}^{\mathrm{\infty }}{z}^n{\psi }_n(x),|z|<1.$$

The first five polynomials are: $$\begin{array}{cc}{\psi }_0(x)& =1\\ {\psi }_1(x)& =x+\frac{1}{2}\\ {\psi }_2(x)& =\frac{1}{2}{x}^2-\frac{1}{12}\\ {\psi }_3(x)& =\frac{1}{6}{x}^3-\frac{1}{4}{x}^2+\frac{1}{24}\\ {\psi }_4(x)& =\frac{1}{24}{x}^4-\frac{1}{6}{x}^3+\frac{1}{6}{x}^2-\frac{19}{720}\end{array}$$

Some authors define these polynomials slightly differently $$\frac{z{(1+z)}^x}{\ln (1+z)}=\sum _{n=0}^{\mathrm{\infty }}\frac{z^n}{n!}{\psi }_n^{*}(x),|z|<1,$$ so that ${\psi }_n^{*}(x)={\psi }_n(x)n!$ and may also use a different notation for them (the most used alternative notation is Template:Math). Under this convention, the polynomials form a Sheffer sequence.

The Bernoulli polynomials of the second kind were largely studied by the Hungarian mathematician Charles Jordan, but their history may also be traced back to the much earlier works.

Integral representations

The Bernoulli polynomials of the second kind may be represented via these integrals $${\psi }_n(x)=\underset{x}{\overset{x+1}{\int }}(\genfrac{}{}{0ex}{}{u}{n})du=\underset{0}{\overset{1}{\int }}(\genfrac{}{}{0ex}{}{x+u}{n})du$$ as well as $$\begin{array}{cc}{\psi }_n(x)& =\frac{{(-1)}^{n+1}}{\pi }\underset{0}{\overset{\mathrm{\infty }}{\int }}\frac{\pi \cos \pi x-\sin \pi x\ln z}{(1+z{)}^n}\cdot \frac{z^{x}dz}{{\ln }^{2}z+{\pi }^2},-1\le x\le n-1\\ {\psi }_n(x)& =\frac{{(-1)}^{n+1}}{\pi }\underset{-\mathrm{\infty }}{\overset{+\mathrm{\infty }}{\int }}\frac{\pi \cos \pi x-v\sin \pi x}{{(1+e^v)}^n}\cdot \frac{e^{v(x+1)}}{v^2+{\pi }^2}dv,-1\le x\le n-1\end{array}$$

These polynomials are, therefore, up to a constant, the antiderivative of the binomial coefficient and also that of the falling factorial.

Explicit formula

For an arbitrary Template:Math, these polynomials may be computed explicitly via the following summation formula $${\psi }_n(x)=\frac{1}{(n-1)!}\sum _{l=0}^{n-1}\frac{s(n-1,l)}{l+1}{x}^{l+1}+G_n,n=1,2,3,\dots$$ where Template:Math are the signed Stirling numbers of the first kind and Template:Math are the Gregory coefficients.

The expansion of the Bernoulli polynomials of the second kind into a Newton series reads $${\psi }_n(x)=G_0(\genfrac{}{}{0ex}{}{x}{n})+G_1(\genfrac{}{}{0ex}{}{x}{n-1})+G_2(\genfrac{}{}{0ex}{}{x}{n-2})+\dots +G_n$$ It can be shown using the second integral representation and Vandermonde's identity.

Recurrence formula

The Bernoulli polynomials of the second kind satisfy the recurrence relation $${\psi }_n(x+1)-{\psi }_n(x)={\psi }_{n-1}(x)$$ or equivalently $$\mathrm{\Delta }{\psi }_n(x)={\psi }_{n-1}(x)$$

The repeated difference produces $${\mathrm{\Delta }}^m{\psi }_n(x)={\psi }_{n-m}(x)$$

Symmetry property

The main property of the symmetry reads $${\psi }_n(\frac{1}{2}n-1+x)={(-1)}^n{\psi }_n(\frac{1}{2}n-1-x)$$

Some further properties and particular values

Some properties and particular values of these polynomials include $$\begin{array}{cc}& {\psi }_n(0)=G_n\\ & {\psi }_n(1)=G_{n-1}+G_n\\ & {\psi }_n(-1)={(-1)}^{n+1}\sum _{m=0}^n\left|G_m\right|={(-1)}^n{C}_n\\ & {\psi }_n(n-2)=-\left|G_n\right|\\ & {\psi }_n(n-1)={(-1)}^n{\psi }_n(-1)=1-\sum _{m=1}^n\left|G_m\right|\\ & {\psi }_{2n}(n-1)=M_{2n}\\ & {\psi }_{2n}(n-1+y)={\psi }_{2n}(n-1-y)\\ & {\psi }_{2n+1}(n-\frac{1}{2}+y)=-{\psi }_{2n+1}(n-\frac{1}{2}-y)\\ & {\psi }_{2n+1}(n-\frac{1}{2})=0\end{array}$$ where Template:Math are the Cauchy numbers of the second kind and Template:Math are the central difference coefficients.

Some series involving the Bernoulli polynomials of the second kind

The digamma function Template:Math may be expanded into a series with the Bernoulli polynomials of the second kind in the following way $$\mathrm{\Psi }(v)=\ln (v+a)+\sum _{n=1}^{\mathrm{\infty }}\frac{(-1{)}^n{\psi }_n(a)(n-1)!}{(v{)}_n},\mathrm{\Re }(v)>-a,$$ and hence $$\gamma =-\ln (a+1)-\sum _{n=1}^{\mathrm{\infty }}\frac{(-1{)}^n{\psi }_n(a)}{n},\mathrm{\Re }(a)>-1$$ and $$\gamma =\sum _{n=1}^{\mathrm{\infty }}\frac{(-1{)}^{n+1}}{2n}\{{\psi }_n(a)+{\psi }_n(-\frac{a}{1+a})\},a>-1$$ where Template:Math is Euler's constant. Furthermore, we also have $$\mathrm{\Psi }(v)=\frac{1}{v+a-\frac{1}{2}}\{\ln \mathrm{\Gamma }(v+a)+v-\frac{1}{2}\ln (2\pi )-\frac{1}{2}+\sum _{n=1}^{\mathrm{\infty }}\frac{{(-1)}^n{\psi }_{n+1}(a)}{(v{)}_n}(n-1)!\},\mathrm{\Re }(v)>-a,$$ where Template:Math is the gamma function. The Hurwitz and Riemann zeta functions may be expanded into these polynomials as follows $$\zeta (s,v)=\frac{(v+a{)}^{1-s}}{s-1}+\sum _{n=0}^{\mathrm{\infty }}(-1{)}^n{\psi }_{n+1}(a)\sum _{k=0}^n{(-1)}^k(\genfrac{}{}{0ex}{}{n}{k})(k+v{)}^{-s}$$ and $$\zeta (s)=\frac{(a+1{)}^{1-s}}{s-1}+\sum _{n=0}^{\mathrm{\infty }}(-1{)}^n{\psi }_{n+1}(a)\sum _{k=0}^n{(-1)}^k(\genfrac{}{}{0ex}{}{n}{k})(k+1{)}^{-s}$$ and also $$\zeta (s)=1+\frac{(a+2{)}^{1-s}}{s-1}+\sum _{n=0}^{\mathrm{\infty }}(-1{)}^n{\psi }_{n+1}(a)\sum _{k=0}^n{(-1)}^k(\genfrac{}{}{0ex}{}{n}{k})(k+2{)}^{-s}$$

The Bernoulli polynomials of the second kind are also involved in the following relationship $$(v+a-\frac{1}{2})\zeta (s,v)=-\frac{\zeta (s-1,v+a)}{s-1}+\zeta (s-1,v)+\sum _{n=0}^{\mathrm{\infty }}{(-1)}^n{\psi }_{n+2}(a)\sum _{k=0}^n{(-1)}^k(\genfrac{}{}{0ex}{}{n}{k})(k+v{)}^{-s}$$ between the zeta functions, as well as in various formulas for the Stieltjes constants, e.g. $${\gamma }_m(v)=-\frac{{\ln }^{m+1}(v+a)}{m+1}+\sum _{n=0}^{\mathrm{\infty }}(-1{)}^n{\psi }_{n+1}(a)\sum _{k=0}^n{(-1)}^k(\genfrac{}{}{0ex}{}{n}{k})\frac{{\ln }^m(k+v)}{k+v}$$ and $${\gamma }_m(v)=\frac{1}{\frac{1}{2}-v-a}\{\frac{(-1{)}^m}{m+1}{\zeta }^{(m+1)}(0,v+a)-(-1{)}^m{\zeta }^{(m)}(0,v)-\sum _{n=0}^{\mathrm{\infty }}(-1{)}^n{\psi }_{n+2}(a)\sum _{k=0}^n(-1{)}^k(\genfrac{}{}{0ex}{}{n}{k})\frac{{\ln }^m(k+v)}{k+v}\}$$ which are both valid for $\mathrm{\Re }(a)>-1$ and $v\in ℂ\setminus \{0,-1,-2,\dots \}$.

See also

• Bernoulli polynomials
• Stirling polynomials
• Gregory coefficients
• Bernoulli numbers
• Difference polynomials
• Poly-Bernoulli number
• Mittag-Leffler polynomials