Fonctions d’une variable réelle, VI, p. 25
Pour tout polynôme Q à coefficients réels, tel que Q(0)=Q(1), on note Q~ la fonction continue dans R telle que Q~(x)=Q(x) pour 0≤x≤1 et Q~(x+1)=Q~(x) pour tout x∈R. a) Pour tout entier m≥2, le polynôme de Bernoulli Bm est l’unique polynôme à coefficients réels, Q de degré m, unitaire et tel que l’on ait ∫01Q(x)dx=0, Q(1)=Q(0) et que la fonction Q~ soit m−2 fois dérivable dans R et ait une dérivée (m−2)-ème continue. (Raisonner par récurrence sur m.) b) Montrer que l’on a, pour m≥1
∫01Bm(x)e−2πinxdx={0−(2πi)mm!si n=0si n=0 dans Z.
\* c) Déduire de b) que, pour 0≤x≤1 et m≥2, on a
Bm(x)=−(2πi)mm!n∈Z−{0}∑nme2πinx
la série étant normalement convergente.*