The Bernoulli polynomials, (where ), are deﬁned by and, for ,
- Show that , where is a constant (which you need not evaluate).
- Show that, for , .
- Show, by induction or otherwise, that
- Hence show that
and deduce that .
The Swiss family Bernoulli included no fewer than eight mathematicians who were counted amongst the leading scholars of their day. They made major contributions to all branches of mathematics, especially differential calculus. There was great rivalry between some members of the family; between brothers Jakob (1654–1705) and Johann (1667–1748), in particular.
Johann once published an important result in the form of a Latin anagram, in order to retain the priority of discovery without giving the game away to his brother. The anagram was: , , , , , , , , , , , , , , , , , , , , , , , –, , , , , , . The notation means that his important result contained, for instance, the letter 24 times either in text or in equations. After waiting for a year for someone to solve it, Bernoulli weakened and published the solution himself. If you are trying to solve the anagram yourself, you might like to know that it is about the Riccati equation , which can be solved (very cunningly, as it turns out) when is of the form for any positive integer . (Newton also published some work in the form of anagrams, during his conﬂict with Leibniz).
The polynomials described above were discovered by Jakob Bernoulli. They are deﬁned recursively; that is to say, the zeroth polynomial is given an explicit value, and the th is determined from the th. Here, has to be integrated to obtain , which means that is a polynomial of degree . The constant of integration is determined by the condition (2), so is uniquely determined. We have to do this explicitly for part (i).
Solution to problem 46
(i) First we ﬁnd by integrating , using equation (1): , where is a constant. We ﬁnd by applying the condition , which gives . Next we ﬁnd by similar means, giving , and similarly and is as given.
using property (2) with replaced by .
(iii) First the easy bit of the induction proof. For , we have , so
so the formula holds.
Now suppose that it holds for :
which we hope will also equal zero.
The only helpful thing we know about Bernoulli polynomials involves the derivatives. Therefore, let us see what happens when we differentiate the expression (5):
Now using (1) gives
Note that we have used the chain rule to differentiate with respect to rather than with respect to . Note also that there is a pleasing overall factor of , which suggests that we are on the right track. In fact, taking out this factor gives exactly the left hand side of equation (4), which is zero.
We must show that . Setting gives , which implies that by part (ii).
(iv) Summing (3) from to gives the ﬁrst of these results immediately because nearly all the terms cancel in pairs. The evaluation of the sum follows by calculating from the result given in part (i).