Lycée Louis-Le-Grand, Paris Pour le 06/06/2024
MP2I – Mathématiques
A. Troesch
DM no 26 : Séries numériques
Suggestion de travail supplémentaire (à ne pas me rendre) : Le DM ci-dessous n’est pas très long. Profitez-en
pour voir le problème 11 de la sélection, déjà proposé la dernière fois, qui est un très bon entraînement pour le prochain
(et dernier) DS. Et aussi deux (courts) problèmes sur les séries : le problème 10 de la sélection et le problème 1 du DS
9 de l’année dernière.
Problème 1 – (Séries et caractères, Mines MP 2007, épreuve de 3h)
Dans ce problème, on se fixe un entier N ě 2. Pour a P N, on note a sa classe dans Z{N Z. L’ensemble des éléments
inversibles de Z{N Z est noté pZ{N Zq˚ . On note P l’ensemble des éléments de t1, . . . , N ´ 1u premiers avec N . On
rappelle que ϕ, l’indicatrice d’Euler, est telle que ϕpN q représente le cardinal de P .
On suppose fixée une application χ de Z dans R qui satisfait les propriétés suivantes :
(i) χp0q “ 0 et χ n’est pas identiquement nulle
(ii) Pour tout a P Z, non premier avec N , χpaq “ 0
(iii) Pour tous les entiers relatifs a et b, χpabq “ χpaqχpbq
(iv) χ est N -périodique : pour tout a P Z, χpa ` N q “ χpaq.
NB : Tout résultat hors programme utilisé devra être redémontré.
Préliminaires
1. Soit puk qkPN˚ et pαk qkPN˚ deux suites réelles ou complexes. On pose, pour tout n ě 1 :
n
ÿ
An “ αk .
k“1
Montrer que pour tout pn, mq P pN˚ q2 tels que 2 ď n ă m :
m
ÿ m´1
ÿ
αk uk “ ´un An´1 ` Ak puk ´ uk`1 q ` um Am .
k“n k“n
2. Soit x P r´1, 1s. Montrer que
`8
ÿ p´1qn 2n`1
Arctanpxq “ x .
n“0
2n ` 1
Partie I – Étude de cas particuliers
3. Calculer χp1q.
4. Lorsque N “ 2, déterminer χ.
On suppose jusqu’à la fin de cette partie que N “ 4.
5. Montrer que χp3q ne peut prendre que les valeurs 1 ou ´1.
6. On suppose maintenant que χp3q “ ´1. Montrer la convergence et calculer la valeur de la série
`8
ÿ χpnq
.
n“1
n
1
ÿ χpnq
Partie II – Convergence de la série
˚
n
nPN
Dans cette partie, a est un entier supérieur ou égal à 1 et premier avec N . Pour k P t1, . . . , N ´ 1u, on désigne par rk
le reste de la division de ak par N
7. Montrer que les rk sont deux à deux distincts.
ź
8. En considérant le produit ak, montrer que aϕpN q ´ 1 est divisible par N . Proposer une autre démonstration
kPP
de ce résultat reposant sur un théorème du cours d’algèbre.
9. Montrer que |χpaq| “ 1.
10. Établir l’identité
´1
Nÿ ´1
Nÿ
χpakq “ χpkq.
k“1 k“1
On suppose dorénavant qu’il existe a premier avec N tel que χpaq ‰ 1.
ÿ´1
n`N
11. Pour chaque entier n, calculer χpkq.
k“n
On pourra commencer par le cas n “ 0.
ˇ ˇ
ˇÿm ˇ
12. Montrer que pour tout m ą 0 : ˇ χpkqˇ ď ϕpN q.
ˇ ˇ
ˇ ˇ
k“1
χpnq
13. En déduire que la série de terme général converge.
n
Partie III – Comportement asymptotique
ÿ
Pour tout entier n ě 1, on pose fn “ χpdq.
d|n
14. Soit n et m deux entiers strictement positifs, premiers entre eux. Montrer que fnm “ fn fm .
15. Soit p un nombre premier, et α P N˚ . Exprimer fpα en fonction de la valeur de χppq.
16. Pour tout entier n ě 1, établir : 0 ď fn ď n.
17. Pour tout entier n ě 1, établir : fn2 ě 1.
ÿ
18. Déterminer, suivant la valeur de x P R, la nature de la série fn xn . On précisera les cas de convergence
ně1
absolue et de divergence grossière. On note f pxq la somme de cette série.
19. Montrer que pour tout x P r 21 , 1r,
ż `8
1 2
f pxq ě a ? e´u du.
´ lnpxq lnp2q
