التمرين 1
Exercice 1 (Concours 2023) — Série $\sum r^n\cos(nx)/n$ : convergence et somme
Pour et , on considère la série de fonctions
-
Montrer que la série converge normalement sur pour tout fixé.
-
Montrer que .
-
En déduire la valeur de pour (convergence en ).
-
Application : calculer .
Résultat classique : pour (et sur le cercle). La partie réelle donne cette somme trigonométrique. Formule utilisée dans l'étude des séries de Fourier (noyau de Poisson, séries d'Abel-Poisson).
◀الحل
-
CVN : . Comme converge (géométrique, ), la série converge normalement sur .
-
Somme : posons , . On a (série entière du log). Prendre la partie réelle : .
Or , donc . Et .
Donc .
-
Limite : pour , , donc . Par convergence d'Abel (ou par la convergence de la série pour , qui est justifiée par transformation d'Abel), on obtient
-
Application : , donc . Donc . (Vérification directe : la suite est -périodique de valeurs ; on peut regrouper les termes par périodes de 6 et vérifier la sommation par transformation d'Abel.)