Fungrim home page

Bernoulli numbers and polynomials

Table of contents: Tables - Generating functions - Sum representations - Representations by special functions - Specific values - Functional equations - Derivatives and integrals - Summation - Denominators - Bounds and inequalities

ac8eca
Symbol: BernoulliB BnB_{n} Bernoulli number
1f88a4
Symbol: BernoulliPolynomial Bn ⁣(z)B_{n}\!\left(z\right) Bernoulli polynomial
b6111c
Bn=A027641 ⁣(n)A027642 ⁣(n)B_{n} = \frac{\text{A027641}\!\left(n\right)}{\text{A027642}\!\left(n\right)}

Tables

aed6bd
Table of BnB_{n} for 0n500 \le n \le 50
588889
Table of Bn ⁣(x)B_{n}\!\left(x\right) for 0n100 \le n \le 10

Generating functions

522b04
zez1=n=0Bnznn!\frac{z}{{e}^{z} - 1} = \sum_{n=0}^{\infty} B_{n} \frac{{z}^{n}}{n !}
f79ff0
zexzez1=n=0Bn ⁣(x)znn!\frac{z {e}^{x z}}{{e}^{z} - 1} = \sum_{n=0}^{\infty} B_{n}\!\left(x\right) \frac{{z}^{n}}{n !}

Sum representations

555e10
Bn ⁣(x)=k=0n(nk)BnkxkB_{n}\!\left(x\right) = \sum_{k=0}^{n} {n \choose k} B_{n - k} {x}^{k}

Representations by special functions

14ecc4
B2n=(1)n+12(2n)!ζ ⁣(2n)(2π)2nB_{2 n} = {\left(-1\right)}^{n + 1} \frac{2 \left(2 n\right)! \zeta\!\left(2 n\right)}{{\left(2 \pi\right)}^{2 n}}
4228cd
Bn ⁣(z)=nζ ⁣(1n,z)B_{n}\!\left(z\right) = -n \zeta\!\left(1 - n, z\right)

Specific values

a98234
B2n+3=0B_{2 n + 3} = 0
d10873
(1)nB2n+2>0{\left(-1\right)}^{n} B_{2 n + 2} > 0
a1d2d7
Bn ⁣(0)=BnB_{n}\!\left(0\right) = B_{n}
829185
Bn ⁣(1)=(1)nBnB_{n}\!\left(1\right) = {\left(-1\right)}^{n} B_{n}
03ee0b
Bn ⁣(12)=(21n1)BnB_{n}\!\left(\frac{1}{2}\right) = \left({2}^{1 - n} - 1\right) B_{n}

Functional equations

8b4f7f
Bn ⁣(x+1)=Bn ⁣(x)+nxn1B_{n}\!\left(x + 1\right) = B_{n}\!\left(x\right) + n {x}^{n - 1}
c2dcfa
Bn ⁣(1x)=(1)nBn ⁣(x)B_{n}\!\left(1 - x\right) = {\left(-1\right)}^{n} B_{n}\!\left(x\right)
f80439
Bn ⁣(x)=(1)n(Bn ⁣(x)+nxn1)B_{n}\!\left(-x\right) = {\left(-1\right)}^{n} \left(B_{n}\!\left(x\right) + n {x}^{n - 1}\right)

Derivatives and integrals

7adfd6
abBn ⁣(t)dt=Bn+1 ⁣(b)Bn+1 ⁣(a)n+1\int_{a}^{b} B_{n}\!\left(t\right) \, dt = \frac{B_{n + 1}\!\left(b\right) - B_{n + 1}\!\left(a\right)}{n + 1}
05202b
zz+1Bn ⁣(t)dt=zn\int_{z}^{z + 1} B_{n}\!\left(t\right) \, dt = {z}^{n}
e89eb5
Bn(x)=nBn1 ⁣(x)B'_{n}(x) = n B_{n - 1}\!\left(x\right)

Summation

4aab8a
k=1mkn=Bn+1 ⁣(m+1)Bm+1m+1\sum_{k=1}^{m} {k}^{n} = \frac{B_{n + 1}\!\left(m + 1\right) - B_{m + 1}}{m + 1}

Denominators

ff190c
(B2n+(p1)2n1p)Z\left(B_{2 n} + \sum_{\left(p - 1\right) \mid 2 n} \frac{1}{p}\right) \in \mathbb{Z}
c33e2b
(B2n(p1)2n1p)Z\left(B_{2 n} \prod_{\left(p - 1\right) \mid 2 n} \frac{1}{p}\right) \in \mathbb{Z}

Bounds and inequalities

0f02a5
B2n<(1+1n)2(2n)!(2π)2n\left|B_{2 n}\right| < \left(1 + \frac{1}{n}\right) \frac{2 \left(2 n\right)!}{{\left(2 \pi\right)}^{2 n}}
3a1316
B2n<(1+1n)4πn(nπe)2n\left|B_{2 n}\right| < \left(1 + \frac{1}{n}\right) 4 \sqrt{\pi n} {\left(\frac{n}{\pi e}\right)}^{2 n}
1d2f4a
B2n>2(2n)!(2π)2n\left|B_{2 n}\right| > \frac{2 \left(2 n\right)!}{{\left(2 \pi\right)}^{2 n}}
69ca86
B2n>4πn(nπe)2n\left|B_{2 n}\right| > 4 \sqrt{\pi n} {\left(\frac{n}{\pi e}\right)}^{2 n}
292d70
B2n ⁣(x)B2n\left|B_{2 n}\!\left(x\right)\right| \le \left|B_{2 n}\right|
4246ae
B2n ⁣(x)<B2n\left|B_{2 n}\!\left(x\right)\right| < \left|B_{2 n}\right|

Copyright (C) Fredrik Johansson and contributors. Fungrim is provided under the MIT license. The source code is on GitHub.

2021-03-15 19:12:00.328586 UTC