Explicit formula for even-index Bernoulli numbers, , November 27, 2006

Keywords: Number theory, Bernoulli numbers, non-recursive expression.

1 Explicit expression for even-index Bernoulli numbers.

First a sequence of determinants D

_{k}

(with k= 1, 2, 3, ...) is defined as follows:

_{1} = \frac{1}{3!}

_{2 =} | \begin{matrix} \frac{1}{3!} & \frac{1}{5!} \\ 1 & \frac{1}{3!} \end{matrix} |

_{3} = | \begin{matrix} \frac{1}{3!} & \frac{1}{5!} & \frac{1}{7!} \\ 1 & \frac{1}{3!} & \frac{1}{5!} \\ 0 & 1 & \frac{1}{3!} \end{matrix} |

_{4} = | \begin{matrix} \frac{1}{3!} & \frac{1}{5!} & \frac{1}{7!} & \frac{1}{9!} \\ 1 & \frac{1}{3!} & \frac{1}{5!} & \frac{1}{7!} \\ 0 & 1 & \frac{1}{3!} & \frac{1}{5!} \\ 0 & 0 & 1 & \frac{1}{3!} \end{matrix} |

etc. . . . . .

(1.1)

Let B

_{2 p}

(with p= 1, 2, 3, . . . ) be the even Bernoulli number of index 2p.

_{2 p}

is then given by the following formula:

B_{2 p} = - 2 p + {(\frac{3}{2})}^{2 p} {1 + (2 p)! \sum_{k = 1}^{p} \frac{(- 1)^{k} D_{k}}{3^{2 k} [2 (p - k)]!}}

(1.2)

in which the D

_{k}

's are as given above and 0 ! = 1 by definition.

2 Relation between the determinants D $_{k}$ .

The determinants D

_{k}

in (1.1) are in explicit form. Nevertheless a recursive relation among the D

_{k}

's may be given as is obvious from their definition (1.1).

Putting for simplicity D

_{0}

= 1, the relation between the D

_{k}

's may be written successively as:

_{1} = \frac{1}{3!}

_{0}

_{2} = \frac{1}{3!}

_{1} - \frac{1}{5!}

_{0}

_{3} = \frac{1}{3!}

_{2} - \frac{1}{5!}

_{1} + \frac{1}{7!}

_{0}

_{4} = \frac{1}{3!}

_{3} - \frac{1}{5!}

_{2} + \frac{1}{7!}

_{1} - \frac{1}{9!}

_{0}

or in general:

D_{k} = \sum_{l = 1}^{k} \frac{(- 1)^{l - 1} D_{k - l}}{(2 l + 1)!}

(2.1)

Readers interested in the derivation of (1.2) may contact the author via e-mail.

Dr Renaat Van Malderen Address: Maxlaan 21, 2640 Mortsel, Belgium Author can be reached by email: hans.vanmalderen@bertholdtech.com

Explicit formula for even-index Bernoulli numbers