[Click here for a PDF of this post with nicer formatting (especially if my latex to wordpress script has left FORMULA DOES NOT PARSE errors.)]

**Motivation**

In [1] I saw the Euler-summation formula casually used in a few places, allowing an approximation of a sum with derivatives at the origin. This rather powerful relationship was used in passing, and seemed like it was worth some exploration.

**Bernoulli polynomials and numbers**

Before tackling Euler summation, we first need to understand some properties of Bernoulli polynomials [], and Bernoulli numbers [2]. The properties of interest required for the derivation of the Euler summation formula appear to follow fairly easily with the following choice for the definition of the Bernoulli polynomials and Bernoulli numbers

It is conventional to fix . Eq. 1.0.1.1 provides an iterative method to calculate all the higher Bernoulli numbers. Without calculating the Bernoulli numbers explicitly, we can relate these to the values of the polynomials at the origin

Now, let’s calculate the first few of these, to verify that we’ve got the conventions right. Starting with we have

or . Next with

or . Thus the first few Bernoulli polynomials are

The Bernoulli polynomials have a simple relation to their derivative. Proceeding directly, taking derivatives we have

or

There’s a number of difference relations that the polynomials satisfy. The one that we need is

To prepare for demonstrating this difference in general, let’s perform this calculation for the specific cases of and to remove some of the index abstraction from the mix. For we have

For (a value of that is representative) we have

Evaluating this in general, we see that the term with the highest order Bernoulli number is immediately killed, and we’ll have just one highest order monomial out of the mix. We expect all the remaining monomial terms to be killed term by term. That general difference is, for is

This last sum up to has the form of eq. 1.0.1.1, so is killed off. This proves eq. 1.0.8 as desired.

From this difference result we find for

and for

we find that either of the end points in the interval provide us (up to a sign) with the Bernoulli numbers

Integrating eq. 1.0.7 after an substitution, and comparing to the difference equation, we have

or

Evaluating this at shows that our polynomials are odd functions around the center of the interval, or

We also obtain Bernoulli’s sum of powers result

or

We don’t need this result for the Euler summation formula, but it’s cool!

To arrive at some of these results I’ve followed, in part, portions of the approach outlined in []. That treatment however, starts by deriving some difference calculus results and uses associated generating functions for a more abstract difference equation related to the Bernoulli polynomials. In this summary of relationships above, I’ve attempted to avoid any requirement to first study the difference equation formalism (although that is also cool too, and not actually that difficult).

**Euler-MacLauren summation**

Following wikipedia [4], we utilize the simple boundary conditions for the Bernoulli polynomials in the interval. We can exploit these using integration by parts if we do a periodic extension of these polynomials in that interval.

Writing for the largest integer less than or equal to , our periodical extension of the interval Bernoulli polynomial is

From eq. 1.0.2 and eq. 1.0.14, our end points are

Utilizing eq. 1.0.7 we can integrate by parts in a specific unit interval

Summing gives us

or

Continuing the integration by parts we have

or

# References

\bibitem[Behnke et al.(1974)Behnke, Gerike, and Gould]behnke1974fundamentalsV3Heinrich Behnke, Helmuth Gerike, and Sydney Henry Gould. *Fundamentals of mathematics*, volume 3. MIT Press, 1974.

[1] RK Pathria. *Statistical mechanics*. Butterworth Heinemann, Oxford, UK, 1996.

[2] Wikipedia. Bernoulli number — wikipedia, the free encyclopedia, 2013\natexlab{a}. URL http://en.wikipedia.org/w/index.php?title=Bernoulli_number&oldid=556109551. [Online; accessed 28-May-2013].

[3] Wikipedia. Bernoulli polynomials — wikipedia, the free encyclopedia, 2013\natexlab{b}. URL http://en.wikipedia.org/w/index.php?title=Bernoulli_polynomials&oldid=548729909. [Online; accessed 28-May-2013].

[4] Wikipedia. Euler-maclaurin formula — wikipedia, the free encyclopedia, 2013\natexlab{c}. URL http://en.wikipedia.org/w/index.php?title=Euler%E2%80%93Maclaurin_formula&oldid=552061467. [Online; accessed 28-May-2013].