Questions tagged [bernoulli-numbers]

Questions on Bernoulli numbers, a special sequence of rational numbers that arise as the coefficients in the power series expansions of certain elementary functions.

The $n$th Bernoulli number $B_n$ is frequently defined in terms of a generating function:

$$\frac x{1-e^{-x}}=\sum\limits_{n = 0}^\infty B_n\frac{x^n}{n!}$$

The first few Bernoulli numbers are

\begin{align*} B_0 &=1 \\ B_1 &=\frac12 \\ B_2 &=\frac16 \\ B_3 &=0 \\ B_4 &=-\frac1{30} \\ B_5 &=0 \end{align*}

All Bernoulli numbers with $n$ odd, except for $B_1$, are zero.

Alternatively, the $n$th Bernoulli number is the constant coefficient in the $n$th Bernoulli polynomial $B_n(x)$, which can be defined in terms of a generating function as well:

$$\frac{te^{-xt}}{1-e^{-t}} = \sum_{k=0}^\infty B_n(x)\frac{t^n}{t!}$$

The Bernoulli numbers have deep connections to number theory, and frequently rise in combinatorics and asymptotic estimates of functions, as well.

434 questions
54
votes
6 answers

Generalizing the sum of consecutive cubes $\sum_{k=1}^n k^3 = \Big(\sum_{k=1}^n k\Big)^2$ to other odd powers

