Théorème 3Analyse de Fourier
Riemann-Lebesgue et critère de Dini
(i) Riemann-Lebesgue. Pour , et tendent vers 0 quand le réel .
(ii) Dini. Soit intégrable sur une période, -périodique, et tel que soit intégrable au voisinage de . Alors . C'est le cas si est dérivable en , ou lipschitzienne au voisinage de .
Démonstration
(i) Pour l'indicatrice d'un intervalle , est majoré par . Par linéarité, l'énoncé vaut pour les fonctions en escalier, et par densité (Densité) pour toute , puisque .
(ii) Par Théorème de Fejér, (i), et , Sur , , par concavité du sinus sur ; la fonction est donc intégrable, et l'on applique (i) avec , en développant .
□Au point , la série de donne , c'est-à-dire la formule de Leibniz . Aux points de discontinuité de la fonction prolongée par périodicité, , la série converge vers , moyenne des limites à gauche et à droite.