Mines Maths 1 MP 2007 -- Corrigé Ce corrigé est proposé par Nicolas Weiss (Doctorant en mathématiques) ; il a été relu par Paul Pichaureau (Professeur en CPGE) et Tristan Poullaouec (ENS Cachan). Le sujet traite de quelques aspects des caractères de Dirichlet et des séries qui leur sont associées. Un caractère de Dirichlet est une application de Z dans C qui vérifie les propriétés arithmétiques données en préambule. L'énoncé se restreint au cas réel. Il existe des formules donnant le nombre de caractères de Dirichlet distincts qu'on peut définir pour chaque entier N. Par exemple, si N est premier, il existe un unique caractère primitif : le symbole de Legendre . On peut montrer que si a est un entier premier avec N, alors (a) est une racine (N)-ième de l'unité pour tout caractère de Dirichlet . Ce point sera abordé dans le cas réel à la question 6. · La première partie traite deux cas particuliers pour N = 2 et N = 4. Derrière ces cas se cachent les séries entières, de rayon de convergence 1, (n) P 1 1+x xn = ln pour N = 2, 2 1-x n=1 n et (n) P xn = Arctan x n=1 n pour N = 4. · La deuxième P partie montre que (n) {-1, 0, 1} pour tout entier n, puis que la série (n)/n converge pour tout caractère non trivial. P · La troisième partie s'intéresse à la série entière fn xn où fn est la somme des valeurs d'un caractère non trivial sur les diviseurs de n. On montre que son rayon de convergence est 1, et on en donne finalement une minoration à la question 17 pour x [ 1/2 ; 1 [. La démarche de ce sujet est plutôt classique bien que l'arithmétique ne tombe pas très souvent aux concours : familiarisation avec les propriétés arithmétiques des caractères (questions 1 à 3), motivation pour étudier le lien entre ces caractères et certaines séries (question 4), étude plus fine des caractères (questions 5 à 10) qui permet de déterminer la convergence de ces séries (question 11), lien entre les caractères et la décomposition en facteurs premiers des entiers (questions 12 à 15), ouverture vers d'autres parties du programme (séries entières à la question 16 et intégrales impropres à la question 17). Les outils à bien maîtriser ici sont le cours d'arithmétique, le cours sur les séries et les séries entières, et enfin la définition d'une intégrale impropre. Indications Partie I 2 Utiliser la 2-périodicité de l'application . 4 Se ramener à une série alternée. Partie II 5 L'application f : ( (Z/NZ) - (Z/NZ) k est une bijection. 7- ak 6 Étudier (a(N) ). 7 La distance entre deux entiers de l'intervalle [[ a ; b ]] est majorée par b - a. 8 L'application qui à k [[ 1 ; N - 1 ]] associe rk est une permutation de l'ensemble {1, 2 . . . , N - 1}. 9 Choisir a tel que (a) = -1 et calculer N-1 P (ak). k=1 m P (k) où m 6 N - 1. m P Attention aux domaines des indices quand vous décomposez la somme (k). 10 Se servir de la question 9 pour se ramener à la somme k=1 k=1 11 Vérifier le critère de Cauchy en utilisant le lemme (1) et la question 10. Attention : le lemme (1) comporte une erreur de typographie (cf. remarque dans le corrigé). Essayez de la détecter en reconstituant la preuve de ce lemme. Partie III 12 Comparer les diviseurs de n, m et nm. 13 Énumérer les diviseurs de p pour p premier et N . 14 Décomposer n en facteurs premiers. 15 Décomposer n en facteurs premiers. 16 Utiliser l'encadrement de la question 14. Montrer que la série diverge pour x = 1. P P 2 17 Comparer fn xn et e n ln x en utilisant la question 15. I. Cas particuliers 1 D'après la propriété A, il existe a tel que (a) 6= 0. D'après la propriété C, (a) = (a.1) = (a)(1) d'où (1) = 1 La première partie du sujet a essentiellement pour but de vous familiariser avec la manipulation des propriétés arithmétiques de l'application . Pensez à bien préciser à chaque fois la propriété dont vous vous servez. 2 D'après la propriété D, l'application est N-périodique, ce qui implique que si deux entiers a et b sont congrus modulo N, alors (a) = (b). Il suffit de déterminer (0) et (1). Ils sont donnés par la propriété A et la question 1. Ainsi 0 si n est un entier relatif pair Pour N = 2, on a (n) = 1 si n est un entier relatif impair 3 Par la propriété D, on sait que (3) = (-1 + 4) = (-1). Mais d'après la propriété C et le résultat de la question 1, (-1)2 = (1) = 1. D'où (3) = -1 ou (3) = 1 4 L'application est complètement déterminée par les valeurs (0), (1), (2) et (3) d'après la 4-périodicité de . On sait déjà que (0) = 0 par la propriété A et que (1) = 1 par la question 1. Comme 2 n'est pas premier avec 4, il vient (2) = 0 (propriété B) ; le sujet suppose ici que (3) = -1. Si n = 2k, on a donc (n) = 0, et si n = 2k + 1, (n) = (-1)k . Ainsi, N N (N-1)/2 N (n) P P (-1)k = 2k + 1 n=1 n k=0 (1) Or, la série de terme général (-1)k /(2k +1) est une série alternée, et 1/(2k +1) k est une suite décroissante et convergeant vers 0. En conséquence, la série de terme général (-1)k /(2k + 1) converge. D'après l'égalité (1) sur les sommes partielles, il en est de même de la série de terme générale (n)/n. De plus, d'après le développement en série entière d'Arctan donné dans l'énoncé, Ainsi La série P (n) converge vers Arctan 1 = . n 4 La référence à la fonction Arctan P x est ici purement anecdotique. Il s'agit de vous faire remarquer que la série (n)/n mérite qu'on s'y intéresse dans la suite du sujet. Dans la pratique, les caractères de Dirichlet servent notamment à prouver l'existence d'une P infinité de nombres premiers. On définit pour cela les séries de Dirichlet (n)/ns avec s > 1, qui convergent vers (n) P = s p premier n=1 n 1 (p) 1- s p II. Convergence de la série (n) P 1 n 5 Déterminons la classe d'équivalence de a(N) dans Z/NZ. Pour cela, calculons d'abord la classe d'équivalence de ak. On trouve, d'une part, kP ak = a(N) kP k kP Mais, d'autre part, comme a et N sont premiers entre eux, il existe (m, l) Z2 tel que ma + lN = 1 d'après le théorème de Bézout. Ainsi, m a 1 mod N, et la classe de a est inversible dans Z/NZ. Ceci prouve plus généralement que pour tout n P, la classe de n est inversible dans Z/NZ. On en déduit que l'application f: ( (Z/NZ) - (Z/NZ) k 7- ak est une bijection, de bijection réciproque ( (Z/NZ) - (Z/NZ) -1 f : k 7- mk Ainsi, en réindexant, on trouve aussi ak = kP ak = kP k kP Donc a(N) k = kP k, et comme kP k est inversible dans Z/NZ en tant que kP produit d'éléments inversibles, on peut simplifier par k, ce qui donne kP a(N) = 1 soit a(N) - 1 est divisible par N. 6 D'après la question 5, a(N) est congru à 1 modulo N. Par la N-périodicité de , on a (a(N) ) = (1). Mais (1) = 1 d'après la question 1, et (a(N) ) = (a)(N) = 1 par la propriété C. Ainsi, (a) est une racine (N)-ième de l'unité, ce qui implique |(a)| = 1 Le résultat précédent reste valable si l'application est à valeurs dans C. 
