|
|
|
|
the odd Bernoulli numbers are zero
|
(Theorem)
|
|
|
Recall that, for $k\geq 0$ the Bernoulli numbers $B_k$ are defined as the coefficients in the Taylor expansion: \begin{eqnarray} \label{ber} \frac{t}{e^t-1}=\sum_{k\geq 0} B_k \frac{t^k}{k!}. \end{eqnarray}Just to name a few: $$B_0=1,\quad B_1=-\frac{1}{2},\quad B_2=\frac{1}{6},\quad B_3=0,\quad B_4=-\frac{1}{30},\ B_5=0,\ldots,\ B_{10}=\frac{5}{66},\ldots $$
Lemma 1 If $k\geq 3$ is odd then $B_k=0$
Proof. From the right hand side of ( ![[*] [*]](http://images.planetmath.org:8080/cache/objects/6959/js//usr/share/latex2html/icons/crossref.png) ) we extract the term corresponding to $k=1$ \begin{eqnarray} \label{ber2} \frac{t}{e^t-1}=-\frac{t}{2}+\sum_{k\geq 0,\ k\neq 1} B_k \frac{t^k}{k!}. \end{eqnarray}Thus: \begin{eqnarray} \label{ber21} \frac{t}{e^t-1}+\frac{t}{2}=\sum_{k\geq 0,\ k\neq 1} B_k \frac{t^k}{k!} \end{eqnarray}and the left hand side can be rewritten as: \begin{eqnarray} \label{ber3} \frac{t}{e^t-1}+\frac{t}{2}= \frac{2t+t(e^t-1)}{2(e^t-1)} = \frac{t}{2}\cdot
\frac{e^t+1}{e^t-1}=\frac{t}{2} \cdot \frac{e^{t/2}+e^{-t/2}}{e^{t/2}-e^{-t/2}}. \end{eqnarray}Hence, if one replaces $t$ by $-t$ then ( ![[*] [*]](http://images.planetmath.org:8080/cache/objects/6959/js//usr/share/latex2html/icons/crossref.png) ) is unchanged. Since ( ![[*] [*]](http://images.planetmath.org:8080/cache/objects/6959/js//usr/share/latex2html/icons/crossref.png) ) is the left hand side of ( ![[*] [*]](http://images.planetmath.org:8080/cache/objects/6959/js//usr/share/latex2html/icons/crossref.png) ), the quantity $$\sum_{k\geq 0,\ k\neq 1} B_k \frac{t^k}{k!}$$ is also unchanged when $t$ is exchanged by $-t$ and so we must have $B_k=(-1)^kB_k$ for $k\neq 1$ We conclude that if $k\geq 3$ and $k$ is odd, $B_k=0$

|
"the odd Bernoulli numbers are zero" is owned by alozano.
|
|
(view preamble | get metadata)
Cross-references: left hand side, term, right hand side, odd, Taylor expansion, coefficients, Bernoulli numbers
There is 1 reference to this entry.
This is version 2 of the odd Bernoulli numbers are zero, born on 2005-04-20, modified 2005-04-20.
Object id is 6959, canonical name is OddBernoulliNumbersAreZero.
Accessed 2193 times total.
Classification:
| AMS MSC: | 11B68 (Number theory :: Sequences and sets :: Bernoulli and Euler numbers and polynomials) |
|
|
|
|
|
|
Pending Errata and Addenda
|
|
|
|
|
|
|
|
|
|
|