L'objectif de cet exercice est de déterminer la valeur de par une méthode intégrale.
Pour la question 1, effectuer deux intégrations par parties successives. On cherchera à annuler les termes de bord dépendant de .
Pour la question 2, utiliser la linéarité de l'intégrale et la définition de .
Pour la question 3, justifier que la fonction se prolonge en une fonction de classe sur .
Intégration par parties (double) pour lier polynômes et coefficients de Fourier.
Utilisation de l'identité trigonométrique du noyau de Dirichlet.
Lemme de Riemann-Lebesgue pour l'annulation de l'intégrale oscillante à l'infini.
Résolution.
Comme et , le terme de bord s'annule. Effectuons une seconde intégration par parties :
En développant, il vient :
D'où . Pour obtenir pour tout , on impose :
On en déduit les constantes :
Par définition du noyau de Dirichlet , on a . Ainsi :
Calculons l'intégrale constante :
On obtient donc la relation :
La fonction est de classe sur et se prolonge par continuité en 0. De plus, un calcul de dérivée montre que admet une limite finie en 0, donc est de classe sur par le théorème de prolongement .
Par le lemme de Riemann-Lebesgue (ou par une intégration par parties pour une fonction ), on a :
En passant à la limite dans l'expression de , on conclut :
Oubli du terme 1/2 dans la relation entre somme de cosinus et noyau de Dirichlet.
Lien entre intégrales oscillantes (Riemann-Lebesgue) et limites de sommes partielles.