We have, $$\sum_{k=1}^n k^3 = \Big(\sum_{k=1}^n k\Big)^2$$ $$2\sum_{k=1}^n k^5 = -\Big(\sum_{k=1}^n k\Big)^2+3\Big(\sum_{k=1}^n k^2\Big)^2$$ $$2\sum_{k=1}^n k^7 = \Big(\sum_{k=1}^n k\Big)^2-3\Big(\sum_{k=1}^n k^2\Big)^2+4\Big(\sum_{k=1}^n…
36
votes
1 answer

A Bernoulli number identity and evaluating $\zeta$ at even integers

Sometime back I made a claim here that the proof for $\zeta(4)$ can be extended to all even numbers. I tried doing this but I face a stumbling block. Let me explain the problem in detail here. I was trying to mimic Euler's proof for the Basel…
user17762
22
votes
2 answers

Explicit formula for Bernoulli numbers by using only the recurrence relation

It is not hard to show, by induction on $m\in\mathbb N$, that there exist a sequence $(B_n)_{n\geq0}$ of rational numbers such that $$\sum_{k=1}^nk^m=\frac1{m+1}\sum_{k=0}^m\binom{m+1}kB_k\,n^{m+1-k},\ \style{font-family:inherit;}{\text{for all}}\…
22
votes
3 answers

On the general form of the family $\sum_{n=1}^\infty \frac{n^{k}}{e^{2n\pi}-1} $

I. $k=4n+3.\;$ From this post, one knows that $$\sum_{n=1}^\infty \frac{n^{3}}{e^{2n\pi}-1} = \frac{\Gamma\big(\tfrac{1}{4}\big)^8}{2^{10}\cdot5\,\pi^6}-\frac{1}{240}$$ and a Mathematica session reveals$$\sum_{n=1}^\infty \frac{n^{7}}{e^{2n\pi}-1}…
18
votes
1 answer

Faulhaber's polynomials and irreducibility in the sums of powers

$\color{brown}{\textbf{The setup and observations}}$ For $d\in{\bf N}$ and $n\in{\bf N}^\star$, denote by $S_d(n)$ the sum of the $d$-powers of integers $1$ to $n$: $$S_d(n)=\sum_{k=1}^nk^d.$$ A simple use of the binomial theorem in developping the…
17
votes
4 answers

Bernoulli numbers identity:$\sum_{k=0}^n\sum_{l=0}^m\binom{n}{k}\binom{m}{l}\frac{(n-k)!(m-l)!}{(n+m-k-l+1)!}(-1)^l B_{k+l}=0$,for all $n\ge1$,$m\ge0$

For all $n\geq 1$ and $m\geq0$, I'm trying to prove that $\sum_{k=0}^n\sum_{l=0}^m\binom{n}{k}\binom{m}{l}\frac{(n-k)!(m-l)!}{(n+m-k-l+1)!}(-1)^l B_{k+l}=0$ where $B_n$ are the Bernoulli numbers with $B_{1}=-\frac{1}{2}$. I made a couple of attempts…
16
votes
4 answers

Bernoulli numbers generating function: $\frac{t}{e^t-1}=\sum_{n=1}^{\infty} B_n \frac{t^n}{n!}$

Consider the following generating formula: $$\frac{t}{e^t-1}=\sum_{n=1}^{\infty} B_n \frac{t^n}{n!}$$ There is some intuitive explanation about it? I want to know because I need to proof to myself that the sum of the combination of the Bernoulli…
PPP
  • 2,121
16
votes
5 answers

A relationship between matrices, bernoulli polynomials, and binomial coefficients

We define the following polynomials, for $n≥0$: $$P_n(x)=(x+1)^{n+1}-x^{n+1}=\sum_{k=0}^{n}{\binom{n+1}{k}x^k}$$ For $n=0,1,2,3$ this gives us, $$P_0(x)=1\enspace P_1(x)=2x+1\enspace P_2(x)=3x^2+3x+1\enspace P_3(x)=4x^3+6x^2+4x+1$$ We then define…
16
votes
1 answer

A cute approximation for $\cot(2\pi x)$(!?)

Numerical calculations and some theory leads to the suggestion that $$\cot(2\pi x) \rightarrow\frac{1}{2\pi}\sum_r \frac{1}{x-r}$$ where $r$ ranges over all the roots of $B_{2n+1}$ (Bernoulli polynomial) as $n\rightarrow \infty$ and $n \in…
user11260
15
votes
1 answer

Non-trivial zero(s) of Akiyama-Tanigawa triangle

Introduced in 1997, the Akiyama-Tanigawa triangle is a doubly-indexed recursion that encodes the Bernoulli numbers, among other sequences. It is defined as follows: let $a:\mathbb{N^0}\times\mathbb{N^+}\to \mathbb{R}$ (this indexing is to agree with…
15
votes
2 answers

Integral of binomial coefficients

Let the integral in question be given by \begin{align} f_{n}(x) = \int_{1}^{x} \binom{t-1}{n} \, dt. \end{align} The integral can also be seen in the form \begin{align} f_{n}(x) = \frac{1}{n!} \, \int_{1}^{x} \frac{\Gamma(t) \, dt}{\Gamma(t-n)} =…
13
votes
2 answers

Ways to prove Euler's formula for $\zeta(2n)$

I recently, out of interest, tried to prove Euler's formula $\zeta{(2n)}=(-1)^{n-1}\frac{(2\pi)^{2n}}{2(2n)!}B_{2n}$ for all $n\in\mathbb{N}$. I adapted Euler's original proof for $\zeta(2)=\frac{\pi^2}{6}$: We have the well known formulas…
13
votes
3 answers

Proving of the multiplication theorem for Bernoulli polynomial

How the expression below can be proven: $$B_n(mx) = m^{n−1} \sum\limits_{k=0}^{m-1}B_n\left(x+\frac{k}{m}\right)$$ Where $B_n(x)$ is Bernoulli polynomial I know it is already proved by Joseph Ludwig Raabe, but I don`t know how exactly.
dehasi
  • 529
  • 4
  • 15
11
votes
4 answers

Finding a Correlation between Bernoulli Variables?

Let X and Y be Bernoulli random variables. We don't assume independence or identical distribution, but we do assume that all 4 of the following probabilities are nonzero. Let a := P[X = 1, Y = 1], b := P[X = 1, Y = 0], c := P[X = 0, Y = 1], and d…
11
votes
1 answer

Is $\frac{\zeta (m+n)}{\zeta (m)\zeta (n)}$ a rational number for $m,n\ge 2\in\mathbb N$?

Question : Is $$\frac{\zeta (m+n)}{\zeta (m)\zeta (n)}$$ a rational number for $m,n\ge 2\in\mathbb N$ where $\zeta (s)=\sum_{n=1}^{\infty}\frac{1}{n^s}$? Motivation : We know that $$\zeta (2k)=(-1)^{k+1}\frac{B_{2k}(2\pi)^{2k}}{2(2k)!}$$ and that…
1
2 3
28 29