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.